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.
Algèbre d'AzumayaEn mathématiques, la notion d'algèbre d'Azumaya est une généralisation de la notion d'algèbre centrale simple aux R-algèbres dont les scalaires R ne forment pas un corps. Elle a été introduite dans un article de en 1951, dans le cas où R est un anneau local commutatif, puis a été développée par Alexander Grothendieck comme ingrédient de base à une théorie du groupe de Brauer en géométrie algébrique, dans les séminaires Bourbaki à partir de 1964.
Extension linéairement disjointeEn mathématiques, deux sous-extensions d'une extension de corps sont dites linéairement disjointes lorsqu'elles sont linéairement indépendantes en un certain sens. Cela permet de déduire des propriétés sur leur compositum ou leur produit tensoriel. On fixe une extension de corps (commutatifs) . Deux sous-extensions sont dites linéairement disjointes sur si toute base (vectorielle) de sur est libre par rapport à , c'est-à-dire que si une somme finie dans est nulle avec les dans , alors ces derniers sont tous nuls.
Separable polynomialIn 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).
Change of ringsIn algebra, a change of rings is an operation of changing a coefficient ring to another. Given a ring homomorphism , there are three ways to change the coefficient ring of a module; namely, for a right R-module M and a right S-module N, one can form the induced module, formed by extension of scalars, the coinduced module, formed by co-extension of scalars, and formed by restriction of scalars. They are related as adjoint functors: and This is related to Shapiro's lemma.
Extension radicielleDans la théorie des extensions de corps, à l'opposé des extensions algébriques séparables, il existe les extensions radicielles. C'est un phénomène spécifique à la caractéristique positive et qui apparaît naturellement avec les corps de fonctions en caractéristique positive. Soit une extension de corps de caractéristique . Un élément de est dit radiciel sur s'il existe un entier tel que . Une extension (algébrique) est une extension radicielle si tout élément de est radiciel sur .
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).
Regular extensionIn field theory, a branch of algebra, a field extension is said to be regular if k is algebraically closed in L (i.e., where is the set of elements in L algebraic over k) and L is separable over k, or equivalently, is an integral domain when is the algebraic closure of (that is, to say, are linearly disjoint over k). Regularity is transitive: if F/E and E/K are regular then so is F/K. If F/K is regular then so is E/K for any E between F and K. The extension L/k is regular if and only if every subfield of L finitely generated over k is regular over k.
Glossary of field theoryField theory is the branch of mathematics in which fields are studied. This is a glossary of some terms of the subject. (See field theory (physics) for the unrelated field theories in physics.) A field is a commutative ring (F,+,*) in which 0≠1 and every nonzero element has a multiplicative inverse. In a field we thus can perform the operations addition, subtraction, multiplication, and division. The non-zero elements of a field F form an abelian group under multiplication; this group is typically denoted by F×; The ring of polynomials in the variable x with coefficients in F is denoted by F[x].
Generator (mathematics)In mathematics and physics, the term generator or generating set may refer to any of a number of related concepts. The underlying concept in each case is that of a smaller set of objects, together with a set of operations that can be applied to it, that result in the creation of a larger collection of objects, called the generated set. The larger set is then said to be generated by the smaller set. It is commonly the case that the generating set has a simpler set of properties than the generated set, thus making it easier to discuss and examine.
