Local homeomorphismIn mathematics, more specifically topology, a local homeomorphism is a function between topological spaces that, intuitively, preserves local (though not necessarily global) structure. If is a local homeomorphism, is said to be an étale space over Local homeomorphisms are used in the study of sheaves. Typical examples of local homeomorphisms are covering maps.
Ramification (mathématiques)En mathématiques, la ramification est un terme géométrique utilisé au sens de embranchement extérieur, à la façon dont la fonction racine carrée, pour les nombres complexes, peut être vue lorsqu'on considère ses deux branches opposées. Il est aussi utilisé d'une perspective opposée (branches arrivant ensemble) comme lorsqu'un revêtement dégénère en un point de la base, avec effondrement en ce point des fibres de l'application. point de branchement En analyse complexe, le modèle de base peut être pris comme l'application dans le plan complexe, proche de z = 0.
Théorème des zéros de HilbertLe théorème des zéros de Hilbert, parfois appelé Nullstellensatz, est un théorème d'algèbre commutative qui est à la base du lien entre les idéaux et les variétés algébriques. Il a été démontré par le mathématicien allemand David Hilbert. Une algèbre de type fini sur K est un anneau quotient d'un anneau de polynômes K[X_1,...,X_n] par un idéal. Sa structure de K-algèbre est induite par celle de K[X_1,...,X_n]. Il existe plusieurs formulations du théorème des zéros de Hilbert. Théorème 1 (Lemme de Zariski).
Groupe fondamentalEn mathématiques, et plus spécifiquement en topologie algébrique, le groupe fondamental, ou groupe de Poincaré, est un invariant topologique. Le groupe fondamental d'un espace topologique pointé (X, d) est, par définition, l'ensemble des classes d'homotopie de lacets (chemins fermés) de X de base d. C'est un groupe dont la loi de composition interne est induite par la concaténation (juxtaposition) des arcs. L'examen des groupes fondamentaux permet de prouver que deux espaces particuliers ne peuvent être homéomorphes (c'est-à-dire topologiquement équivalents).
Topologie de ZariskiEn géométrie algébrique et en théorie des catégories, le terme topologie de Zariski peut désigner quatre notions proches : une certaine topologie définie sur une variété algébrique. Les fermés de cette topologie sont les ensembles algébriques ; une topologie définie de manière analogue sur le spectre premier d'un anneau commutatif ; une topologie définie sur un schéma, qui, localement, provient de la topologie de Zariski définie sur un spectre d'anneau ; une topologie de Grothendieck sur un site.
Variété (géométrie)En mathématiques, et plus particulièrement en géométrie, la notion de variété peut être appréhendée intuitivement comme la généralisation de la classification qui établit qu'une courbe est une variété de dimension 1 et une surface est une variété de dimension 2. Une variété de dimension n, où n désigne un entier naturel, est un espace topologique localement euclidien, c'est-à-dire dans lequel tout point appartient à une région qui s'apparente à un tel espace.
