1
Soit \(n\) et \(d\) deux entiers tels que \(d\) divise \(n\). On définit une application \(f : \mu_n \rightarrow \mu_{d}\) qui à \(s\) associe \(s^{n/d}\). Montrer que \(f\) est un morphisme surjectif de groupes dont le noyau est \(\mu_{n/d}\).
Soit \(n\) et \(d\) deux entiers tels que \(d\) divise \(n\). On définit une application \(f : \mu_n \rightarrow \mu_{d}\) qui à \(s\) associe \(s^{n/d}\). Montrer que \(f\) est un morphisme surjectif de groupes dont le noyau est \(\mu_{n/d}\).