Proposition 4

— Let $n \geq 1$ be an integer; suppose that there exist n n-th roots of unity in K (this is true for example if K is separably closed and $n . 1, \neq 0$). Then the number of primitive n-th roots of unity in K is equal to $\varphi(n)$.