Automorphism Group of Complex Numbers over Real Numbers

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.