1

I have a group $G=(\mathbb{Z}_{251}^{*}, \cdot)$ with generator $g=71$ (so, having a generator, I'm given with the fact that is cyclic, right?)

further in the example of my study notes I read: "$n = |G| = 250$ ... $G$ is cyclic as it coincides with the multiplicative group of a finite field"

Could someone give me a justification for this?

xxxxxxxxx
  • 13,302
ela
  • 329

2 Answers2

2

$251$ is a prime number, thus $\mathbb{Z}_{251}$ is a field. I believe $\mathbb{Z}^{*}_{251}$ are the non zero elements of $\mathbb{Z}_{251}$.

Prove that the group, under multiplication, of all nonzero elements in a finite field must be a cyclic group.

Community
  • 1
Tsemo Aristide
  • 87,475
  • Yes, $\mathbb{Z_{251}^*}$ is defined as the set of the equivalence classes modulo $251$ smaller than $n$ and with no common factor with $n$ except for the neutral element $1$ – ela Jul 15 '16 at 12:46
0

It is a basic theorem in ring theory that any finite subgroup of the group of units of an integral domain is cyclic. I remember the proof to be annoying, but it can be found in lots of places.

M. Van
  • 4,128