Hall plane

Hall plane of order 9
Hall plane of order 9
Order	9
Lenz–Barlotti class	IVa.3
Automorphisms	28 × 35 × 5
Point orbit lengths	10, 81
Line orbit lengths	1, 90
Properties	Translation plane

In mathematics, a Hall plane is a non-Desarguesian projective plane constructed by Marshall Hall Jr. (1943).^[1] There are examples of order p²ⁿ for every prime p and every positive integer n provided p²ⁿ > 4.^[2]

Algebraic construction via Hall systems

The original construction of Hall planes was based on the Hall quasifield (also called a Hall system), H of order p²ⁿ for p a prime. The creation of the plane from the quasifield follows the standard construction (see quasifield for details).

To build a Hall quasifield, start with a Galois field, F = GF(pⁿ) for p a prime and a quadratic irreducible polynomial f(x) = x² − rx − s over F. Extend H = F × F, a two-dimensional vector space over F, to a quasifield by defining a multiplication on the vectors by (a, b) ∘ (c, d) = (ac − bd⁻¹f(c), ad − bc + br) when d ≠ 0 and (a, b) ∘ (c, 0) = (ac, bc) otherwise.

Writing the elements of H in terms of a basis ⟨1, λ⟩, that is, identifying (x, y) with x + λy as x and y vary over F, we can identify the elements of F as the ordered pairs (x, 0), i.e. x + λ0. The properties of the defined multiplication which turn the right vector space H into a quasifield are:

every element α of H not in F satisfies the quadratic equation f(α) = 0;
F is in the kernel of H (meaning that (α + β)c = αc + βc, and (αβ)c = α(βc) for all α, β in H and all c in F); and
every element of F commutes (multiplicatively) with all the elements of H.^[3]

Derivation

Another construction that produces Hall planes is obtained by applying derivation to Desarguesian planes.

A process, due to T. G. Ostrom, which replaces certain sets of lines in a projective plane by alternate sets in such a way that the new structure is still a projective plane is called derivation. We give the details of this process.^[4] Start with a projective plane π of order n² and designate one line ℓ as its line at infinity. Let A be the affine plane π ∖ ℓ. A set D of n + 1 points of ℓ is called a derivation set if for every pair of distinct points X and Y of A which determine a line meeting ℓ in a point of D, there is a Baer subplane containing X, Y and D (we say that such Baer subplanes belong to D.) Define a new affine plane D(A) as follows: The points of D(A) are the points of A. The lines of D(A) are the lines of π which do not meet ℓ at a point of D (restricted to A) and the Baer subplanes that belong to D (restricted to A). The set D(A) is an affine plane of order n² and it, or its projective completion, is called a derived plane.^[5]

Properties

Hall planes are translation planes.
All finite Hall planes of the same order are isomorphic.
Hall planes are not self-dual.
All finite Hall planes contain subplanes of order 2 (Fano subplanes).
All finite Hall planes contain subplanes of order different from 2.
Hall planes are André planes.

Hall plane of order 9

The Hall plane of order 9 is the smallest Hall plane, and one of the three smallest examples of a finite non-Desarguesian projective plane, along with its dual and the Hughes plane of order 9.^[6]

Construction

While usually constructed in the same way as other Hall planes, the Hall plane of order 9 was actually found earlier by Oswald Veblen and Joseph Wedderburn in 1907.^[7] There are four quasifields of order nine which can be used to construct the Hall plane of order nine. Three of these are Hall systems generated by the irreducible polynomials f(x) = x² + 1, g(x) = x² − x − 1 or h(x) = x² + x − 1.^[8] The first of these produces an associative quasifield,^[9] that is, a near-field, and it was in this context that the plane was discovered by Veblen and Wedderburn. This plane is often referred to as the nearfield plane of order nine.

Properties

Automorphism Group

The Hall plane of order 9 is the unique projective plane, finite or infinite, which has Lenz–Barlotti class IVa.3.^[10] Its automorphism group acts on its (necessarily unique) translation line imprimitively, having 5 pairs of points that the group preserves set-wise; the automorphism group acts as S₅ on these 5 pairs.^[11]

Unitals

The Hall plane of order 9 admits four inequivalent embedded unitals.^[12] Two of these unitals arise from Buekenhout's^[13] constructions: one is parabolic, meeting the translation line in a single point, while the other is hyperbolic, meeting the translation line in 4 points. The latter of these two unitals was shown by Grüning^[14] to also be embeddable in the dual Hall plane. Another of the unitals arises from the construction of Barlotti and Lunardon.^[15] The fourth has an automorphism group of order 8 isomorphic to the quaternions, and is not part of any known infinite family.

Notes

