Exceptional isomorphism

Last updated March 06, 2024

In mathematics, an exceptional isomorphism, also called an accidental isomorphism, is an isomorphism between members a_i and b_j of two families, usually infinite, of mathematical objects, which is incidental, in that it is not an instance of a general pattern of such isomorphisms.^{[note 1]} These coincidences are at times considered a matter of trivia,^[1] but in other respects they can give rise to consequential phenomena, such as exceptional objects.^[1] In the following, coincidences are organized according to the structures where they occur.

Groups

Finite simple groups

The exceptional isomorphisms between the series of finite simple groups mostly involve projective special linear groups and alternating groups, and are:^[2]

PSL₂(4) ≅ PSL₂(5) ≅ A₅, the smallest non-abelian simple group (order 60);
PSL₂(7) ≅ PSL₃(2), the second-smallest non-abelian simple group (order 168) – PSL(2,7);
PSL₂(9) ≅ A₆;
PSL₄(2) ≅ A₈;
PSU₄(2) ≅ PSp₄(3), between a projective special orthogonal group and a projective symplectic group.

Alternating groups and symmetric groups

There are coincidences between symmetric/alternating groups and small groups of Lie type/polyhedral groups:^[3]

S₃ ≅ PSL₂(2) ≅ dihedral group of order 6,
A₄ ≅ PSL₂(3),
S₄ ≅ PGL₂(3) ≅ PSL₂(Z / 4),
A₅ ≅ PSL₂(4) ≅ PSL₂(5),
S₅ ≅ PΓL₂(4) ≅ PGL₂(5),
A₆ ≅ PSL₂(9) ≅ Sp₄(2)′,
S₆ ≅ Sp₄(2),
A₈ ≅ PSL₄(2) ≅ O⁺
₆(2)′,
S₈ ≅ O⁺
₆(2).

These can all be explained in a systematic way by using linear algebra (and the action of S_n on affine nspace) to define the isomorphism going from the right side to the left side. (The above isomorphisms for A₈ and S₈ are linked via the exceptional isomorphism SL₄ / μ₂ ≅ SO₆.)

There are also some coincidences with symmetries of regular polyhedra: the alternating group A₅ agrees with the chiral icosahedral group (itself an exceptional object), and the double cover of the alternating group A₅ is the binary icosahedral group.

Trivial group

The trivial group arises in numerous ways. The trivial group is often omitted from the beginning of a classical family. For instance:

C₁, the cyclic group of order 1;
A₀ ≅ A₁ ≅ A₂, the alternating group on 0, 1, or 2 letters;
S₀ ≅ S₁, the symmetric group on 0 or 1 letters;
GL(0, K) ≅ SL(0, K) ≅ PGL(0, K) ≅ PSL(0, K), linear groups of a 0-dimensional vector space;
SL(1, K) ≅ PGL(1, K) ≅ PSL(1, K), linear groups of a 1-dimensional vector space
and many others.

Spheres

The spheres S⁰, S¹, and S³ admit group structures, which can be described in many ways:

S⁰ ≅ Spin(1) ≅ O(1) ≅ Z / 2Z ≅ Z^×, the last being the group of units of the integers;
S¹ ≅ Spin(2) ≅ SO(2) ≅ U(1) ≅ R / Z ≅ circle group;
S³ ≅ Spin(3) ≅ SU(2) ≅ Sp(1) ≅ unit quaternions.

Spin groups

In addition to Spin(1), Spin(2) and Spin(3) above, there are isomorphisms for higher dimensional spin groups:

Spin(4) ≅ Sp(1) × Sp(1) ≅ SU(2) × SU(2)
Spin(5) ≅ Sp(2)
Spin(6) ≅ SU(4)

Also, Spin(8) has an exceptional order 3 triality automorphism.

Coxeter–Dynkin diagrams

There are some exceptional isomorphisms of Dynkin diagrams, yielding isomorphisms of the corresponding Coxeter groups and of polytopes realizing the symmetries, as well as isomorphisms of Lie algebras whose root systems are described by the same diagrams. These are:

