The Influence of some embedding properties of subgroups on the structure of a finite group

Download
2018
Kızmaz, Muhammet Yasir
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.}textit{ Let $H$ be a $TI$-subgroup of $G$ which is also a Hall subgroup of $N_G(H)$. Then $H$ has a normal complement in $N_G(H)$ if and only if $H$ has a normal complement in $G$. Moreover, if $H$ is nonnormal in $G$ and $H$ has a normal complement in $N_G(H)$ then $H$ is a Frobenius complement.} In the above configuration, the group $G$ need not be a Frobenius group, but the second part of the theorem guarantees the existence of a Frobenius group into which $H$ can be embedded as a Frobenius complement. Another contribution of this thesis is the following theorem, which extends a result of Gow (see Theorem ref{int gow}) to $pi$-separable groups. This result shows that the structure of a $pi$-separable group admitting a Hall $pi$-subgroup which is also a $TI$-subgroup is very restricted. textbf{Theorem.}textit{ Let $H$ be a nonnormal $TI$-subgroup of the $pi$-separable group $G$ where $pi$ is the set of primes dividing the order of $H$. Further assume that $H$ is a Hall subgroup of $N_G(H)$. Then the following hold:} textit{$a)$ $G$ has $pi$-length $1$ where $G=O_{pi'}(G)N_G(H)$;} textit{$b)$ there is an $H$-invariant section of $G$ on which the action of $H$ is Frobenius. This section can be chosen as a chief factor of $G$ whenever $O_{pi'}(G)$ is solvable;} textit{$c)$ $G$ is solvable if and only if $O_{pi'}(G)$ is solvable and $H$ does not involve a subgroup isomorphic to $SL(2,5)$.} In the last chapter we focus on giving alternative proofs without character theory for the following two solvability theorems due to Isaacs (cite{isa3}, Theorem 1 and Theorem 2). Our proofs depend on transfer theory and graph theory. textbf{Theorem.} textit{Let $G$ be a finite group having a cyclic Sylow $p$-subgroup. Assume that every $p'$-subgroup of $G$ is abelian. Then $G$ is either $p$-nilpotent or $p$-closed.} textbf{Theorem.} textit{Let G be a finite group and let $pneq 2$ and $q$ be primes dividing $

Suggestions

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...
Beauville structures in p-groups
Gül, Şükran; Ercan, Gülin; Fernández-Alcober, Gustavo Adolfo; Department of Mathematics (2016)
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 kn...
Rank and Order of a Finite Group Admitting a Frobenius-Like Group of Automorphisms
Ercan, Gülin; Khukhro, E. I. (2014-07-01)
A finite group FH is said to be Frobenius-like if it has a nontrivial nilpotent normal subgroup F with a nontrivial complement H such that FH/[F,F] is a Frobenius group with Frobenius kernel F/[F,F]. Suppose that a finite group G admits a Frobenius-like group of automorphisms FH of coprime order with certain additional restrictions (which are satisfied, in particular, if either |FH| is odd or |H| = 2). In the case where G is a finite p-group such that G = [G, F] it is proved that the rank of G is bounded ab...
On the generating graphs of the symmetric and alternating groups
Erdem, Fuat; Ercan, Gülin; Maróti, Attila; Department of Mathematics (2018)
Dixon showed that the probability that a random pair of elements in the symmetric group $S_n$ generates $S_n$ or the alternating group $A_n$ tends to $1$ as $n to infty$. (A generalization of this result was given by Babai and Hayes.) The generating graph $Gamma(G)$ of a finite group $G$ is defined to be the simple graph on the set of non-identity elements of $G$ with the property that two elements are connected by and edge if and only if they generate $G$. The purpose of this thesis is to study the graphs ...
On the influence of fixed point free nilpotent automorphism groups
Ercan, Gülin (2017-12-01)
A finite group FH is said to be Frobenius-like if it has a nontrivial nilpotent normal subgroup F with a nontrivial complement H such that for all nonidentity elements . Let FH be a Frobenius-like group with complement H of prime order such that is of prime order. Suppose that FH acts on a finite group G by automorphisms where in such a way that In the present paper we prove that the Fitting series of coincides with the intersections of with the Fitting series of G, and the nilpotent length of G exceeds the...
Citation Formats
M. Y. Kızmaz, “The Influence of some embedding properties of subgroups on the structure of a finite group,” Ph.D. - Doctoral Program, Middle East Technical University, 2018.