Search the FAQ Archives

3 - A - B - C - D - E - F - G - H - I - J - K - L - M
N - O - P - Q - R - S - T - U - V - W - X - Y - Z
faqs.org - Internet FAQ Archives

sci.math FAQ: Projective Plane of Order 10


[ Usenet FAQs | Web FAQs | Documents | RFC Index | Business Photos and Profiles ]

See reader questions & answers on this topic! - Help others by sharing your knowledge
Archive-Name: sci-math-faq/proyectiveplane
Last-modified: December 8, 1994
Version: 6.2






                        PROJECTIVE PLANE OF ORDER 10



   More precisely:

   Is it possible to define 111 sets (lines) of 11 points each such that:


   For any pair of points there is precisely one line containing them
   both and for any pair of lines there is only one point common to them
   both?

   Analogous questions with n^2 + n + 1 and n + 1 instead of 111 and 11
   have been positively answered only in case n is a prime power. For n =
   6 it is not possible, more generally if n is congruent to 1 or 2 mod 4
   and can not be written as a sum of two squares, then an FPP of order n
   does not exist. The n = 10 case has been settled as not possible
   either by Clement Lam. As the ``proof" took several years of computer
   search (the equivalent of 2000 hours on a Cray-1) it can be called the
   most time-intensive computer assisted single proof. The final steps
   were ready in January 1989.



   References

   R. H. Bruck and H. J. Ryser. The nonexistence of certain finite
   projective planes. Canadian Journal of Mathematics, vol. 1 (1949), pp
   88-93.



   C. Lam. American Mathematical Monthly, 98 (1991), 305-318.






     _________________________________________________________________



    alopez-o@barrow.uwaterloo.ca
    Tue Apr 04 17:26:57 EDT 1995

User Contributions:

Comment about this article, ask questions, or add new information about this topic:

CAPTCHA


[ Usenet FAQs | Web FAQs | Documents | RFC Index ]

Send corrections/additions to the FAQ Maintainer:
alopez-o@neumann.uwaterloo.ca





Last Update March 27 2014 @ 02:12 PM