^ Hall (1943)
^ Although the constructions will provide a projective plane of order 4, the unique such plane is Desarguesian and is generally not considered to be a Hall plane.
^ Hughes & Piper (1973, p. 183)
^ Hughes & Piper (1973, pp. 202–218, Chapter X. Derivation)
^ Hughes & Piper (1973, p. 203, Theorem 10.2)
^ Moorhouse, G. Eric (2017), Projective Planes of Small Order explicitly lists the incidence structure of these planes.
^ Veblen, Oswald; Wedderburn, Joseph H.M. (1907), "Non-Desarguesian and non-Pascalian geometries" (PDF), Transactions of the American Mathematical Society, 8 (3): 379–388, doi:10.2307/1988781, JSTOR 1988781
^ Stevenson, Frederick W. (1972), Projective Planes, San Francisco: W.H. Freeman and Company, pp. 333–334, ISBN 0-7167-0443-9
^ D. Hughes and F. Piper (1973). Projective Planes. Springer-Verlag. p. 186. ISBN 0-387-90044-6.
^ Dembowski, Peter (1968). Finite Geometries : Reprint of the 1968 Edition. Berlin, Heidelberg: Springer Berlin Heidelberg. p. 126. ISBN 978-3-642-62012-6. OCLC 851794158.
^ André, Johannes (1955-12-01). "Projektive Ebenen über Fastkörpern". Mathematische Zeitschrift (in German). 62 (1): 137–160. doi:10.1007/BF01180628. ISSN 1432-1823. S2CID 122641224.
^ Penttila, Tim; Royle, Gordon F. (1995-11-01). "Sets of type (m, n) in the affine and projective planes of order nine". Designs, Codes and Cryptography. 6 (3): 229–245. doi:10.1007/BF01388477. ISSN 1573-7586. S2CID 43638589.
^ Buekenhout, F. (July 1976). "Existence of unitals in finite translation planes of order q² with a kernel of order q". Geometriae Dedicata. 5 (2). doi:10.1007/BF00145956. ISSN 0046-5755. S2CID 123037502.
^ Grüning, Klaus (1987-06-01). "A class of unitals of order q which can be embedded in two different planes of order q²". Journal of Geometry. 29 (1): 61–77. doi:10.1007/BF01234988. ISSN 1420-8997. S2CID 117872040.
^ Barlotti, A.; Lunardon, G. (1979). "Una classe di unitals nei Δ-piani". Rivisita di Matematica della Università di Parma. 4: 781–785.

References

Dembowski, P. (1968), Finite Geometries, Berlin: Springer-Verlag
Hall, Marshall Jr. (1943), "Projective Planes" (PDF), Transactions of the American Mathematical Society, 54 (2): 229–277, doi:10.2307/1990331, ISSN 0002-9947, JSTOR 1990331, MR 0008892
Hughes, D.; Piper, F. (1973). Projective Planes. Springer-Verlag. ISBN 0-387-90044-6.
Stevenson, Frederick W. (1972), Projective Planes, San Francisco: W.H. Freeman and Company, ISBN 0-7167-0443-9
Veblen, Oswald; Wedderburn, Joseph H.M. (1907), "Non-Desarguesian and non-Pascalian geometries" (PDF), Transactions of the American Mathematical Society, 8 (3): 379–388, doi:10.2307/1988781, JSTOR 1988781
Weibel, Charles (2007), "Survey of Non-Desarguesian Planes" (PDF), Notices of the American Mathematical Society, 54 (10): 1294–1303

[1] Hall (1943)

[2] Although the constructions will provide a projective plane of order 4, the unique such plane is Desarguesian and is generally not considered to be a Hall plane.

[3] Hughes & Piper (1973, p. 183)

[4] Hughes & Piper (1973, pp. 202–218, Chapter X. Derivation)

[5] Hughes & Piper (1973, p. 203, Theorem 10.2)

[6] Moorhouse, G. Eric (2017), Projective Planes of Small Order explicitly lists the incidence structure of these planes.

[7] Veblen, Oswald; Wedderburn, Joseph H.M. (1907), "Non-Desarguesian and non-Pascalian geometries" (PDF), Transactions of the American Mathematical Society, 8 (3): 379–388, doi:10.2307/1988781, JSTOR 1988781

[8] Stevenson, Frederick W. (1972), Projective Planes, San Francisco: W.H. Freeman and Company, pp. 333–334, ISBN 0-7167-0443-9

[9] D. Hughes and F. Piper (1973). Projective Planes. Springer-Verlag. p. 186. ISBN 0-387-90044-6.

[10] Dembowski, Peter (1968). Finite Geometries : Reprint of the 1968 Edition. Berlin, Heidelberg: Springer Berlin Heidelberg. p. 126. ISBN 978-3-642-62012-6. OCLC 851794158.

[11] André, Johannes (1955-12-01). "Projektive Ebenen über Fastkörpern". Mathematische Zeitschrift (in German). 62 (1): 137–160. doi:10.1007/BF01180628. ISSN 1432-1823. S2CID 122641224.

[12] Penttila, Tim; Royle, Gordon F. (1995-11-01). "Sets of type (m, n) in the affine and projective planes of order nine". Designs, Codes and Cryptography. 6 (3): 229–245. doi:10.1007/BF01388477. ISSN 1573-7586. S2CID 43638589.

[13] Buekenhout, F. (July 1976). "Existence of unitals in finite translation planes of order q² with a kernel of order q". Geometriae Dedicata. 5 (2). doi:10.1007/BF00145956. ISSN 0046-5755. S2CID 123037502.

[14] Grüning, Klaus (1987-06-01). "A class of unitals of order q which can be embedded in two different planes of order q²". Journal of Geometry. 29 (1): 61–77. doi:10.1007/BF01234988. ISSN 1420-8997. S2CID 117872040.

[15] Barlotti, A.; Lunardon, G. (1979). "Una classe di unitals nei Δ-piani". Rivisita di Matematica della Università di Parma. 4: 781–785.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

Hall plane

Algebraic construction via Hall systems

Derivation

Properties

Hall plane of order 9

Construction

Properties

Automorphism Group

Unitals

Notes

References

Read other articles:

One Day in Your Life (album)

Fakultas Pertanian Universitas Brawijaya

Luca Nizzetto

Pat's Great Hits

Constitution of Spain

哈萨克斯坦总统

آي آر إس إس آي

Mughal sieges of Kandahar (1649–1653)

Almuñécar

1965 Conservative Party leadership election

عاقر

Member states of the Commonwealth of Nations

Montesano, Washington

Further Austria

العلاقات الصربية الكولومبية

Magnum Research

Cytokromer

ضباب (رواية)

Підгорний Анатолій Миколайович

Vaea Fifita