Math 2.0

Geometry Definition

Translation plane

Builds on Projective planeCollineationQuasifield

Definition

Let Π\Pi be a projective plane and let ℓ\ell be a line of Π\Pi. An elation with axis ℓ\ell is a collineation α\alpha of Π\Pi with two properties. It fixes every point of ℓ\ell, and for some point CC on ℓ\ell it maps every line through CC to itself. The plane Π\Pi is a translation plane with respect to ℓ\ell if the following holds. For any two points PP and QQ not on ℓ\ell, some elation with axis ℓ\ell maps PP to QQ. The line ℓ\ell is then a translation line of Π\Pi.

Remarks

Example: let FF be a field and let Π\Pi be the projective plane over FF, with ℓ\ell the line at infinity. For (a,b)∈F2(a, b) \in F^2, the translation (x,y)↦(x+a,y+b)(x, y) \mapsto (x + a, y + b) of F2F^2 maps lines to parallel lines, so it extends to a collineation of Π\Pi that fixes every point at infinity. If (a,b)≠(0,0)(a, b) \ne (0, 0), it maps each line of direction (a,b)(a, b) to itself. So it fixes every line through the point at infinity CC of that direction, and it is an elation with axis ℓ\ell. The translation by Q−PQ - P maps PP to QQ, so Π\Pi is a translation plane with respect to ℓ\ell.

Non-example: the Hughes plane of order 99 is a projective plane that is not a translation plane with respect to any of its lines.

When Π\Pi is a translation plane with respect to ℓ\ell, the elations with axis ℓ\ell form an abelian group that acts regularly on the points off ℓ\ell. The translation planes are exactly the planes coordinatized by quasifields.

Reading path

To understand this page from the ground up, read these 4 pages in order. The foundations come first.

Show the path as a graph
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Collineation concept
  2. Projective plane concept
  3. Quasifield concept
  4. Translation plane definition

Further reading

  1. Web https://en.wikipedia.org/wiki/Translation_plane
About this page
TagHZY2EWWKB5
URIm2://HZY2EWWKB5
Kinddefinition
WritingW0 stub
MSC51A40, 51E15
DefinesTranslation plane
UsesProjective plane, Collineation, Quasifield

Markdown · JSON · Edit on GitHub

What this page needs for W1

  • an inventory row: the row of the inventory that the node accounts for (0 of 1)
  • a source with a locator (0 of 1)

The writing levels say how complete the text of a page is. They do not measure its truth.

What links here

No page links to this page yet.