ArchimédienÀ l'origine, l'énoncé de l'axiome d'Archimède est le suivant : « Pour deux grandeurs inégales, il existe toujours un multiple entier de la plus petite, supérieur à la plus grande. » Une structure algébrique est dite archimédienne si ses éléments vérifient une telle propriété. Intuitivement, la propriété d'Archimède indique que pour deux valeurs, la plus grande pourra toujours être mesurée à l'aune de la plus petite : en ajoutant un nombre fini de fois la plus petite valeur, on finira toujours par dépasser la plus grande.
Verdier dualityIn mathematics, Verdier duality is a cohomological duality in algebraic topology that generalizes Poincaré duality for manifolds. Verdier duality was introduced in 1965 by as an analog for locally compact topological spaces of Alexander Grothendieck's theory of Poincaré duality in étale cohomology for schemes in algebraic geometry. It is thus (together with the said étale theory and for example Grothendieck's coherent duality) one instance of Grothendieck's six operations formalism.
Entier sans facteur carrévignette|Les nombres qui n'ont pas été rayé sont tous les entiers sans facteur carré jusqu'à 120 En mathématiques et plus précisément en arithmétique, un entier sans facteur carré (souvent appelé, par tradition ou commodité quadratfrei ou squarefree) est un entier relatif qui n'est divisible par aucun carré parfait, excepté 1. Par exemple, 10 est sans facteur carré mais 18 ne l'est pas, puisqu'il est divisible par 9 = 3. Les dix plus petits nombres de la des entiers positifs sans facteur carré sont 1, 2, 3, 5, 6, 7, 10, 11, 13, 14.
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).
Fonction zêta localeEn mathématiques et dans la théorie des nombres, une fonction zêta locale est une fonction génératrice pour le nombre de solutions d'un ensemble d'équations définies sur un corps fini F, dans les extensions de corps de F. L'analogie avec la fonction zêta de Riemann ζ vient de la considération de la dérivée logarithmique . Étant donné F, il existe, à un isomorphisme près, un seul corps tel que , pour k = 1,2, ...
Décomposition en produit de facteurs premiersvignette|Décomposition du nombre 864 en facteurs premiers En mathématiques et plus précisément en arithmétique, la décomposition en produit de facteurs premiers, aussi connue comme la factorisation entière en nombres premiers ou encore plus couramment la décomposition en facteurs premiers, consiste à chercher à écrire un entier naturel non nul sous forme d'un produit de nombres premiers. Par exemple, si le nombre donné est 45, la factorisation en nombres premiers est 3 × 5, soit 3 × 3 × 5.
Diviseur (géométrie algébrique)En mathématiques, plus précisément en géométrie algébrique, les diviseurs sont une généralisation des sous-variétés de codimension 1 de variétés algébriques ; deux généralisations différentes sont d'un usage commun : les diviseurs de Weil et les diviseurs de Cartier. Les deux concepts coïncident dans les cas des variétés non singulières. En géométrie algébrique, comme en géométrie analytique complexe, ou en géométrie arithmétique, les diviseurs forment un groupe qui permet de saisir la nature d'un schéma (une variété algébrique, une surface de Riemann, un anneau de Dedekind.
Closed and exact differential formsIn mathematics, especially vector calculus and differential topology, a closed form is a differential form α whose exterior derivative is zero (dα = 0), and an exact form is a differential form, α, that is the exterior derivative of another differential form β. Thus, an exact form is in the of d, and a closed form is in the kernel of d. For an exact form α, α = dβ for some differential form β of degree one less than that of α. The form β is called a "potential form" or "primitive" for α.
