Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I would like an explanation as to the structure description of the automorphism group of a Paley graph.

Paley graphs are a specific case of Cayley graphs where the group is $Z_q$ (q is a prime power for some prime p = 1 mod 4) and the connection set is all the quadratic residues in GF(q).

I'll be satisfied even with the less general case where q is prime.

I'm pretty sure that the said group is a semi-direct product of CyclicGroup(q) and CyclicGroup(q-1/2) but I have trouble showing it in the general case...



Also posted on:

share|cite|improve this question
For the prime case, is it not just $D_p$? (If $a-b=c^2$ then $a+1-(b+1)=a-b=c^2$, so rotation works, while flipping works because the flip takes $a$ to $-a$ and $b$ to $-b$.) – user1729 Jul 25 '11 at 14:48
(I am assuming $p=1 \text{ mod } 4$, as otherwise $b-a$ is not a square...) – user1729 Jul 25 '11 at 14:55
You are correct about $p=1 mod 4$. What you stated (correctly) is that $D_p$ is a subgroup (which indeed it is). However, it is not the whole group, and if I am correct it is a subgroup of index 4. – Lost_DM Jul 25 '11 at 15:15
Crossposted to MO:… – Zev Chonoles Jul 25 '11 at 15:36

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.