Bruck–Ryser–Chowla theorem

The Bruck–Ryser–Chowla theorem gives necessary arithmetic conditions for finite projective planes and symmetric block designs to exist, using sums of squares and integer solvability.

Connect

Projective plane: An incidence structure in which every two distinct points lie on one line and every two distinct lines meet at one point. The theorem’s projective-plane condition rules out certain orders through a sum-of-squares equation.
Order 6 projective plane: A hypothetical finite projective plane with six points on each line and six lines through each point. The theorem excludes this plane because 6 is congruent to 1 or 2 modulo 4 and is not a sum of two squares.
Richard H. Bruck: An American mathematician known for contributions to finite geometry and the theory of quasigroups. Bruck established an arithmetic restriction for the orders of finite projective planes.
Hall–Ryser theorem: A criterion characterizing when a zero-one matrix with prescribed row and column sums exists. Unlike this existence criterion for matrices, Bruck–Ryser–Chowla supplies only necessary conditions for designs.
Symmetric block design: A block design with equally many points and blocks, in which every pair of distinct points occurs in the same number of blocks. The theorem extends its arithmetic restrictions beyond projective planes to these designs.
Projective plane of order 10: A finite projective plane with 11 points on each line and 11 lines through each point. The theorem permits order 10, showing that its necessary conditions do not settle every existence question.
Herbert John Ryser: An American mathematician whose work included combinatorics, number theory, and matrix theory. Ryser proved a related restriction for symmetric block designs.
Finite field: A field containing finitely many elements, whose size is a prime power. Finite fields construct projective planes of prime-power order, while this theorem mainly excludes candidate orders.
Diophantine equation: An equation whose solutions are sought among integers or other specified number systems. The theorem’s obstructions depend on whether a parameter-defined equation has integer solutions.
Projective plane of order 12: A finite projective plane with 13 points on each line and 13 lines through each point. The theorem rules out order 12 because it is congruent to 1 or 2 modulo 4 but is not a sum of two squares.