Chow groupIn algebraic geometry, the Chow groups (named after Wei-Liang Chow by ) of an algebraic variety over any field are algebro-geometric analogs of the homology of a topological space. The elements of the Chow group are formed out of subvarieties (so-called algebraic cycles) in a similar way to how simplicial or cellular homology groups are formed out of subcomplexes. When the variety is smooth, the Chow groups can be interpreted as cohomology groups (compare Poincaré duality) and have a multiplication called the intersection product.
Intersection numberIn mathematics, and especially in algebraic geometry, the intersection number generalizes the intuitive notion of counting the number of times two curves intersect to higher dimensions, multiple (more than 2) curves, and accounting properly for tangency. One needs a definition of intersection number in order to state results like Bézout's theorem. The intersection number is obvious in certain cases, such as the intersection of the x- and y-axes in a plane, which should be one.
Multiplicité (mathématiques)En mathématiques, on définit pour certaines propriétés la multiplicité d'une valeur ayant cette propriété. Il s'agit en général d'un nombre naturel qui indique « combien de fois » la valeur possède la propriété. Cela est dépourvu de sens en général (on possède une propriété ou on ne la possède pas), mais une interprétation naturelle existe dans certains cas. En général une propriété pour laquelle des multiplicités sont définies détermine un multiensemble de valeurs plutôt qu'un simple ensemble.
Intersection theoryIn mathematics, intersection theory is one of the main branches of algebraic geometry, where it gives information about the intersection of two subvarieties of a given variety. The theory for varieties is older, with roots in Bézout's theorem on curves and elimination theory. On the other hand, the topological theory more quickly reached a definitive form. There is yet an ongoing development of intersection theory. Currently the main focus is on: virtual fundamental cycles, quantum intersection rings, Gromov-Witten theory and the extension of intersection theory from schemes to stacks.
Suite de compositionLa notion de suite de composition est une notion de théorie des groupes. Elle permet, dans un sens qui sera précisé, de considérer un groupe comme « composé » de certains de ses sous-groupes. Soient G un groupe et e son élément neutre. On appelle suite de composition de G toute suite finie (G_0, G_1, ..., G_r) de sous-groupes de G telle queet que, pour tout i ∈ {0, 1, ..., r – 1}, G_i+1 soit sous-groupe normal de G_i.Les quotients G_i/G_i+1 sont appelés les quotients de la suite. Soient Σ_1 = (G_0, G_1, ...
Anneau artinienEn algèbre commutative, un anneau artinien est un anneau vérifiant la condition de chaîne descendante pour ses idéaux. Les anneaux artiniens doivent leur nom au mathématicien autrichien Emil Artin. On dit qu'un anneau commutatif (unitaire) A est un anneau artinien si c'est un A-module artinien, autrement dit, si toute suite décroissante d'idéaux de A est stationnaire. Cela équivaut à dire que tout ensemble non vide d'idéaux de A admet un élément minimal (pour la relation d'inclusion).
Module indécomposableEn algèbre abstraite, un module est indécomposable s'il est non nul et ne peut pas être écrit comme une somme directe de deux sous-modules non nuls. L'indécomposabilité des modules est une notion plus faible que leur simplicité (qui est aussi parfois appelée irréductibilité). Une somme directe d'indécomposables est dite complètement décomposable, notion qui est donc plus faible que d'être semi-simple (somme directe de modules simples).
Théorème de BézoutLe théorème de Bézout, attribué à Étienne Bézout, affirme que deux courbes algébriques projectives planes de degrés m et n, définies sur un corps algébriquement clos et sans composante irréductible commune, ont exactement mn points d'intersection, comptés avec leur multiplicité. La forme faible du théorème dit que le nombre d'intersections (sans tenir compte des multiplicités) est majoré par . Autrement dit, si sont deux polynômes homogènes à coefficients dans (avec et ) de degrés respectifs et sans facteur commun, alors le système admet au plus solutions dans le plan projectif .
Anneau localEn mathématiques, et plus particulièrement en algèbre commutative, un anneau local est un anneau commutatif possédant un unique idéal maximal. En géométrie algébrique, les anneaux locaux représentent les fonctions définies au voisinage d'un point donné. Pour tout anneau A, les propriétés suivantes sont équivalentes : A est local ; ses éléments non inversibles forment un idéal (qui sera alors l'idéal maximal de A et coïncidera avec son radical de Jacobson) ; ses éléments non inversibles appartiennent à un même idéal propre ; pour tout élément a de A, soit a soit 1 – a est inversible ; pour tout élément a de A, soit a soit 1 – a est inversible à gauche ; il existe un idéal maximal M tel que pour tout élément a de M, 1 + a est inversible.
Dimension of an algebraic varietyIn mathematics and specifically in algebraic geometry, the dimension of an algebraic variety may be defined in various equivalent ways. Some of these definitions are of geometric nature, while some other are purely algebraic and rely on commutative algebra. Some are restricted to algebraic varieties while others apply also to any algebraic set. Some are intrinsic, as independent of any embedding of the variety into an affine or projective space, while other are related to such an embedding.