Extension cyclotomiqueEn théorie algébrique des nombres, on appelle extension cyclotomique du corps Q des nombres rationnels tout corps de rupture d'un polynôme cyclotomique, c'est-à-dire tout corps de la forme Q(ζ) où ζ est une racine de l'unité. Ces corps jouent un rôle crucial, d'une part dans la compréhension de certaines équations diophantiennes : par exemple, l'arithmétique (groupe des classes, notamment) de leur anneau des entiers permet de montrer le dernier théorème de Fermat dans de nombreux cas (voir nombre premier régulier) ; mais aussi, dans la compréhension des extensions algébriques de Q, ce qui peut être considéré comme une version abstraite du problème précédent : le théorème de Kronecker-Weber, par exemple, assure que toute extension abélienne est contenue dans une extension cyclotomique.
Théorie de GaloisEn mathématiques et plus précisément en algèbre, la théorie de Galois est l'étude des extensions de corps commutatifs, par le biais d'une correspondance avec des groupes de transformations sur ces extensions, les groupes de Galois. Cette méthode féconde, qui constitue l'exemple historique, a essaimé dans bien d'autres branches des mathématiques, avec par exemple la théorie de Galois différentielle, ou la théorie de Galois des revêtements. Cette théorie est née de l'étude par Évariste Galois des équations algébriques.
Racine de l'unitévignette|Les racines cinquièmes de l'unité (points bleus) dans le plan complexe. En mathématiques, une racine de l'unité est un nombre complexe dont une puissance entière non nulle vaut 1, c'est-à-dire tel qu'il existe un nombre entier naturel non nul n tel que . Ce nombre est alors appelé racine n-ième de l'unité. Une racine n-ième de l'unité est dite primitive si elle est d'ordre exactement n, c'est-à-dire si n est le plus petit entier strictement positif pour lequel l'égalité est réalisée.
Polynôme cyclotomiqueEn mathématiques, plus précisément en algèbre commutative, le polynôme cyclotomique usuel associé à un entier naturel n est le polynôme unitaire dont les racines complexes sont les racines primitives n-ièmes de l'unité. Son degré vaut φ(n), où φ désigne la fonction indicatrice d'Euler. Il est à coefficients entiers et irréductible sur Q.
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 ».
Endomorphisme de FrobeniusEn mathématiques, l'endomorphisme de Frobenius, nommé ainsi en l'honneur de Georg Ferdinand Frobenius, est un endomorphisme d'anneau commutatif défini de façon naturelle à partir de la caractéristique. Il est particulièrement utilisé dans le contexte de la théorie de Galois, soit dans le cas des corps de caractéristique non nulle et plus spécifiquement dans le cas des corps finis et dans la théorie des corps de classes. Si le corps est fini, il s'agit alors d'un automorphisme.
Extension séparableEn mathématiques, et plus spécifiquement en algèbre, une extension L d'un corps K est dite séparable si elle est algébrique et si le polynôme minimal de tout élément de L n'admet que des racines simples (dans une clôture algébrique de K). La séparabilité est une des propriétés des extensions de Galois. Toute extension finie séparable satisfait le théorème de l'élément primitif. Les corps dont toutes les extensions algébriques sont séparables (c'est-à-dire les corps parfaits) sont nombreux.
Extension abélienneEn algèbre générale, plus précisément en théorie de Galois, une extension abélienne est une extension de Galois dont le groupe de Galois est abélien. Lorsque ce groupe est cyclique, l'extension est dite cyclique. Toute extension finie d'un corps fini est une extension cyclique. L'étude de la théorie des corps de classes décrit de façon détaillée toutes les extensions abéliennes dans le cas des corps de nombres, et des corps de fonctions de courbes algébriques sur des corps finis, ainsi que dans le cas des corps locaux (Théorie du corps de classes local).
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.
Extension de GaloisEn mathématiques, une extension de Galois (parfois nommée extension galoisienne) est une extension normale séparable. L'ensemble des automorphismes de l'extension possède une structure de groupe appelée groupe de Galois. Cette structure de groupe caractérise l'extension, ainsi que ses sous-corps. Les extensions de Galois sont des structures largement utilisées pour la démonstration de théorèmes en théorie algébrique des nombres, comme le dernier théorème de Fermat, ou en théorie de Galois pure, comme le théorème d'Abel-Ruffini.
Extension normaleEn mathématiques, une extension L d'un corps K est dite normale ou quasi-galoisienne si c'est une extension algébrique et si tout morphisme de corps de L dans un corps le contenant, induisant l'identité sur K, a son image contenue dans L. De façon équivalente, l'extension L/K est normale si elle est algébrique et si tout conjugué d'un élément de L appartient encore à L. Cette propriété est utilisée pour définir une extension de Galois : c'est une extension algébrique séparable et normale.
Extension de corpsEn mathématiques, plus particulièrement en algèbre, une extension d'un corps commutatif K est un corps L qui contient K comme sous-corps. Par exemple, le corps C des nombres complexes est une extension du corps R des nombres réels, lequel est lui-même une extension du corps Q des nombres rationnels. On note parfois L/K pour indiquer que L est une extension de K. Soit K un corps. Une extension de K est un couple (L, j) où L est un corps et j un morphisme de corps de K dans L (les morphismes de corps étant systématiquement injectifs).
Groupe de GaloisEn mathématiques, et plus spécifiquement en algèbre dans le cadre de la théorie de Galois, le groupe de Galois d'une extension de corps L sur un corps K est le groupe des automorphismes de corps de L laissant K invariant. Le groupe de Galois est souvent noté Gal(L/K). Si l'extension possède de bonnes propriétés, c’est-à-dire si elle est séparable et normale, on parle alors d'extension de Galois et les hypothèses du théorème fondamental de la théorie de Galois sont réunies.
Degree of a field extensionIn mathematics, more specifically field theory, the degree of a field extension is a rough measure of the "size" of the field extension. The concept plays an important role in many parts of mathematics, including algebra and number theory — indeed in any area where fields appear prominently. Suppose that E/F is a field extension. Then E may be considered as a vector space over F (the field of scalars). The dimension of this vector space is called the degree of the field extension, and it is denoted by [E:F].
Quadratic fieldIn algebraic number theory, a quadratic field is an algebraic number field of degree two over , the rational numbers. Every such quadratic field is some where is a (uniquely defined) square-free integer different from and . If , the corresponding quadratic field is called a real quadratic field, and, if , it is called an imaginary quadratic field or a complex quadratic field, corresponding to whether or not it is a subfield of the field of the real numbers.
Extension algébriqueEn mathématiques et plus particulièrement en algèbre, une extension algébrique L sur un corps K est une extension de corps dans laquelle tous les éléments sont algébriques sur K c’est-à-dire sont racines d'un polynôme non nul à coefficients dans K. Dans le cas contraire, l'extension est dite transcendante. Cette approche permet dans un premier temps de pallier les insuffisances de certains corps, par exemple celui des nombres réels quant aux solutions des équations polynomiales.
Théorie de Galois différentielleLa théorie de Galois différentielle est une branche des mathématiques qui a pour objet l'étude des équations différentielles via des méthodes algébriques, plus particulièrement des méthodes issues de la théorie de Galois pour les équations algébriques. Elle admet plusieurs formulations différentes. La plus élémentaire est la . Elle concerne les équations différentielles linéaires, et consiste en la construction d'une théorie des extensions des corps différentiels analogue à la théorie classique des extensions de corps : l'exemple de base est le corps des fractions rationnelles à coefficients complexes, muni de la dérivation usuelle.
Évariste GaloisÉvariste Galois est un mathématicien français, né le à Bourg-Égalité (aujourd’hui Bourg-la-Reine) et mort le à Paris. Son nom a été donné à une branche des mathématiques dont il a posé les prémices, la théorie de Galois. Il est un précurseur dans la mise en évidence de la notion de groupe et un des premiers à expliciter la correspondance entre symétries et invariants. Sa « théorie de l'ambiguïté » est toujours féconde au .
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.
Tour de corpsEn mathématiques, une tour de corps est une suite d'extensions de corps Le nom de tour vient du fait qu'une telle suite est souvent écrite sous la forme Une tour de corps peut aussi bien être finie qu'infinie. est une tour de corps finie composée des corps de nombres rationnels, réels puis complexes. Soit la suite définie par F0 = le corps Q des rationnels et (i.e. Fn+1 est obtenu à partir de Fn en ajoutant la racine 2n-ième de 2). Cette tour de corps est infinie.
