Groupe réductifEn mathématiques, un groupe réductif est un groupe algébrique G sur un corps algébriquement clos tel que le radical unipotent de G (c'est-à-dire le sous-groupe des éléments unipotents de ) soit trivial. Tout est réductif, de même que tout tore algébrique et tout groupe général linéaire. Plus généralement, sur un corps k non nécessairement algébriquement clos, un groupe réductif est un groupe algébrique affine lisse G tel que le radical unipotent de G sur la clôture algébrique de k soit trivial.
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.
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) .
Schéma (géométrie algébrique)En mathématiques, les schémas sont les objets de base de la géométrie algébrique, généralisant la notion de variété algébrique de plusieurs façons, telles que la prise en compte des multiplicités, l'unicité des points génériques et le fait d'autoriser des équations à coefficients dans un anneau commutatif quelconque.
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).
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.
Fundamental group schemeIn mathematics, the fundamental group scheme is a group scheme canonically attached to a scheme over a Dedekind scheme (e.g. the spectrum of a field or the spectrum of a discrete valuation ring). It is a generalisation of the étale fundamental group. Although its existence was conjectured by Alexander Grothendieck, the first proof if its existence is due, for schemes defined over fields, to Madhav Nori. A proof of its existence for schemes defined over Dedekind schemes is due to Marco Antei, Michel Emsalem and Carlo Gasbarri.
Jean-Pierre SerreJean-Pierre Serre, né le à Bages (Pyrénées-Orientales), est un mathématicien français, considéré comme l’un des plus grands mathématiciens du . Il reçoit de nombreuses récompenses pour ses recherches, et est en particulier lauréat de la médaille Fields en 1954, du prix Balzan en 1985, de la médaille d'or du CNRS en 1987, du prix Wolf de mathématiques en 2000, et le premier lauréat du prix Abel en 2003. Jean-Pierre Serre est né en 1926 à Bages (Pyrénées-Orientales) d'Adèle et Jean Serre, pharmaciens, et passe son enfance à Vauvert où ils sont installés.
Alexandre GrothendieckAlexandre Grothendieck, né Alexander Grothendieck (prononcé en allemand : ), est un mathématicien français, né le à Berlin et mort le à Saint-Lizier, près de Saint-Girons (Ariège). Il est resté longtemps apatride tout en vivant principalement en France ; il a acquis la nationalité française en 1971. Il est considéré comme le refondateur de la géométrie algébrique et, à ce titre, comme l'un des plus grands mathématiciens du . Il était connu pour son intuition extraordinaire et sa capacité de travail exceptionnelle.
Algèbre associativevignette|Relations entre certaines structures algébriques. En mathématiques, une algèbre associative (sur un anneau commutatif A) est une des structures algébriques utilisées en algèbre générale. C'est un anneau (ou simplement un pseudo-anneau) B muni d'une structure supplémentaire de module sur A et tel que la loi de multiplication de l'anneau B soit A-bilinéaire. C'est donc un cas particulier d'algèbre sur un anneau. Soit A un anneau commutatif. On dit que (B , + , . , × ) est une A-algèbre associative lorsque : (B , + , .
Site (mathématiques)En théorie des catégories, une branche des mathématiques, une topologie de Grothendieck est une structure sur une catégorie permettant de voir certains objets de comme les ensembles ouverts d'un espace topologique. Une catégorie munie d'une topologie de Grothendieck est appelée un site. Une topologie de Grothendieck axiomatise la notion de recouvrement d'un espace topologique par des ouverts. Cela permet de généraliser la définition de faisceaux, et leur cohomologie, à un site quelconque.
Algèbre de JordanEn algèbre générale, une algèbre de Jordan est une algèbre sur un corps commutatif, dans laquelle l'opération de multiplication interne, a deux propriétés : elle est commutative, c’est-à-dire que elle vérifie l'identité suivante, dite identité de Jordan : . Une algèbre de Jordan n'est donc pas associative en général ; elle vérifie toutefois une propriété d’associativité faible, car elle est à puissances associatives et satisfait d’office à une généralisation de l'identité de Jordan : en notant simplement le produit de m termes , on a, pour tous les entiers positifs m et n, .
Algèbre sur un corpsEn mathématiques, et plus précisément en algèbre générale, une algèbre sur un corps commutatif K, ou simplement une K-algèbre, est une structure algébrique (A, +, ·, ×) telle que : (A, +, ·) est un espace vectoriel sur K ; la loi × est définie de A × A dans A (loi de composition interne) ; la loi × est bilinéaire.
Pierre DelignePierre René, vicomte Deligne est un mathématicien belge, né le à Etterbeek dans la Région de Bruxelles-Capitale. Pierre René Deligne est diplômé de l'Université libre de Bruxelles en 1966, en ayant effectué une année de scolarité à l’école normale supérieure en 1965-1966. Il soutient une première thèse de doctorat en 1968 à Bruxelles. De 1968 à 1984, il est membre de l’Institut des hautes études scientifiques, où il assiste aux séminaires d’Alexandre Grothendieck qu'il appelle son « maître ».
Finitely generated groupIn algebra, a finitely generated group is a group G that has some finite generating set S so that every element of G can be written as the combination (under the group operation) of finitely many elements of S and of inverses of such elements. By definition, every finite group is finitely generated, since S can be taken to be G itself. Every infinite finitely generated group must be countable but countable groups need not be finitely generated. The additive group of rational numbers Q is an example of a countable group that is not finitely generated.
Conjectures de WeilEn mathématiques, les conjectures de Weil, qui sont devenues des théorèmes en 1974, ont été des propositions très influentes à la fin des années 1940 énoncées par André Weil sur les fonctions génératrices (connues sous le nom de fonctions zêta locales) déduites du décompte de nombre de points des variétés algébriques sur les corps finis. Une variété sur « le » corps à q éléments possède un nombre fini de points sur le corps lui-même, et sur chacune de ses extensions finies.
Variété rationnelleEn géométrie algébrique, une variété rationnelle est une variété algébrique (intègre) V sur un corps K qui est birationnelle à un espace projectif sur K, c'est-à-dire qu'un certain ouvert dense de V est isomorphe à un ouvert d'un espace projectif. De façon équivalente, cela signifie que son corps de fonctions est isomorphe au corps des fractions rationnelles à d indéterminées K(U, ... , U), l'entier d étant alors égal à la dimension de la variété. Soit V une variété algébrique affine de dimension d définie par un idéal premier ⟨f, .
Théorie des représentations d'un groupe finivignette|Ferdinand Georg Frobenius, fondateur de la théorie de la représentation des groupes. En mathématiques et plus précisément en théorie des groupes, la théorie des représentations d'un groupe fini traite des représentations d'un groupe G dans le cas particulier où G est un groupe fini. Cet article traite de l'aspect mathématique et, de même que l'article de synthèse « Représentations d'un groupe fini », n'aborde que les représentations linéaires de G (par opposition aux représentations projectives ou ).
Non-associative algebraA non-associative algebra (or distributive algebra) is an algebra over a field where the binary multiplication operation is not assumed to be associative. That is, an algebraic structure A is a non-associative algebra over a field K if it is a vector space over K and is equipped with a K-bilinear binary multiplication operation A × A → A which may or may not be associative. Examples include Lie algebras, Jordan algebras, the octonions, and three-dimensional Euclidean space equipped with the cross product operation.
IsomorphismeEn mathématiques, un isomorphisme entre deux ensembles structurés est une application bijective qui préserve la structure, et dont la réciproque préserve aussi la structure. Plus généralement, en théorie des catégories, un isomorphisme entre deux objets est un morphisme admettant un « morphisme inverse ». Par exemple, sur l'intervalle des valeurs ... peuvent être remplacées par leur logarithme ..., et les relations d'ordre entre elles seront conservées. On peut à tout moment retrouver les valeurs et en prenant les exponentielles de et .
