Automorphism Group of Complex Numbers over Real Numbers

Theorem

The field extension $\C / \R$ of complex numbers $\C$ over real numbers $\R$ has automorphism group $\operatorname{Aut}$:

$\operatorname{Aut} \paren {\C / \R} = \set {\operatorname{id}, \sigma}$

where:

$\operatorname{id}$ denotes the identity mapping

$\sigma$ denotes complex conjugation

Proof

This theorem requires a proof. You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by crafting such a proof. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{ProofWanted}} from the code. If you would welcome a second opinion as to whether your work is correct, add a call to {{Proofread}} the page.