Bourbaki

Exercise 17, § 9

Algebra, II, p. 204

Let VV be a finite-dimensional vector space of dimension nn over a field KK, (ei)1≤i≤n(e_i)_{1 \leq i \leq n} a basis of VV, K′K' a subfield of KK, V′V' the vector space of dimension nn over K′K' generated by the eie_i. Give an example of an injective mapping of V′V' into VV, transforming any three points on a straight line of the affine space V′V' into three points on a straight line of the affine space VV, but not necessarily transforming two parallel lines into sets contained in two parallel lines. (Embed VV in the projective space EE canonically associated with it, and consider a projective transform uu of EE into itself, such that the inverse image by uu of the hyperplane at infinity is distinct from this hyperplane and contains no point of V′V'; one may for example take KK infinite and K′K' finite).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.