# Oblique body

A skew field, or division ring, is an algebraic structure that has all of the properties of a field except that multiplication is not necessarily commutative.

An oblique body is thus a ring with a single element , in which each element has a multiplicative inverse . ${\ displaystyle 1 \ neq 0}$${\ displaystyle a \ neq 0}$ ${\ displaystyle a ^ {- 1}}$

As such, the characteristic is defined for him .

Every oblique field with a finite number of elements is already a field according to Wedderburn's theorem , that is, the multiplication is automatically commutative. If a sloping body is not a body, it must contain an infinite number of elements. An example is the oblique body of the quaternions , it has the characteristic 0.

The center of an inclined body is a (commutative) field , and by means of inclusion it becomes an - algebra . The sum of all skew field with a predetermined center , as - vector space are finite, is by the Brauer group of described. ${\ displaystyle S}$${\ displaystyle K}$${\ displaystyle S}$${\ displaystyle K}$${\ displaystyle K}$${\ displaystyle K}$${\ displaystyle K}$

There are non-commutative oblique bodies that allow a total arrangement that is compatible with the links of the oblique body . They are referred to as arranged oblique bodies .

For the algebraic description of an affine plane or a projective plane , inclined bodies are used as coordinate areas in synthetic geometry for Desargue planes . To describe non-desargue (affine or projective) planes, alternative bodies , quasi-bodies and ternary bodies , among others , are used there for the same purpose . The term oblique body is generalized: every oblique body is an alternative body, every alternative body is a quasi-body and every quasi-body is a ternary body.

## History of the term

As the first non-commutative body, the quaternion ring was constructed by Sir William Rowan Hamilton in 1843 . His aim was to represent the three-dimensional space vectors specifically as possible to the representation of vectors of the plane by complex numbers . Hamilton and his successors built a sophisticated geometric calculus on this basis, which ultimately led to the development of vector analysis . Oblique bodies like the quaternions, which are finite-dimensional vector spaces above their center , were extensively researched in the 1920s and 1930s, and the area was revived in the 1970s. ${\ displaystyle \ mathbb {R}}$

The first oblique body, which is infinitely dimensional above its center, was constructed by David Hilbert in 1903. His aim was to be able to specify a model for a non-commutative inclined body that would allow an arrangement that is compatible with the algebraic connections analogous to the known arrangements of formally real (commutative) bodies . Using such an oblique body, he could then define an affine geometry that fulfills some, but not all, of the axioms of his axioms of Euclidean geometry .

In 1931 Øystein Ore studied the construction method for oblique bodies, which is described later in this article and named after him.

### Language regulations

In the older literature, non-commutative oblique bodies are also often referred to as "bodies": In this usage, a body in today's sense was called a "commutative body", a oblique body in today's sense simply as a "body" (or "not necessarily commutative body") ) and only the real oblique body or non-commutative oblique body as "oblique body"; Wedderburn's sentence usually means “Every finite oblique body is a body”, but in this usage “Every finite body is commutative” or “There are no finite oblique bodies”. In French, the term “corps” includes the non-commutative case to this day, as does the term “corpo” in Italian, the latter parallel to the (the English expression for a body, field , corresponding) term “campo” for body in the sense of this article is used.

## Definitions and characteristics

A set with two two- digit operations (addition), (multiplication) and two constants is called an oblique field if the following axioms hold: ${\ displaystyle S}$ ${\ displaystyle +}$ ${\ displaystyle \ cdot}$ ${\ displaystyle 0.1}$

1. ${\ displaystyle (S, +, 0)}$is a commutative / Abelian group .
2. ${\ displaystyle (S \ setminus \ {0 \}, \ cdot, 1)}$is a group .
3. The two distributive laws apply
${\ displaystyle a \ cdot (b + c) = a \ cdot b + a \ cdot c}$and for everyone${\ displaystyle (a + b) \ cdot c = a \ cdot c + b \ cdot c}$${\ displaystyle a, b, c \ in S.}$

Equivalent to this system of axioms is the following, which does without a distributive law:

Let it be assumed as above as well ${\ displaystyle S, +, \ cdot, 0.1}$

1. ${\ displaystyle (S, +, 0)}$ an abelian group,
2. ${\ displaystyle (S \ setminus \ {0 \}, \ cdot, 1)}$ a group,
3. ${\ displaystyle (S \ setminus \ {1 \}, *, 0),}$with the star product given by a group and${\ displaystyle a * b = a + ba \ cdot b}$ ${\ displaystyle *,}$
4. it applies ${\ displaystyle 0 \ cdot 1 = 1 \ cdot 0 = 0,}$

then is a sloping body. ${\ displaystyle (S, +, 0, \ cdot, 1)}$

This definition is also equivalent to this:

A ring is called an oblique body if ${\ displaystyle (S, +, 0, \ cdot)}$

1. ${\ displaystyle S \ setminus \ {0 \} \ neq \ emptyset,}$
2. the equations
${\ displaystyle a \ cdot x = b}$ and ${\ displaystyle y \ cdot a = b}$
are forever solvable in${\ displaystyle a \ neq 0}$${\ displaystyle S.}$

It is not required here that the equations have unique solutions, but the uniqueness can be shown. An inclined body is a ring in which a left and a right division can be defined, hence the name division ring .

