Concept
Corps de décomposition
Concepts associés (19)
Extension séparable
En 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 de Galois
En 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.
Polynôme irréductible
In mathematics, an irreducible polynomial is, roughly speaking, a polynomial that cannot be factored into the product of two non-constant polynomials. The property of irreducibility depends on the nature of the coefficients that are accepted for the possible factors, that is, the field to which the coefficients of the polynomial and its possible factors are supposed to belong. For example, the polynomial x2 − 2 is a polynomial with integer coefficients, but, as every integer is also a real number, it is also a polynomial with real coefficients.
Factorisation des polynômes
En mathématiques, la factorisation d'un polynôme consiste à écrire celui-ci comme produit de polynômes. Les factorisations intéressantes sont celles permettant d'écrire le polynôme initial en produit de plusieurs polynômes non inversibles. Un polynôme non inversible pour lequel aucune factorisation de ce type n'existe s'appelle un polynôme irréductible. La décomposition d'un polynôme en produits de polynômes irréductibles existe, et a une propriété d'unicité (à un facteur inversible près), pour tout polynôme à coefficients réels ou complexes.
Théorème fondamental de l'algèbre
En mathématiques, le théorème fondamental de l'algèbre, aussi appelé théorème de d'Alembert-Gauss et théorème de d'Alembert, indique que tout polynôme non constant, à coefficients complexes, admet au moins une racine. En conséquence, tout polynôme à coefficients entiers, rationnels ou encore réels admet au moins une racine complexe, car ces nombres sont aussi des complexes. Une fois ce résultat établi, il devient simple de montrer que sur C, le corps des nombres complexes, tout polynôme P est scindé, c'est-à-dire constant ou produit de polynômes de degré 1.
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.
Théorème de l'élément primitif
En mathématiques, et plus spécifiquement en algèbre, le théorème de l'élément primitif est un des théorèmes de base de la théorie des corps. Il stipule que toute extension finie séparable est simple, c'est-à-dire engendrée par un seul élément, appelé élément primitif. Une extension algébrique L d'un corps K est dite séparable 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).
Separable polynomial
In mathematics, a polynomial P(X) over a given field K is separable if its roots are distinct in an algebraic closure of K, that is, the number of distinct roots is equal to the degree of the polynomial. This concept is closely related to square-free polynomial. If K is a perfect field then the two concepts coincide. In general, P(X) is separable if and only if it is square-free over any field that contains K, which holds if and only if P(X) is coprime to its formal derivative D P(X).
Groupe de Galois
En 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.
Théorème fondamental de la théorie de Galois
En 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.