Open Access
This article is

- freely available
- re-usable

*Symmetry*
**2018**,
*10*(8),
326;
https://doi.org/10.3390/sym10080326

Article

Binary Icosahedral Group and 600-Cell

Department of Mathematics, Ewha Womans University 52, Ewhayeodae-gil, Seodaemun-gu, Seoul 03760, Korea

^{*}

Author to whom correspondence should be addressed.

Received: 10 July 2018 / Accepted: 26 July 2018 / Published: 7 August 2018

## Abstract

**:**

In this article, we have an explicit description of the binary isosahedral group as a 600-cell. We introduce a method to construct binary polyhedral groups as a subset of quaternions $\mathbb{H}$ via spin map of $SO(3)$. In addition, we show that the binary icosahedral group in $\mathbb{H}$ is the set of vertices of a 600-cell by applying the Coxeter–Dynkin diagram of ${H}_{4}$.

Keywords:

binary polyhedral group; icosahedron; dodecahedron; 600-cellMSC:

52B10; 52B11; 52B15## 1. Introduction

The classification of finite subgroups in $S{L}_{n}(\mathbb{C})$ derives attention from various research areas in mathematics. Especially when $n=2$, it is related to McKay correspondence and ADE singularity theory [1].

The list of finite subgroups of $S{L}_{2}(\mathbb{C})$ consists of cyclic groups (${\mathbb{Z}}_{n}$), binary dihedral groups corresponded to the symmetry group of regular $2n$-gons, and binary polyhedral groups related to regular polyhedra. These are related to the classification of regular polyhedrons known as Platonic solids. There are five platonic solids (tetrahedron, cubic, octahedron, dodecahedron, icosahedron), but, as a regular polyhedron and its dual polyhedron are associated with the same symmetry groups, there are only three binary polyhedral groups (binary tetrahedral group $2T$, binary octahedral group $2O$, binary icosahedral group $2I$) related to regular polyhedrons. Moreover, it is a well-known fact that there is a correspondence between binary polyhedral groups and vertices of 4-polytopes as follows:
where the dual compound of 24-cell means by the compound polytopes obtained from 24-cell and its dual polytope, which is also a 24-cell [2,3,4,5].

$$\begin{array}{ccc}\hfill 2T& \leftrightarrow & \mathrm{vertices}\text{}\mathrm{of}\text{}24\text{-}\mathrm{cell},\hfill \\ \hfill 2O& \leftrightarrow & \mathrm{vertices}\text{}\mathrm{of}\text{}\mathrm{dual}\text{}\mathrm{compound}\text{}\mathrm{of}\text{}24\text{-}\mathrm{cell},\hfill \\ \hfill 2I& \leftrightarrow & \mathrm{vertices}\text{}\mathrm{of}\text{}600\text{-}\mathrm{cell},\hfill \end{array}\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}\phantom{\rule{4pt}{0ex}}$$

As the symmetries of polyhedrons are isometries, the related finite subgroups are also considered as the subgroups of $SU(2)$. As $SU(2)=Sp(1)$ is a spin group of $SO(3)$, we can regard $2T$, $2O$, and $2I$ as subgroups of quaternions $\mathbb{H}$. From this point of view, it is also well known that the vertices of 24 cell correspond to roots of ${D}_{4}$, and the set of vertices of the dual compound of 24-cell, which is the union of a 24-cell and a dual 24-cell forms a roots of ${F}_{4}$. The 600-cell is a complicated case of a reflection group of ${H}_{4}$-type [3,6].

The aim of this article is to provide explicit description of a binary icosahedron group $2I$ as a 600-cell. By applying spin covering map from $Sp(1)$ to $SO(3)$, we introduce a method to construct the binary polyhedral groups in terms of quaternions from the symmetries of regular polyhedrons. Then, by applying the theory of reflection groups along the Coxeter–Dynkin diagram, we show that the subgroup $2I$ in $\mathbb{H}$ is indeed the set of vertices of a 600-cell. We also discuss $2T$ related to 24-cell, but, because the dual compound of a 24-cell is not regular, its relation to $2O$ will be discussed in another article.

## 2. Binary Polyhedral Groups in Quaternions

Every finite subgroup of $S{L}_{2}(\mathbb{C})$ is conjugate to a finite subgroup of $SU(2)$ so that the classification of the finite subgroup of $S{L}_{2}(\mathbb{C})$ including binary polyhedral groups corresponds to the classification of the finite subgroup of $SU(2)$. As $SU(2)\simeq Sp(1)$, we can identify the binary polyhedral groups as certain subsets in quaternions $\mathbb{H}$. In fact, $Sp(1)$ is not only a unit sphere in $\mathbb{H}$ but also the spin group $Spin(3),$ which is a 2-covering map of $SO(3)$. In this section, we explain how an element in $SO(3)$ lifts to quaternions in $Sp(1)$.

The algebra of quaternions $\mathbb{H}$ is the four-dimensional vector space over $\mathbb{R}$ defined by
satisfying relations ${i}^{2}={j}^{2}={k}^{2}=ijk=-1$. The quaternionic conjugate of $q=a+bi+cj+dk$ is defined by
and the corresponding norm $\left|q\right|$ is also defined by $\left|q\right|:=\sqrt{q\overline{q}}=\sqrt{{a}^{2}+{b}^{2}+{c}^{2}+{d}^{2}}$. Along this norm, quaternions satisfy $\left|pg\right|=\left|p\right|\left|g\right|$, which implies that it is one of the normed algebras whose classification consists of real numbers $\mathbb{R}$, complex numbers $\mathbb{C}$, quaternions $\mathbb{H}$, and octonions $\mathbb{O}$. A quaternion q is called $real$ if $\overline{q}=q$ and is called $imaginary$ if $\overline{q}=-q$. According to these facts, we can divide $\mathbb{H}$ into a real part and an imaginary part:

$$\mathbb{H}:=\left\{a+bi+cj+dk\phantom{\rule{4pt}{0ex}}|\phantom{\rule{4pt}{0ex}}a,b,c,d\in \mathbb{R}\right\}$$

$$\overline{q}:=a-bi-cj-dk$$

$$\mathbb{H}\simeq {\mathbb{R}}^{4}\simeq Re(\mathbb{H})\oplus Im(\mathbb{H})=\mathbb{R}\oplus {\mathbb{R}}^{3}.$$

It is well known that the set of unit sphere ${S}^{3}=\left\{q\in \mathbb{H}\phantom{\rule{4pt}{0ex}}\left|\phantom{\rule{4pt}{0ex}}\left|q\right|=1\right.\right\}$ in $\mathbb{H}$ is a Lie group $Sp(1),$ which is also isomorphic to $SU(2)$ as follows:

$$\begin{array}{ccc}Sp(1)& \simeq & SU(2)=\left\{\left.\left(\begin{array}{cc}a& b\\ -\overline{b}& \overline{a}\end{array}\right)\right|\phantom{\rule{4pt}{0ex}}a,b\in {\mathbb{C},|a|}^{2}+{|b|}^{2}=1\right\},\\ q=a+bj& \u27f7& \left(\begin{array}{cc}a& b\\ -\overline{b}& \overline{a}\end{array}\right).\end{array}$$

