Hall plane Contents Algebraic construction via Hall systems Derivation Properties The smallest Hall plane (order 9) Notes References Navigation menu"Projective Planes"10.2307/19903310002-994719903310008892"Non-Desarguesian and non-Pascalian geometries"10.2307/1988781"Survey of Non-Desarguesian Planes"

Projective geometryFinite geometry


non-Desarguesian projective planeMarshall Hall Jr.quasifieldQuasifield#Projective planesGalois fieldDesarguesian planesprojective planeline at infinityaffine planeBaer subplaneOswald VeblenJoseph Wedderburnnear-field




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




Contents





  • 1 Algebraic construction via Hall systems


  • 2 Derivation


  • 3 Properties


  • 4 The smallest Hall plane (order 9)


  • 5 Notes


  • 6 References




Algebraic construction via Hall systems


The original construction of Hall planes was based on a Hall quasifield (also called a Hall system), H of order p2ndisplaystyle p^2n for p a prime. The construction of the plane is the standard construction based on a quasifield (see Quasifield#Projective planes for the details.).


To build a Hall quasifield, start with a Galois field, F=GF⁡(pn)displaystyle F=operatorname GF (p^n) for p a prime and a quadratic irreducible polynomial f(x)=x2−rx−sdisplaystyle f(x)=x^2-rx-s over F. Extend H=F×Fdisplaystyle H=Ftimes 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−1f(c),ad−bc+br)displaystyle (a,b)circ (c,d)=(ac-bd^-1f(c),ad-bc+br) when d≠0displaystyle dneq 0 and (a,b)∘(c,0)=(ac,bc)displaystyle (a,b)circ (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:


  1. every element α of H not in F satisfies the quadratic equation f(α) =  0;


  2. 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

  3. 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 πdisplaystyle pi of order n2displaystyle n^2 and designate one line ℓdisplaystyle ell as its line at infinity. Let A be the affine plane π∖ℓdisplaystyle pi setminus ell . A set D of n+1displaystyle n+1 points of ℓdisplaystyle ell is called a derivation set if for every pair of distinct points X and Y of A which determine a line meeting ℓdisplaystyle ell 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)displaystyle operatorname D (A) as follows: The points of D⁡(A)displaystyle operatorname D (A) are the points of A. The lines of D⁡(A)displaystyle operatorname D (A) are the lines of πdisplaystyle pi which do not meet ℓdisplaystyle ell at a point of D (restricted to A) and the Baer subplanes that belong to D (restricted to A). The set D⁡(A)displaystyle operatorname D (A) is an affine plane of order n2displaystyle n^2 and it, or its projective completion, is called a derived plane.[5]



Properties


  1. Hall planes are translation planes.

  2. All finite Hall planes of the same order are isomorphic.

  3. Hall planes are not self-dual.

  4. All finite Hall planes contain subplanes of order 2 (Fano subplanes).

  5. All finite Hall planes contain subplanes of order different from 2.

  6. Hall planes are André planes.


The smallest Hall plane (order 9)


The Hall plane of order 9 was actually found earlier by Oswald Veblen and Joseph Wedderburn in 1907.[6] 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)=x2+1displaystyle f(x)=x^2+1, g(x)=x2−x−1displaystyle g(x)=x^2-x-1 or h(x)=x2+x−1displaystyle h(x)=x^2+x-1. [7] The first of these produces an associative quasifield,[8] 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.



Notes




  1. ^ Hall Jr. (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, pg. 183)


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


  5. ^ Hughes & Piper (1973, pg. 203, Theorem 10.2)


  6. ^ Veblen & Wedderburn (1907)


  7. ^ Stevenson (1972, pp. 333–334)


  8. ^ Hughes & Piper (1973, pg. 186)




