Beauville structures in p-groups

Download
2016
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. 

Suggestions

NILPOTENT LENGTH OF A FINITE SOLVABLE GROUP WITH A FROBENIUS GROUP OF AUTOMORPHISMS
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.
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...
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.
Frobenius groups of automorphisms with almost fixed point free kernel
Ercan, Gülin (2019-03-01)
Let FH be a Frobenius group with kernel F and complement H, acting coprimely on the finite solvable group G by automorphisms. We prove that if C-G(H) is of Fitting length n then the index of the n-th Fitting subgroup F-n(G) in G is bounded in terms of vertical bar C-G(F)vertical bar and vertical bar F vertical bar. This generalizes a result of Khukhro and Makarenko [6] which handles the case n = 1.
Centralizers of subgroups in simple locally finite groups
ERSOY, KIVANÇ; Kuzucuoğlu, Mahmut (2012-01-01)
Hartley asked the following question: Is the centralizer of every finite subgroup in a simple non-linear locally finite group infinite? We answer a stronger version of this question for finite K-semisimple subgroups. Namely let G be a non-linear simple locally finite group which has a Kegel sequence K = {(G(i), 1) : i is an element of N} consisting of finite simple subgroups. Then for any finite subgroup F consisting of K-semisimple elements in G, the centralizer C-G(F) has an infinite abelian subgroup A is...
Citation Formats
Ş. Gül, “Beauville structures in p-groups,” Ph.D. - Doctoral Program, Middle East Technical University, 2016.