Theorem 3.4.2: Let P be a projective space of dimension at least 2. If P is Desarguesian, then there is a vector space V over a division ring F such that P is isomorphic to P(V). In particular, every projective space of dimension at least 3 is isomorphic to a P(V).
An immediate corollary of this result is:
Theorem 3.4.1: Let A = P\H be an affine space. If the theorem of Desargues is valid in A then there exist a division ring F and a vector space V* over F such that
In order to prove the result, we must find an appropriate vector space, which amounts to finding a division ring, since the vector space can then be constructed having the appropriate dimension. The division ring is constructed from the central collineations of the given projective space. The Desarguesian property is needed to ensure that all the collineations we need in the construction actually exist.
The set of our division ring is essentially the set of all central collineations of the projective space P with a fixed axis H and fixed center O (not in H). Multiplication on this set will be defined as composition of the maps - thus we automatically have a group under multiplication which is generally non-abelian having the identity map as the multiplicative identity. Addition is a little trickier since it must be a commutative operation. To help define addition, we consider the group of all elations with axis H under composition. In the affine space P\H these maps are called translations, so this group is usually referred to as the translation group T(H). This group is abelian and has the property that for any two affine points P and Q, there is a unique element of the group which maps P to Q. We use this group to define an addition on the set of affine points of P (as an intermediate step towards getting a definition of addition of central collineations). For each point P of P\H, there is a unique element of T(H) which maps O to P. We can therefore identify the points of P\H with these maps, the map corresponding to point P will be denoted by tP. Addition of points P and Q is then defined as P + Q = tP(tQ(O)) = tP(Q). Under this addition, the set of affine points form an abelian group which is clearly isomorphic to T(H). We are now ready to define addition of our central collineations. If s and r are two collineations from our set we define
Now that we have a division ring, call it F, we can construct a vector space V over F of dimension d + 1 where P has dimension d. We then need to define a map from P to P(V) and show that it is an isomorphism. To simplify the definition of this map, we construct the vector space V as the set of ordered pairs (b,P) where b in F and P is an affine point of P\H. We then define the map from P to P(V) by: