Maximal cyclotomic extension of the real numbers (source code)

= Maximal cyclotomic extension of the real numbers

The maximal cyclotomic extension of $\mathbb R$ is $\mathbb C$, since adjoining a primitive fourth root of unity adjoins $i$.