Field 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].
Characteristic The characteristic of the field F is the smallest positive integer n such that n·1 = 0; here n·1 stands for n summands 1 + 1 + 1 + ... + 1. If no such n exists, we say the characteristic is zero. Every non-zero characteristic is a prime number. For example, the rational numbers, the real numbers and the p-adic numbers have characteristic 0, while the finite field Zp where p is prime has characteristic p.
Subfield A subfield of a field F is a subset of F which is closed under the field operation + and * of F and which, with these operations, forms itself a field.
Prime field The prime field of the field F is the unique smallest subfield of F.
Extension field If F is a subfield of E then E is an extension field of F. We then also say that E/F is a field extension.
Degree of an extension Given an extension E/F, the field E can be considered as a vector space over the field F, and the dimension of this vector space is the degree of the extension, denoted by [E : F].
Finite extension A finite extension is a field extension whose degree is finite.
Algebraic extension If an element α of an extension field E over F is the root of a non-zero polynomial in F[x], then α is algebraic over F. If every element of E is algebraic over F, then E/F is an algebraic extension.
Generating set Given a field extension E/F and a subset S of E, we write F(S) for the smallest subfield of E that contains both F and S.
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Galois theory aims at describing the algebraic symmetries of fields. After reviewing the basic material (from the 2nd year course "Ring and Fields") and in particular the Galois correspondence, we wi
This course is aimed to give students an introduction to the theory of algebraic curves, with an emphasis on the interplay between the arithmetic and the geometry of global fields. One of the principl
In 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.
In mathematics, the tensor product of two fields is their tensor product as algebras over a common subfield. If no subfield is explicitly specified, the two fields must have the same characteristic and the common subfield is their prime subfield. The tensor product of two fields is sometimes a field, and often a direct product of fields; In some cases, it can contain non-zero nilpotent elements. The tensor product of two fields expresses in a single structure the different way to embed the two fields in a common extension field.
In mathematics, a real closed field is a field F that has the same first-order properties as the field of real numbers. Some examples are the field of real numbers, the field of real algebraic numbers, and the field of hyperreal numbers. A real closed field is a field F in which any of the following equivalent conditions is true: F is elementarily equivalent to the real numbers. In other words, it has the same first-order properties as the reals: any sentence in the first-order language of fields is true in F if and only if it is true in the reals.
Recent research work shows that there are four procedures that can be used to calculate the electromagnetic fields from a current source. These different procedures, even though producing the same total field, give rise to field components that differ from ...
2021
This paper should be considered as an addendum to [A. Buffa and C. Giannelli, Adaptive isogeometric methods with hierarchical splines: Error estimator and convergence, Math. Models Methods Appl. Sci. 26 (2016) 1-25] and [A. Buffa and C. Giannelli, Adaptive ...
We present polynomial families complete for the well-studied algebraic complexity classes VF, VBP, VP, and VNP. The polynomial families are based on the homomorphism polynomials studied in the recent works of Durand et al. (2014) and Mahajan et al. (2018). ...