In the area of modern algebra known as
group theory
In abstract algebra, group theory studies the algebraic structures known as group (mathematics), groups.
The concept of a group is central to abstract algebra: other well-known algebraic structures, such as ring (mathematics), rings, field ( ...
, the Held group ''He'' is a
sporadic simple group of
order
: 4,030,387,200 = 2
103
35
27
317
: ≈ 4.
History
''He'' is one of the 26 sporadic groups and was found by during an investigation of simple groups containing an involution whose centralizer is an extension of the
extra special group 2
1+6 by the
linear group In mathematics, a matrix group is a group ''G'' consisting of invertible matrices over a specified field ''K'', with the operation of matrix multiplication. A linear group is a group that is isomorphic to a matrix group (that is, admitting a ...
L
3(2), which is the same involution centralizer as the
Mathieu group M24. A second such group is the linear group L
5(2). The Held group is the third possibility, and its construction was completed by
John McKay and
Graham Higman
Graham Higman FRS (19 January 1917 – 8 April 2008) was a prominent English mathematician known for his contributions to group theory.
Biography
Higman was born in Louth, Lincolnshire, and attended Sutton High School, Plymouth, winning ...
. In all of these groups, the extension splits.
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
In the area of abstract algebra known as group theory, the monster group M (also known as the Fischer–Griess monster, or the friendly giant) is the largest sporadic simple group; it has order
:
: = 2463205976112133171923293 ...
. 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(4):2. The
graph associated with this representation has rank 5 and is
directed
Direct may refer to:
Mathematics
* Directed set, in order theory
* Direct limit of (pre), sheaves
* Direct sum of modules, a construction in abstract algebra which combines several vector spaces
Computing
* Direct access (disambiguation), a ...
; the outer automorphism reverses the direction of the edges, decreasing the rank to 4.
Since He is the normalizer of a
Frobenius group 7:3 in the
Monster group
In the area of abstract algebra known as group theory, the monster group M (also known as the Fischer–Griess monster, or the friendly giant) is the largest sporadic simple group; it has order
:
: = 2463205976112133171923293 ...
, it does not just commute with a 7-cycle, but also some 3-cycles. Each of these 3-cycles is normalized by the
Fischer group Fi24, so He:2 is a subgroup of the derived subgroup Fi
24' (the non-simple group Fi
24 has 2 conjugacy classes of He:2, which are fused by an outer automorphism). As mentioned above, the smallest permutation representation of He has 2058 points, and when realized inside Fi
24', there is an
orbit
In celestial mechanics, an orbit (also known as orbital revolution) is the curved trajectory of an object such as the trajectory of a planet around a star, or of a natural satellite around a planet, or of an artificial satellite around an ...
of 2058
transpositions.
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 (),
:
and ''η''(''τ'') is the
Dedekind eta function.
Presentation
It can be defined in terms of the generators ''a'' and ''b'' and relations
:
Maximal subgroups
found the 11 conjugacy classes of maximal subgroups of ''He'' as follows:
References
*
*
*
*{{citation, last=Ryba, first=A. J. E., title=Calculation of the 7-modular characters of the Held group , journal=
Journal of Algebra
''Journal of Algebra'' (ISSN 0021-8693) is an international mathematical research journal in algebra. An imprint of Academic Press, it is published by Elsevier
Elsevier ( ) is a Dutch academic publishing company specializing in scientific, te ...
, volume= 117, year=1988, issue= 1, pages= 240–255, mr=0955602, doi=10.1016/0021-8693(88)90252-9, doi-access=
External links
MathWorld: Held groupAtlas of Finite Group Representations: Held group
Sporadic groups