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.
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.
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.
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 de MathieuEn mathématiques, les groupes de Mathieu sont cinq groupes simples finis découverts par le mathématicien français Émile Mathieu. Ils sont habituellement perçus comme des groupes de permutations sur n points (où n peut prendre les valeurs 11, 12, 22, 23 ou 24) et sont nommés M. Les groupes de Mathieu ont été les premiers groupes sporadiques découverts. Les groupes M et M sont 5-transitifs, les groupes M et M sont 4-transitifs et M est 3-transitif. Cette transitivité est même stricte pour M et M.
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.
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.
Classification des groupes simples finisEn mathématiques, et plus précisément en théorie des groupes, la classification des groupes simples finis, aussi appelée le théorème énorme, est un ensemble de travaux, principalement publiés entre environ 1955 et 1983, qui a pour but de classer tous les groupes finis simples. En tout, cet ensemble comprend des dizaines de milliers de pages publiées dans 500 articles par plus de 100 auteurs.
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 .
J-invariantLe j-invariant, parfois appelé fonction j, est une fonction introduite par Felix Klein pour l'étude des courbes elliptiques, qui a depuis trouvé des applications au-delà de la seule géométrie algébrique, par exemple dans l'étude des fonctions modulaires, de la théorie des corps de classes et du monstrous moonshine. On travaille dans le . Soient quatre points distincts , leur birapport est : Cette quantité est invariante par homographies du plan, mais dépend de l'ordre des quatre nombres considérés.
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.
Algèbre vertexvignette|Richard Borcherds En mathématiques, une algèbre vertex est une structure algébrique qui joue un rôle important en théorie conforme des champs et dans les domaines proches en physique. Ces structures ont aussi montré leur utilité en mathématiques dans des contextes comme l'étude du groupe Monstre et la correspondance de Langlands géométrique. Les algèbres vertex ont été introduites par Richard Borcherds en 1986, motivées par les opérateurs vertex intervenant lors de l'insertion de champs, dans la théorie conforme des champs en dimension 2.
Groupe de ThompsonIn the area of modern algebra known as group theory, the Thompson group Th is a sporadic simple group of order 2153105372131931 = 90745943887872000 ≈ 9. Th is one of the 26 sporadic groups and was found by and constructed by . They constructed it as the automorphism group of a certain lattice in the 248-dimensional Lie algebra of E8. It does not preserve the Lie bracket of this lattice, but does preserve the Lie bracket mod 3, so is a subgroup of the Chevalley group E8(3).
Caractère d'une représentation d'un groupe finiEn mathématiques le caractère d'une représentation d'un groupe fini est un outil utilisé pour analyser les représentations d'un groupe fini. Le caractère d'une représentation (V, ρ) d'un groupe G correspond à l'application de G dans le corps de l'espace de la représentation qui à un élément s associe la trace de l'image de s par ρ. Cette définition n'est pas compatible avec celle des caractères d'un groupe en général qui ne prend ses valeurs que dans l'ensemble des complexes non nuls.
