Binary icosahedral group

In mathematics, the binary icosahedral group is an extension of the icosahedral group "I" of order 60 by a cyclic group of order 2. It can be defined as the preimage of the icosahedral group under the 2:1 covering homomorphism:$mathrm\left\{Sp\right\}\left(1\right) o mathrm\left\{SO\right\}\left(3\right).,$where Sp(1) is the multiplicative group of unit quaternions. (For a description of this homomorphism see the article on quaternions and spatial rotations.) It follows that the binary icosahedral group is discrete subgroup of Sp(1) of order 120.

It should not be confused with the full icosahedral group, which is a different group of order 120.

Elements

Explicitly, the binary icosahedral group is given as the union of the 24 Hurwitz units:{&plusmn;1, &plusmn;"i", &plusmn;"j", &plusmn;"k", ½(&plusmn;1 &plusmn; "i" &plusmn; "j" &plusmn; "k")}with all 96 quaternions obtained from:½(0 &plusmn; "i" &plusmn; &phi;−1"j" &plusmn; &phi;"k")by an even permutation of coordinates (all possible sign combinations). Here &phi; = ½(1+&radic;5) is the golden ratio.

All told there are 120 elements. They all have absolute value 1 and therefore lie in the unit quaternion group Sp(1). The convex hull of these 120 elements in 4-dimensional space form a convex regular 4-polytope called the 600-cell.

Properties

Central extension

The binary icosahedral group, denoted by 2"I", is the universal perfect central extension of the icosahedral group, and thus is quasisimple: it is a perfect central extension of a simple group.

Explicitly, it fits into the short exact sequence:$1 o\left\{pm 1\right\} o 2I o I o 1.,$This sequence does not split, meaning that 2"I" is "not" a semidirect product of {&plusmn;1} by "I". In fact, there is no subgroup of 2"I" isomorphic to "I".

The center of 2"I" is the subgroup {&plusmn;1}, so that the inner automorphism group is isomorphic to "I". The full automorphism group is isomorphic to "S"5 (the symmetric group on 5 letters).

The binary icosahedral group is perfect, meaning that it is equal to its commutator subgroup. In fact, 2"I" is the unique perfect group of order 120. It follows that 2"I" is not solvable.

Isomorphisms

One can show that the binary icosahedral group is isomorphic to the special linear group SL(2,5) &mdash; the group of all 2&times;2 matrices over the finite field F5 with unit determinant; this covers the exceptional isomorphism of $Icong A_5$ with the projective special linear group PSL(2,5).

Presentation

The group 2"I" has a presentation given by:$langle r,s,t mid r^2 = s^3 = t^5 = rst angle$or equivalently,:$langle s,t mid \left(st\right)^2 = s^3 = t^5 angle.$Generators with these relations are given by:$s = frac\left\{1\right\}\left\{2\right\}\left(1+i+j+k\right) qquad t = frac\left\{1\right\}\left\{2\right\}\left(varphi+varphi^\left\{-1\right\}i+j\right).$

ubgroups

The only proper normal subgroup of 2"I" is the center {&plusmn;1}.

By the third isomorphism theorem, there is a Galois connection between subgroups of 2"I" and subgroups of "I", where the closure operator on subgroups of 2"I" is multiplication by {&plusmn;1}.

$-1$ is the only element of order 2, hence it is contained in all subgroups of even order: thus every subgroup of 2"I" is either of odd order or is the preimage of a subgroup of "I".Besides the cyclic groups generated by the various elements (which can have odd order), the only other subgroups of 2"I" (up to conjugation) are:
* binary dihedral groups of orders 12 and 20 (covering the dihedral groups "D"3 and "D"5 in "I").
* The quaternion group consisting of the 8 Lipschitz units forms a subgroup of index 15, which is also the dicyclic group Dic2; this covers the stabilizer of an edge.
* The 24 Hurwitz units form an index 5 subgroup called the binary tetrahedral group; this covers a chiral tetrahedral group. This group is self-normalizing so its conjugacy class has 5 members (this gives a map $2I o S_5$ whose image is $A_5$).

