exo7 3242

Montrer que $\sigma\ :\ x \mapsto x^p$ est un morphisme de corps.

Montrer que $\sigma$ est surjectif si et seulement si tout polynôme $P\in K[X]$ irréductible vérifie $P'\ne 0$.