Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userMaximal subgroups of the modular and other groups
90
0
0.0
(
0
)
Authors
Gareth A. Jones
Ask ChatGPT about the research
No Arabic abstract
In 1933 B.~H.~Neumann constructed uncountably many subgroups of ${rm SL}_2(mathbb Z)$ which act regularly on the primitive elements of $mathbb Z^2$. As pointed out by Magnus, their images in the modular group ${rm PSL}_2(mathbb Z)cong C_3*C_2$ are maximal nonparabolic subgroups, that is, maximal with respect to containing no parabolic elements. We strengthen and extend this result by giving a simple construction using planar maps to show that for all integers $pge 3$, $qge 2$ the triangle group $Gamma=Delta(p,q,infty)cong C_p*C_q$ has uncountably many conjugacy classes of nonparabolic maximal subgroups. We also extend results of Tretkoff and of Brenner and Lyndon for the modular group by constructing uncountably many conjugacy classes of such subgroups of $Gamma$ which do not arise from Neumanns original method. These maximal subgroups are all generated by elliptic elements, of finite order, but a similar construction yields uncountably many conjugacy classes of torsion-free maximal subgroups of the Hecke groups $C_p*C_2$ for odd $pge 3$. Finally, an adaptation of work of Conder yields uncountably many conjugacy classes of maximal subgroups of $Delta(2,3,r)$ for all $rge 7$.
rate research
Read More
In this paper, we study a group in which every 2-maximal subgroup is a Hall subgroup.
Let $A$ be the ring of elements in an algebraic function field $K$ over a finite field $F_q$ which are integral outside a fixed place $infty$. In an earlier paper we have shown that the Drinfeld modular group $G=GL_2(A)$ has automorphisms which map congruence subgroups to non-congruence subgroups. Here we prove the existence of (uncountably many) normal genuine non-congruence subgroups, defined to be those which remain non-congruence under the action of every automorphism of $G$. In addition, for all but finitely many cases we evaluate $ngncs(G)$, the smallest index of a normal genuine non-congruence subgroup of $G$, and compare it to the minimal index of an arbitrary normal non-congruence subgroup.
We investigate the class $mathcal{MN}$ of groups with the property that all maximal subgroups are normal. The class $mathcal{MN}$ appeared in the framework of the study of potential counter-examples to the Andrews-Curtis conjecture. In this note we give various structural properties of groups in $mathcal{MN}$ and present examples of groups in $mathcal{MN}$ and not in $mathcal{MN}$.
We count the finitely generated subgroups of the modular group $textsf{PSL}(2,mathbb{Z})$. More precisely: each such subgroup $H$ can be represented by its Stallings graph $Gamma(H)$, we consider the number of vertices of $Gamma(H)$ to be the size of $H$ and we count the subgroups of size $n$. Since an index $n$ subgroup has size $n$, our results generalize the known results on the enumeration of the finite index subgroups of $textsf{PSL}(2,mathbb{Z})$. We give asymptotic equivalents for the number of finitely generated subgroups of $textsf{PSL}(2,mathbb{Z})$, as well as of the number of finite index subgroups, free subgroups and free finite index subgroups. We also give the expected value of the isomorphism type of a size $n$ subgroup and prove a large deviations statement concerning this value. Similar results are proved for finite index and for free subgroups. Finally, we show how to efficiently generate uniformly at random a size $n$ subgroup (resp. finite index subgroup, free subgroup) of $textsf{PSL}(2,mathbb{Z})$.
Let $mathfrak{X}$ be a class of finite groups closed under taking subgroups, homomorphic images and extensions. It is known that if $A$ is a normal subgroup of a finite group $G$ then the image of an $mathfrak{X}$-maximal subgroup $H$ of $G$ in $G/A$ is not, in general, $mathfrak{X}$-maximal in $G/A$. We say that the reduction $mathfrak{X}$-theorem holds for a finite group $A$ if, for every finite group $G$ that is an extension of $A$ (i. e. contains $A$ as a normal subgroup), the number of conjugacy classes of $mathfrak{X}$-maximal subgroups in $G$ and $G/A$ is the same. The reduction $mathfrak{X}$-theorem for $A$ implies that $HA/A$ is $mathfrak{X}$-maximal in $G/A$ for every extension $G$ of $A$ and every $mathfrak{X}$-maximal subgroup $H$ of $G$. In this paper, we prove that the reduction $mathfrak{X}$-theorem holds for $A$ if and only if all $mathfrak{X}$-maximal subgroups are conjugate in $A$ and classify the finite groups with this property in terms of composition factors.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
