Held group

Algebraic structure → Group theory Group theory
Basic notions Subgroup Normal subgroup Quotient group (Semi-)direct product Group homomorphisms kernel image direct sum wreath product simple finite infinite continuous multiplicative additive cyclic abelian dihedral nilpotent solvable List of group theory topics
Finite groups Classification of finite simple groups cyclic alternating Lie type sporadic Lagrange's theorem Sylow theorems Hall's theorem p-group Elementary abelian group Frobenius group Schur multiplier Symmetric group Sn Klein four-group V Dihedral group Dn Quaternion group Q Dicyclic group Dicn
Discrete groups Lattices Integers (Z) Lattice Modular groups PSL(2,Z) SL(2,Z)
Topological / Lie groups Solenoid Circle General linear GL(n) Special linear SL(n) Orthogonal O(n) Euclidean E(n) Special orthogonal SO(n) Unitary U(n) Special unitary SU(n) Symplectic Sp(n) G2 F4 E6 E7 E8 Lorentz Poincaré Conformal Diffeomorphism Loop Infinite dimensional Lie group O(∞) SU(∞) Sp(∞)
Algebraic groups Elliptic curve Linear algebraic group Abelian variety

In the area of modern algebra known as group theory, the Held group He is a sporadic simple group of order

   2¹⁰ · 3³ · 5² · 7³ · 17 = 4030387200

≈ 4×10⁹.

History

He is one of the 26 sporadic groups and was found by Dieter Held (1969a, 1969b) during an investigation of simple groups containing an involution whose centralizer is isomorphic to that of an involution in the Mathieu group M₂₄. A second such group is the linear group L₅(2). The Held group is the third possibility, and its construction was completed by John McKay and Graham Higman.

The outer automorphism group has order 2 and the Schur multiplier is trivial.

Representations

The smallest faithful complex representation has dimension 51; there are two such representations that are duals of each other.

It centralizes an element of order 7 in the Monster group. As a result the prime 7 plays a special role in the theory of the group; for example, the smallest representation of the Held group over any field is the 50 dimensional representation over the field with 7 elements, and it acts naturally on a vertex operator algebra over the field with 7 elements.

The smallest permutation representation is a rank 5 action on 2058 points with point stabilizer Sp₄(4):2.

The automorphism group He:2 of the Held group He is a subgroup of the Fischer group Fi24.

Generalized Monstrous Moonshine

Conway and Norton suggested in their 1979 paper that monstrous moonshine is not limited to the monster, but that similar phenomena may be found for other groups. Larissa Queen and others subsequently found that one can construct the expansions of many Hauptmoduln from simple combinations of dimensions of sporadic groups. For He, the relevant McKay-Thompson series is where one can set the constant term a(0) = 10 ( A007264),

and η(τ) is the Dedekind eta function.

Presentation

It can be defined in terms of the generators a and b and relations

Maximal subgroups

Butler (1981) found the 11 conjugacy classes of maximal subgroups of He as follows:

• S₄(4):2
• 2².L₃(4).S₃
• 2⁶:3.S₆
• 2⁶:3.S₆
• 2¹⁺⁶.L₃(2)
• 7²:2.L₂(7)
• 3.S₇
• 7¹⁺²:(3 × S₃)
• S₄ × L₃(2)
• 7:3 × L₃(2)
• 5²:4A₄

References

• Butler, Gregory (1981), "The maximal subgroups of the sporadic simple group of Held", Journal of Algebra, 69 (1): 67–81, doi:10.1016/0021-8693(81)90127-7, ISSN 0021-8693, MR 613857 
• Held, D. (1969a), "Some simple groups related to M₂₄", in Brauer, Richard; Shah, Chih-Han, Theory of Finite Groups: A Symposium, W. A. Benjamin 
• Held, Dieter (1969b), "The simple groups related to M₂₄", Journal of Algebra, 13: 253–296, doi:10.1016/0021-8693(69)90074-X, MR 0249500 
• Ryba, A. J. E. (1988), "Calculation of the 7-modular characters of the Held group", Journal of Algebra, 117 (1): 240–255, doi:10.1016/0021-8693(88)90252-9, MR 0955602 

External links

• MathWorld: Held group
• Atlas of Finite Group Representations: Held group\