Order = 273030912000000 = 214.36.56.7.11.19.
Mult = 1.
Out = 2.

The following information is available for HN:

### Standard generators

Standard generators of the Harada-Norton group HN are a and b where a is in class 2A, b is in class 3B, ab has order 22 and ababb has order 5.
Standard generators of its automorphism group HN:2 are c and d where c is in class 2C, d is in class 5A and cd has order 42.

A pair of elements conjugate to (a, b) may be obtained as
a' = (cd)^{-3}(cdcdcdcddcdcddcdd)^{10}(cd)^3, b' = (cdd)^{8}(cdcdd)^5(cdd)^{10}.

The outer automorphism may be realised by mapping (a,b) to (a,(abb)^-8b(abb)^8).

### Black box algorithms

#### Finding generators

To find standard generators for HN:

• Find any element of order 14 or 22. It powers up to a 2A-element, x say.
• Find any element of order 9. This powers up to a 3B-element, y say.
• Find a conjugate a of x and a conjugate b of y whose product has order 22 and whose commutator has order 5.
This algorithm is available in computer readable format: finder for HN.

To find standard generators for HN.2:

• Find any element of order 18 or 42. It powers up to a 2C-element, x say.
• Find any element of order 35 or 60. This powers up to a 5A-element, y say.
• Find a conjugate a of x and a conjugate b of y, whose product has order 42.
This algorithm is available in computer readable format: finder for HN.2.

#### Checking generators

To check that elements x and y of HN are standard generators:

• Check o(x) = 2
• Check o(y) = 3
• Check o(xy) = 22
• Check o(xyxyy) = 5
• Check o(x((xy)11)xyyxyxyxyxyy) = 5
This algorithm is available in computer readable format: checker for HN.

To check that elements x and y of HN.2 are standard generators:

• Check o(x) = 2
• Check o(y) = 5
• Check o(xy) = 42
• Let z = xy3(xy)4
• Check o(z) = 60
• Let t = z30
• Check o(ty) = 22
• Check o(ty2(ty)3) = 22
This algorithm is available in computer readable format: checker for HN.2.

### Representations

The representations of HN available are:
• Permutations on 1140000 points: a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
• Some representations in characteristic 2.
• Dimension 132 over GF(4): a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
• Dimension 132 over GF(4): a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
• Dimension 133 over GF(4) - indecomposable with constituents 132.1: a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
• Dimension 760 over GF(2): a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
• Dimension 2650 over GF(4): a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
• Dimension 133 over GF(9): a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
• Dimension 133 over GF(9): a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
• Dimension 760 over GF(3): a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
- kindly provided by Jürgen Müller.
• Dimension 133 over GF(5): a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
• Dimension 626 over GF(5): a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
• Dimension 627 over GF(5)- uniserial 626.1: a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
• Dimension 133 over GF(49): a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
• Dimension 133 over GF(49): a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
• Dimension 760 over GF(7): a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
• Dimension 133 over GF(11): a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
• Dimension 133 over GF(11): a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
• Dimension 760 over GF(11): a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
• Dimension 133 over GF(19): a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
• Dimension 133 over GF(19): a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
• Dimension 760 over GF(19): a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
The representations of HN:2 available are:
• Dimension 264 over GF(2): a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
• Dimension 133 over GF(5): a and b (Meataxe), a and b (Meataxe binary), a and b (GAP).
• Permutations on 1140000 points: a and b (Meataxe binary).

### Maximal subgroups

The maximal subgroups of HN are:
The maximal subgroups of HN:2 are:

### Conjugacy classes

A set of generators for the maximal cyclic subgroups can be obtained by running this program on the standard generators. All conjugacy classes can therefore be obtained as suitable powers of these elements.
Go to main ATLAS (version 2.0) page.