Théorie des représentationsLa théorie des représentations est une branche des mathématiques qui étudie les structures algébriques abstraites en représentant leurs éléments comme des transformations linéaires d'espaces vectoriels, et qui étudie les modules sur ces structures algébriques abstraites. Essentiellement, une représentation concrétise un objet algébrique abstrait en décrivant ses éléments par des matrices et les opérations sur ces éléments en termes d'addition matricielle et de produit matriciel.
Immeuble de Bruhat-TitsEn mathématiques, un immeuble, aussi appelé l’immeuble Tits et l’immeuble Bruhat-Tits (nommé d'après François Bruhat et Jacques Tits) est une structure combinatoire et géométrique qui généralise simultanément certains aspects des variétés de drapeaux, des plans projectifs finis et des espaces riemanniens symétriques. Introduite par Jacques Tits comme moyen de comprendre la structure des groupes exceptionnels de type de Lie, la théorie a également été utilisée pour l'étude de la géométrie et de la topologie des espaces homogènes des groupes de Lie p-adiques et leurs sous-groupes de symétrie discrets, de la même manière que les arbres ont été utilisés pour étudier les groupes libres.
Linear algebraic groupIn mathematics, a linear algebraic group is a subgroup of the group of invertible matrices (under matrix multiplication) that is defined by polynomial equations. An example is the orthogonal group, defined by the relation where is the transpose of . Many Lie groups can be viewed as linear algebraic groups over the field of real or complex numbers. (For example, every compact Lie group can be regarded as a linear algebraic group over R (necessarily R-anisotropic and reductive), as can many noncompact groups such as the simple Lie group SL(n,R).
Tore algébriqueUn tore algébrique est une construction mathématique qui apparaît dans l'étude des groupes algébriques. Ils constituent l'un des premiers exemples de tels groupes. La notion est due à Armand Borel en 1956, progressivement étendue par Alexandre Grothendieck et pour atteindre sa forme moderne. Les tores algébriques entretiennent d'étroites relations avec la théorie de Lie et les groupes algébriques.
Glossary of algebraic geometryThis is a glossary of algebraic geometry. See also glossary of commutative algebra, glossary of classical algebraic geometry, and glossary of ring theory. For the number-theoretic applications, see glossary of arithmetic and Diophantine geometry. For simplicity, a reference to the base scheme is often omitted; i.e., a scheme will be a scheme over some fixed base scheme S and a morphism an S-morphism.
E8 (mathématiques)vignette|Le polytope de Gosset : les 240 vecteurs du système de racines En mathématiques, est le plus grand groupe de Lie complexe de type exceptionnel. Son algèbre de Lie est notée . E est de rang 8 et de dimension 248. Il est simplement connexe et son centre est trivial. La structure E a été découverte en 1887 par le mathématicien norvégien Sophus Lie pour étudier la symétrie et jusqu’ici personne ne pensait que cet objet mathématique pourrait être compris, considère , responsable de l’équipe qui réunit 18 mathématiciens et programmeurs dans le monde, dont Fokko du Cloux et .
Claude ChevalleyClaude Chevalley, né le à Johannesbourg (Afrique du Sud) et mort le à Paris, est un mathématicien français spécialiste de l'algèbre et un des fondateurs du groupe Bourbaki. Fils du diplomate Français Abel Chevalley et de Marguerite Sabatier, petit-fils du théologien Auguste Sabatier, il fait sa scolarité primaire à Chançay (Indre-et-Loire) et ses études secondaires au lycée Louis-le-Grand à Paris. En 1926, il est admis à l'École normale supérieure, où il suit les cours d'Émile Picard et, en 1929, est reçu troisième à l'agrégation de mathématiques.
Variété de drapeaux généraliséeEn mathématiques, une variété de drapeaux généralisée ou tordue est un espace homogène d'un groupe (algébrique ou de Lie) qui généralise les espaces projectifs, les grassmanniennes, les quadriques projectives et l'espace de tous les drapeaux de signature donnée d'un espace vectoriel. La plupart des espaces homogènes de points ou de figures de la géométrie classique sont des variétés de drapeaux généralisées ou des espaces symétriques ou des variétés symétriques (analogues en géométrie algébrique des espaces symétriques), ou leur sont liés.
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.
Congruence subgroupIn mathematics, a congruence subgroup of a matrix group with integer entries is a subgroup defined by congruence conditions on the entries. A very simple example would be invertible 2 × 2 integer matrices of determinant 1, in which the off-diagonal entries are even. More generally, the notion of congruence subgroup can be defined for arithmetic subgroups of algebraic groups; that is, those for which we have a notion of 'integral structure' and can define reduction maps modulo an integer.
Semisimple Lie algebraIn mathematics, a Lie algebra is semisimple if it is a direct sum of simple Lie algebras. (A simple Lie algebra is a non-abelian Lie algebra without any non-zero proper ideals). Throughout the article, unless otherwise stated, a Lie algebra is a finite-dimensional Lie algebra over a field of characteristic 0. For such a Lie algebra , if nonzero, the following conditions are equivalent: is semisimple; the Killing form, κ(x,y) = tr(ad(x)ad(y)), is non-degenerate; has no non-zero abelian ideals; has no non-zero solvable ideals; the radical (maximal solvable ideal) of is zero.
Simple Lie groupIn mathematics, a simple Lie group is a connected non-abelian Lie group G which does not have nontrivial connected normal subgroups. The list of simple Lie groups can be used to read off the list of simple Lie algebras and Riemannian symmetric spaces. Together with the commutative Lie group of the real numbers, , and that of the unit-magnitude complex numbers, U(1) (the unit circle), simple Lie groups give the atomic "blocks" that make up all (finite-dimensional) connected Lie groups via the operation of group extension.
Groupe algébriqueEn géométrie algébrique, la notion de groupe algébrique est un équivalent des groupes de Lie en géométrie différentielle ou complexe. Un groupe algébrique est une variété algébrique munie d'une loi de groupe compatible avec sa structure de variété algébrique. Un groupe algébrique sur un corps (commutatif) K est une variété algébrique sur munie : d'un morphisme de K-variétés algébriques (appelé aussi multiplication) .
Programme de LanglandsEn mathématiques, le programme de Langlands est encore, au début du , un domaine de recherche actif et fertile en conjectures. Ce programme souhaite relier la théorie des nombres aux représentations de certains groupes. Il a été proposé par Robert Langlands en 1967. La première étape du programme, réalisée bien avant les travaux de Langlands, peut être vue comme la théorie des corps de classes.
Anneau adéliqueEn mathématiques et dans la théorie des nombres, l'anneau adélique, ou anneau des adèles, est un anneau topologique contenant le corps des nombres rationnels (ou, plus généralement, un corps de nombres algébriques), construit à l'aide de toutes les complétions du corps. Le mot « adèle » est une abréviation pour « additive idele » (« idèle additive »). . Les adèles étaient appelées vecteurs de valuation ou répartitions avant 1950.
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.
Représentation induite d'un groupe finiEn mathématiques une représentation induite est une représentation d'un groupe canoniquement associée à une représentation de l'un de ses sous-groupes. L'induction est adjointe à gauche de la . Cette propriété intervient dans la formule de réciprocité de Frobenius. Cet article traite le cas des groupes finis. Dans tout l'article, G désigne un groupe fini, H un sous-groupe de G et θ une représentation de H dans un espace vectoriel de dimension finie W sur un corps K. G/H désigne l'ensemble des classes à gauche modulo H.
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.
Classification de LanglandsEn mathématiques, la classification de Langlands est une description des représentations irréductibles d'un groupe de Lie réductif G, proposée par Robert Langlands (1973). Il existe deux versions légèrement différentes de la classification de Langlands. L'une décrit les (g,K)-modules irréductibles admissibles, pour g l'algèbre de Lie d'un groupe de Lie réductif G, de sous-groupe compact maximal K, en termes de représentations tempérées de groupes plus petits. Les représentations tempérées ont été à leur tour classées par Anthony Knapp et Gregg Zuckerman.
UnipotentEn mathématiques, un élément unipotent r d'un anneau unitaire R est un tel que r − 1 est un élément nilpotent ; en d'autres termes, (r − 1)n vaut zéro pour n assez grand. En particulier, une matrice carrée M est une matrice unipotente si et seulement si son polynôme caractéristique P(t) est une puissance de t − 1. Ainsi, toutes les valeurs propres d'une matrice unipotente valent 1. Le terme quasi-unipotent signifie qu'une certaine puissance de l'élément est unipotente.
