Correspondance de GaloisEn mathématiques, une correspondance de Galois antitone est une généralisation, pour deux ordres partiels quelconques, de la correspondance entre sous-corps d'une extension galoisienne et sous-groupes de son groupe de Galois. Une correspondance de Galois isotone se définit de façon analogue, en inversant l'ordre sur le deuxième ensemble. Cette notion est reliée à celle d'opérateur de clôture. Soient et des fonctions définies sur deux ensembles ordonnés et . On vérifie facilement l'équivalence des deux définitions suivantes.
Pseudo algebraically closed fieldIn mathematics, a field is pseudo algebraically closed if it satisfies certain properties which hold for algebraically closed fields. The concept was introduced by James Ax in 1967. A field K is pseudo algebraically closed (usually abbreviated by PAC) if one of the following equivalent conditions holds: Each absolutely irreducible variety defined over has a -rational point. For each absolutely irreducible polynomial with and for each nonzero there exists such that and . Each absolutely irreducible polynomial has infinitely many -rational points.
Décomposition des idéaux premiers dans les extensions galoisiennesEn mathématiques, l'interaction entre le groupe de Galois G d'une extension galoisienne de corps de nombres L/K (ou de corps de nombres p-adiques, ou de corps de fonctions), et la manière dont les idéaux premiers de l'anneau O des entiers se décomposent sous forme de produits d'idéaux premiers de O, est à la base de nombreux développements fructueux en théorie algébrique des nombres. Le cas d'une extension non nécessairement galoisienne est traitée dans l'article « Décomposition des idéaux premiers ».
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).
Polynôme caractéristiqueEn mathématiques, et plus particulièrement en algèbre linéaire, à toute matrice carrée à coefficients dans un anneau commutatif ou à tout endomorphisme d'un espace vectoriel de dimension finie est associé un polynôme appelé polynôme caractéristique. Il renferme d'importantes informations sur la matrice ou sur l'endomorphisme, comme ses valeurs propres, son déterminant et sa trace. Le théorème de Cayley-Hamilton assure que toute matrice carrée annule son polynôme caractéristique.
Théorème fondamental de la théorie de GaloisEn mathématiques et plus précisément en algèbre commutative, le théorème fondamental de la théorie de Galois établit une correspondance entre les extensions intermédiaires d'une extension finie de corps et leurs groupes de Galois, dès lors que l'extension est galoisienne, c’est-à-dire séparable et normale. Soient L une extension galoisienne finie de K et G son groupe de Galois. Pour tout sous-groupe H de G, on note LH le sous-corps de L constitué des éléments fixés par chaque élément de H.
Représentation galoisienneLa théorie des représentations galoisiennes est l'application naturelle de la théorie des représentations à la théorie algébrique des nombres. Un module galoisien est un module sur lequel agit un groupe de Galois G. Ces modules seront par exemple des groupes d'unités, des groupes des classes, ou des groupes de Galois eux-mêmes. En théorie algébrique des nombres classique, soit L une extension galoisienne d'un corps de nombres K, et soit G le groupe de Galois correspondant.
Groupe de Galois absoluEn mathématiques, le groupe de Galois absolu d'un corps commutatif K est le groupe de Galois d'une clôture séparable (extension algébrique séparable maximale, nécessairement normale donc galoisienne) Ksep du corps K. Dans le cas d'un corps parfait (et donc en particulier en caractéristique nulle), une clôture séparable coïncide avec une clôture algébrique. La compréhension du groupe de Galois absolu du corps des nombres rationnels est un problème important en théorie algébrique des nombres.
Polynôme réciproqueEn mathématiques, le polynôme réciproque d'un polynôme à coefficients complexes est le polynôme P* défini par : où désigne le conjugué de . Pour tout nombre complexe z non nul, on a donc : Un polynôme est dit réciproque lorsqu'il est égal à son polynôme réciproque. Si les coefficients ai sont réels, cette définition équivaut à ai = an−i. Dans ce cas, P est aussi appelé un . Le polynôme minimal sur d'un nombre algébrique de module 1 est égal ou opposé à son polynôme réciproque.
K3 (géométrie)En géométrie différentielle ou algébrique, les surfaces K3 sont les variétés de Calabi-Yau de plus petite dimension différentes des tores. Ce sont des variétés complexes de dimension complexe 2 compactes et kählériennes. Les surfaces K3 possèdent en outre la propriété d'être les seules variétés de Calabi-Yau distincte du 4-tore T d'un point de vue topologique ou différentiel. Cependant, en tant que variété complexe, il y a un nombre infini de surfaces K3 non isomorphes. On peut notamment les distinguer par le biais du .
