Groupe des quaternionsEn mathématiques et plus précisément en théorie des groupes, le groupe des quaternions est l'un des deux groupes non abéliens d'ordre 8. Il admet une représentation réelle irréductible de degré 4, et la sous-algèbre des matrices 4×4 engendrée par son image est un corps gauche qui s'identifie au corps des quaternions de Hamilton. Le groupe des quaternions est souvent désigné par le symbole Q ou Q8 et est écrit sous forme multiplicative, avec les 8 éléments suivants : Ici, 1 est l'élément neutre, et pour tout a dans Q.
Point groups in three dimensionsIn 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 that leave the origin fixed, or correspondingly, the group of orthogonal matrices. O(3) itself is a subgroup of the Euclidean group E(3) of all isometries. Symmetry groups of geometric objects are isometry groups. Accordingly, analysis of isometry groups is analysis of possible symmetries.
Binary tetrahedral groupIn 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.
Binary octahedral groupIn mathematics, the binary octahedral group, name as 2O or is a certain nonabelian group of order 48. It is an extension of the chiral octahedral group O or (2,3,4) of order 24 by a cyclic group of order 2, and is the of the octahedral group under the 2:1 covering homomorphism of the special orthogonal group by the spin group. It follows that the binary octahedral group is a discrete subgroup of Spin(3) of order 48.
Binary icosahedral groupIn 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).
Binary cyclic groupIn mathematics, the binary cyclic group of the n-gon is the cyclic group of order 2n, , thought of as an extension of the cyclic group by a cyclic group of order 2. Coxeter writes the binary cyclic group with angle-brackets, ⟨n⟩, and the index 2 subgroup as (n) or [n]+. It is the binary polyhedral group corresponding to the cyclic group. In terms of binary polyhedral groups, the binary cyclic group is the preimage of the cyclic group of rotations () under the 2:1 covering homomorphism of the special orthogonal group by the spin group.
Graphe des cyclesEn mathématiques, et plus particulièrement en théorie des groupes, le graphe des cycles d'un groupe représente l'ensemble des cycles de ce groupe, ce qui est particulièrement utile pour visualiser la structure des petits groupes finis. Pour les groupes ayant moins de 16 éléments, le graphe des cycles détermine le groupe à isomorphisme près. Un cycle est l'ensemble des puissances d'un élément donné du groupe ; a, la n-ième puissance de l'élément a, est définie comme le produit de a par lui-même n fois (avec les conventions a = a et a = e, l'élément neutre du groupe).
Présentation d'un groupeEn théorie des groupes, un groupe peut se définir par une présentation, autrement dit, la donnée d'un ensemble de générateurs et d'un ensemble de relations que ceux-ci vérifient. La possibilité d'une telle définition découle de ce que tout groupe est quotient d'un groupe libre. En général, une présentation d'un groupe G se note en écrivant entre crochets une liste de lettres et une liste minimale de mots sur cet alphabet, chaque mot étant censé valoir 1 dans le groupe et aucune relation n'existant entre les lettres, hormis celles-là et leurs conséquences.
Groupe diédralEn mathématiques, le groupe diédral d'ordre 2n, pour un nombre naturel non nul n, est un groupe qui s'interprète notamment comme le groupe des isométries du plan conservant un polygone régulier à n côtés. Le groupe est constitué de n éléments correspondant aux rotations et n autres correspondant aux réflexions. Il est noté Dn par certains auteurs et D par d'autres. On utilisera ici la notation D. Le groupe D est le groupe cyclique d'ordre 2, noté C ; le groupe D est le groupe de Klein à quatre éléments.
Produit semi-directEn théorie des groupes, le produit semi-direct permet de définir un groupe G à partir de deux groupes H et K, et généralise la notion de produit direct de deux groupes. Un groupe G est produit semi-direct interne d'un sous-groupe normal H par un sous-groupe K si et seulement si l'une des définitions équivalentes suivantes est vérifiée : (en d'autres termes, H et K sont compléments l'un de l'autre dans G) ; (tout élément de G s'écrit de manière unique comme produit d'un élément de H et d'un élément de K) ; la restriction à K de la surjection canonique est un isomorphisme entre et ; la surjection canonique se scinde par un morphisme tel que .