DOCSLIB.ORG

Arxiv:2010.14837V2 [Math.RT] 30 Mar 2021 Hrce Aus Hsato Biul Rsre H Character the Preserves Obviously Action This Values

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:2010.14837V2 [Math.RT] 30 Mar 2021 Hrce Aus Hsato Biul Rsre H Character the Preserves Obviously Action This Values ON THE INDUCTIVE GALOIS–MCKAY CONDITION FOR FINITE GROUPS OF LIE TYPE IN THEIR DEFINING CHARACTERISTIC BIRTE JOHANSSON Abstract. The Galois–McKay conjecture is a refinement of the McKay conjecture that additionally takes some Galois automorphisms into account. We verify the inductive Galois–McKay condition in the defining characteristic for the finite groups of Lie type with exceptional graph automorphisms, the Suzuki and Ree groups, Bn(2) (n ≥ 2), and the groups of Lie type with non-generic Schur multiplier. This completes the verification of the inductive Galois–McKay condition for the finite groups of Lie type in their defining characteristic. 1. Introduction Let G be a finite group, p a prime and P a Sylow-p-subgroup of G. The McKay conjecture claims that there exists a bijection between the sets of characters of G and of the normalizer NG(P ) with degree not divisible by p. Navarro refined this conjecture and proposed that there is a bijection between these sets such that the same numbers of characters are fixed under the action of certain Galois automorphisms [Nav04]. This is called the Galois–McKay or Navarro–McKay conjecture. Navarro, Sp¨ath and Vallejo reduced the Galois–McKay conjecture to a problem about simple groups in [NSV20]. If the inductive Galois–McKay condition [NSV20, Definition 3.1] is satisfied for all simple groups, the Galois–McKay conjecture itself holds for all groups. In [Ruh20], Ruhstorfer showed that the inductive Galois–McKay condition is true for many groups of Lie type in their defining characteristic. We verify the inductive Galois–McKay condition for the remaining groups of Lie type in their defining characteristic. Theorem 1.1. The inductive Galois–McKay condition [NSV20, Definition 3.1] is satisfied in the defining i i i characteristic for the groups B2(2 ), G2(3 ), F4(2 ), Bn(2) for integers i ≥ 1, n ≥ 2, the Suzuki and Ree groups, as well as for G2(2) and the simple groups of Lie type with non-generic Schur multiplier. This completes the verification of the inductive Galois–McKay condition for finite groups of Lie type in their defining characteristic. Acknowledgement. I would like to thank my PhD advisor Gunter Malle for his suggestions and com- ments on earlier versions. Furthermore, I am thankful to Lucas Ruhstorfer for his advice and providing me with an earlier updated version of his paper. arXiv:2010.14837v2 [math.RT] 30 Mar 2021 2. The inductive Galois–McKay condition 2.1. Notation. First we introduce some notation, mostly following the notation used in [NSV20]. Let p be a prime and G a finite group. We call a character of G with degree not divisible by p a ′ ′ p -character and denote the set of irreducible p -characters of G by Irrp′ (G). In the following, let H ⊆ G := Gal(Qab/Q) be the subgroup consisting of those σ ∈ G such that there n exists an n ∈ Z with σ(ξ) = ξp for every root of unity ξ of order not divisible by p. We say that σ is associated to the integer n. The group H acts naturally on Irr(G) by applying the elements of H to the character values. This action obviously preserves the character degrees. For a character ψ, the orbit of Date: March 31, 2021. 2010 Mathematics Subject Classification. 20C33. Key words and phrases. Galois–McKay conjecture, groups of Lie type, local–global conjectures, McKay conjecture. 1 2 BIRTE JOHANSSON ψ under the action of H is denoted by ψH. In the same way, σ ∈ H acts on a (projective) representation P over Qab via Pσ(g) := P(g)σ for all g ∈ G. Here, P(g)σ is obtained by applying σ to all matrix entries of P(g). Let f be an automorphism of G and ψ a character of a normal subgroup N E G. Then, we denote −1 by ψf the character defined by ψf (x)= ψ(xf ) for all x ∈ N, using exponential notation for the image of x under the automorphism f. For g ∈ G, we often use the element itself to denote the conjugation −1 by g. Thus we have ψg(x) = ψ(xg ) = ψ(gxg−1) for all x ∈ N. The stabilizer of ψ in G under this conjugation action is denoted by Gψ. In the same way, automorphisms of a group act on the (projective) representations of its normal subgroups. The group of inner automorphisms of a group G consists of the automorphisms induced by conjugation with the elements of G and will be denoted by Inn(G). The conjugation automorphisms of two elements are the same if and only if they are in the same coset modulo the centre Z(G). We will denote the subset of inner automorphisms of G that are induced by elements of a subgroup H ≤ G with Z(G) ≤ H by Inn(G | H). If Γ is a group of automorphisms of G, we denote by Γout ⊆ Γ a subgroup isomorphic to the outer automorphism group of G that is a complement to Inn(G) ∩ Γ. Note that this subgroup does not exist for all groups. For N E G and ψ a G-invariant character of N (i.e. ψg = ψ for all g ∈ G), let P be a projective representation of G such that • its restriction to N affords ψ, and • P(ng)= P(n)P(g) and P(gn)= P(g)P(n) for all n ∈ N and g ∈ G. Then, we say that P is associated to ψ. We know by [NSV20, Corollary 1.2] that we can always find such a projective representation with matrix entries in Qab. ab For an arbitrary ψ ∈ Irr(N), let P be a projective representation of Gψ over Q associated to ψ. ab gσ g σ × Then for (g, σ) ∈ G × Gal(Q /Q) with ψ := (ψ ) = ψ, let µgσ : Gψ → C be the unique function constant on cosets of N with µgσ(1) = 1 such that gσ g σ P := (P ) ∼ µgσP where ∼ denotes similarity between the projective representations [NSV20, Lemma 1.4]. 2.2. Inductive Galois–McKay condition. The inductive Galois–McKay condition from [NSV20, Def- inition 3.1] is the following. Condition 2.1. For a finite non-abelian simple group S and p a prime dividing |S|, let G be a universal covering group of S, R ∈ Sylp(G), and Γ := Aut(G)R := {f ∈ Aut(G) | f(R)= R}. Then, S satisfies the inductive Galois–McKay condition for p if the following holds for all ψ ∈ Irrp′ (G): (1) There exists a Γ-stable subgroup NG(R) ⊆ N ( G and a Γ × H-equivariant bijection Ω : Irrp′ (G) → Irrp′ (N). ′ ab (2) There exist projective representations P of G⋊Γψ and P of N ⋊ΓΩ(ψ) with entries in Q associated to ψ respectively Ω(ψ) such that the associated factor sets α, α′ take roots of unity values, coincide on (N ⋊ Γ ) × (N ⋊ Γ ) and P(c), P′(c) are associated with the same scalar for all c ∈ C ⋊ (N). ψ ψ G ΓψH ′ (3) µa,µa agree on N ⋊ Γψ for all a ∈ ((N ⋊ ΓψH ) × H)ψ. We will see now that this is the same as in [NSV20, Definition 1.5], i.e. that the conditions given by [NSV20, Definition 1.5 (i), (ii)] always hold in this case. Lemma 2.2. Consider the setting of Condition 2.1. (a) Assuming Condition 2.1 (1) holds, the equations • G ⋊ ΓψH = G(N ⋊ ΓψH ), • G ∩ (N ⋊ ΓψH )= N, ⋊ ⋊ H • CG ΓψH (G) ⊆ N Γψ , • ((N ⋊ ΓψH ) × H)ψ = ((N ⋊ ΓψH ) × H)Ω(ψ) = ((N ⋊ Γ) × H)ψ = ((N ⋊ Γ) × H)Ω(ψ) ON THE INDUCTIVE GALOIS–MCKAY CONDITION IN THE DEFINING CHARACTERISTIC 3 are always satisfied. (b) We have −1 C ⋊ (G)= {(g,γ ) | g ∈ N} G ΓψH g with γg denoting the automorphism by conjugation with g. Proof. The first two equalities of (a) are obvious since N ≤ G. Note that (b) implies the third equation. For g ∈ G, τ ∈ Γ and with id ∈ Γ denoting the identity automorphism, we have (g, τ) ∈ CG⋊Γ(G) ⇔ (g, τ)(h, id) = (h, id)(g, τ) for all h ∈ G ⇔ (gτ(h), τ) = (hg,τ) for all h ∈ G ⇔ gτ(h)= hg for all h ∈ G ⇔ τ(h)= g−1hg for all h ∈ G. Since Inn(G | N) is the subgroup of inner automorphisms in Γ and acts trivially on the characters of G and N, the claim −1 ⋊ ⋊ H CG ΓψH (G)= {(g,γg ) | g ∈ N}⊆ N Γψ follows. For a Γ × H-equivariant bijection Ω, the fourth equation follows by equivariance and since N acts trivial on all characters of G and N. For a group N ≤ G, Γ ≤ Aut(G)N , ψ ∈ Irr(G) and a map Ω : Irrp′ (G) → Irrp′ (N) satisfying the equations from Lemma 2.2 (a) and Condition 2.1 (2) and (3), we also write (G ⋊ ΓψH , G, ψ) ≥c (N ⋊ ΓψH , N, Ω(ψ)). Remark 2.3. (a) Note that we already know that the inductive McKay condition from [IMN07, Section 10] is satisfied for groups of Lie type in their defining characteristic [Sp¨a12, Theorem 1.1] (for a differ- ent phrasing of the inductive McKay condition more similar to Condition 2.1 see [Nav18, Definition 10.23]). Thus, if H acts trivially on all occurring characters of p′-degree, we already know that there exists a Γ-invariant bijection from Irrp′ (G) to Irrp′ (N) satisfying (2) of Condition 2.1. (b) Assume that the projective representation P associated to some ψ ∈ Irrp′ (G) from Condition 2.1 (2) is even an ordinary representation.
Load more

Recommended publications
  • Janko's Sporadic Simple Groups
    Janko’s Sporadic Simple Groups: a bit of history Algebra, Geometry and Computation CARMA, Workshop on Mathematics and Computation Terry Gagen and Don Taylor The University of Sydney 20 June 2015 Fifty years ago: the discovery In January 1965, a surprising announcement was communicated to the international mathematical community. Zvonimir Janko, working as a Research Fellow at the Institute of Advanced Study within the Australian National University had constructed a new sporadic simple group. Before 1965 only five sporadic simple groups were known. They had been discovered almost exactly one hundred years prior (1861 and 1873) by Émile Mathieu but the proof of their simplicity was only obtained in 1900 by G. A. Miller. Finite simple groups: earliest examples É The cyclic groups Zp of prime order and the alternating groups Alt(n) of even permutations of n 5 items were the earliest simple groups to be studied (Gauss,≥ Euler, Abel, etc.) É Evariste Galois knew about PSL(2,p) and wrote about them in his letter to Chevalier in 1832 on the night before the duel. É Camille Jordan (Traité des substitutions et des équations algébriques,1870) wrote about linear groups defined over finite fields of prime order and determined their composition factors. The ‘groupes abéliens’ of Jordan are now called symplectic groups and his ‘groupes hypoabéliens’ are orthogonal groups in characteristic 2. É Émile Mathieu introduced the five groups M11, M12, M22, M23 and M24 in 1861 and 1873. The classical groups, G2 and E6 É In his PhD thesis Leonard Eugene Dickson extended Jordan’s work to linear groups over all finite fields and included the unitary groups.
    [Show full text]
  • Solution of the Ree Group Problem : a Lecture at Rutgers University in 1979
    Solution of the Ree group problem : a lecture at Rutgers University in 1979 Autor(en): Bombieri, Enrico Objekttyp: Article Zeitschrift: L'Enseignement Mathématique Band (Jahr): 62 (2016) Heft 1-2 PDF erstellt am: 04.10.2021 Persistenter Link: http://doi.org/10.5169/seals-685366 Nutzungsbedingungen Die ETH-Bibliothek ist Anbieterin der digitalisierten Zeitschriften. Sie besitzt keine Urheberrechte an den Inhalten der Zeitschriften. Die Rechte liegen in der Regel bei den Herausgebern. Die auf der Plattform e-periodica veröffentlichten Dokumente stehen für nicht-kommerzielle Zwecke in Lehre und Forschung sowie für die private Nutzung frei zur Verfügung. Einzelne Dateien oder Ausdrucke aus diesem Angebot können zusammen mit diesen Nutzungsbedingungen und den korrekten Herkunftsbezeichnungen weitergegeben werden. Das Veröffentlichen von Bildern in Print- und Online-Publikationen ist nur mit vorheriger Genehmigung der Rechteinhaber erlaubt. Die systematische Speicherung von Teilen des elektronischen Angebots auf anderen Servern bedarf ebenfalls des schriftlichen Einverständnisses der Rechteinhaber. Haftungsausschluss Alle Angaben erfolgen ohne Gewähr für Vollständigkeit oder Richtigkeit. Es wird keine Haftung übernommen für Schäden durch die Verwendung von Informationen aus diesem Online-Angebot oder durch das Fehlen von Informationen. Dies gilt auch für Inhalte Dritter, die über dieses Angebot zugänglich sind. Ein Dienst der ETH-Bibliothek ETH Zürich, Rämistrasse 101, 8092 Zürich, Schweiz, www.library.ethz.ch http://www.e-periodica.ch L'Enseignement Mathématique (2) 62 (2016), 301-311 DOI 10.4171/LEM/62-1/2-16 Solution of the Ree group problem A lecture at Rutgers University in 1979 Enrico Bombieri Mathematics Subject Classification (2010). Primary: 20D05, 12E20. Keywords. Ree groups, classification of finite simple groups, automorphims of finite fields.
    [Show full text]
  • The Classification of the Finite Simple Groups, Number 3
    http://dx.doi.org/10.1090/surv/040.3 Selected Titles in This Series 55 J. Scott Carter and Masahico Saito, Knotted surfaces and their diagrams, 1998 54 Casper Goffman, Togo Nishiura, and Daniel Waterman, Homeomorphisms in analysis, 1997 53 Andreas Kriegl and Peter W. Michor, The convenient setting of global analysis, 1997 52 V. A. Kozlov, V. G. Maz'ya? and J. Rossmann, Elliptic boundary value problems in domains with point singularities, 1997 51 Jan Maly and William P. Ziemer, Fine regularity of solutions of elliptic partial differential equations, 1997 50 Jon Aaronson, An introduction to infinite ergodic theory, 1997 49 R. E. Showalter, Monotone operators in Banach space and nonlinear partial differential equations, 1997 48 Paul-Jean Cahen and Jean-Luc Chabert, Integer-valued polynomials, 1997 47 A. D. Elmendorf, I. Kriz, M. A. Mandell, and J. P. May (with an appendix by M. Cole), Rings, modules, and algebras in stable homotopy theory, 1997 46 Stephen Lipscomb, Symmetric inverse semigroups, 1996 45 George M. Bergman and Adam O. Hausknecht, Cogroups and co-rings in categories of associative rings, 1996 44 J. Amoros, M. Burger, K. Corlette, D. Kotschick, and D. Toledo, Fundamental groups of compact Kahler manifolds, 1996 43 James E. Humphreys, Conjugacy classes in semisimple algebraic groups, 1995 42 Ralph Freese, Jaroslav Jezek, and J. B. Nation, Free lattices, 1995 41 Hal L. Smith, Monotone dynamical systems: an introduction to the theory of competitive and cooperative systems, 1995 40.3 Daniel Gorenstein, Richard Lyons, and Ronald Solomon,
    [Show full text]
  • Minimal Length Factorizations of Finite Simple Groups of Lie Type by Unipotent Sylow Subgroups
    MINIMAL LENGTH FACTORIZATIONS OF FINITE SIMPLE GROUPS OF LIE TYPE BY UNIPOTENT SYLOW SUBGROUPS MARTINO GARONZI, DAN LEVY, ATTILA MAROTI,´ AND IULIAN I. SIMION Abstract. We prove that every finite simple group G of Lie type satisfies G = UU −UU − where U is a unipotent Sylow subgroup of G and U − is its opposite. We also characterize the cases for which G = UU −U. These results are best possible in terms of the number of conjugates of U in the above factorizations. 1. Introduction Let G be a finite simple group of Lie type with defining characteristic p. We address the problem of finding the minimal number m such that G is equal to the product of m Sylow p-subgroups (unipotent Sylows) of G. This question has already been considered by several authors before us. Liebeck and Pyber had proved [8, Theorem D] that G is a product of no more than 25 Sylow p-subgroups. In [1] it was claimed that the 25 can be replaced by 5, however no complete proof has been published. A sketch of a proof of this claim for exceptional Lie type groups can be found in a survey by Pyber and Szab´o[10, Theorem 15]. Smolensky, Sury and Vavilov [16, Theorem 1] considered the problem of unitriangular factorizations of Chevalley groups over commutative rings of stable rank 1. When specializing their results to elementary Chevalley groups over finite fields, they get that any non-twisted finite simple group of Lie type is a product of four unipotent Sylows. Later on, these results were extended by Smolensky in [11] to cover some twisted Chevalley groups over finite fields or the field of complex numbers.
    [Show full text]
  • Moufang Sets Generated by Translations in Unitals
    Moufang sets generated by translations in unitals Theo Grundhöfer, Markus J. Stroppel, Hendrik Van Maldeghem August 27, 2020 Abstract We consider unitals of order q with two points which are centers of translation groups of order q. The group G generated by these translations induces a Moufang set on the block joining the two points. We show that G is either SL(2, Fq) (as in all classical unitals and also in some non-classical examples), or PSL(2, Fq), or a Suzuki or a Ree group. Moreover, G is semi-regular outside the special block. Mathematics Subject Classification: 05E20 05B30 51A10 Keywords: Design, unital, automorphism, translation, Moufang set, two-transitive group, unitary group, Suzuki group, Ree group In [9] we considered unitals admitting all possible translations (see Section 1 below for definitions) and characterized the classical (hermitian) unitals by this property. The present paper takes a more general view: we only assume translations with centers on a single block, and prove the following. Main Theorem. Let U be a unital of order q with two points which are centers of translation groups of order q. Then the group G generated by these two translation groups is isomorphic to one of the following. (a) SL(2, Fq) or PSL(2, Fq), where q is a prime power. arXiv:2008.11445v1 [math.GR] 26 Aug 2020 (b) The Suzuki group Sz(q), where q = 22s 26 for some odd integer s 3. ≥ ≥ (c) The Ree group Ree(q), where q = 33r 33 for some odd integer r 1. ≥ ≥ Moreover, the group G acts semi-regularly on the set of points outside the block containing the translation centers.
    [Show full text]
  • Introduction to Finite Simple Groups
    Introduction to finite simple groups 808017424794512875886459904961710757005754368000000000 246 320 59 76 112 133 17 19 23 29 31 41 47 59 71 · · · · · · · · · · · · · · 0.1 Contents 1. Introduction • 2. Alternating groups • 3. Linear groups • 4. Classical groups • 5. Chevalley groups • 6. Exceptional groups • 7. Sporadic groups: old generation • 8. Sporadic groups: new generation • 0.2 Literature R. Wilson: The finite simple groups, ◦ Graduate Texts in Mathematics 251, Springer, 2009. J. Conway, R. Curtis, R. Parker, ◦ S. Norton, R. Wilson: Atlas of finite groups, Clarendon Press Oxford, 1985/2004. P. Cameron: Permutation groups, ◦ LMS Student Texts 45, Cambridge, 1999. D. Taylor: The geometry of the classical groups, ◦ Heldermann, 1992. R. Carter: Simple groups of Lie type, ◦ Wiley, 1972/1989. M. Geck: An introduction to algebraic geometry ◦ and algebraic groups, Oxford, 2003. R. Griess: Twelve sporadic groups, ◦ Springer Monographs in Mathematics, 1989. Aim: Explain the statement of the CFSG: • 1.1 Classification of finite simple groups (CFSG) Cyclic groups of prime order C ; p a prime. • p Alternating groups ; n 5. • An ≥ Finite groups of Lie type: • Classical groups; q a prime power: ◦ Linear groups PSL (q); n 2, (n, q) = (2, 2), (2, 3). n ≥ 6 Unitary groups PSU (q2); n 3, (n, q) = (3, 2). n ≥ 6 Symplectic groups PSp (q); n 2, (n, q) = (2, 2). 2n ≥ 6 Odd-dimensional orthogonal groups Ω (q); n 3, q odd. 2n+1 ≥ + Even-dimensional orthogonal groups PΩ (q), PΩ− (q); n 4. 2n 2n ≥ Exceptional groups; q a prime power, f 1: ◦ ≥ E (q). E (q). E (q). F (q). G (q); q = 2.
    [Show full text]
  • A Finite Simple Group Is Cca If and Only If It Has No Element of Order Four
    A FINITE SIMPLE GROUP IS CCA IF AND ONLY IF IT HAS NO ELEMENT OF ORDER FOUR LUKE MORGAN, JOY MORRIS, AND GABRIEL VERRET Abstract. A Cayley graph for a group G is CCA if every automorphism of the graph that preserves the edge-orbits under the regular representation of G is an element of the normaliser of G. A group G is then said to be CCA if every connected Cayley graph on G is CCA. We show that a finite simple group is CCA if and only if it has no element of order 4. We also show that \many" 2-groups are non-CCA. 1. Introduction All groups and all graphs in this paper are finite. Let G be a group and let S be an inverse-closed subset of G. The Cayley graph Cay(G; S) of G with respect to S is the graph with vertex-set G and, for every g 2 G and s 2 S, an edge fg; sgg. This graph admits a natural edge-colouring in which an edge fg; sgg is coloured fs; s−1g. The colour- preserving automorphism group is denoted Autc(Cay(G; S)) and we define Aut±1(G; S) = α −1 fα 2 Aut(G) j s 2 fs; s g for all s 2 Sg. It is easy to see that GR o Aut±1(G; S) 6 Autc(Cay(G; S)), where GR is the right-regular representation of G and, in fact, the former group is precisely the normaliser of GR in Autc(Cay(G; S)).
    [Show full text]
  • Arxiv:1904.10741V1 [Math.GR]
    F SUZUKI–REE GROUPS AS ALGEBRAIC GROUPS OVER √p TOM DE MEDTS AND KARSTEN NAERT Abstract. Among the infinite classes of finite simple groups, the most exotic classes are probably the Suzuki groups and the Ree groups. They are “twisted versions” of groups of Lie type, but they cannot be directly obtained as groups of rational points of a suitable linear algebraic group. We provide a framework in which these groups do arise as groups of rational points of algebraic groups over a “twisted field”; in the finite case, such a twisted field can be interpreted as a “field with √p elements”. Our framework at once allows for other, perhaps less known, exotic families of groups. Most notably, there is a class of “mixed groups”, introduced by J. Tits but also apparent in the work of Steinberg, and we show that they can be obtained as groups of rational points of algebraic groups over a “mixed field”. F F We show that a base change from √p to p transforms twisted groups into mixed groups, and we formulate a notion of “twisted descent” that allows to detect which mixed groups arise in this fashion. MSC2010: 20D06, 20G15, 20G40. 1. Introduction «In contrast to the Steinberg groups, the Suzuki–Ree groups cannot be eas- ily viewed as algebraic groups over a suitable subfield; morally, one “wants” 2 2n+1 2 2n+1 to view B2(2 ) and F4(2 ) as being algebraic over the field of (2n+1)/2 2 2n+1 2 elements (and similarly view G2(3 ) as algebraic over the field of 3(2n+1)/2 elements), but such fields of course do not exist.» Terence Tao https://terrytao.wordpress.com/2013/09/05/notes-on-simple-groups-of-lie-type One of the cornerstones of algebraic group theory is the structure theory of semi- simple groups over an algebraically closed field, which is largely due to Chevalley.
    [Show full text]
  • Black Box Groups and Related Group Theoretic Constructions
    BLACK BOX GROUPS AND RELATED GROUP THEORETIC CONSTRUCTIONS S¸UKR¨ U¨ YALC¸INKAYA JUNE 2007 black box groups and related group theoretic constructions a thesis submitted to the graduate school of natural and applied sciences of middle east technical university by s¸ukr¨ u¨ yalc¸ınkaya in partial fulfillment of the requirements for the degree of doctor of philosophy in mathematics june 2007 Approval of the Graduate School of Natural and Applied Sciences Prof. Dr. Canan OZGEN¨ Director I certify that this thesis satisfies all the requirements as a thesis for the degree of Doctor of Philosophy. Prof. Dr. Zafer NURLU Head of Department This is to certify that we have read this thesis and that in our opinion it is fully adequate, in scope and quality, as a thesis for the degree of Doctor of Philosophy. Prof. Dr. Alexandre BOROVIK Assoc. Prof. Dr. Ay¸seBERKMAN Co-Supervisor Supervisor Examining Committee Members Prof. Dr. Mahmut KUZUCUOGLU˘ (METU) Assoc. Prof. Dr. Ay¸seBERKMAN (METU) Prof. Dr. Alexandre BOROVIK (Manchester Univ.) Prof. Dr. Mehpare BILHAN˙ (METU) Assoc. Prof. Dr. Feride KUZUCUOGLU˘ (Hacettepe Univ.) I hereby declare that all information in this document has been obtained and presented in accordance with academic rules and eth- ical conduct. I also declare that, as required by these rules and conduct, I have fully cited and referenced all material and results that are not original to this work. Name, Last name : S¸¨ukr¨uYal¸cınkaya Signature : iii Abstract BLACK BOX GROUPS AND RELATED GROUP THEORETIC CONSTRUCTIONS YALC¸INKAYA, S¸¨ukr¨u Ph.D., Department of Mathematics Supervisor: Assoc.
    [Show full text]
  • String C-Group Representations of Almost Simple Groups: a Survey
    String C-group representations of almost simple groups: a survey Dimitri Leemans Abstract. This survey paper aims at giving the state of the art in the study of string C-group representations of almost simple groups. It also suggest a series of problems and conjectures to the interested reader. Contents 1. Introduction 1 2. Preliminaries 3 3. Simple groups and rank three string C-group representations 4 4. Symmetric and alternating groups 4 5. Projective linear groups 9 6. Suzuki groups 12 7. Small Ree groups 14 8. Orthogonal and symplectic groups 15 9. Sporadic groups 15 10. Collateral results 16 11. C-groups 18 Acknowledgements 19 References 19 arXiv:1910.08843v2 [math.CO] 11 May 2020 1. Introduction Polytopes, and in particular regular polytopes, have been studied by mathe- maticians for millenia. The recent monograph of McMullen and Schulte [45] came as the first comprehensive up-to-date book on abstract regular polytopes after more than twenty years of rapid development and it describes a rich new theory that ben- efits from an interplay between several areas of mathematics including geometry, algebra, combinatorics, group theory and topology. In recent years, abstract reg- ular polytopes whose automorphism groups are (almost) simple groups have been 1991 Mathematics Subject Classification. Primary 20D06, 52B11. Key words and phrases. String C-group representations, abstract regular polytopes, almost simple groups. 1 2 DIMITRI LEEMANS studied extensively. This survey paper aims to give the state of the art on the subject, and to give paths for further research in that field. The project surveyed in this paper started in 2003 when Michael Hartley con- tacted us about an abstract regular polytope he had found, of type {5, 3, 5}, whose automorphism group is the first Janko group J1, one of the 26 sporadic simple groups.
    [Show full text]
  • Algebraic Curves with a Large Non-Tame Automorphism Group Fixing No Point
    TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 362, Number 11, November 2010, Pages 5983–6001 S 0002-9947(2010)05025-1 Article electronically published on June 10, 2010 ALGEBRAIC CURVES WITH A LARGE NON-TAME AUTOMORPHISM GROUP FIXING NO POINT M. GIULIETTI AND G. KORCHMAROS´ Abstract. Let K be an algebraically closed field of characteristic p>0, and let X be a curve over K of genus g ≥ 2. Assume that the automorphism group Aut(X )ofX over K fixes no point of X . The following result is proven. If there is a point P on X whose stabilizer in Aut(X )containsap-subgroup of order greater than gp/(p − 1), then X is birationally equivalent over K to one of the irreducible plane curves (II), (III), (IV), (V) listed in the Introduction. 1. Introduction In this paper, K denotes an algebraically closed field of positive characteristic p>0. Let Aut(X )betheK-automorphism group of a projective, non-singular, geometrically irreducible, algebraic curve X of genus g ≥ 2. It is well known that Aut(X ) is finite and that the classical Hurwitz bound (1.1) |Aut(X )|≤84(g − 1) holds provided that p |Aut(X )|.Ifp divides |Aut(X )|, then the curve X may happen to have a much larger K-automorphism group compared to its genus. The curves X with |Aut(X )|≥8g3 are listed below, up to a birational equivalence over K to an irreducible plane curve v(F ) with F ∈ K[X, Y ], where F = 0 stands for an affine equation of the curve; see [12] and Remark 2.4, and also [13, Theorem 11.127].
    [Show full text]
  • Finite Groups of Lie Type of Small Rank
    Pacific Journal of Mathematics FINITE GROUPS OF LIE TYPE OF SMALL RANK Frauke M. Bleher Volume 187 No. 2 February 1999 PACIFIC JOURNAL OF MATHEMATICS Vol. 187, No. 2, 1999 FINITE GROUPS OF LIE TYPE OF SMALL RANK Frauke M. Bleher In this paper, it is proven that a conjecture of Zassenhaus is valid for all finite simple groups of Lie type of rank 1 and 2 2 of rank 2 which are not of type A3 or A4. In particular, this conjecture holds for all finite simple groups with abelian Sylow 2–subgroups. 1. Introduction. One of the key problems in the representation theory of finite groups is to represent a given finite group G in a suitable way. To do so, invariants which classify G up to isomorphisms are determined. One of the questions derived in this context is the so-called Isomorphism Problem (IP), which asks whether the existence of an isomorphism between the integral group algebras ZG and ZH implies that G and H are isomorphic. In the seventies, Zassenhaus conjectured a stronger version of (IP) describing the structure of the group of units V (ZG) of ZG with augmentation 1: (ZC). Any two subgroups X, Y of V (ZG) which have the same order as G are conjugate by a unit of QG. The conjecture (ZC) is not true in general, as was shown by Roggenkamp and Scott who constructed a metabelian counter-example [38, IX §1]. Note that since this counter-example is a metabelian group, (IP) is still valid for this group. Recently, Hertweck also found a counter-example to the general validity of (IP) which is a soluble group [18].
    [Show full text]