Number of points on a line in a finite projective plane
I've been reading some proofs regarding finite projective planes of order n, and often they start out by assuming that each line contains n+1 points. Is this a fact that follows from the axioms for finite projective planes? Or does this relate to the order of the finite field being projected? (for example in the Fano plane, does the fact that each line contains 3 points follow from the fact that there are 3 elements {0,1,2} in Z_2?) I haven't been able to find a clear explanation of this (clearly I do not yet have a solid understanding of how such planes are constructed). If someone could enlighten me that would be excellent.
-
Suggestion: Get a copy of Hartshorne's little book on Projective Geometry. It'll answer questions like this.
-
Your question seems to me "How do we know that any two lines have the same number of points?" (since whether we call this "$n$" or "$n+1$" really doesn't matter). Here's a quick proof, starting with Hartshorne's four axioms for projective planes.
A. For any two distinct points $P$ and $Q$, there is exactly one line containing both.
B. Any two lines meet in at least one point.
(Quick corollary: any two distinct lines meet in exactly one point. Pf: Suppose they met in two distinct points, $P$ and $Q$. By axiom 1, there's exactly one line containing these two points, but our two lines were supposed to be distinct. Contradiction.)
C. There exist three noncollinear points.
D. Every line contains at least 3 points.
Small theorem: if $b$ and $c$ are distinct lines, there's a point that's on neither of them.
Proof: The line $b$ intersects $c$ at some point $Q$ by axiom B. Let $B \ne Q$ be another point of $b$ (Axiom D), and $C \ne Q$ be another point of $c$. Consider the line $d$ containing $B$ and $C$ (Axiom A). It's distinct from both $b$ and $c$, for it contains a point $C$ that's not in $b$, and a point $B$ that's not in $c$. Let $D$ be a point of $d$ distinct from $B$ and $C$ (Axiom D). If $D$ were in $b$, then $d$ would contain the distinct points $B$ and $D$ that are also in $b$, hence $b$ and $d$ would be identical (Axiom A). Similarly, $D$ cannot be in $c$. So $D$ is a point that's on neither $b$ nor $c$.
Now: Let $a$ and $b$ be distinct lines, meeting at a point $Q$. Let $P$ be a point not on $a$ or $b$ (chosen using the small theorem above).
Consider the map $f$ from $a$ to $b$ defined as follows:
for any point $Q \in a$, the line $PQ$ exists; it must intersect the line $b$ at some point $Q'$. Define $f(Q) = Q'$.
The map is a bijection (and proving that is a good exercise for you, working from the axioms). Indeed, it's called a "perspectivity", but that's getting further along in the story...