Body (algebra)
A body is in the mathematical branch of algebra excellent algebraic structure in which the addition , subtraction , multiplication and division can be performed in a certain way.
The term "body" was introduced by Richard Dedekind in the 19th century .
The most important fields used in almost all areas of mathematics are the field of rational numbers , the field of real numbers, and the field of complex numbers .
Formal definition
general definition
A field is a set with two inner twodigit connections " " and " " (which are called addition and multiplication ), for which the following conditions are met:
 is an Abelian group (neutral element 0).
 is an Abelian group (neutral element 1).

Distributive Laws :
 for everyone .
 for everyone .
Individual enumeration of the axioms required
A body must therefore fulfill the following individual axioms:
 Additive properties:
 ( Associative law )
 ( Commutative law )
 There is an element with ( neutral element ).
 For each there is the additive inverse with .
 Multiplicative properties:
 ( Associative law )
 ( Commutative law )
 There is an element with ( neutral element ).
 For each there is the multiplicative inverse with .
 Interplay of additive and multiplicative structure:
 (Links distributive law )
 (Legal distributive law )
Definition as a special ring
A commutative unitary ring that is not the zero ring is a field if every nonzero element in it has an inverse with respect to the multiplication.
In other words, a body is a commutative unitary ring in which the unit group is the same .
Remarks
The definition ensures that addition, subtraction and multiplication work in the "usual" way in a body as well as division with the exception of the nonsolvable division by 0 :
 The inverse of in relation to the addition is and is usually called the additive inverse of or the negative of .
 The inverse of in relation to multiplication is and is called the (multiplicative) inverse of or the reciprocal of .
 is the only element of the body that has no reciprocal value, so it is the multiplicative group of a body .
Note: The formation of the negative of an element has nothing to do with the question of whether the element itself is negative; for example, the negative of the real number is the positive number . In a general body there is no concept of negative or positive elements. (See also ordered body .)
Generalizations: oblique bodies and coordinate bodies
If one waives the condition that the multiplication is commutative, one arrives at the structure of the oblique body. However, there are also authors who explicitly assume that the multiplication is not commutative for a skew body. In this case, a body is no longer an oblique body. An example is the oblique body of the quaternions , which is not a body. On the other hand, according to Bourbaki , there are authors who refer to oblique bodies as bodies and the bodies discussed here as commutative bodies.
In analytical geometry , bodies are used to represent the coordinates of points in affine and projective spaces , see Affine coordinates , projective coordinate system . In synthetic geometry , in which spaces (especially planes ) with weaker properties are also examined, generalizations of the oblique bodies, namely alternative bodies , quasibodies and ternary bodies , are also used as coordinate areas ("coordinate bodies") .
Properties and terms
 There is exactly one “0” (zero element, neutral element with regard to body addition ) and one “1” (one element, neutral element with regard to body multiplication ) in a body.
 Every body is a ring . The properties of the multiplicative group lift the body out of the rings. If the commutativity of the multiplicative group is not required, one obtains the concept of the oblique body .
 Every field has zero divisors : A product of two elements of the field is 0 if and only if at least one of the factors is 0.
 Each body can be assigned a characteristic that is either 0 or a prime number .
 The smallest subset of a body that still satisfies all body axioms is its prime field . The prime field is either isomorphic to the field of the rational numbers (for fields of the characteristic 0) or a finite residual class field (for fields of the characteristic , especially for all finite fields, see below).
 A body is a onedimensional vector space about itself as the underlying scalar body. In addition, vector spaces of any dimension exist over all bodies. (→ main article vector space ).
 An important means of examining a field algebraically is the polynomial ring of polynomials in a variable with coefficients .
 A body is said to be algebraically closed if every nonconstant polynomial in can be broken down into linear factors in .
 It's called a body completely , if no irreducible nonconstant polynomial from multiple in any field extension has zeros. Algebraic closure implies perfection, but not the other way around.
 If a total order is defined in a body that is compatible with addition and multiplication, one speaks of an ordered body and also calls the total order the arrangement of the body. In such bodies one can speak of negative and positive numbers.
 If in this arrangement every body element can be surpassed by a finite sum of the one element ( ), one says that the body fulfills the Archimedean axiom or that it is Archimedean.
 In evaluation theory , certain bodies are examined with the help of an evaluation function. They are then called valued bodies.
 As a ring, a body has only the trivial ideals and .
 Any nonconstant homomorphism from a body to a ring is injective .
