Book contents
- Frontmatter
- PREFACE
- Contents
- Chapter I Symmetries and Groups
- Chapter II Isometries of the Euclidean Plane
- Chapter III Subgroups of the Group of Isometries of the Plane
- Chapter IV Discontinuous Groups of Isometries of the Euclidean Plane: Plane Crystallographic Groups
- Chapter V Regular Tessellations in Higher Dimensions
- Chapter VI Incidence Geometry of the Affine Plane
- Chapter VII Projective Geometry
- Chapter VIII Inversive Geometry
- Chapter IX Hyperbolic Geometry
- Chapter X Fuchsian Groups
- References
- Index
Chapter VI - Incidence Geometry of the Affine Plane
Published online by Cambridge University Press: 05 April 2013
- Frontmatter
- PREFACE
- Contents
- Chapter I Symmetries and Groups
- Chapter II Isometries of the Euclidean Plane
- Chapter III Subgroups of the Group of Isometries of the Plane
- Chapter IV Discontinuous Groups of Isometries of the Euclidean Plane: Plane Crystallographic Groups
- Chapter V Regular Tessellations in Higher Dimensions
- Chapter VI Incidence Geometry of the Affine Plane
- Chapter VII Projective Geometry
- Chapter VIII Inversive Geometry
- Chapter IX Hyperbolic Geometry
- Chapter X Fuchsian Groups
- References
- Index
Summary
Combinatorial description of the affine group
The affine group A was defined with reference to the metric in the Euclidean plane E, and was described in terms of real matrices. However, the affine group does not preserve the Euclidean metric, and it is possible to give a characterization of A that makes no reference to this metric. We introduce the temporary notation L for the group of all bisections from E to E that map lines to lines. We shall show that, in fact, A = L.
We outline the proof before turning to details. It is clear that A⊆L, whence it remains only to prove that L ⊆ A. Now this inclusion reduces easily to the assertion that if a in L fixes two distinct points of a line l, then α fixes all points of the line. Introducing coordinates, we may suppose that the line l is the x-axis and that α fixes (0,0) and (1,0). It is clear that a maps l bijectively to itself, whence the equation (x,0)α = (xγ,0) defines a bijection γ of R The next step is to show that γ is an automorphism of R, γ ε Aut R, in the sense that, for all x, y ε R, (x + y)γ = xγ + yγ and (xy)γ = (xγ)(yγ). The final step is to show that the identity is the only automorphism of R, that is, if γ ε Aut R, then xγ = x for all x ε R.
- Type
- Chapter
- Information
- Groups and Geometry , pp. 107 - 120Publisher: Cambridge University PressPrint publication year: 1985