Conway group Co₂

In the area of modern algebra known as group theory, the Conway group Co₂ is a sporadic simple group of order

   2¹⁸ · 3⁶ · 5³ · 7 · 11 · 23

= 42305421312000

≈ 4×10¹³.

For general background and history of the Conway sporadic groups, see Conway group.

History and properties

Co₂ is one of the 26 sporadic groups and was discovered by (Conway 1968, 1969) as the group of automorphisms of the Leech lattice Λ fixing a lattice vector of type 2. It is thus a subgroup of Co₀. It is isomorphic to a subgroup of Co₁. The direct product 2×Co₂ is maximal in Co₀.

The Schur multiplier and the outer automorphism group are both trivial.

Representations

Co₂ acts as a rank 3 permutation group on 2300 points. These points can be identified with planar hexagons in the Leech lattice having 6 type 2 vertices.

Co₂ acts on the 23-dimensional even integral lattice with no roots of determinant 4, given as a sublattice of the Leech lattice orthogonal to a norm 4 vector. Over the field with 2 elements it has a 22-dimensional faithful representation; this is the smallest faithful representation over any field.

Feit (1974) showed that if a finite group has an absolutely irreducible faithful rational representation of dimension 23 and has no subgroups of index 23 or 24 then it is contained in either Z/2Z × Co₂ or Z/2Z × Co₃.

The Mathieu group M₂₃ is isomorphic to a maximal subgroup of Co₂ and one representation, in permutation matrices, fixes the type 2 vector u = (-3,1²³). A block sum ζ of the involution η =

${\displaystyle {\mathbf {1} /2}\left({\begin{matrix}1&-1&-1&-1\\-1&1&-1&-1\\-1&-1&1&-1\\-1&-1&-1&1\end{matrix}}\right)}$

and 5 copies of -η also fixes the same vector. Hence Co₂ has a convenient matrix representation inside the standard representation of Co₀. The trace of ζ is -8, while the involutions in M₂₃ have trace 8.

A 24-dimensional block sum of η and -η is in Co₀ if and only if the number of copies of η is odd.

Another representation fixes the vector v = (4,-4,0²²). A monomial and maximal subgroup includes a representation of M₂₂:2, where any α interchanging the first 2 co-ordinates restores v by then negating the vector. Also included are diagonal involutions corresponding to octads (trace 8), 16-sets (trace -8), and dodecads (trace 0). It can be shown that Co₂ has just 3 conjugacy classes of involutions. η leaves (4,-4,0,0) unchanged; the block sum ζ provides a non-monomial generator completing this representation of Co₂.

There is an alternate way to construct the stabilizer of v. Now u and u+v = (1,-3,1²²) are vertices of a 2-2-2 triangle (vide infra). Then u, u+v, v, and their negatives form a coplanar hexagon fixed by ζ and M₂₂; these generate a group Fi₂₁ ≈ U₆(2). α (vide supra) extends this to Fi₂₁:2, which is maximal in Co₂. Lastly, Co₀ is transitive on type 2 points, so that a 23-cycle fixing u has a conjugate fixing v, and the generation is completed.

Maximal subgroups

Some maximal subgroups fix or reflect 2-dimensional sublattices of the Leech lattice. It is usual to define these planes by h-k-l triangles: triangles including the origin as a vertex, with edges (differences of vertices) being vectors of types h, k, and l.

Wilson (2009) found the 11 conjugacy classes of maximal subgroups of Co₂ as follows:

• Fi₂₁:2 ≈ U₆(2):2 - symmetry/reflection group of coplanar hexagon of 6 type 2 points. Fixes one hexagon in a rank 3 permutation representation of Co₂ on 2300 such hexagons. Under this subgroup the hexagons are split into orbits of 1, 891, and 1408. Fi₂₁ fixes a 2-2-2 triangle defining the plane.
• 2¹⁰:M₂₂:2 has monomial representation described above; 2¹⁰:M₂₂ fixes a 2-2-4 triangle.
• McL fixes a 2-2-3 triangle.
• 2¹⁺⁸:Sp₆(2) - centralizer of involution class 2A (trace -8)
• HS:2 fixes a 2-3-3 triangle or exchanges its type 3 vertices with sign change.
• (2⁴ × 2¹⁺⁶).A₈
• U₄(3):D₈
• 2⁴⁺¹⁰.(S₅ × S₃)
• M₂₃ fixes a 2-3-4 triangle.
• 3¹⁺⁴.2¹⁺⁴.S₅
• 5¹⁺²:4S₄

