Let be a prime power such that . Note that this implies that the unique finite field of order , , has a square root of . Now let and By hypothesis, if and only if . By definition is the Paley graph of order . The following facts are known about Paley graphs. The [...]![]()
