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.
CourbeEn mathématiques, plus précisément en géométrie, une courbe, ou ligne courbe, est un objet du plan ou de l'espace usuel, similaire à une droite mais non nécessairement linéaire. Par exemple, les cercles, les droites, les segments et les lignes polygonales sont des courbes. La notion générale de courbe se décline en plusieurs objets mathématiques ayant des définitions assez proches : arcs paramétrés, lignes de niveau, sous-variétés de .
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.
Courbe algébriqueEn mathématiques, et plus précisément en géométrie algébrique, une courbe algébrique est une variété algébrique (ou un schéma de type fini) sur un corps, dont les composantes irréductibles sont de dimension 1. Cette définition est la généralisation moderne de celle des courbes algébriques classiques, telles que les coniques, définies, dans le cas des courbes planes, comme l'ensemble des points solutions d'une équation polynomiale. Sous sa forme la plus générale, une courbe algébrique sur un corps est une variété algébrique de dimension 1 sur , séparée pour éviter des pathologies.
Module injectifEn mathématiques, et plus spécifiquement en algèbre homologique, un module injectif est un module Q (à gauche par exemple) sur un anneau A tel que pour tout morphisme injectif f : X → Y entre deux A-modules (à gauche) et pour tout morphisme g : X → Q, il existe un morphisme h : Y → Q tel que hf = g, c'est-à-dire tel que le diagramme suivant commute : center Autrement dit : Q est injectif si pour tout module Y, tout morphisme d'un sous-module de Y vers Q s'étend à Y.