Conjugacy classes

Traces of matrices in a standard 24-dimensional representation of Co₂ are shown.[1] The names of conjugacy classes are taken from the Atlas of Finite Group Representations. [2]

Centralizers of unknown structure are indicated with brackets.

Class	Order of centralizer	Centralizer	Size of class	Trace
1A		all Co2	1	24
2A	743,178,240	2^1+8:Sp6(2)	3^2·5^2·11·23	-8
2B	41,287,680	2^1+4:2^4.A8	2·3^4·5^211·23	8
2C	1,474,560	2^10.A6.2^2	2^3·3^4·5^2·7·11·23	0
3A	466,560	3^1+42^1+4A5	2^11·5^2·7·11·23	-3
3B	155,520	3×U4(2).2	2^11·3·5^2·7·11·23	6
4A	3,096,576	4.2^6.U3(3).2	2^4·3^3·5^3·11·23	8
4B	122,880	[2^10]S5	2^5·3^5·5^2·7·11·23	-4
4C	73,728	[2^13.3^2]	2^5·3^4·5^3·7·11·23	4
4D	49,152	[2^14.3]	2^4·3^5·5^3·7·11·23	0
4E	6,144	[2^11.3]	2^7·3^5·5^3·7·11·23	4
4F	6,144	[2^11.3]	2^7·3^5·5^3·7·11·23	0
4G	1,280	[2^8.5]	2^10·3^6·5^2·7·11·23	0
5A	3,000	5^1+22A4	2^15·3^5·7·11·23	-1
5B	600	5×S5	2^15·3^5·5·7·11·23	4
6A	5,760	3.2^1+4A5	2^11·3^4·5^2·7·11·23	5
6B	5,184	[2^6.3^4]	2^12·3^2·5^3·7·11·23	1
6C	4,320	6×S6	2^13·3^3·5^2·7·11·23	4
6D	3,456	[2^7.3^3]	2^11·3^3·5^3·7·11·23	-2
6E	576	[2^6.3^2]	2^12·3^4·5^3·7·11·23	2
6F	288	[2^5.3^2]	2^13·3^4·5^3·7·11·23	0
7A	56	7×D8	2^15·3^6·5^3·11·233	3
8A	768	[2^8.3]	2^10·3^5·5^3·7·11·23	0
8B	768	[2^8.3]	2^10·3^5·5^3·7·11·23	-2
8C	512	[2^9]	2^9·3^6·5^3·7·11·23	4
8D	512	[2^9]	2^9·3^6·5^3·7·11·23	0
8E	256	[2^8]	2^10·3^6·5^3·7·11·23	2
8F	64	[2^6]	2^12·3^6·5^3·7·11·23	2
9A	54	9×S3	2^17·3^3·5^3·7·11·23	3
10A	120	5×2.A4	2^15·3^5·5^2·7·11·23	3
10B	60	10×S3	2^16·3^5·5^2·7·11·23	2
10C	40	5×D8	2^15·3^6·5^2·7·11·23	0
11A	11	11	2^18·3^6·5^3·7·23	2
12A	864	[2^5.3^3]	2^13·3^3·5^3·7·11·23	-1
12B	288	[2^5.3^2]	2^13·3^4·5^3·7·11·23	1
12C	288	[2^5.3^2]	2^13·3^4·5^3·7·11·23	2
12D	288	[2^5.3^2]	2^13·3^4·5^3·7·11·23	-2
12E	96	[2^5.3]	2^13·3^5·5^3·7·11·23	3
12F	96	[2^5.3]	2^13·3^5·5^3·7·11·23	2
12G	48	[2^4.3]	2^14·3^5·5^3·7·11·23	1
12H	48	[2^4.3]	2^14·3^5·5^3·7·11·23	0
14A	56	5×D8	2^15·3^6·5^3·11·23	-1
14B	28	14×2	2^16·3^6·5^3·11·23	1	power equivalent
14C	28	14×2	2^16·3^6·5^3·11·23	1
15A	30	30	2^17·3^5·5^2·7·11·23	1
15B	30	30	2^17·3^5·5^2·7·11·23	2	power equivalent
15C	30	30	2^17·3^5·5^2·7·11·23	2
16A	32	16×2	2^13·3^6·5^3·7·11·23	2
16B	32	16×2	2^13·3^6·5^3·7·11·23	0
18A	18	18	2^17·3^4·5^3·7·11·23	1
20A	20	20	2^16·3^6·5^2·7·11·23	1
20B	20	20	2^16·3^6·5^2·7·11·23	0
23A	23	23	2^18·3^6·5^3·7·11	1	power equivalent
23B	23	23	2^18·3^6·5^3·7·11	1
24A	24	24	2^15·3^5·5^3·7·11·23	0
24B	24	24	2^15·3^5·5^3·7·11·23	1
28A	28	28	2^16·3^6·5^3·11·23	1
30A	30	30	2^17·3^5·5^2·7·11·23	-1
30B	30	30	2^17·3^5·5^2·7·11·23	0
30C	30	30	2^17·3^5·5^2·7·11·23	0

