Icosian calculus

Stereographic projection of dodecahedron used for Hamilton's icosian game

The algebra is based on three symbols that are each roots of unity, in that repeated application of any of them yields the value 1 after a particular number of steps. They are:

${\displaystyle {\begin{aligned}\iota ^{2}&=1,\\\kappa ^{3}&=1,\\\lambda ^{5}&=1.\end{aligned}}}$

Hamilton also gives one other relation between the symbols:

${\displaystyle \lambda =\iota \kappa .}$

(In modern terms this is the (2,3,5) triangle group.)

The operation is associative but not commutative. They generate a group of order 60, isomorphic to the group of rotations of a regular icosahedron or dodecahedron, and therefore to the alternating group of degree five.

Although the algebra exists as a purely abstract construction, it can be most easily visualised in terms of operations on the edges and vertices of a dodecahedron. Hamilton himself used a flattened dodecahedron as the basis for his instructional game.

Imagine an insect crawling along a particular edge of Hamilton's labelled dodecahedron in a certain direction, say from ${\displaystyle B}$ to ${\displaystyle C}$. We can represent this directed edge by ${\displaystyle BC}$.

Geometrical illustration of operation iota in icosian calculus

• The icosian symbol ${\displaystyle \iota }$ equates to changing direction on any edge, so the insect crawls from ${\displaystyle C}$ to ${\displaystyle B}$ (following the directed edge ${\displaystyle CB}$).
• The icosian symbol ${\displaystyle \kappa }$ equates to rotating the insect's current travel anti-clockwise around the end point. In our example this would mean changing the initial direction ${\displaystyle BC}$ to become ${\displaystyle DC}$.
• The icosian symbol ${\displaystyle \lambda }$ equates to making a right-turn at the end point, moving from ${\displaystyle BC}$ to ${\displaystyle CD}$.

The icosian calculus is one of the earliest examples of many mathematical ideas, including:

• presenting and studying a group by generators and relations;
• a triangle group, later generalized to Coxeter groups;
• visualization of a group by a graph, which led to combinatorial group theory and later geometric group theory;
• Hamiltonian circuits and Hamiltonian paths in graph theory;[3]
• dessin d'enfant[4][5] – see dessin d'enfant: history for details.

• Icosian