Abstract
IfP is a finite projective plane of ordern with a proper subplaneQ of orderm which is not a Baer subplane, then a theorem of Bruck [Trans. AMS 78(1955), 464–481] asserts thatn≧m 2+m. If the equalityn=m 2+m were to occur thenP would be of composite order andQ should be called a Bruck subplane. It can be shown that if a projective planeP contains a Bruck subplaneQ, then in factP contains a designQ′ which has the parameters of the lines in a three dimensional projective geometry of orderm. A well known scheme of Bruck suggests using such aQ′ to constructP. Bruck’s theorem readily extends to symmetric designs [Kantor, Trans. AMS 146 (1969), 1–28], hence the concept of a Bruck subdesign. This paper develops the analoque ofQ′ and shows (by example) that the analogous construction scheme can be used to find symmetric designs.
Similar content being viewed by others
References
H. Beker, On strong tactical decompositions,J. London Math. Soc. 16 (1977), 191–196.
H. Beker andF. C. Piper, Some designs which admit strong tactical decompositions,J. Combinatorial Th. A.,22 (1977), 38–42.
R. Bruck, Difference sets in a finite group,Trans. Amer. Math. Soc.,78 (1955), 464–481.
R. Bruck, Construction problems of finite projective planes,Proc. Conf. Comb., UNC Chapel Hill, (1967), 426–514.
P. Dembowski,Finite Geometries, Springer Verlag, New York/Berlin, (1968).
W. M. Kantor, 2-transitive symmetric designs,Trans. Amer. Math. Soc.,146 (1969), 1–28.
R. Wilson,personal communication.