Conway group Co2

Last updated May 16, 2024

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

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 η =

{\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 Co₂	1	24
2A	743,178,240	2¹⁺⁸:Sp₆(2)	3²·5²·11·23	-8
2B	41,287,680	2¹⁺⁴:2⁴.A₈	2·3⁴·5²11·23	8
2C	1,474,560	2¹⁰.A₆.2²	2³·3⁴·5²·7·11·23	0
3A	466,560	3¹⁺⁴2¹⁺⁴A₅	2¹¹·5²·7·11·23	-3
3B	155,520	3×U₄(2).2	2¹¹·3·5²·7·11·23	6
4A	3,096,576	4.2⁶.U₃(3).2	2⁴·3³·5³·11·23	8
4B	122,880	[2¹⁰]S₅	2⁵·3⁵·5²·7·11·23	-4
4C	73,728	[2¹³.3²]	2⁵·3⁴·5³·7·11·23	4
4D	49,152	[2¹⁴.3]	2⁴·3⁵·5³·7·11·23	0
4E	6,144	[2¹¹.3]	2⁷·3⁵·5³·7·11·23	4
4F	6,144	[2¹¹.3]	2⁷·3⁵·5³·7·11·23	0
4G	1,280	[2⁸.5]	2¹⁰·3⁶·5²·7·11·23	0
5A	3,000	5¹⁺²2A₄	2¹⁵·3⁵·7·11·23	-1
5B	600	5×S₅	2¹⁵·3⁵·5·7·11·23	4
6A	5,760	3.2¹⁺⁴A5	2¹¹·3⁴·5²·7·11·23	5
6B	5,184	[2⁶.3⁴]	2¹²·3²·5³·7·11·23	1
6C	4,320	6×S₆	2¹³·3³·5²·7·11·23	4
6D	3,456	[2⁷.3³]	2¹¹·3³·5³·7·11·23	-2
6E	576	[2⁶.3²]	2¹²·3⁴·5³·7·11·23	2
6F	288	[2⁵.3²]	2¹³·3⁴·5³·7·11·23	0
7A	56	7×D₈	2¹⁵·3⁶·5³·11·233	3
8A	768	[2⁸.3]	2¹⁰·3⁵·5³·7·11·23	0
8B	768	[2⁸.3]	2¹⁰·3⁵·5³·7·11·23	-2
8C	512	[2⁹]	2⁹·3⁶·5³·7·11·23	4
8D	512	[2⁹]	2⁹·3⁶·5³·7·11·23	0
8E	256	[2⁸]	2¹⁰·3⁶·5³·7·11·23	2
8F	64	[2⁶]	2¹²·3⁶·5³·7·11·23	2
9A	54	9×S₃	2¹⁷·3³·5³·7·11·23	3
10A	120	5×2.A₄	2¹⁵·3⁵·5²·7·11·23	3
10B	60	10×S₃	2¹⁶·3⁵·5²·7·11·23	2
10C	40	5×D₈	2¹⁵·3⁶·5²·7·11·23	0
11A	11	11	2¹⁸·3⁶·5³·7·23	2
12A	864	[2⁵.3³]	2¹³·3³·5³·7·11·23	-1
12B	288	[2⁵.3²]	2¹³·3⁴·5³·7·11·23	1
12C	288	[2⁵.3²]	2¹³·3⁴·5³·7·11·23	2
12D	288	[2⁵.3²]	2¹³·3⁴·5³·7·11·23	-2
12E	96	[2⁵.3]	2¹³·3⁵·5³·7·11·23	3
12F	96	[2⁵.3]	2¹³·3⁵·5³·7·11·23	2
12G	48	[2⁴.3]	2¹⁴·3⁵·5³·7·11·23	1
12H	48	[2⁴.3]	2¹⁴·3⁵·5³·7·11·23	0
14A	56	5×D₈	2¹⁵·3⁶·5³·11·23	-1
14B	28	14×2	2¹⁶·3⁶·5³·11·23	1	power equivalent
14C	28	14×2	2¹⁶·3⁶·5³·11·23	1	power equivalent
15A	30	30	2¹⁷·3⁵·5²·7·11·23	1
15B	30	30	2¹⁷·3⁵·5²·7·11·23	2	power equivalent
15C	30	30	2¹⁷·3⁵·5²·7·11·23	2	power equivalent
16A	32	16×2	2¹³·3⁶·5³·7·11·23	2
16B	32	16×2	2¹³·3⁶·5³·7·11·23	0
18A	18	18	2¹⁷·3⁴·5³·7·11·23	1
20A	20	20	2¹⁶·3⁶·5²·7·11·23	1
20B	20	20	2¹⁶·3⁶·5²·7·11·23	0
23A	23	23	2¹⁸·3⁶·5³·7·11	1	power equivalent
23B	23	23	2¹⁸·3⁶·5³·7·11	1	power equivalent
24A	24	24	2¹⁵·3⁵·5³·7·11·23	0
24B	24	24	2¹⁵·3⁵·5³·7·11·23	1
28A	28	28	2¹⁶·3⁶·5³·11·23	1
30A	30	30	2¹⁷·3⁵·5²·7·11·23	-1
30B	30	30	2¹⁷·3⁵·5²·7·11·23	0
30C	30	30	2¹⁷·3⁵·5²·7·11·23	0

Related Research Articles

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, having order
808,017,424,794,512,875,886,459,904,961,710,757,005,754,368,000,000,000
= 2⁴⁶ · 3²⁰ · 5⁹ · 7⁶ · 11² · 13³ · 17 · 19 · 23 · 29 · 31 · 41 · 47 · 59 · 71
≈ 8×10⁵³.

In the mathematical classification of finite simple groups, there are 26 or 27 groups which do not fit into any infinite family. These are called the sporadic simple groups, or the sporadic finite groups, or just the sporadic groups.

In the area of modern algebra known as group theory, the Conway groups are the three sporadic simple groups Co₁, Co₂ and Co₃ along with the related finite group Co₀ introduced by (Conway 1968, 1969).

In group theory, a topic in abstract algebra, the Mathieu groups are the five sporadic simple groups M₁₁, M₁₂, M₂₂, M₂₃ and M₂₄ introduced by Mathieu. They are multiply transitive permutation groups on 11, 12, 22, 23 or 24 objects. They are the first sporadic groups to be discovered.

In the area of modern algebra known as group theory, the Suzuki groupSuz or Sz is a sporadic simple group of order

In the area of modern algebra known as group theory, the Higman–Sims group HS is a sporadic simple group of order

In geometry and group theory, a lattice in the real coordinate space $is an infinite set of points in this space with the properties that coordinate-wise addition or subtraction of two points in the lattice produces another lattice point, that the lattice points are all separated by some minimum distance, and that every point in the space is within some maximum distance of a lattice point. Closure under addition and subtraction means that a lattice must be a subgroup of the additive group of the points in the space, and the requirements of minimum and maximum distance can be summarized by saying that a lattice is a Delone set. More abstractly, a lattice can be described as a free abelian group of dimension which spans the vector space . For any basis of, the subgroup of all linear combinations with integer coefficients of the basis vectors forms a lattice, and every lattice can be formed from a basis in this way. A lattice may be viewed as a regular tiling of a space by a primitive cell.$

In mathematics, monstrous moonshine, or moonshine theory, is the unexpected connection between the monster group M and modular functions, in particular, the j function. The initial numerical observation was made by John McKay in 1978, and the phrase was coined by John Conway and Simon P. Norton in 1979.

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

In the area of modern algebra known as group theory, the Janko groupJ₄ is a sporadic simple group of order

In the area of modern algebra known as group theory, the Janko groupJ₂ or the Hall-Janko groupHJ is a sporadic simple group of order

In mathematics, the special linear group SL(2, R) or SL₂(R) is the group of 2 × 2 real matrices with determinant one:

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

In the area of modern algebra known as group theory, the Mathieu groupM₂₃ is a sporadic simple group of order

In the area of modern algebra known as group theory, the Mathieu groupM₂₄ is a sporadic simple group of order

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

In mathematics, II_25,1 is the even 26-dimensional Lorentzian unimodular lattice. It has several unusual properties, arising from Conway's discovery that it has a norm zero Weyl vector. In particular it is closely related to the Leech lattice Λ, and has the Conway group Co1 at the top of its automorphism group.

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

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

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

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, Bibcode:1968PNAS...61..398C, 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, vol. 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 (4): 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, vol. 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, vol. 251, Berlin, New York: Springer-Verlag, doi:10.1007/978-1-84800-988-2, ISBN 978-1-84800-987-5, Zbl 1203.20012

Specific

External links

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

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Wilson (1983)

[2] "ATLAS: Conway group Co2".

[1]

[2]