The following, equivalent axiom system emphasizes the multiplicative aspect of the oblique body:

It is a group. The group with 0 on is then the set with the link continued by the agreement . Is now a figure with ${\ displaystyle (G, \ cdot, 1)}$${\ displaystyle G}$${\ displaystyle G_ {0} = G {\ dot {\ cup}} \ {0 \}}$${\ displaystyle x \ cdot 0 = 0 \ cdot x = 0}$${\ displaystyle \ sigma: G_ {0} \ rightarrow G_ {0}}$

1. ${\ displaystyle \ exists e \ in G: \ sigma (e) = 0,}$
2. ${\ displaystyle \ sigma (0) = 1}$
3. ${\ displaystyle \ sigma (a ^ {- 1} \ cdot b \ cdot a) = a ^ {- 1} \ cdot \ sigma (b) \ cdot a}$ For ${\ displaystyle a, b \ in G,}$
4. ${\ displaystyle \ sigma (\ sigma (b \ cdot a ^ {- 1}) \ cdot a) = (\ sigma (\ sigma (b) \ cdot a ^ {- 1}) \ cdot a}$ For ${\ displaystyle a \ in G, b \ in G_ {0},}$

then with the addition ${\ displaystyle (G_ {0}, +, \ cdot, 0,1)}$

${\ displaystyle x + y = {\ begin {cases} \ sigma (x \ cdot y ^ {- 1}) \ cdot y \ quad & (y \ neq 0) \\ x \ quad & (y = 0) \ end {cases}}}$

an oblique body. For a given inclined body with addition, the mapping is given by. ${\ displaystyle \ sigma}$${\ displaystyle \ sigma (a) = a + 1}$

### Partial body

If a skew body and a subset with and is a subgroup of and a subgroup of , then one calls a subfield of . You then write for this partial body relationship${\ displaystyle S}$${\ displaystyle T \ subseteq S}$${\ displaystyle 0.1 \ in T}$${\ displaystyle (T, +)}$${\ displaystyle (S, +)}$${\ displaystyle (T \ setminus \ {0 \}, \ cdot)}$${\ displaystyle (S \ setminus \ {0 \}, \ cdot, 1)}$${\ displaystyle T}$${\ displaystyle S}$${\ displaystyle T \ leq S.}$

### Center and centralizer

• If the body is inclined, then the set is called the center of .${\ displaystyle S}$${\ displaystyle Z (S) = \ lbrace x \ in S \ left | \; \ forall a \ in S: x \ cdot a = a \ cdot x \ right. \ rbrace}$${\ displaystyle S}$
• Elements are called central elements of the oblique body.${\ displaystyle z \ in Z (S)}$
• The center of the center in terms of group theory the multiplicative group together with the zero element: .${\ displaystyle S}$${\ displaystyle Z (S) = Z (S \ setminus \ {0 \}, {} \ cdot {}) \ cup \ {0 \}}$
• The centralizer of a subset is defined by Each centralizer is a (not necessarily commutative) subfield of .${\ displaystyle {\ mathcal {C}} _ ​​{S} (A)}$${\ displaystyle A \ subseteq S}$${\ displaystyle {\ mathcal {C}} _ ​​{S} (A) = \ left \ lbrace x \ in S \ left | \; \ forall a \ in A: a \ cdot x = x \ cdot a \ right. \ right \ rbrace.}$${\ displaystyle S}$
• The following always applies to the centralizer of a subset${\ displaystyle A}$${\ displaystyle Z (S) \ leq Z ({\ mathcal {C}} _ ​​{S} (A)) \ leq {\ mathcal {C}} _ ​​{S} (A).}$
• The centralizer versa subset relations to: . Especially applies .${\ displaystyle A \ subseteq B \ Rightarrow {\ mathcal {C}} _ ​​{S} (A) \ geq {\ mathcal {C}} _ ​​{S} (B)}$${\ displaystyle {\ mathcal {C}} _ ​​{S} (\ emptyset) = {\ mathcal {C}} _ ​​{S} (Z (S)) = S}$

### Characteristic

The characteristic of an inclined body is defined analogously to that of commutative bodies: ${\ displaystyle S}$

• The smallest positive natural number with the property is called characteristic of . This must then be a positive prime number .${\ displaystyle n}$${\ displaystyle n \ cdot 1_ {S} = 0_ {S}}$${\ displaystyle S}$${\ displaystyle n}$
• If for all positive natural numbers one defines: has the characteristic 0.${\ displaystyle n \ cdot 1_ {S} \ neq 0_ {S}}$${\ displaystyle n,}$${\ displaystyle S}$

### Morphisms and ideals

The term homomorphism for oblique bodies is defined in exactly the same way as the term ring homomorphism in ring theory : If there is a oblique body and a ring, then it is called a ring homomorphism if the following applies to all : ${\ displaystyle (K, +, \ cdot)}$${\ displaystyle (R, \ oplus, \ odot)}$${\ displaystyle \ varphi: K \ rightarrow R}$${\ displaystyle a, b \ in K}$

${\ displaystyle \ varphi (a + b) = \ varphi (a) \ oplus \ varphi (b) \;}$and .${\ displaystyle \; \ varphi (a \ cdot b) = \ varphi (a) \ odot \ varphi (b)}$

In addition to the general properties of a ring homomorphism , since it is a skew body it has the following properties : ${\ displaystyle \ varphi}$${\ displaystyle K}$

1. It's either the zero ring or is injective , so one embedded in the ring , as has no other than the trivial ideals , .${\ displaystyle \ varphi (K)}$${\ displaystyle \ varphi}$${\ displaystyle R}$${\ displaystyle K}$ ${\ displaystyle 0, K}$
2. In the case of embedding the ring is carried naturally to a - Links module , a basis and a unique dimension than does so to a free module over${\ displaystyle R}$${\ displaystyle \ varphi}$${\ displaystyle K}$${\ displaystyle K}$${\ displaystyle \ operatorname {dim} _ {K} (R)}$${\ displaystyle K}$${\ displaystyle K}$
3. If surjective and not the zero ring, then is isomorphic to and itself a skew.${\ displaystyle \ varphi}$ ${\ displaystyle R}$${\ displaystyle R}$${\ displaystyle K}$
4. Is , then one calls an oblique body endomorphism, even if is. But if the endomorphism is injective, then in general it does not need to be surjective. If a partial body is fixed by point and is finite, then bijectivity follows from surjectivity .${\ displaystyle K = R}$${\ displaystyle \ varphi}$${\ displaystyle \ varphi (K) = 0}$${\ displaystyle \ varphi \ neq 0}$${\ displaystyle L \ leq K}$${\ displaystyle \ varphi}$${\ displaystyle L \ subseteq \ {a \ in K | \ varphi (a) = a \}}$${\ displaystyle \ operatorname {dim} _ {L} (K)}$

A ring homomorphism is referred to as a sloping body homomorphism if it is also a sloping body, a sloping body isomorphism if it is bijective and a sloping body automorphism if it is beyond . ${\ displaystyle \ varphi: K \ rightarrow R}$${\ displaystyle R}$${\ displaystyle K = R}$

### Antihomomorphisms

If a non- commutative, i.e. "real", inclined body, then, in addition to the ring homomorphisms, the antihomomorphisms are of interest: If there is again an inclined body and a ring, then anti (-ring) homomorphism is called if the following applies to all : ${\ displaystyle K}$${\ displaystyle K}$${\ displaystyle R}$${\ displaystyle \ psi: K \ rightarrow R}$ ${\ displaystyle a, b \ in K}$

${\ displaystyle \ psi (a + b) = \ psi (a) \ oplus \ psi (b) \;}$and .${\ displaystyle \; \ psi (a \ cdot b) = \ psi (b) \ odot \ psi (a)}$

For commutative bodies, of course, this does not differ from the concept of ring homomorphism, because the commutative law of multiplication is transferred to the image . ${\ displaystyle \ psi (K) \ subseteq R}$

All named terms for homomorphisms are formed accordingly for antihomomorphisms, the trivial "anti" homomorphism corresponds to the trivial homomorphism. In general, no antiautomorphism of has to exist (or be known). For the real quatornion oblique body, the conjugation is an antiautomorphism, as is the analogously defined mapping for the quaternion-like oblique bodies, which are mentioned in the examples in this article . For every oblique body one can construct an anti-isomorphic structure, its counter-ring , by reversing the multiplication, so one defines for and keeps the original addition. Then there is a misaligned body that is too anti-isomorphic , the mediating anti-isomorphism is the identical mapping on the set . ${\ displaystyle \ psi \ equiv 0}$${\ displaystyle K}$${\ displaystyle \ mathbb {H}}$${\ displaystyle K}$ ${\ displaystyle K ^ {\ text {op}}}$${\ displaystyle a, b \ in K \ colon \ quad a \ odot b: = b \ cdot a}$${\ displaystyle K ^ {\ text {op}} = (K, +, \ odot, 0,1)}$${\ displaystyle K = (K, +, \ cdot, 0,1)}$ ${\ displaystyle K}$

### Properties and related terms

• In a division algebra, the multiplication need not necessarily be associative. Every oblique body is a division algebra over its center, a division algebra over a body is a oblique body if and only if the associative law is fulfilled and thus forms a group. In this case a partial body of the center of ,${\ displaystyle K}$${\ displaystyle (D, +, \ cdot, 0,1)}$${\ displaystyle K}$${\ displaystyle (D \ setminus \ {0 \}, \ cdot, 1)}$${\ displaystyle K}$${\ displaystyle D}$${\ displaystyle K \ leq Z (D).}$
• Every oblique body is an almost body , an almost body is an oblique body if and only if it fulfills both distributive laws.
• If the third axiom is not required in Cohn's system of axioms with the successor mapping, then it describes an almost body.${\ displaystyle \ sigma}$
• Every oblique body is a half body in the sense of geometry and an alternative body, a half body or alternative body is a oblique body if and only if the multiplication is associative.
• A ring with a one element ( unitary ring ) is an inclined body if and only if every element apart from the zero element has a left and a right inverse element with respect to the multiplication. The equality of these two inverse elements and the uniqueness of the left and right inverse element can then be proven from the other ring axioms.

## Arranged oblique body

An oblique body on which a total order is defined is called an arranged oblique body if the order is compatible with the body operations. Compatibility here means that the following axioms of arrangement apply to all of them : ${\ displaystyle (K, +, \ cdot)}$ ${\ displaystyle \ leq}$${\ displaystyle a, b, c \ in K}$

• follows from (monotony of addition) and${\ displaystyle a \ leq b \,}$${\ displaystyle \, a + c \ leq b + c \;}$
• from and follows and (isolation of the positive region with respect to multiplication).${\ displaystyle 0 \ leq a}$${\ displaystyle 0 \ leq b \,}$${\ displaystyle 0 \ leq a \ cdot b}$${\ displaystyle 0 \ leq b \ cdot a \;}$

The requirement that the order should be a "total order" means: ${\ displaystyle \ leq}$

1. The two-digit relation on is reflexive , that is, it applies to every element and${\ displaystyle \ leq}$${\ displaystyle K}$${\ displaystyle a \ leq a}$
2. it is transitive , that is, it always follows from . With these two properties, the relation is a weak partial order on the set . It should now also be total , that means:${\ displaystyle a, b, c \ in K}$${\ displaystyle (a \ leq b) \ land (b \ leq c)}$${\ displaystyle a \ leq c}$${\ displaystyle K}$
3. Any oblique body elements are always comparable in terms of size, so it must apply to any :${\ displaystyle a, b \ in K}$
${\ displaystyle (a \ leq b \ lor b \ leq a)}$and . The requirement is equivalent${\ displaystyle \ left ((a \ leq b \ land b \ leq a) \ Rightarrow (a = b) \ right)}$
It always applies to exactly one of the three relations . This is the so-called trichotomy law.${\ displaystyle a, b \ in K}$${\ displaystyle a

As usual, this means that is. It is the strict total order assigned to the weak total order.${\ displaystyle a ${\ displaystyle a \ leq b \ land a \ neq b}$${\ displaystyle \ leq}$

The additive group is a commutative, arranged group in an arranged inclined body and must therefore be torsion-free . Therefore, the characteristic of an arranged oblique body is always 0. This is not a sufficient condition for the ability to be arranged, see also the article Ordered body . The quaternion oblique body does not allow any arrangement! ${\ displaystyle (K, +, 0)}$

### Equivalent description with a positive area

If there is an arranged oblique body and its strict, total order relation, then one defines: ${\ displaystyle K}$${\ displaystyle <}$

${\ displaystyle P: = \ {a \ in K: 0 and names the positive range of , an element of is then called positive, positive element of or a positive number.${\ displaystyle K ^ {+}: = P}$${\ displaystyle K}$${\ displaystyle K ^ {+}}$${\ displaystyle K}$

You then also write

${\ displaystyle K ^ {-}: = \ {a \ in K: a <0 \}}$and names the elements of negative etc.${\ displaystyle K ^ {-}}$

From the law of trichotomy it follows that every number lies in exactly one of the two sets , because every such number can be compared with 0. From the compatibility with the addition follows: ${\ displaystyle a \ neq 0}$${\ displaystyle K ^ {+}, K ^ {-}}$

${\ displaystyle a \ in K ^ {+} \ Leftrightarrow 0 , as it corresponds to the intuitive notion of "negative numbers". So one has and this union is even a disjoint union .${\ displaystyle K ^ {-} = - K ^ {+} = \ {- a: a \ in K ^ {+} \}}$${\ displaystyle K = \ {0 \} \ cup K ^ {+} \ cup (-K ^ {+})}$

From the compatibility with addition and transitivity it follows for : ${\ displaystyle a, b \ in K ^ {+}}$

${\ displaystyle (0 , that is .${\ displaystyle K ^ {+} + K ^ {+} \ subseteq K ^ {+}}$

From the compatibility with the multiplication it follows immediately . ${\ displaystyle K ^ {+} \ cdot K ^ {+} \ subseteq K ^ {+}}$

The three properties of the positive area completely characterize the arrangement on the inclined body. The following applies: ${\ displaystyle P = K ^ {+}}$

A sloping body permits an arrangement if and only if it contains a subset with the following three properties: ${\ displaystyle K}$${\ displaystyle P}$

1. ${\ displaystyle K = \ {0 \} \ cup P \ cup (-P)}$and ,${\ displaystyle P \ cap (-P) = \ emptyset}$
2. ${\ displaystyle P + P \ subseteq P}$,
3. ${\ displaystyle P \ cdot P \ subseteq P}$.

An arrangement of , namely the arrangement having the positive area is then given by the definition of the partial order on given. A proof of this theorem, in which the structure is only assumed to be a ring with a one element, can be found in Fuchs' textbook. ${\ displaystyle K}$${\ displaystyle P}$${\ displaystyle a \ leq b: \ Leftrightarrow (ba) \ in P \ cup \ {0 \}}$${\ displaystyle \ leq}$${\ displaystyle K}$${\ displaystyle (K, +, \ cdot, 0,1)}$

### Orderability

The characterization of the arrangement by a positive area is often suitable for constructing an arrangement on a given inclined body and even better suitable for proving that a given inclined body does not permit an arrangement. For this purpose, some properties of the positive area , i.e. a subset of the properties 1st to 3rd of a positive area, are useful: ${\ displaystyle P}$${\ displaystyle K}$${\ displaystyle P}$${\ displaystyle K}$

• From the 1st property it follows , because it is , the union named there is therefore always disjoint.${\ displaystyle 0 \ not \ in P}$${\ displaystyle 0 = -0}$
• For any is , because one of the elements is in . Quantity theory formulated: . If an arranged oblique body has the property that every positive element is a square number, then only this one arrangement exists . → This property characterizes (among the commutative oblique bodies) the Euclidean bodies .${\ displaystyle a \ neq 0}$${\ displaystyle a ^ {2} = a \ cdot a = (- a) \ cdot (-a) \ in P}$${\ displaystyle a, -a}$${\ displaystyle P}$${\ displaystyle (K \ setminus \ {0 \}) ^ {2} \ subseteq P}$${\ displaystyle K}$
• If an arranged partial body is of , is the square number for one and is negative (with respect to the order on ) , then in any case no arrangement on exists which continues the arrangement on . If only one order is allowed, then under these conditions no order can be made. This allows, for example, the above statement that the Quaternionenschiefkörper not allow any arrangement, be proved: that the real number can be as Euclidean body, only an arrangement to and there are (infinitely many) elements with .${\ displaystyle L ${\ displaystyle K}$${\ displaystyle a \ in K}$${\ displaystyle a ^ {2} \ in L}$${\ displaystyle a ^ {2}}$${\ displaystyle L}$${\ displaystyle K}$${\ displaystyle L}$ ${\ displaystyle L}$${\ displaystyle K}$${\ displaystyle \ mathbb {H}}$${\ displaystyle L = \ mathbb {R}}$${\ displaystyle a \ in \ mathbb {H}}$${\ displaystyle a ^ {2} = - 1 \ in (- \ mathbb {R} ^ {+})}$
• Is , then also applies , because otherwise and would be contrary to .${\ displaystyle a \ in P}$${\ displaystyle a ^ {- 1} \ in P}$${\ displaystyle -a ^ {- 1} \ in P}$${\ displaystyle -1 = (- a ^ {- 1}) \ cdot a \ in P}$${\ displaystyle 1 = 1 ^ {2} \ in P}$
• Together with the closure (3rd property) it results that a subgroup is the multiplicative group .${\ displaystyle P}$${\ displaystyle (K \ setminus \ {0 \}, \ cdot)}$
• Since, according to the 1st property, is the only real left and right subsidiary class of , there is a normal divisor of index 2 in the multiplicative group.${\ displaystyle -P = (- 1) \ cdot P = P \ cdot (-1)}$${\ displaystyle P}$${\ displaystyle P}$

## Construction and examples

Commutative bodies can be generated from given bodies through algebraic or transcendent body extensions ; each such body emerges from the prime field of its characteristic through a combination of these two types of extensions. A comparable "canonical" method of constructing non-commutative oblique bodies is not known. Most methods are based on embedding a (suitable) non-commutative, zero-divisor-free ring in its right or left quotient oblique. Øystein Ore found a relatively simple, adequate criterion for a ring with the Ore condition named after him .

### An example class according to Hilbert

Infinite-dimensional extensions can be built up analogously to the inclined body given by Hilbert. This looks like this:

1. Be a crooked body or body${\ displaystyle K}$
2. ${\ displaystyle K (u)}$the rational body of functions in a central indeterminate .${\ displaystyle u}$
3. On the mapping defined by is a ring endomorphism.${\ displaystyle K (u)}$${\ displaystyle \ alpha: f (u) \ mapsto f (u ^ {2})}$
4. From this the non-commutative polynomial ring is formed with a new indeterminate , on which the multiplication of with is determined by the commutation relation ( interchanged with elements of the initial field ).${\ displaystyle v}$${\ displaystyle K (u) [v; \ alpha]}$${\ displaystyle u}$${\ displaystyle v}$${\ displaystyle u \ cdot v = v \ cdot \ alpha (u)}$${\ displaystyle v}$${\ displaystyle K}$
5. ${\ displaystyle H = K (u) (v; \ alpha)}$is the right quotient oblique body of the zero divisor-free Ore-ring and is called the Hilbert body.${\ displaystyle K (u) [v; \ alpha]}$

The center is also the center of the Hilbert body and it is always . If it is a formally real (commutative) body, then an arrangement compatible with the algebraic links allows . ${\ displaystyle C = Z (K)}$${\ displaystyle [H: C] = \ operatorname {dim} _ {C} (H) = \ infty}$${\ displaystyle K}$${\ displaystyle H}$

A generalization of Hilbert's construction uses ring endomorphisms of instead of other . ${\ displaystyle \ alpha}$${\ displaystyle K (u)}$

### Non-commutative oblique bodies of any characteristic

A variant of Hilbert's idea manages with a one-step expansion of a body , provided that it allows a non-identical body automorphism . This includes, for example, all finite fields , where is (see Frobenius homomorphism ), all true Galois extension fields of the rational number field , especially the square extension fields . ${\ displaystyle K}$${\ displaystyle \ phi}$ ${\ displaystyle \ mathbb {F} _ {q}}$${\ displaystyle q = p ^ {r}, r \ in \ mathbb {N}, r> 1}$ ${\ displaystyle \ mathbb {Q}}$${\ displaystyle \ mathbb {Q} (w), (w \ in \ mathbb {C} \ setminus \ mathbb {Q}, w ^ {2} \ in \ mathbb {Q})}$

In design work goes from the formal Laurent series over finite main part of, so the formal functions: ${\ displaystyle K}$

${\ displaystyle f (z) = \ sum _ {m = - \ infty} ^ {\ infty} a_ {m} z ^ {m}; \ quad \ exists m_ {0} \ in \ mathbb {Z} \; \ forall m

The addition is defined by the component-wise addition of the coefficients that is usual for series. The product is for by ${\ displaystyle h = f \ star g}$${\ displaystyle f (z) = \ sum a_ {m} z ^ {m}; g (z) = b_ {m} z ^ {m}}$

${\ displaystyle h (z) = \ sum _ {m = - \ infty} ^ {\ infty} c_ {m} z ^ {m}; \ quad c_ {k}: = \ sum _ {i + j = k } a_ {i} \ phi ^ {i} (b_ {j})}$ Are defined.

(For is the -fold application of the inverse automorphism, is the identical automorphism of .) ${\ displaystyle i <0}$${\ displaystyle \ phi ^ {i}}$${\ displaystyle | i |}$${\ displaystyle \ phi ^ {0}}$${\ displaystyle K}$

The structure from the set of these formal Laurent series with ordinary addition and the modified multiplication is noted as and called skew Laurent series ring in one indeterminate in English . (No German name known.) This ring is (if the defining body automorphism is not identical) a non-commutative oblique body with the same characteristics as the starting body . ${\ displaystyle S = K ((z; \ phi))}$${\ displaystyle (S, +, \ star, 0,1)}$${\ displaystyle K}$

### Two concrete non-commutative oblique bodies

#### An oblique body of characteristic 2

The smallest starting body that comes into consideration for the described “skew Laurent series ring” construction is the body with four elements. You can him win by a zero of in irreducible polynomial adjoint : . Then it is not the one element and thus, since 3 is a prime number, a generating element of the three-element cyclic multiplicative group . The only non-identical automorphism of this multiplicative group is uniquely determined by, the last equation results from the fact that is zero . This group automorphism is continued by the agreement to a non-identical body automorphism of and is a concrete example of a non-commutative oblique body of characteristic 2. ${\ displaystyle K = \ mathbb {F} _ {4}}$${\ displaystyle \ mathbb {F} _ {2} = \ mathbb {Z} / 2 \ mathbb {Z}}$${\ displaystyle \ alpha}$${\ displaystyle \ mathbb {F} _ {2}}$ ${\ displaystyle M (X) = X ^ {2} + X + 1}$ ${\ displaystyle K: = \ mathbb {F} _ {2} (\ alpha)}$${\ displaystyle \ alpha}$${\ displaystyle (K ^ {*}, \ cdot) = (K \ setminus \ {0 \}, \ cdot) \ cong (C_ {3}, \ cdot)}$${\ displaystyle \ phi (\ alpha) = \ alpha ^ {2} = \ alpha +1}$${\ displaystyle \ alpha}$${\ displaystyle M}$${\ displaystyle \ phi (0) = 0}$${\ displaystyle K}$${\ displaystyle S_ {2} = K ((z; \ phi))}$

#### A sloping body with characteristic 0

Here you have to expand the field of rational numbers at least once by the square . We choose . Then is given by a non-identical body automorphism of . This means that there is a non-commutative inclined body with characteristic 0. ${\ displaystyle \ mathbb {Q}}$${\ displaystyle K = \ mathbb {Q} ({\ sqrt {2}})}$${\ displaystyle \ phi (a + b {\ sqrt {2}}) = from {\ sqrt {2}}; \; (a, b \ in \ mathbb {Q})}$${\ displaystyle K}$${\ displaystyle S_ {0} = \ mathbb {Q} ({\ sqrt {2}}) ((z; \ phi))}$

The inclined body does not allow any arrangement.${\ displaystyle S_ {0}}$

In addition , one can note that the commutative initial body (perhaps contrary to the intuitive idea of ​​a partial body ) allows two different arrangements , whereas as a prime body only one. You have to decide whether the adjoint “square root” should be the positive or negative zero of the rational polynomial . We decide first . Where exactly then lies in the arrangement of is then determined, because the function is strictly monotonically increasing for elements of the positive area on an arranged oblique body (due to the properties of the positive area shown above) , so, for example , must apply because of , etc. ${\ displaystyle K = \ mathbb {Q} ({\ sqrt {2}})}$${\ displaystyle K \ leq \ mathbb {R}}$${\ displaystyle \ mathbb {Q}}$${\ displaystyle \ alpha = {\ sqrt {2}}}$${\ displaystyle M (X) = X ^ {2} -2}$${\ displaystyle \ alpha> 0}$${\ displaystyle \ alpha}$${\ displaystyle \ mathbb {Q}}$${\ displaystyle x \ rightarrow x ^ {2}}$ ${\ displaystyle 1 {,} 1 <\ alpha <1 {,} 5}$${\ displaystyle 1 {,} 21 <2 <2 {,} 25}$

One calculates with two simple square numbers with the product definition given above: ${\ displaystyle z \ in S_ {0} = K ((z, \ phi))}$

${\ displaystyle (\ alpha \ cdot z) \ star (\ alpha \ cdot z) = (\ alpha \ cdot z ^ {1}) \ star (\ alpha \ cdot z ^ {1}) = (\ alpha \ cdot \ phi ^ {1} (\ alpha)) \ cdot z ^ {2} = (- \ alpha ^ {2}) \ cdot z ^ {2} = (- 2) \ cdot z ^ {2}}$
${\ displaystyle z \ star z = (1 \ cdot z ^ {1}) \ star (1 \ cdot z ^ {1}) = (1 \ cdot \ phi ^ {1} (1)) \ cdot z ^ { 2} = z ^ {2}}$

Now both elements, as square numbers different from 0, should be in the positive range of, but also the number , firstly because it is also a square number in and secondly because the rational numbers only allow one arrangement. This leads to a contradiction to the above-mentioned subgroup properties of a positive area. ${\ displaystyle (-2) \ cdot z ^ {2}, z ^ {2} \ in S_ {0}}$${\ displaystyle \ star}$${\ displaystyle S_ {0}}$${\ displaystyle \ alpha ^ {2} = 2 \ in \ mathbb {Q}}$${\ displaystyle S_ {0}}$

These considerations are evidently quite independent of which of the two possible arrangements one chooses. ${\ displaystyle K = \ mathbb {Q} (\ alpha)}$

#### Countability of the two example oblique bodies

Both inclined bodies contain the uncountable sets as subsets${\ displaystyle S_ {2}, S_ {0}}$

${\ displaystyle B_ {2,0} = \ left \ lbrace \ left. \ sum _ {m = 1} ^ {\ infty} a_ {m} \ cdot z ^ {m} \ right | \; \; a_ { m} \ in \ {0,1 \} \ right \ rbrace \ subset S_ {2,0}}$,

whose coefficient sequences consist only of the "numbers" 0 and 1 and can therefore be interpreted as binary representations of all real numbers . According to Cantor's second diagonal argument, both of them are uncountable subsets of their oblique fields, which are therefore also uncountable sets themselves. ${\ displaystyle x \ in {}] 0.1]}$

It is now easy to see that this argument applies to every oblique body constructed according to the “skew Laurent series ring” method described.

### Quaternion-like oblique bodies

The construction of the Hamiltonian inclined field of the real quaternions can be carried out more generally with an arbitrary commutative field in place of whose characteristic is not 2. (The “signs” are important for the construction.) For formally real bodies this results in a real oblique body. As you can see from the detailed information and references in the Quaternion article , the construction gives you a structure that always has the following properties: ${\ displaystyle \ mathbb {H} = \ mathbb {R} (i, j)}$${\ displaystyle K}$${\ displaystyle \ mathbb {R}}$${\ displaystyle R = K (i, j)}$

1. The multiplication with elements from makes a four-dimensional vector space, in particular the multiplication with elements from fulfills both distributive laws . This is how the construction is set up: The symbols are introduced as formal identifiers for four basis vectors.${\ displaystyle K}$${\ displaystyle R}$${\ displaystyle K}$${\ displaystyle K}$${\ displaystyle 1_ {Q}, i, j, k}$
2. The “inner multiplication” in is defined by the Hamiltonian relations and for basis vectors and then continued distributively to any elements . This inner multiplication thus also fulfills both distributive laws according to construction.${\ displaystyle R}$${\ displaystyle -1_ {Q} = i ^ {2} = j ^ {2} = k ^ {2}}$${\ displaystyle -1_ {Q} = ijk}$
3. The internal multiplication of scalar multiples of the basis vectors still fulfills the associative law, because the elements with the Hamiltonian relations and the interpretations of the formal signs ( initially with regard to the group ) by the additional relations form a group, the quaternion group. Since this group is not commutative, the internal multiplication does not satisfy the commutative law either.${\ displaystyle \ mathbf {Q} _ {8} = \ {\ pm 1_ {Q}, \ pm i, \ pm j, \ pm k \}}$${\ displaystyle (\ mathbf {Q}, \ cdot)}$${\ displaystyle + x = x; \; 1_ {Q} \ cdot x = x \ cdot 1_ {Q} = x; (- 1_ {Q}) \ cdot x = x \ cdot (-1_ {Q}) = -x \; (x \ in \ mathbf {Q} _ {8})}$

With these three design steps can therefore always receives a four-dimensional - algebra . The fact that every element of commutates with elements of in the internal multiplication also results from the construction. ${\ displaystyle K}$${\ displaystyle K}$${\ displaystyle R}$

The norm function

${\ displaystyle N \ colon \; R \ rightarrow K; \; \ xi = x_ {0} \ cdot 1 + x_ {1} \ cdot i + x_ {2} \ cdot j + x_ {3} \ cdot k \ mapsto N (\ xi) = x_ {0} ^ {2} + x_ {1} ^ {2} + x_ {2} ^ {2} + x_ {3} ^ {2}}$

only accepts values ​​from the basic body.

For an inverse formation in, it must now be possible to divide by such standard values . The coefficients can be any elements (except that not all can be 0, because the zero element does not have and does not need an inverse). Therefore inverses exist for any elements if and only if the zero element cannot be represented as a nontrivial sum of (here at most 4) square numbers. It is then ${\ displaystyle R}$${\ displaystyle K}$ ${\ displaystyle x_ {0}, x_ {1}, x_ {2}, x_ {3}}$${\ displaystyle K}$${\ displaystyle R}$${\ displaystyle \ xi \ in R \ setminus \ {0 \}}$${\ displaystyle K}$

${\ displaystyle \ xi ^ {- 1} = {\ frac {\ bar {\ xi}} {N (\ xi)}} = {\ frac {\ bar {\ xi}} {\ xi \ cdot {\ bar {\ xi}}}}}$with .${\ displaystyle {\ bar {\ xi}} = x_ {0} \ cdot 1-x_ {1} \ cdot i-x_ {2} \ cdot j-x_ {3} \ cdot k}$

This becomes a non-commutative inclined body if is a formally real body . This oblique body is four-dimensional above its center . It does not allow any arrangement, because for the elements is what makes the existence of a positive area impossible. ${\ displaystyle R = K (i, j)}$${\ displaystyle K}$${\ displaystyle R}$${\ displaystyle Z (R) = K}$${\ displaystyle \ xi \ in \ {\ pm i, \ pm j, \ pm k \}}$${\ displaystyle \ xi ^ {2} = - 1}$

If one chooses a countable body as the base body , for example then one also has a countable real oblique body . ${\ displaystyle K = \ mathbb {Q}}$${\ displaystyle R = K (i, j)}$

If a finite-dimensional, formally real extension field (as a vector space over ) is, that is, if and , then all nontrivial endomorphisms of bijective, i.e. oblique body automorphisms and at the same time vector space automorphisms of . So they can be represented by regular matrices after choosing a fixed basis of . Thus the group of these oblique body automorphisms is represented as a subgroup of , the general linear group , because it is then . ${\ displaystyle K}$${\ displaystyle \ mathbb {Q}}$${\ displaystyle \ mathbb {Q} \ leq K <\ mathbb {R}}$${\ displaystyle d: = \ operatorname {dim} _ {\ mathbb {Q}} K \ in \ mathbb {N}}$${\ displaystyle K (i, j)}$${\ displaystyle \ mathbb {Q}}$${\ displaystyle K (i, j)}$${\ displaystyle \ mathbb {Q}}$${\ displaystyle K (i, j)}$${\ displaystyle \ operatorname {GL} (4d, \ mathbb {Q})}$${\ displaystyle \ operatorname {dim} _ {\ mathbb {Q}} K (i, j) = 4d}$

In contrast, it is impossible for all elements to be inverted over bodies of a characteristic . To do this, it suffices to show that there are elements with coefficients from the prime field whose norm value is 0. For that is given. Now let so an odd prime number . It then has to be shown that the congruence has a nontrivial solution. This can be proven relatively easily by counting, for example using this drawer argument . ${\ displaystyle \ xi \ neq 0}$${\ displaystyle p \ neq 0}$${\ displaystyle p = 2}$${\ displaystyle x_ {0} = x_ {1} = 1, x_ {2} = x_ {3} = 0}$${\ displaystyle p}$${\ displaystyle K = \ mathbb {Z} / p \ mathbb {Z}}$${\ displaystyle x_ {0} ^ {2} + x_ {1} ^ {2} + x_ {2} ^ {2} + x_ {3} ^ {2} \ equiv 0 {\ pmod {p}}}$

## literature

To the order-theoretical definitions and statements
• László Fuchs: Partly ordered algebraic structures . Vandenhoeck u. Ruprecht, Göttingen 1966, ISBN 3-540-56801-8 .
• Sibylla Prieß-Crampe : Arranged structures . Groups, bodies, projective levels (=  results of mathematics and its border areas . Volume 98 ). Springer, Berlin / Heidelberg / New York 1983, ISBN 3-540-11646-X .

1. The attribute “non-commutative” always refers to the multiplication of oblique bodies . Non-commutative oblique bodies are often called “real oblique bodies” because they are not bodies .
2. ^ Jacobson (1996).
3. See for example the remarks on this in van der Waerden: Algebra I. (1993), 1. § 11 rings.
4. G. Pickert in: Mathematische Zeitschrift. No. 71, 1959, pp. 99-108.
5. van der Waerden: . Algebra II § 97, p 57. Some authors write for also${\ displaystyle *}$${\ displaystyle \ circ.}$
6. van der Waerden: Algebra I. § 11, p. 38 f.
7. ^ Cohn (1995).
8. Systematically the term “part skewed body” would be better here , but this is hardly used in the literature, cf. Pickert (1951).
9. Note that a sum with summands is meant. This has to be distinguished from the multiplication of two oblique body elements!${\ displaystyle n \ cdot 1_ {S}}$${\ displaystyle n}$
10. Prieß-Crampe (1983).
11. Prieß-Crampe (1983), II § 1 sentence 1. She even formulates this sentence there for ring with one element, the multiplication of which does not necessarily have to be associative.
12. Fuchs (1966), p. 163.
13. a b Cohn (1995), 6.1.
14. ^ A b c Lars Kadison and Matthias T. Kromann: Projective Geometry and Modern Algebra . Birkhäuser, Boston / Basel / Berlin 1996, ISBN 3-7643-3900-4 , 7.3: A Division Ring with Characteristic p ( table of contents PDF [accessed on August 6, 2013]).
15. You have to formulate a bit laborious here, because the elements 0, 1 are off in the first case and rational numbers in the second.${\ displaystyle \ mathbb {F} _ {2}}$
16. More precisely: The non-terminating coefficient sequences are sufficient for this .${\ displaystyle B_ {2.0}}$
17. From these additional relations it follows with the Hamilton relations that the two elements already create the ring .${\ displaystyle i, j}$${\ displaystyle R}$