Abstract
An (n, k) configuration is a set of n points and n lines, with k of the points on each line and k of the lines through each point. Motivated by the group law on cubic curves, here we investigate the problem of representing such abstract configurations by abelian groups in such a way that whenever k points P1, P2,..., Pk are collinear in the given configuration then the sum P1 + P2 +,..., + Pk = 0 in the group. In this note, we show how Bill McCune’s Prover9 can be successfully employed to determine the structure of the potential group in which the PG(2, 3), projective plane of order 3, gets embedded.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Albert, A.A., Sandler, R.: An introduction to finite projective planes. Holt, Rinehart and Winston, New York-Toronto, Ont.-London (1968)
Bennett, M.K.: Affine and projective geometry. John Wiley & Sons, Inc., New York (1995)
Ens, E.: Group Embeddings of (n, k)-Configurations, M.Sc Thesis, University of Manitoba (2011)
Grünbaum, B.: Configurations of Points and Lines. Graduate Studies in Mathematics. AMS, Rhode Island (2009)
McCune, W., Padmanabhan, R.: Automated Deduction in Equational Logic and Cubic Curves. LNCS, vol. 1095. Springer, Heidelberg (1996)
Mendelsohn, N.S., Padmanabhan, R., Wolk, B.: Placement of the Desargues configuration on a cubic curve. Geom. Dedicata 40, 165–170 (1991)
Singer, J.: A theorem of finite projective geometry and some applications to number theory. Trans. Amer. Math. Soc. 43, 377–385 (1938)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Ens, E., Padmanabhan, R. (2013). Group Embedding of the Projective Plane PG(2, 3). In: Bonacina, M.P., Stickel, M.E. (eds) Automated Reasoning and Mathematics. Lecture Notes in Computer Science(), vol 7788. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-36675-8_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-36675-8_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-36674-1
Online ISBN: 978-3-642-36675-8
eBook Packages: Computer ScienceComputer Science (R0)