Diagram	Dynkin classification	Lie algebra	Polytope
	A₁ = B₁ = C₁	${\mathfrak {sl}}_{2}\cong {\mathfrak {so}}_{3}\cong {\mathfrak {sp}}_{1}$	—
$\cong$	A₂ = I₂(2)	—	2-simplex is regular 3-gon (equilateral triangle)
	BC₂ = I₂(4)	${\mathfrak {so}}_{5}\cong {\mathfrak {sp}}_{2}$	2-cube is 2-cross polytope is regular 4-gon (square)
$\cong$	A₁ × A₁ = D₂	${\mathfrak {sl}}_{2}\oplus {\mathfrak {sl}}_{2}\cong {\mathfrak {so}}_{4}$	—
$\cong$	A₃ = D₃	${\mathfrak {sl}}_{4}\cong {\mathfrak {so}}_{6}$	3-simplex is 3-demihypercube (regular tetrahedron)

Notes

↑ Because these series of objects are presented differently, they are not identical objects (do not have identical descriptions), but turn out to describe the same object, hence one refers to this as an isomorphism, not an equality (identity).

Related Research Articles

In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions. In particular, the finite symmetric group $defined over a finite set of symbols consists of the permutations that can be performed on the symbols. Since there are such permutation operations, the order of the symmetric group is .$

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

In mathematics, a simple group is a nontrivial group whose only normal subgroups are the trivial group and the group itself. A group that is not simple can be broken into two smaller groups, namely a nontrivial normal subgroup and the corresponding quotient group. This process can be repeated, and for finite groups one eventually arrives at uniquely determined simple groups, by the Jordan–Hölder theorem.

In mathematics, an alternating group is the group of even permutations of a finite set. The alternating group on a set of $n$ elements is called the alternating group of degree $n$ , or the alternating group on $n$ letters and denoted by $A n$ or $Alt(n).$

In mathematics, the orthogonal group in dimension $n$ , denoted $O(n)$ , is the group of distance-preserving transformations of a Euclidean space of dimension $n$ that preserve a fixed point, where the group operation is given by composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of $n \times n$ orthogonal matrices, where the group operation is given by matrix multiplication (an orthogonal matrix is a real matrix whose inverse equals its transpose). The orthogonal group is an algebraic group and a Lie group. It is compact.

<span class="mw-page-title-main">Simple Lie group</span> Connected non-abelian Lie group lacking nontrivial connected normal subgroups

In mathematics, a simple Lie group is a connected non-abelian Lie group G which does not have nontrivial connected normal subgroups. The list of simple Lie groups can be used to read off the list of simple Lie algebras and Riemannian symmetric spaces.

<span class="mw-page-title-main">Projective linear group</span> Construction in group theory

In mathematics, especially in the group theoretic area of algebra, the projective linear group (also known as the projective general linear group or PGL) is the induced action of the general linear group of a vector space V on the associated projective space P(V). Explicitly, the projective linear group is the quotient group

In mathematics, the projective special linear group PSL(2, 7), isomorphic to GL(3, 2), is a finite simple group that has important applications in algebra, geometry, and number theory. It is the automorphism group of the Klein quartic as well as the symmetry group of the Fano plane. With 168 elements, PSL(2, 7) is the smallest nonabelian simple group after the alternating group A₅ with 60 elements, isomorphic to PSL(2, 5).

In mathematics, more specifically in group theory, a group is said to be perfect if it equals its own commutator subgroup, or equivalently, if the group has no non-trivial abelian quotients. In symbols, a perfect group is one such that G⁽¹⁾ = G, or equivalently one such that G^ab = {1}.

In mathematics, the ADE classification is a situation where certain kinds of objects are in correspondence with simply laced Dynkin diagrams. The question of giving a common origin to these classifications, rather than a posteriori verification of a parallelism, was posed in. The complete list of simply laced Dynkin diagrams comprises

