# Automorphism Group of C Over R

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.