- Conway group
-
Group theory Group theory Cyclic group Zn
Symmetric group, Sn
Dihedral group, Dn
Alternating group An
Mathieu groups M11, M12, M22, M23, M24
Conway groups Co1, Co2, Co3
Janko groups J1, J2, J3, J4
Fischer groups F22, F23, F24
Baby Monster group B
Monster group MSolenoid (mathematics)
Circle group
General linear group GL(n)
Special linear group SL(n)
Orthogonal group O(n)
Special orthogonal group SO(n)
Unitary group U(n)
Special unitary group SU(n)
Symplectic group Sp(n)
Lorentz group
Poincaré group
Conformal group
Diffeomorphism group
Loop group
Infinite-dimensional Lie groups O(∞) SU(∞) Sp(∞)v · mathematics, the Conway groups Co1, Co2, and Co3 are three sporadic groups discovered by John Horton Conway. The largest of the Conway groups, Co1, of order
- 4,157,776,806,543,360,000,
is obtained as the quotient of Co0 (group of automorphisms of the Leech lattice Λ that fix the origin) by its center, which consists of the scalar matrices ±1. It also appears at the top of the automorphism group of the even 26-dimensional unimodular lattice II25,1. The groups Co2 (of order 42,305,421,312,000) and Co3 (of order 495,766,656,000) consist of the automorphisms of Λ fixing a lattice vector of type 2 and a vector of type 3 respectively. (The type of a vector is half of its square norm, v·v.) As the scalar −1 fixes no non-zero vector, these two groups are isomorphic to subgroups of Co1.
Contents
History
Thomas Thompson relates how John Leech about 1964 investigated close packings of spheres in Euclidean spaces of large dimension. One of Leech's discoveries was a lattice packing in 24-space, based on what came to be called the Leech lattice Λ. He wondered whether his lattice's symmetry group contained an interesting simple group, but felt he needed the help of someone better acquainted with group theory. He had to do much asking around because the mathematicians were pre-occupied with agendas of their own. John Conway agreed to look at the problem. John G. Thompson said he would be interested if he were given the order of the group. Conway expected to spend months or years on the problem, but found results in just a few sessions.
Other sporadic groups
Conway and Thompson found that 4 recently discovered sporadic simple groups were isomorphic to subgroups or quotients of subgroups of Co1.
Two of these (subgroups of Co2 and Co3) can be defined as pointwise stabilizers of triangles with vertices, of sum zero, of types 2 and 3. A 2-2-3 triangle is fixed by the McLaughlin group McL (order 898,128,000). A 2-3-3 triangle is fixed by the Higman-Sims group (order 44,352,000).
Two other sporadic groups can be defined as stabilizers of structures on the Leech lattice. Identifying R24 with C12 and Λ with
- Z[e2πi/3]12,
the resulting automorphism group, i.e., the group of Leech lattice automorphisms preserving the complex structure, when divided by the 6-element group of complex scalar matrices, gives the Suzuki group Suz (of order 448,345,497,600). Suz is the only sporadic proper subquotient of Co1 that retains 13 as a prime factor. This group was discovered by Michio Suzuki in 1968.
A similar construction gives the Hall-Janko group J2 (of order 604,800) as the quotient of the group of quaternionic automorphisms of Λ by the group ±1 of scalars.
The 7 simple groups described above comprise what Robert Griess calls the second generation of the Happy Family, which consists of the 20 sporadic simple groups found within the Monster group. Several of the 7 groups contain at least some of the 5 Mathieu groups, which comprise the first generation.
There was a conference on group theory held May 2–4, 1968, at Harvard University. Richard Brauer and Chih-Han Sah later published a book of its proceedings. It included important lectures on four groups of the second generation, but was a little too early to include the Conway groups. It has on the other hand been observed that if Conway had started a few years earlier, he could have discovered all 7 groups. Conway unified 4 seemingly rather unrelated groups into one larger group.
An important maximal subgroup of Co0
Conway started his investigation with a subgroup called N. The Leech lattice is defined by use of the binary Golay code, whose automorphism group is the Mathieu group M24. Let E be a multiplicative representation of this code, a group of diagonal 24-by-24 matrices whose diagonal elements equal 1 or -1. E is an abelian group of type 212. Define N as the holomorph E:M24. Conway found that N is a maximal subgroup of Co0 and contains 2-Sylow subgroups of Co0. He used N to deduce the order of Co0.
The negative of the identity is in E and commutes with every 24-by-24 matrix. Then Co1 has a maximal subgroup with structure 211:M24.
The matrices of N have components that are integers. Since N is maximal in Co0,[1] N is the group of all integral matrices in Co0.
Maximal subgroups of Co1
Co1 has 22 conjugacy classes of maximal subgroups. The maximal subgroups of Co1 are as follows.
- Co2
- 3.Suz:2 (order divisible by 13)
- 211:M24
- Co3
- 21+8.O8+(2)
- U6(2):S3
- (A4 × G2(4)):2 (order divisible by 13)
- 22+12:(A8 × S3)
- 24+12.(S3 × 3.S6)
- 32.U4(3).D8
- 36:2.M12 (holomorph of ternary Golay code)
- (A5 × J2):2
- 31+4:2.Sp4(3).2
- (A6 × U3(3)).2
- 33+4:2.(S4 × S4)
- A9 × S3
- (A7 × L2(7)):2 (order divisible by 49)
- (D10 × (A5 × A5).2).2
- 51+2:GL2(5) (contains Sylow 5-subgroups of Co1)
- 53:(4 × A5).2 (contains Sylow 5-subgroups of Co1)
- 72:(3 × 2.S4) (order divisible by 49)
- 52:2A5
Co1 contains non-abelian simple groups of some 35 isomorphism types, as subgroups or as quotients of subgroups.
Maximal subgroups of Co2
There are 11 conjugacy classes of maximal subgroups.
- U6(2):2
- 210:M22:2
- McL (fixing 2-2-3 triangle)
- 21+8:Sp6(2)
- HS:2 (can transpose type 3 vertices of conserved 2-3-3 triangle)
- (24 × 21+6).A8
- U4(3):D8
- 24+10.(S5 × S3)
- M23
- 31+4.21+4.S5
- 51+2:4S4
Maximal subgroups of Co3
There are 14 conjugacy classes of maximal subgroups. Co3 has a doubly transitive permutation representation on 276 type 2-2-3 triangles containing a fixed type 3 point.
- McL:2 - can transpose type 2 points of conserved 2-2-3 triangle
- HS - fixes 2-3-3 triangle
- U4(3).22
- M23
- 35:(2 × M11)
- 2.Sp6(2) - centralizer of involution class 2A, which moves 240 of the 276 type 2-2-3 triangles
- U3(5):S3
- 31+4:4S6
- 24.A8
- PSL(3,4):(2 × S3)
- 2 × M12 - centralizer of involution class 2B, which moves 264 of the 276 type 2-2-3 triangles
- [210.33]
- S3 × PSL(2,8):3
- A4 × S5
A chain of product groups
Co0 (as well as its quotient Co1) has 4 conjugacy classes of elements of order 3. One of these commutes with a double cover of the alternating group A9. In fact the normalizer of that 3-element has the form 2.A9 x S3. This maximal subgroup reveals interesting features not found in the Mathieu groups. It has a simple subgroup of order 504, containing an element of order 9.
It was fruitful to investigate the normalizers of smaller subgroups of the form 2.An.[2] Several other maximal subgroups of Co0 are found in this way. Moreover, two sporadic groups appear in the resulting chain.
There is a subgroup 2.A8 x S4, but it is not maximal in Co0. Next there is the subgroup (2.A7 x PSL2(7)):2, whose order is divisible by 49. This group and the rest of the chain are maximal in Co0. Next comes (2.A6 x SU3(3)):2. The unitary group SU3(3) (order 6048) possesses a graph of 36 vertices, in anticipation of the next subgroup. That subgroup is (2.A5 o 2.HJ):2. The aforementioned graph expands to the Hall-Janko graph, with 100 vertices. The Hall-Janko group HJ makes its appearance here. Next comes (2.A4 o 2.G2(4)):2. G2(4) is an exceptional group of Lie type. Its order is divisible by 13, fairly rare among subgroups of the Conway groups.
The chain ends with 6.Suz:2 (Suz=Suzuki group), which, as mentioned above, respects a complex representaion of the Leech Lattice.
References
- ^ Atlas, both versions 2 & 3.
- ^ Robert A. Wilson, 'The Finite Simple Groups', Springer-Verlag (2009), p. 219 ff.
- 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, MR0237634
- Richard Brauer and Chih-Han Sah, Theory of Finite Groups: A Symposium, W. A. Benjamin (1969)
- Conway, J. H.: A group of order 8,315,553,613,086,720,000. Bull. London Math. Soc. 1 (1969), 79-88, the first-ever article on the group .0
- Conway, J. H.: Three lectures on exceptional groups, in Finite Simple Groups, M. B. Powell and G. Higman (editors), Academic Press, (1971), 215-247. Reprinted in J. H. Conway & N. J. A. Sloane, Sphere Packings, Lattices and Groups, Springer (1988), 267-298.
- Thompson, Thomas M.: From Error Correcting Codes through Sphere Packings to Simple Groups, Carus Mathematical Monographs, Mathematical Association of America (1983).
- Conway, J. H.; Curtis, R. T.; Norton, S. P.; Parker, R. A.; Wilson, R. A., Atlas of finite groups. Maximal subgroups and ordinary characters for simple groups. With computational assistance from J. G. Thackray. Eynsham: Oxford University Press (1985), ISBN 0-19-853199-0
- Griess, Robert L. Jr. (1998), Twelve sporadic groups, Springer Monographs in Mathematics, Berlin, New York: Springer-Verlag, ISBN 978-3-540-62778-4, MR1707296
- Atlas of Finite Group Representations: Co1 version 2
- Atlas of Finite Group Representations: Co1 version 3
- Robert A. Wilson, 'The Finite Simple Groups', Springer-Verlag (2009).
Categories:- Sporadic groups
Wikimedia Foundation. 2010.
Look at other dictionaries:
Group (mathematics) — This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines … Wikipedia
Conway Twitty — 1990 promotional photo Background information Birth name Harold Lloyd Jenkins Born September 1, 1933 … Wikipedia
Conway Reef — NASA ISS 002 Satellite Image Conway Reef, known since 1976 by its Fijian name Ceva I Ra or Theva i Ra Reef, (pronounced [ˈðeβaiˈra]), is a coral reef of atoll type 450 km southwest of the Fiji Islands, but part of the Republic of Fiji. It is … Wikipedia
Conway Publishing — Conway Publishing, formerly known as Conway Maritime Press, is a division of Anova Books, a London based independent publishing group. Contents 1 History 2 Conway Publishing 3 Anova 4 Bibliography … Wikipedia
Conway Savage — Born 27 July 1960 (1960 07 27) (age 51) Australia Genres Post punk, alternative rock Occupations Singer songwriter, multi instrumentalist, composer … Wikipedia
Conway Bown — (1966– ) is an Australian artist specializing in aviation and military subjects. His other occupations include aviation consultancy and commercial helicopter and aviation pilot. Bown was an official war artist during the deployment… … Wikipedia
Conway polynomial (finite fields) — In mathematics, the Conway polynomial Cp,n for the finite field Fpn is a particular irreducible polynomial of degree n over Fp that can be used to define a standard representation of Fpn as a splitting field of Fp. Conway polynomials were named… … Wikipedia
Conway , John Horton — (1937–) British mathematician Born in Liverpool, Conway was educated at Cambridge where he obtained his PhD in 1964. He was appointed professor of mathematics at Cambridge in 1983. In 1988 he moved to America to become John von Neumann Professor… … Scientists
Conway Pulford — Air Vice Marshal Conway Walter Heath Pulford CB, OBE, AFC (1892 – 10 March 1942) was a senior Royal Air Force officer. Contents 1 Naval career 2 RAF career 2.1 World War II … Wikipedia
John Horton Conway — Infobox Scientist name = John Horton Conway |300px image width = 300px birth date = birth date and age|1937|12|26|mf=y birth place = Liverpool, Merseyside, England residence = U.S. nationality = English death date = death place = field =… … Wikipedia
18+© Academic, 2000-2025- Contact us: Technical Support, Advertising
Dictionaries export, created on PHP, Joomla, Drupal, WordPress, MODx.Share the article and excerpts
Conway group
- Conway group
-
Group theory Group theory Cyclic group Zn
Symmetric group, Sn
Dihedral group, Dn
Alternating group An
Mathieu groups M11, M12, M22, M23, M24
Conway groups Co1, Co2, Co3
Janko groups J1, J2, J3, J4
Fischer groups F22, F23, F24
Baby Monster group B
Monster group MSolenoid (mathematics)
Circle group
General linear group GL(n)
Special linear group SL(n)
Orthogonal group O(n)
Special orthogonal group SO(n)
Unitary group U(n)
Special unitary group SU(n)
Symplectic group Sp(n)
Lorentz group
Poincaré group
Conformal group
Diffeomorphism group
Loop group
Infinite-dimensional Lie groups O(∞) SU(∞) Sp(∞)