Body enlargement
A subset of a body that forms a body with its operations is called a subbody. The pair and is called body enlargement , or . For example, the field of rational numbers is a part of the field of real numbers .
A subset of a body is a partial body if it has the following properties:
 ,
 ( Closure with regard to addition and multiplication)
 (For every element from there is also the additive inverse in .)
 (For every element from except zero, the multiplicative inverse is also in .)
The algebraic subfield that deals with the investigation of body extensions is Galois theory .
Examples
 Wellknown examples of bodies are
 the field of rational numbers , ie the set of rational numbers with the usual addition and multiplication
 the field of real numbers , ie the set of real numbers with the usual addition and multiplication, and
 the field of complex numbers ie the set of complex numbers with the usual addition and multiplication.
 Bodies can be expanded through adjunction . An important special case  especially in Galois theory  are algebraic body extensions of the body . The expansion body can as a vector space over to be construed.

is a body. It suffices to show that the inverse of is also of the given form: One possible basis of is { }.
 is a body with a base { }.

is a body. It suffices to show that the inverse of is also of the given form: One possible basis of is { }.
 The remainder class fields with prime numbers and
provide further examples
 their finite body extensions , the finite bodies ,
 more generally their algebraic field extensions, the Frobenius fields , and
 more generally their arbitrary field extensions, the fields with prime number characteristics .
 For every prime number the fields of the padic numbers .
 The set of whole numbers with the usual connections is not a field: it is a group with a neutral element and each has the additive inverse , but is not a group. After all, the neutral element is, but apart from and there are no multiplicative inverses (for example is not a whole, but a really rational number):
 The whole numbers simply form an integrity ring , the quotient fields of which are the rational numbers.
 The concept with which the integrity ring of whole numbers can be expanded to form the field of rational numbers and embedded in it can be generalized to any integrity ring:
 In function theory , the integrity ring of the holomorphic functions in one area of the complex number level gives rise to the solids , the meromorphic and abstract functions in the same area
 from the integrity ring of the formal power series over a body its quotient field, analogously from the integrity ring of the formal Dirichlet series
 from the ring of polynomials in variables, whose quotient field, the field of rational functions in as many variables.
Finite bodies
+  O  I.  A.  B. 

O  O  I.  A.  B. 
I.  I.  O  B.  A. 
A.  A.  B.  O  I. 
B.  B.  A.  I.  O 
·  O  I.  A.  B. 

O  O  O  O  O 
I.  O  I.  A.  B. 
A.  O  A.  B.  I. 
B.  O  B.  I.  A. 
A body is a finite body if its basic set is finite. The finite fields are fully classified in the following sense: Every finite field has exactly elements with a prime number and a positive natural number . With the exception of isomorphism, there is exactly one finite body for each such body, which is denoted by. Every body has the characteristic . The addition and multiplication tables of the are shown here as an example ; the lower part of the body highlighted in color .
In the special case we get for every prime number the field that is isomorphic to the remainder class field .
history
Essential results of body theory are due to Évariste Galois and Ernst Steinitz .
See also
literature
 Siegfried Bosch : Algebra. 7th edition. SpringerVerlag, 2009, ISBN 3540403884 , doi: 10.1007 / 9783540928126 .
 Thomas W. Hungerford: Algebra. 5th edition. SpringerVerlag, 1989, ISBN 0387905189 .
Web links
Individual evidence
 ↑ Any solution to every equation violates the ring axioms.
 ^ Albrecht Beutelspacher : Lineare Algebra . 7th edition. Vieweg + Teubner Verlag , Wiesbaden 2010, ISBN 9783528665081 , p. 3537 .