Quasibodies
A quasibody , also called the VeblenWedderburn system after Oswald Veblen and Joseph Wedderburn , is an algebraic structure that is used in synthetic geometry as a coordinate range for certain affine planes , the affine translation planes . Quasibodies are always Cartesian groups and every alternative body is a quasibody.
Definitions
In the geometrical definition, an affine coordinate system is introduced on an affine translation plane by choosing a point base . The points on the first axis of this coordinate system serve as coordinates. On the coordinate area , addition and multiplication are introduced through geometric construction.
With the algebraic definition, the quasibody is characterized by its algebraic properties and an affine translation plane is built up on the set of pairs as point coordinates by algebraic equations that describe the straight lines.
Geometric definition
An affine plane is called an affine translation plane if there is a translation for every pair of points , i.e. a collineation with the properties
 ,
 for each line is the level ,
 is the identity or free of fixed points.
An affine plane is a translation plane if and only if Desargues' small affine theorem holds in it.
In the affine translation plane, three different points are selected that do not lie on a common straight line. The points on the first coordinate axis serve as coordinates . A pair can be assigned to each point of the plane in a reversible and unambiguous manner using the coordinate construction.
addition
Let two points be on the first coordinate axis . Their sum is again obtained as a point on this axis by the following construction, compare the figure on the right:
 Pick an auxiliary point outside the first coordinate axis.
 The parallel to through cuts the parallel to through in .
 The parallel to through intersects the first coordinate axis in the point . This point is the sum you are looking for.
The result of the construction is independent of which auxiliary point outside the first coordinate axis is used. Of the underlying coordinate system, only the origin and the first coordinate axis go into the construction as a straight line. That means: If you choose a different coordinate system with the same origin and the same first coordinate axis, but a different first unit point on this axis and any second unit point outside the first axis, then the addition does not change.
The addition so constructed becomes a commutative group . Your neutral element is the origin of the coordinate system. It is isomorphic to the group of parallel displacements in the direction of the first coordinate axis  and thus to every group of parallel displacements of the plane in a fixed direction .
multiplication
Let two points be on the first coordinate axis . Their product is obtained again as a point on this axis through the following construction, compare the figure on the right:
 The parallel to through intersects the second coordinate axis in .
 The parallel to through intersects the first coordinate axis in the point . For technical reasons, this point is also labeled in the drawing .
With the two connections of addition and multiplication, the first coordinate axis fulfills the following algebraic properties of a quasibody. The neutral element of multiplication is the first unit point .
Algebraic definition
A set with twodigit connections and two different structural constants is called a (left) quasibody if the following axioms hold:
 is an Abelian group with neutral element 0.
 is a loop with neutral element 1, i.e. a quasigroup with both left and right neutral element 1.
 applies to everyone .
 It applies the Linksdistributivgesetz : for all .
 To with there is exactly one with .
If the structure fulfills these properties of a quasibody, then straight lines can be defined by coordinate equations on the set of points given by the set of pairs . The structure of points and straight lines then forms an affine translation plane . → The straight line equations are described in the article Ternary bodies in the section Geometry of the plane .
Core of a quasibody
The amount
is called the core of the quasibody. This core is an oblique body . The quasibody is a module above its core.
Features and remarks
 The quasibody defined by the axioms is more precisely a lefthand quasibody , because the law of left distribution applies in it. Also right quasifield  with Rechtsdistributivgesetz instead 4th and accordingly formulated with reverse multiplication 5. Axiom  are drawn in the literature simply as quasifield, but here come the eligible terms before.
 A quasibody in which both distributive laws apply is called a halfbody in geometry . Note, however, that this term is not used uniformly in mathematics and compare halfbodies .
 Obviously, by reversing the multiplication, a left quasibody becomes a right quasibody and vice versa.
 If the alternative , a weakened form of the associative law of multiplication, applies in a half body in the sense of synthetic geometry in addition to both distributive laws, then this half body is even an alternative field .
 Through the definition , a ternary link can be introduced on each quasibody , with which the quasibody becomes a linear ternary body .
 Regarding the 5th axiom of the quasibody in the algebraic definition, it should be noted:
 If the legal distributive law also applies , then the 5th axiom follows from the first three axioms, it is a real weakening of the legal distributive law.
 It is dispensable, that is, it follows from the other axioms without further assumptions if is finite.
 Quasibodies were referred to in the literature as the VeblenWedderburn system until 1975 .
 Each quasibody is a Cartesian group .
 Every almost body is a quasibody. A quasibody is an almostbody if and only if its multiplication is associative.
