Salut !
1. De manière évidente, l'élément neutre appartient bien à

.
La stabilité du produit l'est tout autant : si

alors

puisque
^n = (z^n)({z'}^n)=1\times 1=1)
.
Il reste à montrer la stabilité par passage à l'inverse.
2. Utilise la définition de la divisibilité. L'inclusion est alors évidente

3. L'inclusion

est évidente puisque si

est le pgcd de

et

alors

est en particulier un diviseur de

et

, ce qui te permet de conclure d'après la question précédente.
Pour l'inclusion réciproque, utilise le fait que si

est le pgcd de

et

alors on peut trouver deux entiers

et

premiers entre tels que l'on ait

. Or remarque alors que

4. Bien qu'il y ait une erreur de recopiage, cette question ne pose aucune difficulté : il faut montrer que

réalise un morphisme de
)
dans
)
, c'est-à-dire que
=f(k)f(k'))
, pour tous entiers

et

. Ce ne sont que des manipulations d'exponentielles complexes niveau terminale

De plus, il faut montrer que
= U_5)
. Pour cela, tu peux montrer que

est périodique.
En ce qui concerne le noyau, il suffit juste de se rappeler que

si et seulement si

.
Je te laisse voir tout ça
