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 of AG(V)

Contributed by Hauke Klein
Version $Id: fundaff.html,v 1.1 2001/02/07 13:36:57 hauke Exp $