Frobenius endomorphismIn commutative algebra and field theory, the Frobenius endomorphism (after Ferdinand Georg Frobenius) is a special endomorphism of commutative rings with prime characteristic p, an important class which includes finite fields. The endomorphism maps every element to its p-th power. In certain contexts it is an automorphism, but this is not true in general. Let R be a commutative ring with prime characteristic p (an integral domain of positive characteristic always has prime characteristic, for example).
Separable extensionIn field theory, a branch of algebra, an algebraic field extension is called a separable extension if for every , the minimal polynomial of over F is a separable polynomial (i.e., its formal derivative is not the zero polynomial, or equivalently it has no repeated roots in any extension field). There is also a more general definition that applies when E is not necessarily algebraic over F. An extension that is not separable is said to be inseparable.
Absolute Galois groupIn mathematics, the absolute Galois group GK of a field K is the Galois group of Ksep over K, where Ksep is a separable closure of K. Alternatively it is the group of all automorphisms of the algebraic closure of K that fix K. The absolute Galois group is well-defined up to inner automorphism. It is a profinite group. (When K is a perfect field, Ksep is the same as an algebraic closure Kalg of K. This holds e.g. for K of characteristic zero, or K a finite field.) The absolute Galois group of an algebraically closed field is trivial.
Galois extensionIn mathematics, a Galois extension is an algebraic field extension E/F that is normal and separable; or equivalently, E/F is algebraic, and the field fixed by the automorphism group Aut(E/F) is precisely the base field F. The significance of being a Galois extension is that the extension has a Galois group and obeys the fundamental theorem of Galois theory. A result of Emil Artin allows one to construct Galois extensions as follows: If E is a given field, and G is a finite group of automorphisms of E with fixed field F, then E/F is a Galois extension.
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].
Transcendental extensionIn mathematics, a transcendental extension is a field extension such that there exists an element in the field that is transcendental over the field ; that is, an element that is not a root of any univariate polynomial with coefficients in . In other words, a transcendental extension is a field extension that is not algebraic. For example, are both transcendental extensions of A transcendence basis of a field extension (or a transcendence basis of over ) is a maximal algebraically independent subset of over Transcendence bases share many properties with bases of vector spaces.
