## You are here

Homeexamples of totally real fields

## Primary tabs

# examples of totally real fields

Here we present examples of totally real fields, totally imaginary fields and CM-fields.

Examples:

1. Let $K=\mathbb{Q}(\sqrt{d})$ with $d$ a square-free positive integer. Then

$\Sigma_{K}=\{\operatorname{Id}_{K},\sigma\}$ where $\operatorname{Id}_{K}\colon K\hookrightarrow\mathbb{C}$ is the identity map ($\operatorname{Id}_{K}(k)=k$, for all $k\in K$), whereas

$\sigma\colon K\hookrightarrow\mathbb{C},\quad\sigma(a+b\sqrt{d})=a-b\sqrt{d}$ Since $\sqrt{d}\in\mathbb{R}$ it follows that $K$ is a totally real field.

2. Similarly, let $K=\mathbb{Q}(\sqrt{d})$ with $d$ a square-free negative integer. Then

$\Sigma_{K}=\{\operatorname{Id}_{K},\sigma\}$ where $\operatorname{Id}_{K}\colon K\hookrightarrow\mathbb{C}$ is the identity map ($\operatorname{Id}_{K}(k)=k$, for all $k\in K$), whereas

$\sigma\colon K\hookrightarrow\mathbb{C},\quad\sigma(a+b\sqrt{d})=a-b\sqrt{d}$ Since $\sqrt{d}\in\mathbb{C}$ and it is not in $\mathbb{R}$, it follows that $K$ is a totally imaginary field.

3. Let $\zeta_{n},n\geq 3$, be a primitive $n^{{th}}$ root of unity and let $L=\mathbb{Q}(\zeta_{n})$, a cyclotomic extension. Note that the only roots of unity that are real are $\pm 1$. If $\psi\colon L\hookrightarrow\mathbb{C}$ is an embedding, then $\psi(\zeta_{n})$ must be a conjugate of $\zeta_{n}$, i.e. one of

$\{\zeta_{n}^{a}\mid a\in(\mathbb{Z}/n\mathbb{Z})^{{\times}}\}$ but those are all imaginary. Thus $\psi(L)\nsubseteq\mathbb{R}$. Hence $L$ is a totally imaginary field.

4. In fact, $L$ as in $(3)$ is a CM-field. Indeed, the maximal real subfield of $L$ is

$F=\mathbb{Q}(\zeta_{n}+\zeta_{n}^{{-1}})$ Notice that the minimal polynomial of $\zeta_{n}$ over $F$ is

$X^{2}-(\zeta_{n}+\zeta_{n}^{{-1}})X+1$ so we obtain $L$ from $F$ by adjoining the square root of the discriminant of this polynomial which is

$\zeta_{n}^{2}+\zeta_{n}^{{-2}}-2=2\cos(\frac{4\pi}{n})-2<0$ and any other conjugate is

$\zeta_{n}^{{2a}}+\zeta_{n}^{{-2a}}-2=2\cos(\frac{4a\pi}{n})-2<0,a\in(\mathbb{Z% }/n\mathbb{Z})^{{\times}}$ Hence, $L$ is a CM-field.

5. Notice that any quadratic imaginary number field is obviously a CM-field.

## Mathematics Subject Classification

12D99*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new correction: Error in proof of Proposition 2 by alex2907

Jun 24

new question: A good question by Ron Castillo

Jun 23

new question: A trascendental number. by Ron Castillo

Jun 19

new question: Banach lattice valued Bochner integrals by math ias

Jun 13

new question: young tableau and young projectors by zmth

Jun 11

new question: binomial coefficients: is this a known relation? by pfb