Formule des caractères de WeylEn théorie des représentations, la formule des caractères de Weyl est une description des caractères des représentations irréductibles des groupes de Lie compacts en fonction de leurs plus haut poids. Elle a été prouvée par Hermann Weyl. Il existe une formule étroitement liée pour le caractère d'une représentation irréductible d'une algèbre de Lie semi-simple. Dans l'approche de Weyl de la théorie des représentations des groupes de Lie compacts connexes, la preuve de la formule des caractères est une étape clé pour prouver que chaque élément entier dominant apparaît effectivement comme le plus haut poids d'une représentation irréductible.
Group schemeIn mathematics, a group scheme is a type of object from algebraic geometry equipped with a composition law. Group schemes arise naturally as symmetries of schemes, and they generalize algebraic groups, in the sense that all algebraic groups have group scheme structure, but group schemes are not necessarily connected, smooth, or defined over a field. This extra generality allows one to study richer infinitesimal structures, and this can help one to understand and answer questions of arithmetic significance.
Lemme de SchurEn mathématiques et plus précisément en algèbre linéaire, le lemme de Schur est un lemme technique utilisé particulièrement dans la théorie de la représentation des groupes. Il a été démontré en 1907 par Issai Schur dans le cadre de ses travaux sur la théorie des représentations d'un groupe fini. Ce lemme est à la base de l'analyse d'un caractère d'une représentation d'un groupe fini ; il permet, par exemple, de caractériser les groupes abéliens finis.
Issai SchurIssaï Schur (en russe : Исай Шур), né à Moguilev le et mort à Tel-Aviv le , est un mathématicien d’origine russe qui a surtout travaillé en Allemagne. Son nom est aussi transcrit Issaï Chour (transcription du russe en français). vignette|Congrès International des Mathématiciens (avec leurs noms), Zurich, Suisse, 1932. Issaï Schur a étudié à Berlin sous Frobenius, a obtenu son doctorat en 1901 et est devenu chargé d'enseignement en 1903. Il est devenu professeur à Bonn en 1919.
Langlands dual groupIn representation theory, a branch of mathematics, the Langlands dual LG of a reductive algebraic group G (also called the L-group of G) is a group that controls the representation theory of G. If G is defined over a field k, then LG is an extension of the absolute Galois group of k by a complex Lie group. There is also a variation called the Weil form of the L-group, where the Galois group is replaced by a Weil group. Here, the letter L in the name also indicates the connection with the theory of L-functions, particularly the automorphic L-functions.
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.
Tannakian formalismIn mathematics, a Tannakian category is a particular kind of C, equipped with some extra structure relative to a given field K. The role of such categories C is to approximate, in some sense, the category of linear representations of an algebraic group G defined over K. A number of major applications of the theory have been made, or might be made in pursuit of some of the central conjectures of contemporary algebraic geometry and number theory.
Zero object (algebra)In algebra, the zero object of a given algebraic structure is, in the sense explained below, the simplest object of such structure. As a set it is a singleton, and as a magma has a trivial structure, which is also an abelian group. The aforementioned abelian group structure is usually identified as addition, and the only element is called zero, so the object itself is typically denoted as {0}. One often refers to the trivial object (of a specified ) since every trivial object is isomorphic to any other (under a unique isomorphism).
Groupe compactEn mathématiques, et plus particulièrement en analyse harmonique abstraite, un groupe compact est un groupe topologique dont l'espace topologique sous-jacent est compact. Les groupes compacts sont des groupes unimodulaires, dont la compacité simplifie l'étude. Ces groupes comprennent notamment les groupes finis et les groupes de Lie compacts. Tout groupe compact est limite projective de groupes de Lie compacts. Tout groupe discret fini est un groupe compact. En effet, tout espace discret fini est compact.
Forme automorphedroite|vignette|500x500px|La fonction êta de Dedekind est une forme automorphe dans le plan complexe. Une forme automorphique, en analyse harmonique et théorie des nombres, est une fonction d'un groupe topologique G à valeurs dans le corps des nombres complexes (ou un espace vectoriel complexe) qui est invariante sous l'action d'un sous-groupe discret du groupe topologique et qui vérifie certaines conditions de dérivabilité et de croissance à l'infini.
