Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Whilst reading P.M. Cohn's "Skew Field Constructions" (LMS LNS 27; Cambridge 1977), I found myself unable to follow the author's argument on p. 69 (proof of Prop. 3.5.4, specifically lines 15-16). Most of my troubles would disappear if I could prove the following: given an automorphism $\sigma$ of a (commutative) field $K$ of order $n$ and a primitive $n$-th root of unity $\omega\in K$ (i.e. an element of order $n$ in the multiplicative group of $K$), where $1<n\in\mathbb N$, one necessarily has $\sigma(\omega)=\omega$. Now I'm not even sure whether this statement is true, though a look at Ex. § 11, 4) c), Chapter V of Bourbaki's Algebra II makes me hopeful. Any help, one way or the other, would be greatly appreciated !

share|cite|improve this question
Unless I've misunderstood something, I have an easy counter-example. For $K = \mathbb{C}$, let $\sigma(z) = \overline{z}$. Certainly $\sigma^4 = \mathrm{id}$, and $i = \sqrt{-1}$ is a primitive $4^{th}$ root of unity. However, $\sigma(i) = -i \neq i$. – Shaun Ault Sep 5 '12 at 11:19
If you could provide a scan of p.69, perhaps the problem can be spotted. Is $\sigma$ supposed to be order $n$ (which is stronger than saying $\sigma^n = \mathrm{id}$)? – Shaun Ault Sep 5 '12 at 11:23
Sorry about that Shaun, I've corrected the question; naturally $\sigma$ should have order $n$. (A scan of the page in question wouldn't really be of any help, because my question doesn't appear there as such - an answer, however, would help in making the remaining arguments comprehensible. The reference was given simply to provide context.) – bonnbaki Sep 5 '12 at 12:30
up vote 4 down vote accepted

I think this is a counterexample. Let $K={\bf Q}(\zeta)$, where $\zeta$ is a primitive 20th root of 1. Define $\sigma$ by $\sigma(\zeta)=\zeta^3$. Then $\sigma$ is of order 4, and $\sigma(i)=-i$.

share|cite|improve this answer
Thanks very much Gerry - looks good to me ! (And unfortunately means that I still don't understand Cohn's argument in his book - but that is another question ...) - Kind regards ! – bonnbaki Sep 5 '12 at 16:35

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.