History
first studied 3-transposition groups in the special case when the product of any two distinct 3-transpositions has order 3. He showed that a finite group with this property is solvable, and has a (nilpotent) 3-group of index 2. used these groups to construct examples of non-abelianFischer's theorem
Suppose that ''G'' is a group that is generated by a conjugacy class ''D'' of 3-transpositions and such that the 2 and 3 cores ''O''2(''G'') and ''O''3(''G'') are both contained in the center ''Z''(''G'') of ''G''. Then proved that up to isomorphism ''G''/''Z''(''G'') is one of the following groups and ''D'' is the image of the given conjugacy class: *''G''/''Z''(''G'') is the trivial group. *''G''/''Z''(''G'') is a symmetric group Sn for ''n''≥5, and ''D'' is the class of transpositions. (If ''n''=6 there is a second class of 3-transpositions). *''G''/''Z''(''G'') is a symplectic group Sp2''n''(2) with ''n''≥3 over the field of order 2, and ''D'' is the class of transvections. (When ''n''=2 there is a second class of transpositions.) *''G''/''Z''(''G'') is aImportant examples
The group S''n'' has order ''n''! and for ''n''>1 has a subgroup A''n'' of index 2 that is simple if ''n''>4. The symmetric group S''n'' is a 3-transposition group for all ''n''>1. The 3-transpositions are the elements that exchange two points, and leaving each of the remaining points fixed. These elements are the transpositions (in the usual sense) of Sn. (For ''n''=6 there is a second class of 3-transpositions, namely the class of the elements of S6 which are products of 3 disjoint transpositions.) The symplectic group Sp2''n''(2) has order : It is a 3-transposition group for all ''n''≥1. It is simple if ''n''>2, while for ''n''=1 it is S3, and for ''n''=2 it is S6 with a simple subgroup of index 2, namely A6. The 3-transpositions are of the form ''x''↦''x''+(''x'',''v'')''v'' for non-zero ''v''. The special unitary group SU''n''(2) has order : The projective special unitary group PSU''n''(2) is the quotient of the special unitary group SU''n''(2) by the subgroup ''M'' of all the scalar linear transformations in SU''n''(2). The subgroup ''M'' is the center of SU''n''(2). Also, ''M'' has order gcd(3,''n''). The group PSU''n''(2) is simple if ''n''>3, while for ''n''=2 it is S3 and for ''n''=3 it has the structure 32:Q8 (Q8 = quaternion group). Both SU''n''(2) and PSU''n''(2) are 3-transposition groups for ''n''=2 and for all ''n''≥4. The 3-transpositions of SU''n''(2) for ''n''=2 or ''n''≥4 are of the form ''x''↦''x''+(''x'',''v'')''v'' for non-zero vectors ''v'' of zero norm. The 3-transpositions of PSU''n''(2) for ''n''=2 or ''n''≥4 are the images of the 3-transpositions of SU''n''(2) under the natural quotient map from SU''n''(2) to PSU''n''(2)=SU''n''(2)/''M''. The orthogonal group O2''n''±(2) has order : (Over fields of characteristic 2, orthogonal group in odd dimensions are isomorphic to symplectic groups.) It has an index 2 subgroup (sometimes denoted by Ω2''n''±(2)), which is simple if ''n''>2. The group O2''n''μ(2) is a 3-transposition group for all ''n''>2 and μ=±1. The 3-transpositions are of the form ''x''↦''x''+(''x'',''v'')''v'' for vectors ''v'' such that ''Q''(v)=1, where ''Q'' is the underlying quadratic form for the orthogonal group. The orthogonal groups O''n''±(3) are the automorphism groups of quadratic forms ''Q'' over the field of 3 elements such that the discriminant of the bilinear form (''a'',''b'')=''Q''(''a''+''b'')−''Q''(''a'')−''Q''(''b'') is ±1. The group O''n''μ,σ(3), where μ and σ are signs, is the subgroup of O''n''μ(3) generated by reflections with respect to vectors ''v'' with ''Q''(''v'')=+1 if σ is +, and is the subgroup of O''n''μ(3) generated by reflections with respect to vectors ''v'' with ''Q''(''v'')=-1 if σ is −. For μ=±1 and σ=±1, let PO''n''μ,σ(3)=O''n''μ,σ(3)/''Z'', where ''Z'' is the group of all scalar linear transformations in O''n''μ,σ(3). If ''n''>3, then ''Z'' is the center of O''n''μ,σ(3). For μ=±1, let Ω''n''μ(3) be the derived subgroup of O''n''μ(3). Let PΩ''n''μ(3)= Ω''n''μ(3)/''X'', where ''X'' is the group of all scalar linear transformations in Ω''n''μ(3). If ''n''>2, then ''X'' is the center of Ω''n''μ(3). If ''n''=2''m''+1 is odd the two orthogonal groups O''n''±(3) are isomorphic and have order : and O''n''+,+(3) ≅ O''n''−,−(3) (center order 1 for ''n''>3), and O''n''−,+(3) ≅ O''n''+,−(3) (center order 2 for ''n''>3), because the two quadratic forms are scalar multiples of each other, up to linear equivalence. If ''n''=2''m'' is even the two orthogonal groups O''n''±(3) have orders : and O''n''+,+(3) ≅ O''n''+,−(3), and O''n''−,+(3) ≅ O''n''−,−(3), because the two classes of transpositions are exchanged by an element of the general orthogonal group that multiplies the quadratic form by a scalar. If ''n''=2''m'', ''m''>1 and ''m'' is even, then the centre of O''n''+,+(3) ≅ O''n''+,−(3) has order 2, and the centre of O''n''−,+(3) ≅ O''n''−,−(3) has order 1. If ''n''=2''m'', ''m''>2 and ''m'' is odd, then the centre of O''n''+,+(3) ≅ O''n''+,−(3) has order 1, and the centre of O''n''−,+(3) ≅ O''n''−,−(3) has order 2. If ''n''>3, and μ=±1 and σ=±1, the group O''n''μ,σ(3) is a 3-transposition group. The 3-transpositions of the group O''n''μ,σ(3) are of the form ''x''↦''x''−(''x'',''v'')''v''/Q(''v'')=''x''+(''x'', ''v'')/(''v'',''v'') for vectors ''v'' with ''Q''(''v'')=σ, where ''Q'' is the underlying quadratic form of O''n''μ(3). If ''n''>4, and μ=±1 and σ=±1, then O''n''μ,σ(3) has index 2 in the orthogonal group O''n''μ(3). The group O''n''μ,σ(3) has a subgroup of index 2, namely Ω''n''μ(3), which is simple modulo their centers (which have orders 1 or 2). In other words, PΩ''n''μ(3) is simple. If ''n''>4 is odd, and (μ,σ)=(+,+) or (−,−), then O''n''μ,+(3) and PO''n''μ,+(3) are both isomorphic to SO''n''μ(3)=Ω''n''μ(3):2, where SO''n''μ(3) is the special orthogonal group of the underlying quadratic form ''Q''. Also, Ω''n''μ(3) is isomorphic to PΩ''n''μ(3), and is also non-abelian and simple. If ''n''>4 is odd, and (μ,σ)=(+,−) or (−,+), then O''n''μ,+(3) is isomorphic to Ω''n''μ(3)×2, and O''n''μ,+(3) is isomorphic to Ω''n''μ(3). Also, Ω''n''μ(3) is isomorphic to PΩ''n''μ(3), and is also non-abelian and simple. If ''n''>5 is even, and μ=±1 and σ=±1, then O''n''μ,+(3) has the form Ω''n''μ(3):2, and PO''n''μ,+(3) has the form PΩ''n''μ(3):2. Also, PΩ''n''μ(3) is non-abelian and simple. ''Fi''22 has order 217.39.52.7.11.13 = 64561751654400 and is simple. ''Fi''23 has order 218.313.52.7.11.13.17.23 = 4089470473293004800 and is simple. ''Fi''24 has order 222.316.52.73.11.13.17.23.29 and has a simple subgroup of index 2, namely ''Fi''24'.Isomorphisms and solvable cases
There are numerous degenerate (solvable) cases and isomorphisms between 3-transposition groups of small degree as follows :Solvable groups
The following groups do not appear in the conclusion of Fisher's theorem as they are solvable (with order a power of 2 times a power of 3). : has order 1. : has order 2, and it is a 3-transposition group. : is elementary abelian of order 4, and it is not a 3-transposition group. : has order 6, and it is a 3-transposition group. : is elementary abelian of order 8, and it is not a 3-transposition group. : has order 24, and it is a 3-transposition group. : has order 72, and it is not a 3-transposition group, where Q8 denotes the quaternion group. : has order 72, and it is not a 3-transposition group. : has order 216, and it is not a 3-transposition group, where 31+2 denotes the extraspecial group of order 27 and exponent 3, and Q8 denotes the quaternion group. : has order 288, and it is not a 3-transposition group. : has order 576, where * denotes the non-direct central product, and it is not a 3-transposition group.Isomorphisms
There are several further isomorphisms involving groups in the conclusion of Fischer's theorem as follows. This list also identifies the Weyl groups of ADE Dynkin diagrams, which are all 3-transposition groups except W(D2)=22, with groups on Fischer's list (W stands for Weyl group). : has order 120, and the group is a 3-transposition group. : has order 720 (and 2 classes of 3-transpositions), and the group is a 3-transposition group. : has order 40320, and the group is a 3-transposition group. : has order 51840, and the group is a 3-transposition group. : has order 25920, and the group is a 3-transposition group. : has order 2903040, and the group is a 3-transposition group. : has order 69672960, and the group is a 3-transposition group. : for all ''s''≥1, and the group is a 3-transposition group if ''s''≥2. : for all ''s''≥1, and the group is a 3-transposition group for all ''s''≥1. : for all ''s''≥0, and the group is a 3-transposition group for all ''s''≥0. : for all ''s''≥0, and the group is a 3-transposition group if ''s''≥1. : for all ''m''≥0, and the group is a 3-transposition group if ''m''≥1. : for all ''m''≥0, and the group is a 3-transposition group if ''m''=0 or ''m''≥2. : for all ''n''≥1, and the group is a 3-transposition group for all n≥1. : for all ''n''≥2, and the group is a 3-transposition group if n≥3.Proof
The idea of the proof is as follows. Suppose that ''D'' is the class of 3-transpositions in ''G'', and ''d''∈''D'', and let ''H'' be the subgroup generated by the set ''Dd'' of elements of ''D'' commuting with ''d''. Then ''Dd'' is a set of 3-transpositions of ''H'', so the 3-transposition groups can be classified by induction on the order by finding all possibilities for ''G'' given any 3-transposition group ''H''. For simplicity assume that the derived group of ''G'' is perfect (this condition is satisfied by all but the two groups involving triality automorphisms.) *If ''O''3(''H'') is not contained in ''Z''(''H'') then ''G'' is the symmetric group ''S''5 *If ''O''2(''H'') is not contained in ''Z''(''H'') then ''L''=''H''/''O''2(''H'') is a 3-transposition group, and ''L''/''Z''(''L'') is either of type Sp(2''n'', 2) in which case ''G''/''Z''(''G'') is of type Sp2''n''+2(2), or of type PSU''n''(2) in which case ''G''/''Z''(''G'') is of type PSU''n''+2(2) *If ''H''/''Z''(''H'') is of type ''Sn'' then either ''G'' is of type ''S''''n''+2 or ''n'' = 6 and ''G'' is of type O6−(2) *If ''H''/''Z''(''H'') is of type Sp2''n''(2) with 2''n'' ≥ 6 then ''G'' is of type O2''n''+2μ(2) *''H''/''Z''(''H'') cannot be of type O2''n''μ(2) for ''n'' ≥ 4. *If ''H''/''Z''(''H'') is of type PO''n''μ, π(3) for ''n''>4 then ''G'' is of type PO''n''+1−μπ, π(3). *If ''H''/''Z''(''H'') is of type PSU''n''(2) for ''n'' ≥ 5 then ''n'' = 6 and ''G'' is of type Fi22 (and ''H'' is an exceptional double cover of PSU6(2)) *If ''H''/''Z''(''H'') is of type Fi22 then ''G'' is of type Fi23 and ''H'' is a double cover of Fi22. *If ''H''/''Z''(''H'') is of type Fi23 then ''G'' is of type Fi24 and ''H'' is the product of Fi23 and a group of order 2. *''H''/''Z''(''H'') cannot be of type Fi24.3-transpositions and graph theory
It is fruitful to treat 3-transpositions as vertices of a graph. Join the pairs that do not commute, i. e. have a product of order 3. The graph is connected unless the group has a direct product decomposition. The graphs corresponding to the smallest symmetric groups are familiar graphs. The 3 transpositions of ''S''3 form a triangle. The 6 transpositions of ''S''4 form an octahedron. The 10 transpositions of ''S''5 form the complement of the Petersen graph. The symmetric group ''Sn'' can be generated by ''n''–1 transpositions: (1 2), (2 3), ..., (''n''−1 ''n'') and the graph of this generating set is a straight line. It embodies sufficient relations to define the group ''Sn''.References
* contains a complete proof of Fischer's theorem. * * The first part of this preprint (4 of 19 sections) was published as The later part with the construction of the Fischer groups is still unpublished (as of 2014). * * * {{refend Finite groups