Groupes de ConwayEn mathématiques, les groupes de Conway Co, Co et Co sont trois groupes sporadiques découverts par John Horton Conway en 1968. Tous sont intimement liés au réseau de Leech Λ. Le plus grand, Co, d'ordre , est obtenu en quotientant le groupe des automorphismes de Λ par son centre, qui est constitué des matrices scalaires ±1. Les groupes Co (d'ordre ) et Co (d'ordre ) sont constitués des automorphismes de Λ fixant un vecteur de réseau de type 2 et un vecteur de type 3 respectivement.
Projective linear groupIn mathematics, especially in the group theoretic area of algebra, the projective linear group (also known as the projective general linear group or PGL) is the induced action of the general linear group of a vector space V on the associated projective space P(V). Explicitly, the projective linear group is the quotient group PGL(V) = GL(V)/Z(V) where GL(V) is the general linear group of V and Z(V) is the subgroup of all nonzero scalar transformations of V; these are quotiented out because they act trivially on the projective space and they form the kernel of the action, and the notation "Z" reflects that the scalar transformations form the center of the general linear group.
Outer automorphism groupIn mathematics, the outer automorphism group of a group, G, is the quotient, Aut(G) / Inn(G), where Aut(G) is the automorphism group of G and Inn(G) is the subgroup consisting of inner automorphisms. The outer automorphism group is usually denoted Out(G). If Out(G) is trivial and G has a trivial center, then G is said to be complete. An automorphism of a group that is not inner is called an outer automorphism. The cosets of Inn(G) with respect to outer automorphisms are then the elements of Out(G); this is an instance of the fact that quotients of groups are not, in general, (isomorphic to) subgroups.
Automorphisms of the symmetric and alternating groupsIn group theory, a branch of mathematics, the automorphisms and outer automorphisms of the symmetric groups and alternating groups are both standard examples of these automorphisms, and objects of study in their own right, particularly the exceptional outer automorphism of S6, the symmetric group on 6 elements. , and thus . Formally, is complete and the natural map is an isomorphism. , and the outer automorphism is conjugation by an odd permutation. Indeed, the natural maps are isomorphisms.
Réseau de LeechLe réseau de Leech est un réseau remarquable dans l'espace euclidien de dimension 24. Il est relié au code de Golay. Ernst Witt le découvre en 1940 mais ne publie pas cette découverte qui sera finalement attribuée à John Leech en 1965. Le réseau de Leech est caractérisé comme étant le seul pair en dimension 24 qui ne contient pas de racines, c'est-à-dire de vecteur v tel que (v,v)=2. Il a été construit par John Leech. Le groupe des automorphismes du réseau de Leech est le groupe de Conway Co0. Il y a exactement 24 .
Monstrous moonshineEn mathématiques, monstrous moonshine est un terme anglais conçu par John Horton Conway et Simon P. Norton en 1979, utilisé pour décrire la connexion, alors totalement inattendue, entre le groupe Monstre M et les formes modulaires (en particulier la fonction j). Précisément, Conway et Norton, suivant une observation initiale de John McKay, trouvèrent que le développement de Fourier de (, où désigne le ) pouvait être exprimé en termes de combinaisons linéaires des dimensions des représentations irréductibles de M () où et Conway et Norton formulèrent des conjectures concernant les fonctions obtenues en remplaçant les traces sur l'élément neutre par les traces sur d'autres éléments g de M.
Groupe MonstreEn mathématiques, le Monstre M ou groupe de Fischer-Griess F est le plus gros des 26 groupes simples sporadiques. Son ordre est 2 × 3 × 5 × 7 × 11 × 13 × 17 × 19 × 23 × 29 × 31 × 41 × 47 × 59 × 71 = ≈ . C'est un groupe simple, ceci signifiant qu'il n'a aucun sous-groupe normal excepté pour le sous-groupe constitué seulement de l'élément identité, et lui-même. Les groupes simples finis ont été complètement classés ; il existe 18 familles infinies dénombrables de groupes simples finis, plus 26 groupes sporadiques qui ne suivent aucun motif apparent.
Code de GolayEn théorie des codes, un code de Golay est un code correcteur d'erreurs pouvant être binaire ou tertiaire, nommé en l'honneur de son inventeur, Marcel Golay. Il y a deux types de codes de Golay binaire. Le code binaire étendu de Golay encode 12 bits de données dans un mot de code de 24 bits de long de telle manière que n'importe quelle erreur sur trois bits puisse être corrigée et n'importe quelle erreur sur quatre bits puisse être détectée.
John Horton ConwayJohn Horton Conway, né le à Liverpool et mort le à New Brunswick (New Jersey), est un mathématicien britannique. Il s'est intéressé aux théories des groupes finis, des nœuds, des nombres, des jeux et du codage. Né en 1937 en Angleterre, John Horton Conway s'intéresse très tôt aux mathématiques et décide de devenir mathématicien dès l'âge de 11 ans. Il étudie les mathématiques à Cambridge, au Gonville and Caius College, et obtient son Bachelor of Arts en 1959.
Groupe symétriqueEn mathématiques, plus particulièrement en algèbre, le groupe symétrique d'un ensemble E est le groupe des permutations de E, c'est-à-dire des bijections de E sur lui-même. N'est traité dans le présent article, à la suite de la définition générale, que le cas E fini. Soit E un ensemble. On appelle groupe symétrique de E l'ensemble des applications bijectives de E sur E muni de la composition d'applications (la loi ∘). On le note S(E) ou (ce caractère est un S gothique). Un cas particulier courant est le cas où E est l'ensemble fini {1, 2, .
Groupe finivignette|Un exemple de groupe fini est le groupe des transformations laissant invariant un flocon de neige (par exemple la symétrie par rapport à l'axe horizontal). En mathématiques, un groupe fini est un groupe constitué d'un nombre fini d'éléments. Soit G un groupe. On note en général sa loi multiplicativement et on désigne alors son élément neutre par 1. Toutefois, si G est abélien, la loi est souvent notée additivement et son élément neutre est alors désigné par 0 ; ce n'est cependant pas une règle générale : par exemple, le groupe multiplicatif d'un corps commutatif est noté multiplicativement, bien qu'il soit abélien.
Groupe simpleEn mathématiques, un groupe simple est un groupe non trivial qui ne possède pas de sous-groupe distingué autre que lui-même et son sous-groupe trivial. Un groupe est dit simple s'il a exactement deux sous-groupes distingués : ( étant l’élément neutre du groupe) et lui-même. Quelques exemples de groupes simples : Les seuls groupes abéliens simples sont les groupes finis d'ordre premier (ces groupes sont cycliques). Le groupe SO_3(R) des matrices spéciales orthogonales d'ordre 3 à coefficients réels est simple.
Groupe alternéEn mathématiques, et plus précisément en théorie des groupes, le groupe alterné de degré n, souvent noté An, est un sous-groupe distingué du groupe symétrique des permutations d'un ensemble fini à n éléments. Ce sous-groupe est constitué des permutations produits d'un nombre pair de transpositions. Une transposition est une permutation qui échange deux éléments et fixe tous les autres. Il existe un groupe alterné pour chaque entier n supérieur ou égal à 2 ; il se note habituellement An (ou parfois en écriture Fraktur) et possède n!/2 éléments.
Groupe de type de LieEn mathématiques, un groupe de type de Lie G(k) est un groupe (non nécessairement fini) de points rationnels d'un groupe algébrique linéaire réductif G à valeur dans le corps commutatif k. La classification des groupes simples finis montre que les groupes de types de Lie finis forment l'essentiel des groupes finis simples. Des cas particuliers incluent les groupes classiques, les groupes de Chevalley, les groupes de Steinberg et les groupes de Suzuki-Ree.
