Glossary of field theory

Glossary of field theory

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.)

Definition of a field

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"] .

Basic definitions

; 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 Z"p" 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". It consists of all the elements of "E" that can be obtained by repeatedly using the operations +,-,*,/ on the elements of "F" and "S". If "E" = "F"("S") we say that "E" is generated by "S" over "F".

; Primitive element : An element α of an extension field "E" over a field "F" is called a "primitive element" if "E"="F"(α), the smallest extension field containing α. Such an extension is called a simple extension.

; Splitting field : A field extension generated by the complete factorisation of a polynomial.

; Normal extension : A field extension generated by the complete factorisation of a set of polynomials.

; Separable extension : An extension generated by roots of separable polynomials.

; Perfect field : A field such that every finite extension is separable. All fields of characteristic zero, and all finite fields, are perfect.

; Algebraically closed field : A field "F" is "algebraically closed" if every polynomial in "F" ["x"] has a root in "F"; equivalently: every polynomial in "F" ["x"] is a product of linear factors.

; Algebraic closure: An "algebraic closure" of a field "F" is an algebraic extension of "F" which is algebraically closed. Every field has an algebraic closure, and it is essentially unique.

; Transcendental : Those elements of an extension field of "F" that are not algebraic over "F" are "transcendental" over "F".

; Algebraically independent elements : Elements of an extension field of "F" are "algebraically independent" over "F" if they don't satisfy any polynomial equation with coefficients in "F".

; Transcendence degree : The number of algebraically independent transcendental elements in a field extension. It is used to define the dimension of an algebraic variety.

Homomorphisms

; Field homomorphism : A "field homomorphism" between two fields "E" and "F" is a function ::"f" : "E" → "F" :such that ::"f"("x" + "y") = "f"("x") + "f"("y") :and ::"f"("xy") = "f"("x") "f"("y") :for all "x", "y" in "E", as well as "f"(1) = 1. These properties imply that "f"(0) = 0, "f"("x"-1) = "f"("x")-1 for "x" in "E" with "x" ≠ 0, and that "f" is injective. Fields, together with these homomorphisms, form a category. Two fields "E" and "F" are called isomorphic if there exists a bijective homomorphism::"f" : "E" → "F". :The two fields are then identical for all practical purposes; however, not necessarily in a "unique" way. See, for example, complex conjugation.

Types of fields

; Finite field : A field with finitely many elements.

; Ordered field : A field with a total order compatible with its operations.

; Rational numbers

; Real numbers

; Complex numbers

; Number field : Finite extension of the field of rational numbers.

; Algebraic numbers : The field of algebraic numbers is the smallest algebraically closed extension of the field of rational numbers. Their detailed properties are studied in algebraic number theory.

; Quadratic field : A degree-two extension of the rational numbers.

; Cyclotomic field : An extension of the rational numbers generated by a root of unity.

; Totally real field : A number field generated by a root of a polynomial, having all its roots real numbers.

; Formally real field

; Real closed field

Galois theory

; Galois extension : A normal, separable field extension.

; Galois group : The automorphism group of a Galois extension. When it is a finite extension, this is a finite group of order equal to the degree of the extension. Galois groups for infinite extensions are profinite groups.

; Kummer theory : The Galois theory of taking "n"-th roots, given enough roots of unity. It includes the general theory of quadratic extensions.

; Artin-Schreier theory : Covers an exceptional case of Kummer theory, in characteristic "p".

;Normal basis: A basis in the vector space sense of "L" over "K", on which the Galois group of "L" over "K" acts transitively.

; Tensor product of fields : A different foundational piece of algebra, including the compositum operation (join of fields).

Extensions of Galois theory

; Inverse problem of Galois theory : Given a group "G", find an extension of the rational number or other field with "G" as Galois group.

; Differential Galois theory : The subject in which symmetry groups of differential equations are studied along the lines traditional in Galois theory. This is actually an old idea, and one of the motivations when Sophus Lie founded the theory of Lie groups. It has not, probably, reached definitive form.

; Grothendieck's Galois theory : A very abstract approach from algebraic geometry, introduced to study the analogue of the fundamental group.


Wikimedia Foundation. 2010.

Нужно сделать НИР?

Look at other dictionaries:

  • Glossary of ring theory — Ring theory is the branch of mathematics in which rings are studied: that is, structures supporting both an addition and a multiplication operation. This is a glossary of some terms of the subject. Contents 1 Definition of a ring 2 Types of… …   Wikipedia

  • Glossary of scheme theory — This is a glossary of scheme theory. For an introduction to the theory of schemes in algebraic geometry, see affine scheme, projective space, sheaf and scheme. The concern here is to list the fundamental technical definitions and properties of… …   Wikipedia

  • Glossary of tensor theory — This is a glossary of tensor theory. For expositions of tensor theory from different points of view, see:* Tensor * Classical treatment of tensors * Tensor (intrinsic definition) * Intermediate treatment of tensors * Application of tensor theory… …   Wikipedia

  • Glossary of group theory — A group ( G , •) is a set G closed under a binary operation • satisfying the following 3 axioms:* Associativity : For all a , b and c in G , ( a • b ) • c = a • ( b • c ). * Identity element : There exists an e ∈ G such that for all a in G , e •… …   Wikipedia

  • Scalar field theory (pseudoscience) — For the quantum mechanical scalar field theory which is a field theory of spinless particles, see Scalar field theory Scalar field theory (SFT) is a set of theories in a model which posits that there is a basic mechanism that produces the… …   Wikipedia

  • Field (mathematics) — This article is about fields in algebra. For fields in geometry, see Vector field. For other uses, see Field (disambiguation). In abstract algebra, a field is a commutative ring whose nonzero elements form a group under multiplication. As such it …   Wikipedia

  • Field extension — In abstract algebra, field extensions are the main object of study in field theory. The general idea is to start with a base field and construct in some manner a larger field which contains the base field and satisfies additional properties. For… …   Wikipedia

  • Glossary of arithmetic and Diophantine geometry — This is a glossary of arithmetic and Diophantine geometry in mathematics, areas growing out of the traditional study of Diophantine equations to encompass large parts of number theory and algebraic geometry. Much of the theory is in the form of… …   Wikipedia

  • Glossary of philosophical isms — This is a list of topics relating to philosophy that end in ism . compactTOC NOTOC A * Absolutism – the position that in a particular domain of thought, all statements in that domain are either absolutely true or absolutely false: none is true… …   Wikipedia

  • Glossary of cricket terms — Cricket is a team sport played between two teams of eleven. It is known for its rich terminology.[1][2][3] Some terms are often thought to be arcane and humorous by those not familiar with the game.[4] This is a general glossary of the… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”