Beauville structures in p-groups

Gül, Şükran
Given a finite group G and two elements x, y in G, we denote by Sigma(x,y) the union of all conjugates of the cyclic subgroups generated by x, y and xy. Then G is called a Beauville group of unmixed type if the following conditions hold: (i) G is a 2-generator group. (ii) G has two generating sets {x1,y1} and {x2, y2} such that Sigma (x1, y1) intersection Sigma(x2, y2) is 1. In this case, {x1, y1} and {x2, y2} are said to form a Beauville structure for G. The main purpose of this thesis is to extend the knowledge about Beauville p-groups. We will first discuss the conditions under which a 2-generator p-group with a “nice power structure” is a Beauville group. These conditions are similar to the conditions for an abelian p-group to be a Beauville group. In particular, this result applies to all known families of p-groups with a good behavior with respect to powers: regular p-groups, powerful p-groups and more generally potent p-groups, and (generalized) p-central p-groups. Secondly, we investigate Beauville structures in metabelian thin p-groups and in p-groups of maximal class which are either metabelian, or have a maximal subgroup of class at most 2. We next determine which quotients of the Nottingham group over Fp for an odd prime p are Beauville groups. As a result, we get the first known infinite family of 3-groups admitting a Beauville structure. Finally, we prove a conjecture of Boston: he conjectured that if p is greater than or equal to 5, all p-central quotients of the free group on two generators and of the free product of two cyclic groups of order p are Beauville groups. 


The Influence of some embedding properties of subgroups on the structure of a finite group
Kızmaz, Muhammet Yasir; Ercan, Gülin; Department of Mathematics (2018)
In a finite group $G$, a subgroup $H$ is called a $TI$-subgroup if $H$ intersects trivially with distinct conjugates of itself. Suppose that $H$ is a Hall $pi$-subgroup of $G$ which is also a $TI$-subgroup. A famous theorem of Frobenius states that $G$ has a normal $pi$-complement whenever $H$ is self normalizing. In this case, $H$ is called a Frobenius complement and $G$ is said to be a Frobenius group. A first main result in this thesis is the following generalization of Frobenius' Theorem. textbf{Theorem...
Ercan, Gülin; Ogut, Elif (2014-01-01)
We prove that a finite solvable group G admitting a Frobenius group FH of automorphisms of coprime order with kernel F and complement H such that [G, F] = G and C-CG(F) (h) = 1 for all nonidentity elements h is an element of H, is of nilpotent length equal to the nilpotent length of the subgroup of fixed points of H.
Torsion Generators Of The Twist Subgroup
Altunöz, Tülin; Pamuk, Mehmetcik; Yildiz, Oguz (2022-1-01)
We show that the twist subgroup of the mapping class group of a closed connected nonorientable surface of genus g >= 13 can be generated by two involutions and an element of order g or g -1 depending on whether 9 is odd or even respectively.
On the nilpotent length of a finite group with a frobenius group of automorphisms
Öğüt, Elif; Ercan, Gülin; Güloğlu, İsmail Ş.; Department of Mathematics (2013)
Let G be a finite group admitting a Frobenius group FH of automorphisms with kernel F and complement H. Assume that the order of G and FH are relatively prime and H acts regularly on the fixed point subgroup of F in G. It is proved in this thesis that the nilpotent length of G is less than or equal to the sum of the nilpotent length of the commutator group of G and F with 1 and the nilpotent length of the commutator group of G and F is equal to the nilpotent length of the fixed point subgroup of H in the co...
Pamuk, Semra (2014-07-03)
Let G be a finite group and F be a family of subgroups of G closed under conjugation and taking subgroups. We consider the question whether there exists a periodic relative F-projective resolution for Z when F is the family of all subgroups HG with rkHrkG-1. We answer this question negatively by calculating the relative group cohomology FH*(G, ?(2)) where G = Z/2xZ/2 and F is the family of cyclic subgroups of G. To do this calculation we first observe that the relative group cohomology FH*(G, M) can be calc...
Citation Formats
Ş. Gül, “Beauville structures in p-groups,” Ph.D. - Doctoral Program, Middle East Technical University, 2016.