## You are here

Homeexamples of trace and norm

## Primary tabs

# examples of trace and norm

Let $\omega$ be a complex root of unity different than 1. Then $\omega$ and $\omega^{2}$ are the conjugate roots of the minimal polynomial $x^{2}+x+1$. Since $\mathbb{Q}(\omega)$ is the splitting field of $x^{2}+x+1$, it is Galois over $\mathbb{Q}$. Moreover the Galois group $Gal(\mathbb{Q}(\omega)/\mathbb{Q}))$ is formed by the identity and the automorphism $g(\omega)=\omega^{2}$ The elements of $\mathbb{Q}(\omega)$ have the form $a+b\omega$, $a,b\in\mathbb{Q}$. Then we obtain

$N_{{\mathbb{Q}(\omega)}}^{{\mathbb{Q}}}(a+b\omega)=(a+b\omega)(a+b\omega^{2})=% a^{2}-ab+b^{2},Tr_{{\mathbb{Q}(\omega)}}^{{\mathbb{Q}}}(a+b\omega)=(a+b\omega)% +(a+b\omega^{2})=2a-b$ |

Major Section:

Reference

Type of Math Object:

Example

Parent:

## Mathematics Subject Classification

12F05*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

Sep 28

new question: how to contest an entry? by zorba

new question: simple question by parag

Sep 26

new question: Latent variable by adam_reith

Sep 17

new question: Harshad Number by pspss

Sep 14

new problem: Geometry by parag

new question: how to contest an entry? by zorba

new question: simple question by parag

Sep 26

new question: Latent variable by adam_reith

Sep 17

new question: Harshad Number by pspss

Sep 14

new problem: Geometry by parag