References

• Conway, John Horton (1968), "A perfect group of order 8,315,553,613,086,720,000 and the sporadic simple groups", Proceedings of the National Academy of Sciences of the United States of America, 61 (2): 398–400, doi:10.1073/pnas.61.2.398, MR 0237634, PMC 225171, PMID 16591697
• Conway, John Horton (1969), "A group of order 8,315,553,613,086,720,000", The Bulletin of the London Mathematical Society, 1: 79–88, doi:10.1112/blms/1.1.79, ISSN 0024-6093, MR 0248216
• Conway, John Horton (1971), "Three lectures on exceptional groups", in Powell, M. B.; Higman, Graham (eds.), Finite simple groups, Proceedings of an Instructional Conference organized by the London Mathematical Society (a NATO Advanced Study Institute), Oxford, September 1969., Boston, MA: Academic Press, pp. 215–247, ISBN 978-0-12-563850-0, MR 0338152 Reprinted in Conway & Sloane (1999, 267–298)
• Conway, John Horton; Sloane, Neil J. A. (1999), Sphere Packings, Lattices and Groups, Grundlehren der Mathematischen Wissenschaften, 290 (3rd ed.), Berlin, New York: Springer-Verlag, doi:10.1007/978-1-4757-2016-7, ISBN 978-0-387-98585-5, MR 0920369
• Feit, Walter (1974), "On integral representations of finite groups", Proceedings of the London Mathematical Society, Third Series, 29: 633–683, doi:10.1112/plms/s3-29.4.633, ISSN 0024-6115, MR 0374248
• Thompson, Thomas M. (1983), From error-correcting codes through sphere packings to simple groups, Carus Mathematical Monographs, 21, Mathematical Association of America, ISBN 978-0-88385-023-7, MR 0749038
• Conway, John Horton; Parker, Richard A.; Norton, Simon P.; Curtis, R. T.; Wilson, Robert A. (1985), Atlas of finite groups, Oxford University Press, ISBN 978-0-19-853199-9, MR 0827219
• Griess, Robert L. Jr. (1998), Twelve sporadic groups, Springer Monographs in Mathematics, Berlin, New York: Springer-Verlag, doi:10.1007/978-3-662-03516-0, ISBN 978-3-540-62778-4, MR 1707296
• Wilson, Robert A. (1983), "The maximal subgroups of Conway's group ·2", Journal of Algebra, 84 (1): 107–114, doi:10.1016/0021-8693(83)90069-8, ISSN 0021-8693, MR 0716772
• Wilson, Robert A. (2009), The finite simple groups., Graduate Texts in Mathematics 251, Berlin, New York: Springer-Verlag, doi:10.1007/978-1-84800-988-2, ISBN 978-1-84800-987-5, Zbl 1203.20012

Specific

1. Wilson (1983)
2. http://brauer.maths.qmul.ac.uk/Atlas/v3/spor/Co2/#ccls

External links

• MathWorld: Conway Groups
• Atlas of Finite Group Representations: Co₂ version 2
• Atlas of Finite Group Representations: Co₂ version 3