The fundamental theorem of affine geometry
Let V be a two-dimensional vector space over a skewfield K. The set
is a group of automorphisms
of the affine plane over V. Here,
is the group of all semilinear maps of V.
In fact, the following theorem holds.
Theorem. The group
is the full automorphism group
Contributed by Hauke Klein
Version $Id: fundaff.html,v 1.1 2001/02/07 13:36:57 hauke Exp $