Below, we use the identification between ${\mathbb{R}}^{3}$ and $Im(\mathbb{H})$. Along this, a vector $v=({v}_{1},{v}_{2},{v}_{3})$ in ${\mathbb{R}}^{3}$ (resp. a quaternion $q={a}_{1}i+{a}_{2}j+{a}_{3}k$ in $Im(\mathbb{H})$) is corresponded to a quaternion ${\left(v\right)}^{\#}={v}_{1}i+{v}_{2}j+{v}_{3}k$ in $Im(\mathbb{H})$ (resp. a vector $\overrightarrow{q}=({a}_{1},{a}_{2},{a}_{3})$ in ${\mathbb{R}}^{3}$).

Now, we define a map $\Phi ,$ which is given by an action of $Sp(1)$ on $Im(\mathbb{H})\cong {\mathbb{R}}^{3}$

$$\begin{array}{cccccc}\Phi :\phantom{\rule{4.pt}{0ex}}Sp(1)& \to & SO(3),& & & \\ x& \mapsto & \Phi \left(x\right):={\rho}_{x}& :Im(\mathbb{H})& \to & Im(\mathbb{H})\\ & & & v& \mapsto & xv\overline{x}.\end{array},\phantom{\rule{4pt}{0ex}}$$

As a matter of fact, the map ${\rho}_{x}$ must be defined as
so that ${\rho}_{x}$ is in $SO(3)$. However, we use a simpler definition instead. It is well known that $\Phi $ is a 2-covering map, which is also a group homomorphism.

$$\begin{array}{cccc}{\rho}_{x}& :{\mathbb{R}}^{3}& \to & {\mathbb{R}}^{3}\\ & v\phantom{\rule{4pt}{0ex}}& \mapsto & \overrightarrow{\left(x{v}^{\#}\overline{x}\right)}\end{array}$$

In the next section, we will consider the preimage of $\Phi $ to define the lifting of symmetry groups of polyhedrons in ${\mathbb{R}}^{3},$ which are subgroups of $SO(3)$. For this purpose, we consider ${\rho}_{x}$ further in below.

We observe that the multiplication of two pure quaternions p, $q$ in $Im(\mathbb{H})$ can be written by the cross product × and the standard inner product · on ${\mathbb{R}}^{3}$:

$$pq=-\overrightarrow{p}\xb7\overrightarrow{q}+{\left(\overrightarrow{p}\times \overrightarrow{q}\right)}^{\#}.$$

After we denote $x={x}_{0}+{x}_{+}$ (${x}_{0}\in $$Re(\mathbb{H}),$ ${x}_{+}\in $$Im(\mathbb{H})$), ${\rho}_{x}(v)$ can be written as

$$\begin{array}{cc}\hfill {\rho}_{x}(v)& =xv\overline{x}=({x}_{0}+{x}_{+})v({x}_{0}-{x}_{+})\hfill \\ & =\left({x}_{0}v-\overrightarrow{v}\xb7\overrightarrow{{x}_{+}}+{\left(\overrightarrow{{x}_{+}}\times \overrightarrow{v}\right)}^{\#}\right)({x}_{0}-{x}_{+})\hfill \\ & =({x}_{0}^{2}-|\overrightarrow{{x}_{+}}{|}^{2})v+2\left(\overrightarrow{{x}_{+}}\xb7\overrightarrow{v}\right){x}_{+}+2{x}_{0}{\left(\overrightarrow{{x}_{+}}\times \overrightarrow{v}\right)}^{\#}.\hfill \end{array}$$

Here, since ${\left|x\right|}^{2}={x}_{0}^{2}+{|\overrightarrow{{x}_{+}}|}^{2}$, we denote $x=cos\theta +sin\theta \phantom{\rule{4pt}{0ex}}\frac{{x}_{+}}{\left|{x}_{+}\right|}$ where $cos\theta ={x}_{0}$ and $sin\theta =|\overrightarrow{{x}_{+}}{|}^{2}$ for some $\theta \in [0,\pi ).$

Now, to understand the meaning of ${\rho}_{x}(v)$, we consider two cases for $\overrightarrow{v}$ case (1) $\overrightarrow{v}\perp \overrightarrow{{x}_{+}}$ and case (2) $\overrightarrow{v}//\overrightarrow{{x}_{+}}$.

- (1)
- (Case $\overrightarrow{v}\perp \overrightarrow{{x}_{+}}$) Since $\overrightarrow{v}\xb7\overrightarrow{{x}_{+}}$$=0$, we have$$\begin{array}{cc}\hfill {\rho}_{x}(v)& =({x}_{0}^{2}-|\overrightarrow{{x}_{+}}{|}^{2})v+2{x}_{0}{\left(\overrightarrow{{x}_{+}}\times \overrightarrow{v}\right)}^{\#}\hfill \\ & =({x}_{0}^{2}-|\overrightarrow{{x}_{+}}{|}^{2})v+2{x}_{0}|\overrightarrow{{x}_{+}}|{\left({\displaystyle \frac{\overrightarrow{{x}_{+}}}{|\overrightarrow{{x}_{+}}|}}\times \overrightarrow{v}\right)}^{\#}\hfill \\ & =cos2\theta \phantom{\rule{4pt}{0ex}}v\phantom{\rule{4pt}{0ex}}+sin2\theta \phantom{\rule{4pt}{0ex}}{\left({\displaystyle \frac{\overrightarrow{{x}_{+}}}{|\overrightarrow{{x}_{+}}|}}\times \overrightarrow{v}\right)}^{\#}.\hfill \end{array}$$
- (2)
- (Case $\overrightarrow{v}//\overrightarrow{{x}_{+}}$) After we denote $\overrightarrow{v}=t\phantom{\rule{4pt}{0ex}}\overrightarrow{{x}_{+}}$ for some $t\in \mathbb{R}$,$$\begin{array}{cc}\hfill {\rho}_{x}(v)& =({x}_{0}^{2}-|\overrightarrow{{x}_{+}}{|}^{2})t{x}_{+}+2\left(\overrightarrow{{x}_{+}}\xb7t\phantom{\rule{4pt}{0ex}}\overrightarrow{{x}_{+}}\right){x}_{+}\hfill \\ & =\left(t\phantom{\rule{4pt}{0ex}}({x}_{0}^{2}-|\overrightarrow{{x}_{+}}{|}^{2})+2\left(\overrightarrow{{x}_{+}}\xb7t\phantom{\rule{4pt}{0ex}}\overrightarrow{{x}_{+}}\right)\right){x}_{+}\hfill \\ & =t\phantom{\rule{4pt}{0ex}}({x}_{0}^{2}+|\overrightarrow{{x}_{+}}{|}^{2}){x}_{+}=t{x}_{+}=v.\hfill \end{array}$$

By the two cases above, we conclude ${\rho}_{x}(v)$ presents the rotation of vector $\overrightarrow{v}$ in ${\mathbb{R}}^{3}$ with respect to the axis $\overrightarrow{{x}_{+}}$ by $2{cos}^{-1}\phantom{\rule{4pt}{0ex}}{x}_{0}$$\in [0,2\pi )$.

By applying the above, we have the following lemma.

**Lemma**

**1.**

For each element A in $SO(3)$ presenting a rotation with respect to a unit vector $\overrightarrow{a}$ for angle $\alpha \in [0,2\pi )$, the preimage of $\Phi :$ $Sp(1)\to SO(3)$ is given as

$${\Phi}^{-1}\left(A\right)=\left\{\pm \left(cos\frac{\alpha}{2}+sin\frac{\alpha}{2}{\left(\overrightarrow{a}\right)}^{\#}\right)\right\}\subset \mathbb{H}.$$

Note if we choose unit vector $-\overrightarrow{a}$ instead $\overrightarrow{a}$ in the lemma, then the rotation performed for angle $-\alpha $. Therefore, the related lifting is given by $cos\left(-\frac{\alpha}{2}\right)+sin\left(-\frac{\alpha}{2}\right){\left(-\overrightarrow{a}\right)}^{\#}$$=cos\frac{\alpha}{2}+sin\frac{\alpha}{2}{\left(\overrightarrow{a}\right)}^{\#}$. Hence ${\Phi}^{-1}\left(A\right)$ is well defined.

By applying Lemma 1, we can consider the preimage of any subset $G$ in $SO(3)$. We call the preimage ${\Phi}^{-1}\left(G\right)$ the lift of $G$ in $Sp(1)\subset \mathbb{H}$. When $G$ is one of the symmetry groups of regular polyhedrons, the lift ${\Phi}^{-1}\left(G\right)$ is called binary polyhedral group. In particular, we consider binary tetrahedral group $2T$, binary octahedral group $\phantom{\rule{4pt}{0ex}}2O$, and binary icosahedral group $\phantom{\rule{4pt}{0ex}}2I$, which are lifts of symmetry groups of tetrahedron, octahedron and icosahedron with order $24,48,120$, respectively.

#### 2.1. Symmetry Groups of Regular Polyhedrons

A polyhedron considered here is convex and regular. According to convention, we denote a regular polyhedron by $\{p,q\},$ which means that the polyhedron has only one type of face which is a p-gon, and each vertex is contained in q faces. It is well known that there are only five regular polyhedrons, which are also called Platonic solids. Up to duality, we consider three classes of regular polyhedrons as follows:

$$\begin{array}{ccc}\hfill \mathrm{Tetrahedron}& \leftrightarrow & \mathrm{Tetrahedron}(\mathrm{self-dual}),\\ \hfill \mathrm{Octahedron}& \leftrightarrow & \mathrm{Cube},\\ \hfill \mathrm{Icosahedron}& \leftrightarrow & \mathrm{Dodecahedron}.\end{array}$$

As the special linear group $SO(3)$ is generated by rotations on ${\mathbb{R}}^{3}$, we consider rotations of ${\mathbb{R}}^{3}$ preserving a regular polyhedron to study the symmetry group of it. When the axis of the rotation crosses a vertex (the barycenter of an edge, the barycenter or a face resp.), we call the rotation vertex symmetry (edge symmetry, face symmetry resp.). For instance, the tetrahedron has two different types of axes of rotations. One is the line passing through a vertex and the barycenter of the opposite face, and the other is the line connecting barycenters of the edges at the opposite position. We also say that a symmetry has order $n$ if the order of the corresponding rotation is n. Note that the order of each edge symmetry is 2. One can figure all the possible orders of each type of symmetry for regular polyhedrons, as shown in Table 1.

**Construction of binary polyhedral groups**

Now, we will introduce a construction which provides a way to find the elements of binary polyhedral groups related to regular polyhedrons when the set of vertices of regular polyhedrons are given.

Assume we have a regular polyhedron $\{p,q\}$ whose barycenter is the origin of ${\mathbb{R}}^{3}$ and let $\{{P}_{i}\}$ be the set of vertices of the regular polyhedron:

- (1)
- Find the barycenters of vertices, edges and faces (The barycenter of each vertex is itself).
- (2)
- For each barycenter, derive all the related symmetries in $SO(3)$ by identifying corresponding axis of rotations and its order.
- (3)
- For each symmetry obtained from step 2, we get related lifts in $\mathbb{H}$ by applying Lemma 1. It is useful to observe that we obtain the axis of rotation and its order instead of related angle where there can be more than one related angle.
- (4)
- The union of lifts is a subset of binary polyhedral groups. In fact, its union with $\{\pm 1\}$ is the binary polyhedral group by counting elements.

Note: From the above, it is clear that two regular polyhedrons which are dual to each other are associated with the same binary polyhedral groups.

For example, let $B$ be a barycenter of order 3. Then, there are two related angles $\frac{\pi}{3}$ and $\frac{2\pi}{3}$. Thus, the corresponding lift is

$$\left\{\pm \left(cos{\displaystyle \frac{\pi}{3}}+sin{\displaystyle \frac{\pi}{3}}{\displaystyle \frac{B}{|B|}}\right),\pm \left(cos{\displaystyle \frac{2\pi}{3}}+sin{\displaystyle \frac{2\pi}{3}}{\displaystyle \frac{B}{|B|}}\right)\right\}.$$

Here, we also observe that, if we begin with $-B$ instead of B, the corresponding lifts are still the same.

**Binary tetrahedral group**

We consider a tetrahedron consisting of vertices $\{{P}_{1},{P}_{2},{P}_{3},{P}_{4}\}$.

- (1)
- Since vertex symmetry has order 3, each vertex symmetry has two angles $\frac{\pi}{3}$ and $\frac{2\pi}{3}$ and the union of lifts of vertex symmetries is$${V}_{T}:={\displaystyle \bigcup _{i}}\left\{\pm \left(cos{\displaystyle \frac{\pi}{3}}+sin{\displaystyle \frac{\pi}{3}}{\displaystyle \frac{{P}_{i}}{|{P}_{i}|}}\right),\phantom{\rule{4.pt}{0ex}}\pm \left(cos{\displaystyle \frac{2\pi}{3}}+sin{\displaystyle \frac{2\pi}{3}}{\displaystyle \frac{{P}_{i}}{|{P}_{i}|}}\right)\right\}.$$

Thus, we have

$$\left|{V}_{T}\right|=\left|\mathrm{vertices}\phantom{\rule{4.pt}{0ex}}\mathrm{of}\phantom{\rule{4.pt}{0ex}}\mathrm{a}\phantom{\rule{4.pt}{0ex}}\mathrm{tetrahedron}\right|\times 4=16.$$

- (2)
- As the edge symmetry has order 2, each edge symmetry has only one angle $\frac{\pi}{2}$ so that the related lift is$$\left\{\pm \left(cos{\displaystyle \frac{\pi}{2}}+sin{\displaystyle \frac{\pi}{2}}{\displaystyle \frac{{\displaystyle \frac{{P}_{i}+{P}_{j}}{2}}}{\left|{\displaystyle \frac{{P}_{i}+{P}_{j}}{2}}\right|}}\right)\right\}$$$${E}_{T}:={\displaystyle \bigcup _{i\ne j}}\left\{\pm \left({\displaystyle \frac{{P}_{i}+{P}_{j}}{\left|{P}_{i}+{P}_{j}\right|}}\right)\right\}.$$

Since ${P}_{1}+{P}_{2}+{P}_{3}+{P}_{4}=0$, two barycenters $\frac{1}{2}}\left({P}_{1}+{P}_{2}\right)$ and $\frac{1}{2}}\left({P}_{3}+{P}_{4}\right)$ of edges have the same lifts of edge symmetries. Similarly, the pairs of edges produce the same lifts of edge symmetries, and we get

$$\left|{E}_{T}\right|=\frac{\left|\mathrm{edges}\phantom{\rule{4.pt}{0ex}}\mathrm{of}\phantom{\rule{4.pt}{0ex}}\mathrm{a}\phantom{\rule{4.pt}{0ex}}\mathrm{tetrahedron}\right|}{2}\times 2=6.$$

- (3)
- For a barycenter of face consisting of $\left\{{P}_{1},{P}_{2},{P}_{3}\right\}$, we have a relation$$\frac{{P}_{1}+{P}_{2}+{P}_{3}}{3}}=-{\displaystyle \frac{{P}_{4}}{3}$$

Finally, the union ${V}_{T}\cup {E}_{T}$ of lifts of symmetries of a tetrahedron is a subset binary tetrahedral group $2T$ in $Sp(1)$. Since
the union ${V}_{T}\cup {E}_{T}\cup \{\pm 1\}$ is a binary tetrahedral group, namely

$$\left|{V}_{T}\cup {E}_{T}\cup \{\pm 1\}\right|=16+6+2=24=\left|2T\right|,$$

$$2T={V}_{T}\cup {E}_{T}\cup \{\pm 1\}.$$

If we choose vertices $\{{P}_{1},{P}_{2},{P}_{3},{P}_{4}\}$ of a tetrahedron as
the corresponding binary tetrahedral group is obtained as

$$\left\{{P}_{1}={\displaystyle \frac{i+j+k}{2}},\phantom{\rule{4.pt}{0ex}}{P}_{2}={\displaystyle \frac{i-j-k}{2}},\phantom{\rule{4.pt}{0ex}}{P}_{3}={\displaystyle \frac{-i+j-k}{2}},\phantom{\rule{4.pt}{0ex}}{P}_{4}={\displaystyle \frac{-i-j+k}{2}}\right\},$$

$$2\widehat{T}=:\left\{\pm 1,\phantom{\rule{4pt}{0ex}}\pm i,\phantom{\rule{4pt}{0ex}}\pm j,\phantom{\rule{4pt}{0ex}}\pm k,\phantom{\rule{4pt}{0ex}}{\displaystyle \frac{1}{2}}(\pm 1\pm i\pm j\pm k)\right\}.$$

**Remark**: The subset $2\widehat{T}$ is the unit integral quaternions which is also known as Hurwitz integral quaternions. ([7,8])

**Binary Octahedral Group**

We consider an octahedron consisting of vertices $\{{P}_{i}\phantom{\rule{4pt}{0ex}}i=1,\dots ,8\}$ as below.

- (1)
- The possible orders of vertex symmetry are $2$ and 4. The vertex symmetry with order 4 has two angles $\frac{\pi}{4}$ and $\frac{3\pi}{4}$ and one with order $2$ has one angle $\frac{\pi}{2}$. Thus, the union of lifts of vertex symmetries is$${V}_{O}:={\displaystyle \bigcup _{i}}\left\{\pm \left(cos{\displaystyle \frac{\pi}{4}}+sin{\displaystyle \frac{\pi}{4}}{\displaystyle \frac{{P}_{i}}{|{P}_{i}|}}\right),\phantom{\rule{4.pt}{0ex}}\pm \left(cos{\displaystyle \frac{3\pi}{4}}+sin{\displaystyle \frac{3\pi}{4}}{\displaystyle \frac{{P}_{i}}{|{P}_{i}|}}\right),\phantom{\rule{4.pt}{0ex}}\pm \left(cos{\displaystyle \frac{\pi}{2}}+sin{\displaystyle \frac{\pi}{2}}{\displaystyle \frac{{P}_{i}}{|{P}_{i}|}}\right)\right\}.$$Since two antipodal vertices produce the same lifts of vertex symmetries, we obtain that$$\left|{V}_{O}\right|=\frac{\left|\mathrm{vertices}\phantom{\rule{4.pt}{0ex}}\mathrm{of}\phantom{\rule{4.pt}{0ex}}\mathrm{an}\phantom{\rule{4.pt}{0ex}}\mathrm{octahedron}\right|}{2}\times 6=18.$$
- (2)
- As the edge symmetry has order 2, each edge symmetry has only one angle $\frac{\pi}{2}$ so that the union of the related lift is$${E}_{O}:={\displaystyle \bigcup}\left\{\pm \left({\displaystyle \frac{{P}_{i}+{P}_{j}}{\left|{P}_{i}+{P}_{j}\right|}}\right)\right\},$$$$\left|{E}_{O}\right|=\frac{\left|\mathrm{edges}\phantom{\rule{4.pt}{0ex}}\mathrm{of}\phantom{\rule{4.pt}{0ex}}\mathrm{an}\phantom{\rule{4.pt}{0ex}}\mathrm{octahedron}\right|}{2}\times 2=12.$$
- (3)
- For a barycenter of face given as $\frac{{P}_{i}+{P}_{j}+{P}_{k}}{3}$, the face symmetry has order 3 and it is related to two angles $\frac{\pi}{3}$ and $\frac{2\pi}{3}$. Thus, the lifts of a face symmetry is$$\left\{\pm \left(cos{\displaystyle \frac{\pi}{3}}+sin{\displaystyle \frac{\pi}{3}}{\displaystyle \frac{{\displaystyle \frac{{P}_{i}+{P}_{j}+{P}_{k}}{3}}}{\left|{\displaystyle \frac{{P}_{i}+{P}_{j}+{P}_{k}}{3}}\right|}}\right),\pm \left(cos{\displaystyle \frac{2\pi}{3}}+sin{\displaystyle \frac{2\pi}{3}}{\displaystyle \frac{{\displaystyle \frac{{P}_{i}+{P}_{j}+{P}_{k}}{3}}}{\left|{\displaystyle \frac{{P}_{i}+{P}_{j}+{P}_{k}}{3}}\right|}}\right)\right\}$$$${F}_{O}:={\displaystyle \bigcup _{}}\left\{\pm \left(cos{\displaystyle \frac{\pi}{3}}+sin{\displaystyle \frac{\pi}{3}}{\displaystyle \frac{{P}_{i}+{P}_{j}+{P}_{k}}{|{P}_{i}+{P}_{j}+{P}_{k}|}}\right),\pm \left(cos{\displaystyle \frac{2\pi}{3}}+sin{\displaystyle \frac{2\pi}{3}}{\displaystyle \frac{{P}_{i}+{P}_{j}+{P}_{k}}{|{P}_{i}+{P}_{j}+{P}_{k}|}}\right)\right\}.$$

Since the octahedron is symmetric for origin, for the barycenter of a face given by $\frac{1}{3}}\left({P}_{i}+{P}_{j}+{P}_{k}\right)$, there is exactly one face whose barycenter is antipodal to $\frac{1}{3}}\left({P}_{i}+{P}_{j}+{P}_{k}\right)$, and the pair of faces produce the same lifts of face symmetries. Therefore, we deduce

$$\left|{F}_{O}\right|=\frac{\left|\mathrm{faces}\phantom{\rule{4.pt}{0ex}}\mathrm{of}\phantom{\rule{4.pt}{0ex}}\mathrm{an}\phantom{\rule{4.pt}{0ex}}\mathrm{octahedron}\right|}{2}\times 4=16.$$

Finally, the union ${V}_{O}\cup {E}_{O}$$\cup {F}_{O}$ of lifts of symmetries of an octahedron is a subset of the binary octahedral group $2O$ in $Sp(1)$. Since
the union ${V}_{O}\cup {E}_{O}\phantom{\rule{4pt}{0ex}}\cup {F}_{O}\cup \{\pm 1\}$ is a binary octahedral group, namely

$$\left|{V}_{O}\cup {E}_{O}\phantom{\rule{4pt}{0ex}}\cup {F}_{O}\cup \{\pm 1\}\right|=18+12+16+2=48=\left|2O\right|,$$

$$2O={V}_{O}\cup {E}_{O}\phantom{\rule{4pt}{0ex}}\cup {F}_{O}\cup \{\pm 1\}.$$

One can take ${P}_{i}$s as follows:
so as to obtain

$${P}_{1}=i,{P}_{2}=j,{P}_{3}=k,{P}_{4}=-i,{P}_{5}=-j,{P}_{6}=-k$$

$$2\widehat{O}:=\left\{\begin{array}{c}\pm 1,\phantom{\rule{4pt}{0ex}}\pm i,\phantom{\rule{4pt}{0ex}}\pm j,\phantom{\rule{4pt}{0ex}}\pm k,\phantom{\rule{4pt}{0ex}}\frac{1}{2}\left(\pm 1\pm i\pm j\pm k\right),\\ \frac{1}{\sqrt{2}}\left(\pm 1\pm i\right),\frac{1}{\sqrt{2}}\left(\pm 1\pm j\right),\frac{1}{\sqrt{2}}\left(\pm 1\pm k\right),\frac{1}{\sqrt{2}}\left(\pm i\pm j\right),\frac{1}{\sqrt{2}}\left(\pm i\pm k\right),\frac{1}{\sqrt{2}}\left(\pm j\pm k\right)\end{array}\right\}.$$

**Binary Icosahedral Group**

Since both the regular icosahedron and its dual regular dodecahedron produce the binary icosahedral group, we consider a regular dodecahedron in ${\mathbb{R}}^{3}$ instead of a regular icosahedron. Moreover, for the sake of convenience, one can choose specific coordinates of vertices of a dodecahedron in ${\mathbb{R}}^{3}$ such as
where $\tau ={\displaystyle \frac{\sqrt{5}+1}{2}}=2cos{\displaystyle \frac{\pi}{5}}$ and $\frac{1}{\tau}}={\displaystyle \frac{\sqrt{5}-1}{2}}=-2cos{\displaystyle \frac{2\pi}{5}$. It is also useful to know $sin{\displaystyle \frac{\pi}{5}}={\displaystyle \frac{\sqrt{10-2\sqrt{5}}}{4}}$ and $sin{\displaystyle \frac{2\pi}{5}}={\displaystyle \frac{\sqrt{10+2\sqrt{5}}}{4}}$.

$$\left\{(\pm 1,\pm 1,\pm 1),\phantom{\rule{4pt}{0ex}}(\pm \tau ,\pm {\displaystyle \frac{1}{\tau}},0),\phantom{\rule{3.33333pt}{0ex}}(0,\pm \tau ,\pm {\displaystyle \frac{1}{\tau}}),\phantom{\rule{4pt}{0ex}}(\pm {\displaystyle \frac{1}{\tau}},0,\pm \tau )\right\},$$

In the following diagram, we consider the given set of vertices as a subset in $Im\mathbb{H}={\mathbb{R}}^{3}$ and depict the configuration among the vertices.

For the above dodecahedron, we denote the set of vertices as $\{{P}_{i}\phantom{\rule{4pt}{0ex}}i=1,\dots ,20\}$ without a specific choice of order.

- (1)
- Since the possible order of each vertex symmetry is 3, the vertex symmetry has two angles $\frac{\pi}{3}$ and $\frac{2\pi}{3}$. Thus, the union of lifts of vertex symmetries is$${V}_{I}:={\displaystyle \bigcup _{i}}\left\{\pm \left(cos{\displaystyle \frac{\pi}{3}}+sin{\displaystyle \frac{\pi}{3}}{\displaystyle \frac{{P}_{i}}{|{P}_{i}|}}\right),\phantom{\rule{4.pt}{0ex}}\pm \left(cos{\displaystyle \frac{2\pi}{3}}+sin{\displaystyle \frac{2\pi}{3}}{\displaystyle \frac{{P}_{i}}{|{P}_{i}|}}\right)\right\}.$$

Since the dodecahedron is symmetric for origin, each vertex and its antipodal vertex produce the same lifts of vertex symmetries. Thus, we obtain that

$$\left|{V}_{I}\right|=\frac{\left|\mathrm{vertices}\phantom{\rule{4.pt}{0ex}}\mathrm{of}\phantom{\rule{4.pt}{0ex}}\mathrm{a}\phantom{\rule{4.pt}{0ex}}\mathrm{dodecahedron}\right|}{2}\times 4=40.$$

- (2)
- As before, the edge symmetry has order 2, and each edge symmetry has only one angle $\frac{\pi}{2}$ so that the union of the related lifts is$${E}_{I}:={\displaystyle \bigcup}\left\{\pm \left({\displaystyle \frac{{P}_{i}+{P}_{j}}{\left|{P}_{i}+{P}_{j}\right|}}\right)\right\},$$$$\left|{E}_{I}\right|=\frac{\left|\mathrm{edges}\phantom{\rule{4.pt}{0ex}}\mathrm{of}\phantom{\rule{4.pt}{0ex}}\mathrm{a}\phantom{\rule{4.pt}{0ex}}\mathrm{dodecahedron}\right|}{2}\times 2=30.$$
- (3)
- For a barycenter of face given as $\frac{1}{5}}\left({P}_{{i}_{1}}+{P}_{{i}_{2}}+{P}_{{i}_{3}}+{P}_{{i}_{4}}+{P}_{{i}_{5}}\right)$ where ${P}_{{i}_{l}}$ ($l=1,2,3,4,5$) forms a face, the face symmetry has order 5 and it is related to four angles $\frac{a\pi}{5}}\phantom{\rule{4pt}{0ex}}(a=1,2,3,4)$. Thus, the lifts of a face symmetry are$$\left\{\pm \left(cos{\displaystyle \frac{a\pi}{5}}+sin{\displaystyle \frac{a\pi}{5}}{\displaystyle \frac{{\displaystyle \frac{1}{5}}\left({P}_{{i}_{1}}+{P}_{{i}_{2}}+{P}_{{i}_{3}}+{P}_{{i}_{4}}+{P}_{{i}_{5}}\right)}{\left|{\displaystyle \frac{1}{5}}\left({P}_{{i}_{1}}+{P}_{{i}_{2}}+{P}_{{i}_{3}}+{P}_{{i}_{4}}+{P}_{{i}_{5}}\right)\right|}}\right)(a=1,2,3,4)\right\}$$$${F}_{I}:={\displaystyle \bigcup _{}}\left\{\pm \left(cos{\displaystyle \frac{a\pi}{5}}+sin{\displaystyle \frac{a\pi}{5}}{\displaystyle \frac{{P}_{{i}_{1}}+{P}_{{i}_{2}}+{P}_{{i}_{3}}+{P}_{{i}_{4}}+{P}_{{i}_{5}}}{|{P}_{{i}_{1}}+{P}_{{i}_{2}}+{P}_{{i}_{3}}+{P}_{{i}_{4}}+{P}_{{i}_{5}}|}}\right)(a=1,2,3,4)\right\}.$$

Since a pair of antipodal faces produce the same lifts of face symmetries, we deduce

$$\left|{F}_{I}\right|=\frac{\left|\mathrm{faces}\phantom{\rule{4.pt}{0ex}}\mathrm{of}\phantom{\rule{4.pt}{0ex}}\mathrm{a}\phantom{\rule{4.pt}{0ex}}\mathrm{dodecahedron}\right|}{2}\times 8=48.$$

Finally, the union ${V}_{I}\cup {E}_{I}$$\cup \phantom{\rule{4pt}{0ex}}{F}_{I}$ of lifts of symmetries of a dodecahedron is a subset of a binary icosahedral group $2I$ in $Sp(1)$. Since
the union ${V}_{I}\cup {E}_{I}$$\cup \phantom{\rule{4pt}{0ex}}{F}_{I}\cup \{\pm 1\}$ is a binary icosahedral group, namely

$$\left|{V}_{I}\cup {E}_{I}\phantom{\rule{4pt}{0ex}}\cup \phantom{\rule{4pt}{0ex}}{F}_{I}\cup \{\pm 1\}\right|=40+30+48+2=120=\left|2I\right|,$$

$$2I={V}_{I}\cup {E}_{I}\phantom{\rule{4pt}{0ex}}\cup \phantom{\rule{4pt}{0ex}}{F}_{I}\cup \{\pm 1\}.$$

For the given vertices we have, we can obtain

$$\begin{array}{cc}\hfill {V}_{I}& =\left\{{\displaystyle \frac{1}{2}}\left(\pm 1\pm i\pm j\pm k\right),\frac{1}{2}\left(\pm 1\pm \tau j\pm {\displaystyle \frac{1}{\tau}}k\right),\frac{1}{2}\left(\pm 1\pm {\displaystyle \frac{1}{\tau}}i\pm \tau k\right),\frac{1}{2}\left(\pm 1\pm \tau i\pm {\displaystyle \frac{1}{\tau}}j\right)\right\}\hfill \\ \hfill {E}_{I}& =\left\{\pm i,\phantom{\rule{4pt}{0ex}}\pm j,\phantom{\rule{4pt}{0ex}}\pm k,\phantom{\rule{4pt}{0ex}}\frac{1}{2}\left(\pm i\pm {\displaystyle \frac{1}{\tau}}j\pm \tau k\right),\phantom{\rule{4pt}{0ex}}\frac{1}{2}\left(\pm {\displaystyle \frac{1}{\tau}}i\pm \tau j\pm k\right),\phantom{\rule{4pt}{0ex}}\frac{1}{2}\left(\pm \tau i\pm j\pm {\displaystyle \frac{1}{\tau}}k\right)\right\}\hfill \\ \hfill {F}_{I}& =\left\{\begin{array}{c}\frac{1}{2}\left(\pm {\displaystyle \frac{1}{\tau}}\pm \tau i\pm k\right),\frac{1}{2}\left(\pm \tau \pm {\displaystyle \frac{1}{\tau}}i\pm j\right),\frac{1}{2}\left(\pm \tau \pm {\displaystyle \frac{1}{\tau}}j\pm k\right),\\ \frac{1}{2}\left(\pm \tau \pm i\pm {\displaystyle \frac{1}{\tau}}k\right),\frac{1}{2}\left(\pm {\displaystyle \frac{1}{\tau}}\pm i\pm \tau j\right),\frac{1}{2}\left(\pm {\displaystyle \frac{1}{\tau}}\pm j\pm \tau k\right)\end{array}\right\}.\hfill \end{array}$$

As a result, we can identify all the elements of the binary icosahedral group as

$$2\widehat{I}:=\left\{\begin{array}{c}\pm 1,\phantom{\rule{4pt}{0ex}}\pm i,\phantom{\rule{4pt}{0ex}}\pm j,\phantom{\rule{4pt}{0ex}}\pm k,\phantom{\rule{4pt}{0ex}}{\displaystyle \frac{1}{2}}\left(\pm 1\pm i\pm j\pm k\right)\\ \frac{1}{2}\left(\pm i\pm {\displaystyle \frac{1}{\tau}}j\pm \tau k\right),\phantom{\rule{4pt}{0ex}}\frac{1}{2}\left(\pm 1\pm \tau j\pm {\displaystyle \frac{1}{\tau}}k\right),\phantom{\rule{4pt}{0ex}}\frac{1}{2}\left(\pm {\displaystyle \frac{1}{\tau}}\pm \tau i\pm k\right),\phantom{\rule{4pt}{0ex}}\frac{1}{2}\left(\pm \tau \pm {\displaystyle \frac{1}{\tau}}i\pm j\right),\\ \frac{1}{2}\left(\pm {\displaystyle \frac{1}{\tau}}i\pm \tau j\pm k\right),\phantom{\rule{4pt}{0ex}}\frac{1}{2}\left(\pm \tau \pm {\displaystyle \frac{1}{\tau}}j\pm k\right),\phantom{\rule{4pt}{0ex}}\frac{1}{2}\left(\pm \tau \pm i\pm {\displaystyle \frac{1}{\tau}}k\right),\phantom{\rule{4pt}{0ex}}\frac{1}{2}\left(\pm {\displaystyle \frac{1}{\tau}}\pm i\pm \tau j\right),\\ \frac{1}{2}\left(\pm \tau i\pm j\pm {\displaystyle \frac{1}{\tau}}k\right),\phantom{\rule{4pt}{0ex}}\frac{1}{2}\left(\pm {\displaystyle \frac{1}{\tau}}\pm j\pm \tau k\right),\phantom{\rule{4pt}{0ex}}\frac{1}{2}\left(\pm 1\pm {\displaystyle \frac{1}{\tau}}i\pm \tau k\right),\phantom{\rule{4pt}{0ex}}\frac{1}{2}\left(\pm 1\pm \tau i\pm {\displaystyle \frac{1}{\tau}}j\right)\end{array}\right\}.$$

**Theorem**

**1.**

The finite subsets $2\widehat{T}$, $2\widehat{O}$ and $2\widehat{I}$ in $\mathbb{H}$ defined as above are a binary tetrahedral group, a binary octahedral group, and a binary icosahedral group, respectively.

Note that it is well known that the a subset $\left\{\pm 1,\pm i,\pm j,\pm k,{\displaystyle \frac{1}{2}}(\pm 1\pm i\pm j\pm k)\right\}$ in $2I$ is the vertices of 24-cell and the complementary subset in $2I$ is the vertices of a snub 24-cell.

## 3. 600-Cell

The Coxeter–Dynkin diagrams are the way of describing the group generated by reflections. For each graph, node represents a mirror (or a reflection hypersurface) and the label $m$ attached to a branch between nodes marks the dihedral angle $\frac{\pi}{m}$ between two mirrors. By convention, no label is attached to a branch if the corresponding dihedral angle is $\frac{\pi}{3}$. When all the dihedral angles are $\frac{\pi}{3}$, the diagram is called simply laced. Ringed nodes present so called active mirrors where there is a point $P$ not to sit in the hyperplanes of reflections corresponded to the mirrors. By successive applying the reflections in the diagram to the point P, we obtain a polytope whose symmetry group is the Weyl group generated by the Coxeter–Dynkin diagram. Moreover, the combinatorics of subpolytopes can also be decoded by the Coxeter–Dynkin diagram when it is simply laced with one ringed node (see [7,9,10]). In fact, a similar method can be applied for the diagram, which is not simply laced or has more than one ringed node.

The Coxeter–Dynkin diagram of 24-cell is an example of simply laced with one ringed node.

The Weyl group associated with this diagram is ${D}_{4}$-type. In [7], the subpolytopes of 24-cell as shown in Table 2 are described by using the Coxeter–Dynkin diagram.

The Coxeter–Dynkin diagram of 600-cell is given by
whose Weyl group is ${H}_{4}$-type. Thus, the diagram is not simply laced and has one ringed node.

(1) Vertices

By removing a ringed node, we obtain the isotropy subgroup in the Weyl group of ${H}_{4}$ which fixed a vertex in the 600-cell. Here, the corresponding isotropy group is ${H}_{3}$ and we can compute the total number of vertices as
For the remaining diagram above, we ring a node connected to the removed node. Then, we obtain the Coxeter–Dynkin diagram of an Icosahedron, which implies that the vertex figure of $600$ cell is an icosahedron.

$$\frac{|{H}_{4}|}{|{H}_{3}|}}={\displaystyle \frac{14400}{120}}=120.$$

(2) Edges

For edges, we consider the ringed node that performs one reflection corresponding to an edge.

For the isotropy subgroup of the edge, we remove the unringed node connected to the ringed node. In addition, the remaining diagram generates the isotropy subgroup ${H}_{2}\times {A}_{1}$. Thus, we compute the total number of edges as

$$\frac{|{H}_{4}|}{|{H}_{2}||{A}_{1}|}}={\displaystyle \frac{14400}{10\xb72}}=720.$$

(3) Faces

For faces, we consider the ringed node and extend the diagram to unringed nodes so as to obtain a subdiagram of ${A}_{2}$-type. The subdiagram of ${A}_{2}$ with one ringed node generate $\{3\}$, namely a triangle. Thus, the faces of 600-cell are all triangles.

For the isotropy subgroup of a face, we remove any unringed node connected to the subdiagram of a face. The remaining subdiagram generates the isotropy subgroup of a face, which is ${A}_{1}\times {A}_{2}$. Thus, we compute the total number of faces as

$$\frac{|{H}_{4}|}{|{A}_{1}||{A}_{2}|}}={\displaystyle \frac{14400}{2!\dot{3}!}}=1200.$$

(4) Cells

To obtain a cell in a 600-cell, we consider an extended diagram from the ringed nodes to unringed nodes so as to obtain a subdiagram of ${A}_{3}$. The diagram of type ${A}_{3}$ with one ringed node on one side represents a tetrahedron.

For the isotropy subgroup of a cell, we consider that any unringed node connected to the subdiagram of ${A}_{3}$, and the subdiagram given by removing the node generates the isotropy subgroup, which is ${A}_{3}$. Thus, we compute the total number of cells, Table 3 shows the subpolytopes of 600:

$$\frac{|{H}_{4}|}{|{A}_{3}|}}={\displaystyle \frac{14400}{4!}}=600.$$

## 4. Binary Polyhedral Groups as Polytopes

In this section, we show that the binary icosahedral group $2I$ in $\mathbb{H}$ is the set of vertices of a 600-cell. Thus, the convex hull of $2I$ in $\mathbb{H}$ is a 600-cell.

For each $\alpha $ in $\mathbb{H}$ with $\left|\alpha \right|=1$, we define a reflection on $\mathbb{H}$ as

$$\begin{array}{cccc}{\sigma}_{\alpha}:& \mathbb{H}& \u27f6& \mathbb{H},\\ & x& \mapsto & {\sigma}_{\alpha}(x):=x-2\left(\overrightarrow{x}\xb7\overrightarrow{\alpha}\right)\alpha .\end{array}$$

Since $\mathbb{H}$ is a normed division algebra, ${\sigma}_{\alpha}(x)$ is also written as ${\sigma}_{a}(x)=-a\phantom{\rule{4pt}{0ex}}\overline{x}\phantom{\rule{4pt}{0ex}}a$ via quaternionic multiplication (see Ref. [7]). Since ${\sigma}_{a}$ is a reflection for a vector $\alpha $, ${\sigma}_{a}$ has eigenvalues $\pm 1$ where $\alpha $ is an eigenvector of $-1$ and the hyperplane perpendicular to $\alpha $ is the eigenspace of 1. Moreover, it is not an element in $SO(3)$.

**Binary tetrahedral group**$2\widehat{T}$

**in**$\mathbb{H}$

**and**24

**-cell**

For 24-cell, we consider the Coxeter–Dynkin diagram of type ${D}_{4}$ given in Section 3, where

$${\alpha}_{1}=i,{\alpha}_{2}={\displaystyle \frac{1}{2}}(1+i+j+k),{\alpha}_{3}=j,{\alpha}_{4}=k.$$

In Ref. [7], the Weyl group generated by the Coxeter–Dynkin diagram acts on the binary tetrahedral group $2\widehat{T}$. Moreover, it is shown that $2\widehat{T}$ is the set of vertices of a 24-cell. In fact, it is also the subset of unit integral quaternions.

**Binary icosahedral group**$2\widehat{I}$

**in**$\mathbb{H}$

**and**600

**-cell**

Similarly, for 600-cell, we consider the Coxeter–Dynkin diagram of Type ${H}_{4}$ given in Section 3, where

$${\alpha}_{1}=i,{\alpha}_{2}={\displaystyle \frac{1}{2}}\left(\tau i+j-\frac{1}{\tau}k\right),{\alpha}_{3}=j,{\alpha}_{4}={\displaystyle \frac{1}{2}}\left(-\frac{1}{\tau}+j+\tau k\right).$$

The Weyl group generated by the reflections $\left\{{\sigma}_{{\alpha}_{i}}\phantom{\rule{4pt}{0ex}}i=1,2,3,4\right\}$ is denoted by ${W}_{H}$. In below, we want to show that

**(1)**the Weyl group ${W}_{H}$ acts on the binary icosahedral group $2\widehat{I}$, and**(2)**$2\widehat{I}$ is a single orbit, where it corresponds to the set of vertices of 600-cell.**Lemma**

**2.**

The Weyl group ${W}_{H}$ acts on the binary icosahedral group $2\widehat{I}$ in $\mathbb{H}$.

**Proof.**

Since the Weyl group ${W}_{H}$ is generated by the reflections ${\sigma}_{{\alpha}_{i}}$ ($i=1,2,3,4$), we show that each ${\sigma}_{{\alpha}_{i}}$ acts on $2I$. For an arbitrary element $a+bi+cj+dk\in \mathbb{H}$, the reflections are written as follows:

$$\begin{array}{cc}\hfill {\sigma}_{{\alpha}_{1}}(a+bi+cj+dk)& =a-bi+cj+dk,\hfill \\ \hfill {\sigma}_{{\alpha}_{2}}(a+bi+cj+dk)& =a+\left(-\frac{1}{2\tau}b-\frac{\tau}{2}c+\frac{1}{2}d\right)i\hfill \\ & +\left(-\frac{\tau}{2}b+\frac{1}{2}c+\frac{1}{2\tau}d\right)j+\left(\frac{1}{2}b+\frac{1}{2\tau}c+\frac{\tau}{2}d\right)k,\hfill \\ \hfill {\sigma}_{{\alpha}_{3}}(a+bi+cj+dk)& =a+bi-cj+dk,\hfill \\ \hfill {\sigma}_{{\alpha}_{4}}(a+bi+cj+dk)& =\left(\frac{\tau}{2}a+\frac{1}{2\tau}c+\frac{1}{2}d\right)+bi\hfill \\ & +\left(\frac{1}{2\tau}a+\frac{1}{2}c-\frac{\tau}{2}d\right)j+\left(\frac{1}{2}a-\frac{\tau}{2}c-\frac{1}{2\tau}d\right)k.\hfill \end{array}$$

It is easy to see that ${\sigma}_{{\alpha}_{1}}$ and ${\sigma}_{{\alpha}_{3}}$ act on $2\widehat{I}$. By choosing $\left\{1,i,j,k\right\}$ as an ordered orthonormal basis of $\mathbb{H}$, ${\sigma}_{{\alpha}_{2}}$ and ${\sigma}_{{\alpha}_{4}}$ can be written as

$${\sigma}_{{\alpha}_{2}}=\left(\begin{array}{cccc}1& 0& 0& 0\\ 0& -\frac{1}{2\tau}& -\frac{\tau}{2}& \frac{1}{2}\\ 0& -\frac{\tau}{2}& \frac{1}{2}& \frac{1}{2\tau}\\ 0& \frac{1}{2}& \frac{1}{2\tau}& \frac{\tau}{2}\end{array}\right)\phantom{\rule{4.pt}{0ex}}\mathrm{and}\phantom{\rule{4.pt}{0ex}}{\sigma}_{{\alpha}_{4}}=\left(\begin{array}{cccc}\frac{\tau}{2}& 0& \frac{1}{2\tau}& \frac{1}{2}\\ 0& 1& 0& 0\\ \frac{1}{2\tau}& 0& \frac{1}{2}& -\frac{\tau}{2}\\ \frac{1}{2}& 0& -\frac{\tau}{2}& -\frac{1}{2\tau}\end{array}\right).$$

In addition, these are similar because ${\sigma}_{{\alpha}_{4}}={S}^{t}{\sigma}_{{\alpha}_{2}}S,$ where $S$ is an orthogonal matrix

$$\left(\begin{array}{cccc}0& 1& 0& 0\\ 0& 0& 0& 1\\ 0& 0& 1& 0\\ 1& 0& 0& 0\end{array}\right).$$

In fact, S is an element in $SO(4)$ defined by
and one can check that $S$ acts on $2\widehat{I}$ by simple calculation. Thus, it suffices to show that ${\sigma}_{{\alpha}_{2}}$ acts on $2I$ to check ${\sigma}_{{\alpha}_{2}}$ and ${\sigma}_{{\alpha}_{4}}$ act on $2\widehat{I}$. For ${\sigma}_{{\alpha}_{2}}$, we consider $3\times 3$ submatrix A of ${\sigma}_{{\alpha}_{2}}$ defined as

$$1\to k,\phantom{\rule{4pt}{0ex}}i\to 1,\phantom{\rule{4pt}{0ex}}j\to j,\phantom{\rule{4pt}{0ex}}k\to i$$

$$A:=\left(\begin{array}{ccc}-\frac{1}{2\tau}& -\frac{\tau}{2}& \frac{1}{2}\\ -\frac{\tau}{2}& \frac{1}{2}& \frac{1}{2\tau}\\ \frac{1}{2}& \frac{1}{2\tau}& \frac{\tau}{2}\end{array}\right).$$

This is a automorphism of $Im\mathbb{H}$ which satisfies ${A}^{t}A=Id$ and $detA=-1$. Moreover, $A$ also acts on
$$\left\{(\pm 1,\pm 1,\pm 1),\phantom{\rule{4pt}{0ex}}(\pm \tau ,\pm {\displaystyle \frac{1}{\tau}},0),\phantom{\rule{3.33333pt}{0ex}}(0,\pm \tau ,\pm {\displaystyle \frac{1}{\tau}}),\phantom{\rule{4pt}{0ex}}(\pm {\displaystyle \frac{1}{\tau}},0,\pm \tau )\right\},$$
which is our choice of the vertices of a dodecahedron. Since $A$ is a reflection, it is also a symmetry of the dodecahedron so that it also acts on the set of edges and the set of faces. According to the construction of binary icosahedral group $2\widehat{I}$ in Section 2.1, the action of $A$ on the icosahedron induces the action of ${\sigma}_{{\alpha}_{2}}$ on $2\widehat{I}$. For example, an edge symmetry given by an edge ${P}_{i}+{P}_{j}$ is sent to another given by $A{P}_{i}+A{P}_{j}$ because
Similarly, we conclude that ${\sigma}_{{\alpha}_{2}}$ acts on $2\widehat{I}$. ☐

$${\sigma}_{{\alpha}_{2}}\left({\displaystyle \frac{{P}_{i}+{P}_{j}}{\left|{P}_{i}+{P}_{j}\right|}}\right)={\displaystyle \frac{A{P}_{i}+A{P}_{j}}{\left|{P}_{i}+{P}_{j}\right|}}={\displaystyle \frac{A{P}_{i}+A{P}_{j}}{\left|A{P}_{i}+A{P}_{j}\right|}}.$$

By applying the above lemma, we obtain the following theorem.

**Theorem**

**2.**

The set $2\widehat{I}$ of a binary icosahedral group is an orbit of the Weyl group ${W}_{H}$, and it is the set of vertices of a 600-cell.

**Proof.**

By Lemma 2, the Weyl group ${W}_{H}$ acts on $2I$. Now, we consider an element $1$ in $2\widehat{I}$ and its orbit ${W}_{H}\left\{1\right\}\subset $ $2\widehat{I}$. Since $1$ is perpendicular to ${\alpha}_{1}=i,{\alpha}_{2}={\displaystyle \frac{1}{2}}\left(\tau i+j-\frac{1}{\tau}k\right)$, ${\alpha}_{3}=j$ and $1\xb7{\alpha}_{4}=\left(1,0,0,0\right)\xb7\left(-\frac{1}{2\tau},0,\frac{1}{2},\frac{\tau}{2}\right)\ne 0$, the orbit ${W}_{H}\left\{1\right\}$ is given by the following Coxeter–Dynkin diagram 3 of 600-cell. By Section 3, we have $\left|{W}_{H}\left\{1\right\}\right|=120=\left|2\widehat{I}\right|$. Therefore, we conclude ${W}_{H}\left\{1\right\}=2\widehat{I}$ and this gives the theorem. ☐

## Author Contributions

This article is written by both authors.

## Funding

The second author was supported by the Basic Science Research Program through the National Research Foundation of Korea (NRF) funded by the Ministry of Education, Science and Technology (No.2016R1D1A1B03931673).

## Acknowledgments

The authors gratefully thank the Referees for the constructive comments and recommendations, which definitely helped to improve the readability and quality of the paper.

## Conflicts of Interest

The authors declare no conflicts of interest.

## References

- Van Hoboken, J. Platonic Solids, Binary Polyhedral Groups Kleinian Singularities and Lie Algebras of Type ADE. Master’s Thesis, University of Amsterdam, Amsterdam, The Netherlands, March 2002. [Google Scholar]
- Coxeter, H.S.M. The binary polyhedral groups, and other generalizations of the quaternion group. Duke Math. J.
**1940**, 7, 367–379. [Google Scholar] [CrossRef] - Koca, M.; Al-Ajmi, M.; Koç, R. Group theoretical analysis of 600-cell and 120-cell 4D polytopes with quaternions. J. Phys. A
**2007**, 40, 7633–7642. [Google Scholar] [CrossRef] - Koca, M.; Al-Ajmi, M.; Koç, R. Quaternionic representation of the Coxeter group W(H
_{4}) and the polyhedra. J. Phys. A**2006**, 39, 14047–14054. [Google Scholar] [CrossRef] - Koca, M.; Al-Ajmi, M.; Koca, N.O. Quaternionic representation of snub 24-cell and its dual polytope derived from E
_{8}root system. Linear Algebra Appl.**2011**, 434, 977–989. [Google Scholar] [CrossRef] - Dechant, P.-P. Clifford algebra unveils a surprising geometric significance of quaternionic root systems of Coxeter groups. Adv. Appl. Clifford Algebra
**2013**, 23, 301–321. [Google Scholar] [CrossRef][Green Version] - Chang, W.N.; Lee, J.H.; Lee, S.H.; Lee, Y.J. Gosset polytopes in integral octonions. Czechoslov. Math. J.
**2014**, 64, 683–702. [Google Scholar] [CrossRef][Green Version] - Conway, J.H.; Smith, D.A. On Quaternions and Octonions: Their Geometry, Arithmetic, and Symmetry; AK Peters: Natick, MA, USA, 2003. [Google Scholar]
- Coxeter, H.S.M. Regular Polytopes, 3rd ed.; Dover Publications, Inc.: New York, NY, USA, 1973. [Google Scholar]
- Lee, J.-H. Gosset polytopes in Picard groups of del Pezzo surfaces. Can. J. Math.
**2012**, 64, 123–150. [Google Scholar] [CrossRef]

Polyhedron | Tetrahedron | Octahedron | Icosahedron |
---|---|---|---|

Point Symmetry | 3 | 4, 2 | 5 |

Edge Symmetry | 2 | 2 | 2 |

Face Symmetry | 3 | 3 | 3 |

Subpolytope | Vertices | Edges | Faces | Cells |
---|---|---|---|---|

total number | 24 | 96 | 96 ($\{3\}$) | 24 ($\{3,3\}$) |

Subpolytopes | Vertices | Edges | Faces | Cells |
---|---|---|---|---|

total number | 120 | 720 | $1200\phantom{\rule{4pt}{0ex}}$($\{3\}$) | $600\phantom{\rule{4pt}{0ex}}$($\{3,3\}$) |

© 2018 by the authors. Licensee MDPI, Basel, Switzerland. This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license (http://creativecommons.org/licenses/by/4.0/).