# Exceptional isomorphism

(Redirected from Accidental isomorphism)

In mathematics, an exceptional isomorphism, also called an accidental isomorphism, is an isomorphism between members ai and bj of two families (usually infinite) of mathematical objects, that is not an example of a 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 other phenomena, notably exceptional objects.[1] In the below, coincidences are listed in all places 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:[1]

• ${\displaystyle L_{2}(4)\cong L_{2}(5)\cong A_{5},}$ the smallest non-abelian simple group (order 60);
• ${\displaystyle L_{2}(7)\cong L_{3}(2),}$ the second-smallest non-abelian simple group (order 168) – PSL(2,7);
• ${\displaystyle L_{2}(9)\cong A_{6},}$
• ${\displaystyle L_{4}(2)\cong A_{8},}$
• ${\displaystyle \operatorname {PSU} _{4}(2)\cong \operatorname {PSp} _{4}(3),}$ between a projective special orthogonal group and a projective symplectic group.

### Groups of Lie type

In addition to the aforementioned, there are some isomorphisms involving SL, PSL, GL, PGL, and the natural maps between these. For example, the groups over ${\displaystyle \mathbf {F} _{5}}$ have a number of exceptional isomorphisms:

• ${\displaystyle \operatorname {PSL} (2,5)\cong A_{5}\cong I,}$ the alternating group on five elements, or equivalently the icosahedral group;
• ${\displaystyle \operatorname {PGL} (2,5)\cong S_{5},}$ the symmetric group on five elements;
• ${\displaystyle \operatorname {SL} (2,5)\cong 2\cdot A_{5}\cong 2I,}$ the double cover of the alternating group A5, or equivalently the binary icosahedral group.

### Alternating groups and symmetric groups

The compound of five tetrahedra expresses the exceptional isomorphism between the icosahedral group and the alternating group on five letters.

There are coincidences between alternating groups and small groups of Lie type:

• ${\displaystyle L_{2}(4)\cong L_{2}(5)\cong A_{5},}$
• ${\displaystyle L_{2}(9)\cong Sp_{4}(2)'\cong A_{6},}$
• ${\displaystyle Sp_{4}(2)\cong S_{6},}$
• ${\displaystyle L_{4}(2)\cong O_{6}(+,2)'\cong A_{8},}$
• ${\displaystyle O_{6}(+,2)\cong S_{8}.}$

These can all be explained in a systematic way by using linear algebra (and the action of ${\displaystyle S_{n}}$ on affine ${\displaystyle n}$-space) to define the isomorphism going from the right side to the left side. (The above isomorphisms for ${\displaystyle A_{8}}$ and ${\displaystyle S_{8}}$ are linked via the exceptional isomorphism ${\displaystyle SL_{4}/\mu _{2}\cong SO_{6}}$.) There are also some coincidences with symmetries of regular polyhedra: the alternating group A5 agrees with the icosahedral group (itself an exceptional object), and the double cover of the alternating group A5 is the binary icosahedral group.

### Cyclic groups

Cyclic groups of small order especially arise in various ways, for instance:

• ${\displaystyle C_{2}\cong \{\pm 1\}\cong \operatorname {O} (1)\cong \operatorname {Spin} (1)\cong \mathbb {Z} ^{*}}$, the last being the group of units of the integers

### Spheres

The spheres S0, S1, and S3 admit group structures, which arise in various ways:

• ${\displaystyle S^{0}\cong \operatorname {O} (1)}$,
• ${\displaystyle S^{1}\cong \operatorname {SO} (2)\cong \operatorname {U} (1)\cong \operatorname {Spin} (2)}$,
• ${\displaystyle S^{3}\cong \operatorname {Spin} (3)\cong \operatorname {SU} (2)\cong \operatorname {Sp} (1)}$.

### Coxeter groups

The exceptional isomorphisms of connected Dynkin diagrams.

There are some exceptional isomorphisms of Coxeter diagrams, yielding isomorphisms of the corresponding Coxeter groups and of polytopes realizing the symmetries. These are:

• A2 = I2(2) (2-simplex is regular 3-gon/triangle);
• BC2 = I2(4) (2-cube (square) = 2-cross-polytope (diamond) = regular 4-gon)
• A3 = D3 (3-simplex (tetrahedron) is 3-demihypercube (demicube), as per diagram)
• A1 = B1 = C1 (= D1?)
• D2 = A1 × A1
• A4 = E4
• D5 = E5

Closely related ones occur in Lie theory for Dynkin diagrams.

## Lie theory

In low dimensions, there are isomorphisms among the classical Lie algebras and classical Lie groups called accidental isomorphisms. For instance, there are isomorphisms between low-dimensional spin groups and certain classical Lie groups, due to low-dimensional isomorphisms between the root systems of the different families of simple Lie algebras, visible as isomorphisms of the corresponding Dynkin diagrams:

• Trivially, A0 = B0 = C0 = D0
• A1 = B1 = C1, or ${\displaystyle {\mathfrak {sl}}_{2}\cong {\mathfrak {so}}_{3}\cong {\mathfrak {sp}}_{1}}$
• B2 = C2, or ${\displaystyle {\mathfrak {so}}_{5}\cong {\mathfrak {sp}}_{2}}$
• D2 = A1 × A1, or ${\displaystyle {\mathfrak {so}}_{4}\cong {\mathfrak {sl}}_{2}\oplus {\mathfrak {sl}}_{2}}$; note that these are disconnected, but part of the D-series
• A3 = D3 ${\displaystyle {\mathfrak {sl}}_{4}\cong {\mathfrak {so}}_{6}}$
• A4 = E4; the E-series usually starts at 6, but can be started at 4, yielding isomorphisms
• D5 = E5
Spin(1) = O(1)
Spin(2) = U(1) = SO(2)
Spin(3) = Sp(1) = SU(2)
Spin(4) = Sp(1) × Sp(1)
Spin(5) = Sp(2)
Spin(6) = SU(4)