Binary icosahedral group

In mathematics, the binary icosahedral group 2I or 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 of the icosahedral group under the 2:1 covering homomorphism of the special orthogonal group by the spin group. It follows that the binary icosahedral group is a discrete subgroup of Spin(3) of order 120. It should not be confused with the full icosahedral group, which is a different group of order 120, and is rather a subgroup of the orthogonal group O(3). The binary icosahedral group is most easily described concretely as a discrete subgroup of the unit quaternions, under the isomorphism where Sp(1) is the multiplicative group of unit quaternions. (For a description of this homomorphism see the article on quaternions and spatial rotations.) Explicitly, the binary icosahedral group is given as the union of all even permutations of the following vectors: 8 even permutations of 16 even permutations of 96 even permutations of Here is the golden ratio. In total there are 120 elements, namely the unit icosians. They all have unit magnitude and therefore lie in the unit quaternion group Sp(1). The 120 elements in 4-dimensional space match the 120 vertices the 600-cell, a regular 4-polytope. The binary icosahedral group, denoted by 2I, 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 This sequence does not split, meaning that 2I is not a semidirect product of { ±1 } by I. In fact, there is no subgroup of 2I isomorphic to I. The center of 2I is the subgroup { ±1 }, so that the inner automorphism group is isomorphic to I. The full automorphism group is isomorphic to S5 (the symmetric group on 5 letters), just as for - any automorphism of 2I fixes the non-trivial element of the center (), hence descends to an automorphism of I, and conversely, any automorphism of I lifts to an automorphism of 2I, since the lift of generators of I are generators of 2I (different lifts give the same automorphism).

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Concepts associés (25)

Séances de cours associées (2)

Binary icosahedral group

Binary tetrahedral group

In mathematics, the binary tetrahedral group, denoted 2T or , 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 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.

Covering groups of the alternating and symmetric groups

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. For example the binary icosahedral group covers the icosahedral group, an alternating group of degree 5, and the binary tetrahedral group covers the tetrahedral group, an alternating group of degree 4.

Moduli classique en physique des particules

Explore les moduli classiques en physique des particules, en mettant l'accent sur les particules BPS et la dualité U(1).

McKay Correspondence et Coxeter Groups MATH-335: Coxeter groups

Explore la correspondance McKay, les groupes de Coxeter et les sous-groupes finis de SU(2) et SO(3, en mettant l'accent sur les propriétés d'ordre impair et les constructions du système racinaire.