Quasibodies as coordinate areas of projective planes
 Quasibodies also appear as coordinate areas of special projective planes . In the classification of projective levels according to Hanfried Lenz, these are the levels of classes IV, V and VII.
 More precisely, the following applies: A projective level of class IVa or IVb can be coordinated by choosing a suitable point base using a left quasibody or a righthand quasibody. Every ternary body that is assigned to the plane when any point base is chosen is isotopic to a left or right quasibody.
 All coordinate areas of a projective plane of class V are halfbodies isotopic to one another, i.e. right and left quasibodies at the same time. In general, however, these halfbodies are not isomorphic to one another.
 All coordinate areas of a projective plane of class VII are alternative bodies isomorphic to one another.
Examples
 Every stronger algebraic structure, i.e. every almost body , alternative body , inclined body or body provides an example of a quasibody.
 The article Ternary Body contains some examples of quasibodies, in particular a detailed example of a finite, noncommutative quasibody (→ in the subsection Examples of order 9 ).
Quasibodies of finite Moulton planes
The finite Moulton planes have “real” quasibodies as coordinate areas. The construction is based on a finite field whose characteristic is an odd prime number . In the cyclic , multiplicative group, there is exactly one subgroup of index 2, that is the subgroup of squares . Let be a body automorphism of . Now a new multiplication is introduced:
This becomes a left quasibody, because the left distribution law is fulfilled. If the chosen body automorphism is not identity, then is
 the commutative law for the link is not fulfilled,
 the associative law for the connection is fulfilled if and only if is involutorial, i.e. if and only then F is a left fast body with the new multiplication ),
 the Rechtsdistributivgesetz not fulfilled as always elements with exist.
 The 5th axiom for quasibodies follows from the other axioms, since is finite.

is a loop: The neutrality of the one element of the "ordinary" body multiplication is also evident. The solutions to equations and , are
The core of the quasi body is from Körperautomorphismus fixed finite subfield of .
literature
 Walter Benz : Fundamentals of Geometry . In: A Century of Mathematics, 1890–1990 . Festschrift for the anniversary of the DMV . Vieweg, Braunschweig 1990, ISBN 3528063262 .
 Wendelin Degen, Lothar Profke: Fundamentals of affine and Euclidean geometry . In: Mathematics for teaching at high schools . 1st edition. Teubner, Stuttgart 1976, ISBN 3519027518 .
 Donald Ervin Knuth : Finite Semifields and Projective Planes . In: Marshall Hall [Research Adviser] (Ed.): Selected Papers on Discrete Mathematics . Dissertation. California Institute of Technology, Stanford, California January 1, 1963 ( full text [accessed April 13, 2012]).
 WA Pierce: Moulton Planes . In: Canadian J. Math. Band 13 , 1961, pp. 427436 .
 Günter Pickert : Geometric identification of a class of finite Moulton planes . In: Journal for Pure and Applied Mathematics (Crelles Journal) . tape 1964 , no. 214215 , 1964, ISSN 14355345 , pp. 405411 , doi : 10.1515 / crll.1964.214215.405 ( full text from DigiZeitschriften [accessed on February 26, 2012]).
 Günter Pickert: Level incidence geometry . 2nd Edition. Frankfurt am Main 1968.
 Oswald Veblen , Joseph Wedderburn : NonDesarguesian and nonPascalian geometries . In: Transactions of the American Mathematical Society . tape 8 . American Mathematical Society , 1907, pp. 379388 .
 Charles Weibel : Survey of NonDesarguesian Planes . In: Notices of the American Mathematical Society . tape 54 . American Mathematical Society, November 2007, pp. 1294–1303 ( ams.org [PDF; 702 kB ; accessed on February 26, 2012]).
References and comments
 ↑ Degen (1976), p. 50.
 ↑ Degen (1976), sentence 2.13
 ↑ Degen (1976), p. 50.
 ↑ Degen (1976), sentence 2.17
 ↑ Weibel (2007) explicitly formulates axioms “(for) a (right) quasifield ”, otherwise simply calls it “quasifield”. He mentions (p. 1300) that "(for) a left quasifield ... is aa right quasifield". Degen (1976) only knows one type of "quasibody" that fulfills the law of left distribution, ie "left quasifield".
 ↑ Hauke Klein: Semidfields. In: Geometry. University of Kiel, November 29, 2002, accessed on December 13, 2010 (English).
 ↑ Weibel (2007) p. 1297.
 ↑ Weibel (2007), p. 1300.
 ↑ Knuth (1963)
 ^ Name after Pierce (1961) and Pickert (1964)
 ↑ Pickert (1964)