7

Is there a finite field whose additive group is not cyclic?

user26857
  • 53,190
Chandan Das
  • 71
  • 4
    For any prime power $q=p^r$ (here $p$ is prime), $\Bbb F_{q}\cong\Bbb F_p[x]/(x^q-x)$, hence $(\Bbb F_q,+)\cong C_p^r$. For $r>1$ this is not cyclic. – anon Aug 25 '12 at 20:17
  • 6
    I’ve found that understanding proceeds from the knowledge of examples. Start with the field ${\mathbb{Z}}/(3)$ with three elements, and formally adjoin the square root of $-1$, i.e. the square root of $2$. Play around in it, splash and frolic, add and multiply, look for an element whose powers exhaust all nonzero elements. You will then know much more than before! – Lubin Aug 25 '12 at 21:21
  • @anon what is $C_p^r$ ? Is it is. $Z_p × Z_p × ...× Z_p$ (r times) ? – Akash Patalwanshi Mar 24 '17 at 12:45

1 Answers1

20

$F_4$, the Galois field with 4 elements $\{0, 1, \alpha, \beta\}$ has an additive group isomorphic to $V_4$, the Klein four group.

More generally, for a prime $p$ the field with $p^n$ elements for any $n>1$ will not have a cyclic additive group, as any element added to itself $p$ times will be the identity.

Kris
  • 1,889