There is a theorem that says that if $E/F$ is a normal and radical extension with $\text{char}(K)=0$ then then $\text{Aut}(E/F)$ is soluble. But why do we need normal and $\text{char}(K)=0?$ What would happen if $E/F$ is not normal? For example $\mathbb{Q}(\sqrt[3]{2})/\mathbb{Q}$ is not normal but its Galois group ${Id}$ is solvable? What would be a counter-example if $\text{char}(K) \neq 0$?

  • $\begingroup$ Perhaps you mean solvable in the title? $\endgroup$ – Yanko Dec 28 '18 at 15:37
  • 2
    $\begingroup$ @Yanko solvable = soluble (British vs American English, don't know which one is which) $\endgroup$ – Kenny Lau Dec 28 '18 at 15:47

See e.g. here for a proof of the more general theorem that requires neither normality nor zero characteristic.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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