Automorphism Group of C Over R

From ProofWiki
Jump to: navigation, search

Theorem

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

$\operatorname{Aut}(\C/\R) = \{\operatorname{id},\sigma\}$

where $\sigma$ denotes complex conjugation.



Proof