Cyclic affine planes and Paley difference sets (Q1199576)

Embedded in a fine discussion of Paley type difference sets there is the proof that if the order \(n\) of a cyclic affine plane is congruent to \(8\bmod 16\) then \(n-1\) must be a prime. If the ideal (in \(GF(2)G)\) generated by a \((4n-1,\;2n-1,\;n-1)\)-difference set \(D\) contained in the abelian group \(G\) and having multiplier 2 has dimension \(2n\) then \(4n-1\) is a prime power.