اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدElliptic points of the Drinfeld modular groups
75
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
Let $K$ be an algebraic function field with constant field ${mathbb F}_q$. Fix a place $infty$ of $K$ of degree $delta$ and let $A$ be the ring of elements of $K$ that are integral outside $infty$. We give an explicit description of the elliptic points for the action of the Drinfeld modular group $G=GL_2(A)$ on the Drinfelds upper half-plane $Omega$ and on the Drinfeld modular curve $G!setminus!Omega$. It is known that under the {it building map} elliptic points are mapped onto vertices of the {it Bruhat-Tits tree} of $G$. We show how such vertices can be determined by a simple condition on their stabilizers. Finally for the special case $delta=1$ we obtain from this a surprising free product decomposition for $PGL_2(A)$.
قيم البحث
اقرأ أيضاً
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 c
ongruence 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.
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 ma
ximal 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$.
As a consequence of the classification of finite simple groups, the classification of permutation groups of prime degree is complete, apart from the question of when the natural degree $(q^n-1)/(q-1)$ of ${rm PSL}_n(q)$ is prime. We present heuristic
arguments and computational evidence based on the Bateman-Horn Conjecture to support a conjecture that for each prime $nge 3$ there are infinitely many primes of this form, even if one restricts to prime values of $q$. Similar arguments and results apply to the parameters of the simple groups ${rm PSL}_n(q)$, ${rm PSU}_n(q)$ and ${rm PSp}_{2n}(q)$ which arise in the work of Dixon and Zalesskii on linear groups of prime degree.
We confirm the Hanna Neumann conjecture for topologically finitely generated closed subgroups $U$ and $W$ of a nonsolvable Demushkin group $G$. Namely, we show that begin{equation*} sum_{g in U backslash G/W} bar d(U cap gWg^{-1}) leq bar d(U) bar d(
W) end{equation*} where $bar d(K) = max{d(K) - 1, 0}$ and $d(K)$ is the least cardinality of a topological generating set for the group $K$.
The main result of the paper is the following theorem. Let $q$ be a prime and $A$ an elementary abelian group of order $q^3$. Suppose that $A$ acts coprimely on a profinite group $G$ and assume that $C_G(a)$ is locally nilpotent for each $ain A^{#}$. Then the group $G$ is locally nilpotent.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
