Each equivalence class is a power of [g]

evinda

Well-known member
MHB Site Helper
Hello!!!

I have to find an equivalence class $[g] \in \mathbb{Z_{15}}^{*}$ so that each equivalence class $\in \mathbb{Z}^{*}_{15}$ is a power of $[g]$.

$\mathbb{Z}^{*}_{15}=\{[1],[2],[4],[7],[8],[11],[13],[14]\}$

I tried several powers of the above classes,and I think that there is no equivalence class $[g] \in \mathbb{Z_{15}}^{*}$ so that each equivalence class $\in \mathbb{Z}^{*}_{15}$ is a power of $[g]$.Is it actually like that or am I wrong??

MHB Math Helper

MHB Site Helper

Deveno

Well-known member
MHB Math Scholar
Re: each equivalence class is a power of [g]

In fact:

$\langle [1]\rangle = \{[1]\}$

$\langle [2]\rangle = \{[1],[2],[4],[8]\} = \langle [8]\rangle$

$\langle [4]\rangle = \{[1],[4]\}$

$\langle [7]\rangle = \{[1],[7],[4],[13]\} = \langle [13]\rangle$

$\langle [11]\rangle = \{[1],[11]\}$

$\langle [14]\rangle = \{[1],[14]\}$

which shows that every element has order 1,2 or 4, and that no element has order 8.

(for $g > 7$ it is easier to compute $\langle[g]\rangle$ as $\langle[-(15-g)]\rangle$).