Projective planes I

Semiadditive rings are defined and their relationship with the projective planes is studied. Free semiadditive rings provide an analogue of the ring of integers and polynomials for the ternary rings. A structure theory for free semiadditive rings is developed. It is shown that each element of a large class of semiadditive rings is obtained from a quotient of a polynomial ring over integers by an additive subgroup, by twisting addition and multiplication. This class includes all planar ternary rings. These methods are being developed to study the well known conjectures that every finite projective plane with no proper subplane is isomorphic to a prime field plane and that the order of a finite projective plane is a power of a prime number. Applications to these problems will be discussed in part II.

[1]  Michael Francis Atiyah,et al.  Introduction to commutative algebra , 1969 .

[2]  N. J. A. Sloane,et al.  On the Existence of a Projective Plane of Order 10 , 1973, J. Comb. Theory, Ser. A.

[3]  Graham Higman.  The lower central series of a free loop , 1963 .

[4]  Clement W. H. Lam,et al.  The nonexistence of ovals in a projective plane of order 10 , 1983, Discret. Math..

[5]  Marialuisa J. de Resmini,et al.  Subplanes of the Hughes plane of order 25 , 1987 .

[6]  R. H. Bruck.  A Survey of Binary Systems , 1971 .

[7]  D. R. HUGHESO.  COLLINEATIONS AND GENERALIZED INCIDENCE MATRICES , 2010 .

[8]  Clement W. H. Lam,et al.  The nonexistence of code words of weight 16 in a projective plane of order 10 , 1986, J. Comb. Theory, Ser. A.

[9]  Czeslaw Bylinski.  Some Basic Properties of Sets , 2004 .

[10]  Andrzej Trybulec,et al.  Tuples, Projections and Cartesian Products , 1990 .

[11]  Richard P. Anstee,et al.  Planes of Order 10 Do Not Have a Collineation of Order 5 , 1980, J. Comb. Theory, Ser. A.

[12]  L. Thiel,et al.  The Non-Existence of Finite Projective Planes of Order 10 , 1989, Canadian Journal of Mathematics.

[13]  Zvonimir Janko,et al.  Projective planes of order 10 do not have a collineation of order 3. , 1981 .

[14]  T. Evans.  On multiplicative systems defined by generators and relations , 1951, Mathematical Proceedings of the Cambridge Philosophical Society.

[15]  K. Borsuk,et al.  Axioms of Incidency , 1989 .

[16]  C. Lam.  The Search for a Finite Projective Plane of Order 10 , 2005 .

[17]  K. Prazmowski,et al.  Incidence Projective Spaces , 2004 .

[18]  A. Adrian Albert,et al.  Generalized twisted fields. , 1961 .

[19]  D. R. Hughes.  Generalized incidence matrices over group algebras , 1957 .

[20]  A. Barlotti,et al.  Combinatorics of Finite Geometries , 1975 .

[21]  Sue Whitesides.  Collineations of Projective Planes of Order 10, Part II , 1979, J. Comb. Theory, Ser. A.