References



  • Dembowski, P. (1968), Finite Geometries, Berlin: Springer-Verlag.mw-parser-output cite.citationfont-style:inherit.mw-parser-output .citation qquotes:"""""""'""'".mw-parser-output .citation .cs1-lock-free abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/6/65/Lock-green.svg/9px-Lock-green.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .citation .cs1-lock-limited a,.mw-parser-output .citation .cs1-lock-registration abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/d/d6/Lock-gray-alt-2.svg/9px-Lock-gray-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .citation .cs1-lock-subscription abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/a/aa/Lock-red-alt-2.svg/9px-Lock-red-alt-2.svg.png")no-repeat;background-position:right .1em center.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registrationcolor:#555.mw-parser-output .cs1-subscription span,.mw-parser-output .cs1-registration spanborder-bottom:1px dotted;cursor:help.mw-parser-output .cs1-ws-icon abackground:url("//upload.wikimedia.org/wikipedia/commons/thumb/4/4c/Wikisource-logo.svg/12px-Wikisource-logo.svg.png")no-repeat;background-position:right .1em center.mw-parser-output code.cs1-codecolor:inherit;background:inherit;border:inherit;padding:inherit.mw-parser-output .cs1-hidden-errordisplay:none;font-size:100%.mw-parser-output .cs1-visible-errorfont-size:100%.mw-parser-output .cs1-maintdisplay:none;color:#33aa33;margin-left:0.3em.mw-parser-output .cs1-subscription,.mw-parser-output .cs1-registration,.mw-parser-output .cs1-formatfont-size:95%.mw-parser-output .cs1-kern-left,.mw-parser-output .cs1-kern-wl-leftpadding-left:0.2em.mw-parser-output .cs1-kern-right,.mw-parser-output .cs1-kern-wl-rightpadding-right:0.2em


  • Hall Jr., Marshall (1943), "Projective Planes" (PDF), Transactions of the American Mathematical Society, 54: 229–277, doi:10.2307/1990331, ISSN 0002-9947, JSTOR 1990331, MR 0008892


  • D. Hughes and F. Piper (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, Oscar; Wedderburn, Joseph H.M. (1907), "Non-Desarguesian and non-Pascalian geometries" (PDF), Transactions of the American Mathematical Society, 8: 379–388, doi:10.2307/1988781


  • Weibel, Charles (2007), "Survey of Non-Desarguesian Planes" (PDF), Notices of the American Mathematical Society, 54 (10): 1294–1303


Popular posts from this blog

How should I support this large drywall patch? Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern) Announcing the arrival of Valued Associate #679: Cesar Manara Unicorn Meta Zoo #1: Why another podcast?How do I cover large gaps in drywall?How do I keep drywall around a patch from crumbling?Can I glue a second layer of drywall?How to patch long strip on drywall?Large drywall patch: how to avoid bulging seams?Drywall Mesh Patch vs. Bulge? To remove or not to remove?How to fix this drywall job?Prep drywall before backsplashWhat's the best way to fix this horrible drywall patch job?Drywall patching using 3M Patch Plus Primer

random experiment with two different functions on unit interval Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Random variable and probability space notionsRandom Walk with EdgesFinding functions where the increase over a random interval is Poisson distributedNumber of days until dayCan an observed event in fact be of zero probability?Unit random processmodels of coins and uniform distributionHow to get the number of successes given $n$ trials , probability $P$ and a random variable $X$Absorbing Markov chain in a computer. Is “almost every” turned into always convergence in computer executions?Stopped random walk is not uniformly integrable

Lowndes Grove History Architecture References Navigation menu32°48′6″N 79°57′58″W / 32.80167°N 79.96611°W / 32.80167; -79.9661132°48′6″N 79°57′58″W / 32.80167°N 79.96611°W / 32.80167; -79.9661178002500"National Register Information System"Historic houses of South Carolina"Lowndes Grove""+32° 48' 6.00", −79° 57' 58.00""Lowndes Grove, Charleston County (260 St. Margaret St., Charleston)""Lowndes Grove"The Charleston ExpositionIt Happened in South Carolina"Lowndes Grove (House), Saint Margaret Street & Sixth Avenue, Charleston, Charleston County, SC(Photographs)"Plantations of the Carolina Low Countrye