Relation to 4-dimensional symmetry groups

The 4-dimensional analog of the icosahedral group is the symmetry group of the 600-cell (also that of the 120-cell). This is the Coxeter group of type "H"4, also denoted [3,3,5] . The rotation subgroup, denoted [3,3,5] + is a group of order 7200 living in SO(4). SO(4) has a double cover called Spin(4) in much the same way that Sp(1) is the double cover of SO(3). The group Spin(4) is isomorphic to Sp(1)&times;Sp(1).

The preimage of [3,3,5] + in Spin(4) is precisely the product group 2"I"&times;2"I" of order 14400. The rotational symmetry group of the 600-cell is then: [3,3,5] + = 2"I"&times;2"I"/{&plusmn;1}.

Various other 4-dimensional symmetry groups can be constructed from 2"I". For details, see (Conway and Smith, 2003).

Applications

The coset space Sp(1)/2"I" is a spherical 3-manifold called the Poincaré homology sphere. It is an example of a homology sphere, i.e. a 3-manifold whose homology groups are identical to those of a 3-sphere. The fundamental group of the Poincaré sphere is isomorphic to the binary icosahedral group.

ee also

*binary polyhedral group
*binary cyclic group
*binary dihedral group
*binary tetrahedral group
*binary octahedral group

References

*cite book | first = John H. | last = Conway | coauthors = Smith, Derek A. | authorlink = John Horton Conway | title = On Quaternions and Octonions | publisher = AK Peters, Ltd | location = Natick, Massachusetts | year = 2003 | isbn = 1-56881-134-9

Wikimedia Foundation. 2010.

Look at other dictionaries:

• Binary tetrahedral group — In mathematics, the binary tetrahedral group is an extension of the tetrahedral group T of order 12 by a cyclic group of order 2.It is the binary polyhedral group corresponding to the tetrahedral group, and as such can be defined as the preimage… …   Wikipedia

• Binary octahedral group — In mathematics, the binary octahedral group is an extension of the octahedral group O of order 24 by a cyclic group of order 2. It can be defined as the preimage of the octahedral group under the 2:1 covering homomorphism:mathrm{Sp}(1) o… …   Wikipedia

• Binary cyclic group — In mathematics, the binary cyclic group of the n gon is the cyclic group of order 2 n , C {2n}, thought of as a extension of the cyclic group C n a cyclic group of order 2.It is the binary polyhedral group corresponding to the cyclic group.ee… …   Wikipedia

• Icosahedral symmetry — A Soccer ball, a common example of a spherical truncated icosahedron, has full icosahedral symmetry. A regular icosahedron has 60 rotational (or orientation preserving) symmetries, and a symmetry order of 120 including transformations that… …   Wikipedia

• Group action — This article is about the mathematical concept. For the sociology term, see group action (sociology). Given an equilateral triangle, the counterclockwise rotation by 120° around the center of the triangle acts on the set of vertices of the… …   Wikipedia

• Group (mathematics) — This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines …   Wikipedia

• Dicyclic group — In group theory, a dicyclic group (notation Dicn) is a member of a class of non abelian groups of order 4n (n > 1). It is an extension of the cyclic group of order 2 by a cyclic group of order 2n, giving the name di cyclic. In the… …   Wikipedia

• Superperfect group — In mathematics, in the realm of group theory, a group is said to be superperfect when its first two homology groups are trivial.The first homology group of a group is the abelianization of the group itself, since the homology of a group G is the… …   Wikipedia

• Perfect group — In mathematics, in the realm of group theory, a group is said to be perfect if it equals its own commutator subgroup, or equivalently, if the group has no nontrivial abelian quotients.The smallest (non trivial) perfect group is the alternating… …   Wikipedia

• Point groups in three dimensions — In geometry, a point group in three dimensions is an isometry group in three dimensions that leaves the origin fixed, or correspondingly, an isometry group of a sphere. It is a subgroup of the orthogonal group O(3), the group of all isometries… …   Wikipedia