Variété algébriqueUne variété algébrique est, de manière informelle, l'ensemble des racines communes d'un nombre fini de polynômes en plusieurs indéterminées. C'est l'objet d'étude de la géométrie algébrique. Les schémas sont des généralisations des variétés algébriques. Il y a deux points de vue (essentiellement équivalents) sur les variétés algébriques : elles peuvent être définies comme des schémas de type fini sur un corps (langage de Grothendieck), ou bien comme la restriction d'un tel schéma au sous-ensemble des points fermés.
Finitely generated moduleIn mathematics, a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring R may also be called a finite R-module, finite over R, or a module of finite type. Related concepts include finitely cogenerated modules, finitely presented modules, finitely related modules and coherent modules all of which are defined below. Over a Noetherian ring the concepts of finitely generated, finitely presented and coherent modules coincide.
Idéal premierEn algèbre commutative, un idéal premier d'un anneau commutatif unitaire est un idéal tel que le quotient de l'anneau par cet idéal est un anneau intègre. Ce concept généralise la notion de nombre premier à des anneaux à la structure moins simple d'accès que l'anneau des entiers relatifs. Ils jouent un rôle particulièrement important en théorie algébrique des nombres. thumb|Richard Dedekind (1831-1916), formalisateur du concept d'idéal.
IdéalEn mathématiques, et plus particulièrement en algèbre, un idéal est un sous-ensemble remarquable d'un anneau : c'est un sous-groupe du groupe additif de l'anneau qui est, de plus, stable par multiplication par les éléments de l'anneau. À certains égards, les idéaux s'apparentent donc aux sous-espaces vectoriels — qui sont des sous-groupes additifs stables par une multiplication externe ; à d'autres égards, ils se comportent comme les sous-groupes distingués — ce sont des sous-groupes additifs à partir desquels on peut construire une structure d'anneau quotient.
Variété abélienneEn mathématiques, et en particulier, en géométrie algébrique et géométrie complexe, une variété abélienne A est une variété algébrique projective qui est un groupe algébrique. La condition de est l'équivalent de la compacité pour les variétés différentielles ou analytiques, et donne une certaine rigidité à la structure. C'est un objet central en géométrie arithmétique. Une variété abélienne sur un corps k est un groupe algébrique A sur k, dont la variété algébrique sous-jacente est projective, connexe et géométriquement réduite.
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.
Algèbre de type finiEn algèbre commutative, la notion d'algèbre de type fini est une première généralisation des anneaux de polynômes à un nombre fini d'indéterminées. Ces algèbres possèdent de bonnes propriétés relatives à l'anneau de base, et de bonnes propriétés absolues lorsque l'anneau de base est un corps. Les algèbres de type fini sur un corps sont les objets algébriques de base des variétés algébriques. Sur un corps k, attention à ne pas confondre une algèbre de type fini avec une extension de type fini qui n'est jamais de type fini en tant que k-algèbre sauf si c'est une extension finie.
Idéal maximalUn idéal maximal est un concept associé à la théorie des anneaux en mathématiques et plus précisément en algèbre. Un idéal d'un anneau commutatif est dit maximal lorsqu’il est contenu dans exactement deux idéaux, lui-même et l'anneau tout entier. L'existence d'idéaux maximaux est assurée par le théorème de Krull. Cette définition permet de généraliser la notion d’élément irréductible à des anneaux différents de celui des entiers relatifs. Certains de ces anneaux ont un rôle important en théorie algébrique des nombres et en géométrie algébrique.
Idéal fractionnairevignette|Richard Dedekind donne en 1876 la définition d'idéal fractionnaire. En mathématiques, et plus précisément en théorie des anneaux, un idéal fractionnaire est une généralisation de la définition d'un idéal. Ce concept doit son origine à la théorie algébrique des nombres. Pour résoudre certaines équations diophantiennes, cette théorie utilise des anneaux d'entiers généralisant celui des entiers relatifs.
Anneau quotientEn mathématiques, un anneau quotient est un anneau qu'on construit sur l'ensemble quotient d'un anneau par un de ses idéaux bilatères. Soit A un anneau. L'addition et la multiplication de A sont compatibles avec une relation d'équivalence sur A si (et seulement si) celle-ci est de la forme : x ~ y ⇔ x – y ∈ I, pour un certain idéal bilatère I de A. On peut alors munir l'ensemble quotient A/I de l'addition et de la multiplication quotients de celles de A : Ceci munit A/I d'une structure d'anneau, appelé l'anneau quotient de A par I (son groupe additif est le groupe quotient de (A, +) par I).
Ideal theoryIn mathematics, ideal theory is the theory of ideals in commutative rings. While the notion of an ideal exists also for non-commutative rings, a much more substantial theory exists only for commutative rings (and this article therefore only considers ideals in commutative rings.) Throughout the articles, rings refer to commutative rings. See also the article ideal (ring theory) for basic operations such as sum or products of ideals.
Propriété universelleEn mathématiques, et plus précisément en théorie des catégories, une propriété universelle est la propriété des objets qui sont la solution d'un problème universel posé par un foncteur. De très nombreux objets classiques des mathématiques, comme la notion de produit cartésien, de groupe quotient, ou de compactifié, peuvent être définis comme des solutions de problèmes universels.
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, .
Idéal (théorie des ordres)En mathématiques, un idéal au sens de la théorie des ordres est un sous-ensemble particulier d'un ensemble ordonné. Bien qu'à l'origine ce terme soit issu de la notion algébrique d'idéal d'un anneau, il a été généralisé en une notion distincte. Les idéaux interviennent dans beaucoup de constructions en théorie des ordres, en particulier des treillis. Un idéal d'un ensemble ordonné (E, ≤) est une partie non vide I de E telle que : I est une section commençante, c'est-à-dire que tout minorant d'un élément de I appartient à I ; I est un ensemble ordonné filtrant, c'est-à-dire que deux éléments quelconques de I possèdent toujours un majorant commun dans I.
Geometric quotientIn algebraic geometry, a geometric quotient of an algebraic variety X with the action of an algebraic group G is a morphism of varieties such that (i) For each y in Y, the fiber is an orbit of G. (ii) The topology of Y is the quotient topology: a subset is open if and only if is open. (iii) For any open subset , is an isomorphism. (Here, k is the base field.) The notion appears in geometric invariant theory. (i), (ii) say that Y is an orbit space of X in topology. (iii) may also be phrased as an isomorphism of sheaves .
Théorème des facteurs invariantsEn mathématiques, le théorème des facteurs invariants porte sur les modules de type fini sur les anneaux principaux. Les facteurs invariants non inversibles sont des obstructions à l'inversibilité des matrices qui n'apparaissent pas dans la théorie des espaces vectoriels. Leur calcul a de nombreuses applications : par exemple trouver la classe d'isomorphie d'un groupe abélien de type fini à partir d'une présentation de celui-ci. Dans un cadre précis, le théorème des facteurs invariants se particularise en théorèmes de réduction d'endomorphisme.
Variété projectiveEn géométrie algébrique, les variétés projectives forment une classe importante de variétés. Elles vérifient des propriétés de compacité et des propriétés de finitude. C'est l'objet central de la géométrie algébrique globale. Sur un corps algébriquement clos, les points d'une variété projective sont les points d'un ensemble algébrique projectif. On fixe un corps (commutatif) k. Algèbre homogène. Soit B le quotient de par un idéal homogène ( idéal engendré par des polynômes homogènes).
Partie génératrice d'un groupeEn théorie des groupes, une partie génératrice d'un groupe est une partie A de ce groupe telle que tout élément du groupe s'écrit comme produit d'un nombre fini d'éléments de A et de leurs inverses. Un groupe est dit de type fini lorsqu'il admet une partie génératrice finie. Un groupe engendré par un seul élément est isomorphe soit au groupe additif des entiers relatifs (Z, +), soit à un groupe additif de classes modulo n (Z/nZ, +) ; on dit que c'est un groupe monogène.
Quasi-projective varietyIn mathematics, a quasi-projective variety in algebraic geometry is a locally closed subset of a projective variety, i.e., the intersection inside some projective space of a Zariski-open and a Zariski-closed subset. A similar definition is used in scheme theory, where a quasi-projective scheme is a locally closed subscheme of some projective space. An affine space is a Zariski-open subset of a projective space, and since any closed affine subset can be expressed as an intersection of the projective completion and the affine space embedded in the projective space, this implies that any affine variety is quasiprojective.
Quotient (universal algebra)In mathematics, a quotient algebra is the result of partitioning the elements of an algebraic structure using a congruence relation. Quotient algebras are also called factor algebras. Here, the congruence relation must be an equivalence relation that is additionally compatible with all the operations of the algebra, in the formal sense described below. Its equivalence classes partition the elements of the given algebraic structure. The quotient algebra has these classes as its elements, and the compatibility conditions are used to give the classes an algebraic structure.
