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

Solar Wings Breeze Design and development Specifications (Breeze) References Navigation menu1368-485X"Hang glider: Breeze (Solar Wings)"e

Ace MagicMainair BladeMainair RapierP&M ExplorerP&M GT450P&M PulsRPegasus QuantumPegasus QuikSolar Wings AceSolar Wings BreezeSolar Wings FeverSolar Wings RumourSolar Wings RushSolar Wings ScandalSolar Wings StormSolar Wings TyphoonSolar Wings Whisper Solar Wings aircraftHang gliders Britishhigh-winghang gliderSolar WingsManton, WiltshirealuminumDacroncable bracedkingpostaspect ratio Solar Wings Breeze Role Hang glider National origin United Kingdom Manufacturer Solar Wings Introduction 1996 Status Production completed Unit cost £2,038 (2004) The Solar Wings Breeze is a British high-wing, single-place, hang glider that was designed and produced by Solar Wings of Manton, Wiltshire starting in 1996. Now out of production, when it was available the aircraft was supplied complete and ready-to-fly. [1] [2] Design and development The Breeze was designed as an easy to fly intermediate glider. It is made from aluminum tubing, with the double-surface wing covered in Dacron s...
Read more

Kathakali Contents Etymology and nomenclature History Repertoire Songs and musical instruments Traditional plays Styles: Sampradayam Training centers and awards Relationship to other dance forms See also Notes References External links Navigation menueThe Illustrated Encyclopedia of Hinduism: A-MSouth Asian Folklore: An EncyclopediaRoutledge International Encyclopedia of Women: Global Women's Issues and KnowledgeKathakali Dance-drama: Where Gods and Demons Come to PlayKathakali Dance-drama: Where Gods and Demons Come to PlayKathakali Dance-drama: Where Gods and Demons Come to Play10.1353/atj.2005.0004The Illustrated Encyclopedia of Hinduism: A-MEncyclopedia of HinduismKathakali Dance-drama: Where Gods and Demons Come to PlaySonic Liturgy: Ritual and Music in Hindu Tradition"The Mirror of Gesture"Kathakali Dance-drama: Where Gods and Demons Come to Play"Kathakali"Indian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceMedieval Indian Literature: An AnthologyThe Oxford Companion to Indian TheatreSouth Asian Folklore: An Encyclopedia : Afghanistan, Bangladesh, India, Nepal, Pakistan, Sri LankaThe Rise of Performance Studies: Rethinking Richard Schechner's Broad SpectrumIndian Theatre: Traditions of PerformanceModern Asian Theatre and Performance 1900-2000Critical Theory and PerformanceBetween Theater and AnthropologyKathakali603847011Indian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceIndian Theatre: Traditions of PerformanceBetween Theater and AnthropologyBetween Theater and AnthropologyNambeesan Smaraka AwardsArchivedThe Cambridge Guide to TheatreRoutledge International Encyclopedia of Women: Global Women's Issues and KnowledgeThe Garland Encyclopedia of World Music: South Asia : the Indian subcontinentThe Ethos of Noh: Actors and Their Art10.2307/1145740By Means of Performance: Intercultural Studies of Theatre and Ritual10.1017/s204912550000100xReconceiving the Renaissance: A Critical ReaderPerformance TheoryListening to Theatre: The Aural Dimension of Beijing Opera10.2307/1146013Kathakali: The Art of the Non-WorldlyOn KathakaliKathakali, the dance theatreThe Kathakali Complex: Performance & StructureKathakali Dance-Drama: Where Gods and Demons Come to Play10.1093/obo/9780195399318-0071Drama and Ritual of Early Hinduism"In the Shadow of Hollywood Orientalism: Authentic East Indian Dancing"10.1080/08949460490274013Sanskrit Play Production in Ancient IndiaIndian Music: History and StructureBharata, the Nāṭyaśāstra233639306Table of Contents2238067286469807Dance In Indian Painting10.2307/32047833204783Kathakali Dance-Theatre: A Visual Narrative of Sacred Indian MimeIndian Classical Dance: The Renaissance and BeyondKathakali: an indigenous art-form of Keralaeee

Image
Parai AttamNatarajaTandavaRasa lilaLasyaBollywood song and danceHindi dance songsNautchAndhra PradeshAssamHimachal PradeshOdishaPunjabTamil NaduMizoramKerala KalamandalamKerala Lalitakala AcademyKerala Sangeetha Nadaka Academy, ThrissurKerala Folklore AcademyKshetram vadyamKuzhal PattuMappila PaattuPanchari melamPanchavadyamPandi MelamParisha VadyamPulluvan PaattuSopanamThayambakaKerala mural paintingKalaripayattuSarpa KavuTharavadTemplatesPortalCategoryWikiProject KathakaliTheatre in IndiaArts of KeralaClassical theatre of india Malayalamclassical Indian danceMalayalamKeralaCEHindu templesPuranasNatya ShastraNatya ShastraBharataShivaMalayalamKeralaShivaKrishnaKrishnaJayadevaoperaticKrishnaVishnuRamaShivaSuryaYudhishthiraArjunaNalaRavanaDushasanaHiranyakashipuSitaHanumanGarudaHamsaGuṇaSamkhyaHindu philosophysign languagemudrasUnnayi VariyarplaywrightsNalaDamayantimusical modeChristianityMiguel de CervantesJohann Wolfgang von GoetheWilliam ShakespeareGurukulTravancorePalakkadBrahmi...
Read more

Method to test if a number is a perfect power? Announcing the arrival of Valued Associate #679: Cesar Manara Planned maintenance scheduled April 23, 2019 at 00:00UTC (8:00pm US/Eastern)Detecting perfect squares faster than by extracting square rooteffective way to get the integer sequence A181392 from oeisA rarely mentioned fact about perfect powersHow many numbers such $n$ are there that $n<100,lfloorsqrtn rfloor mid n$Check perfect squareness by modulo division against multiple basesFor what pair of integers $(a,b)$ is $3^a + 7^b$ a perfect square.Do there exist any positive integers $n$ such that $lfloore^nrfloor$ is a perfect power? What is the probability that one exists?finding perfect power factors of an integerProve that the sequence contains a perfect square for any natural number $m $ in the domain of $f$ .Counting Perfect Powers

Image
Proof of work - 51% attack Would it be possible to dictate a bech32 address as a list of English words? How do I find out the mythology and history of my Fortress? Sentence order: Where to put もう Is there any word for a place full of confusion? Do wooden building fires get hotter than 600°C? What does it mean that physics no longer uses mechanical models to describe phenomena? Project Euler #1 in C++ How fail-safe is nr as stop bytes? Why does it sometimes sound good to play a grace note as a lead in to a note in a melody? How to draw/optimize this graph with tikz How much damage would a cupful of neutron star matter do to the Earth? What would you call this weird metallic apparatus that allows you to lift people? Importance of からだ in this sentence "Lost his faith in humanity in the trenches of Verdun" — last line of an SF story A term for a woman complaining about things/begging in a cute/childish way How to ...
Read more