In mathematics, a reductive group is a type of linear algebraic group over a field. One definition is that a connected linear algebraic group G over a perfect field is reductive if it has a representation that has a finite kernel and is a direct sum of irreducible representations. Reductive groups include some of the most important groups in mathematics, such as the general linear group GL(n) of invertible matrices, the special orthogonal group SO(n), and the symplectic group Sp(2n). Simple algebraic groups and (more generally) semisimple algebraic groups are reductive.

In mathematics, and especially in geometry, an object has icosahedral symmetry if it has the same symmetries as a regular icosahedron. Examples of other polyhedra with icosahedral symmetry include the regular dodecahedron and the rhombic triacontahedron.

In mathematics, the binary icosahedral group 2I or ⟨2,3,5⟩ is a certain nonabelian group of order 120. It is an extension of the icosahedral group I or (2,3,5) of order 60 by the cyclic group of order 2, and is the preimage of the icosahedral group under the 2:1 covering homomorphism

<span class="mw-page-title-main">Exceptional object</span>

Many branches of mathematics study objects of a given type and prove a classification theorem. A common theme is that the classification results in a number of series of objects and a finite number of exceptions — often with desirable properties — that do not fit into any series. These are known as exceptional objects. In many cases, these exceptional objects play a further and important role in the subject. Furthermore, the exceptional objects in one branch of mathematics often relate to the exceptional objects in others.

In mathematics, in the realm of group theory, a group is said to be superperfect when its first two homology groups are trivial: H₁(G, Z) = H₂(G, Z) = 0. This is stronger than a perfect group, which is one whose first homology group vanishes. In more classical terms, a superperfect group is one whose abelianization and Schur multiplier both vanish; abelianization equals the first homology, while the Schur multiplier equals the second homology.

In mathematics, the binary tetrahedral group, denoted 2T or ⟨2,3,3⟩, is a certain nonabelian group of order 24. It is an extension of the tetrahedral group T or (2,3,3) of order 12 by a cyclic group of order 2, and is the preimage of the tetrahedral group under the 2:1 covering homomorphism Spin(3) → SO(3) of the special orthogonal group by the spin group. It follows that the binary tetrahedral group is a discrete subgroup of Spin(3) of order 24. The complex reflection group named 3(24)3 by G.C. Shephard or 3[3]3 and by Coxeter, is isomorphic to the binary tetrahedral group.

In group theory, a branch of mathematics, the automorphisms and outer automorphisms of the symmetric groups and alternating groups are both standard examples of these automorphisms, and objects of study in their own right, particularly the exceptional outer automorphism of S₆, the symmetric group on 6 elements.

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

In mathematics, a group is said to be almost simple if it contains a non-abelian simple group and is contained within the automorphism group of that simple group – that is, if it fits between a (non-abelian) simple group and its automorphism group. In symbols, a group A is almost simple if there is a (non-abelian) simple group S such that

In the mathematical area of group theory, the covering groups of the alternating and symmetric groups are groups that are used to understand the projective representations of the alternating and symmetric groups. The covering groups were classified in : for n ≥ 4, the covering groups are 2-fold covers except for the alternating groups of degree 6 and 7 where the covers are 6-fold.

References

1 2 Wilson 2009, Chapter 1: Introduction
↑ Wilson 2009, Chapter 1: Introduction
↑ Wilson 2009, Chapter 3

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[www.maths.qmul.ac.uk/~raw/fsgs.html 2007 preprint]{{citation}}: CS1 maint: postscript (link)

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] Because these series of objects are presented differently, they are not identical objects (do not have identical descriptions), but turn out to describe the same object, hence one refers to this as an isomorphism, not an equality (identity).

[FOOTNOTEWilson2009[httpwwwmathsqmulacuk~rawfsgs_filesintrops_Chapter_1:_Introduction]-2] 1 2 Wilson 2009, Chapter 1: Introduction

[FOOTNOTEWilson2009[httpswebarchiveorgweb20070824011953httpswwwmathsqmulacuk~rawfsgs_filesintrops_Chapter_1:_Introduction]-3] Wilson 2009, Chapter 1: Introduction

[FOOTNOTEWilson2009Chapter_3-4] Wilson 2009, Chapter 3

[note 1]

[1]

[2]

[3]