examples of prime ideal decomposition in number fields

Here we follow the notation of the entry on the decompositiongroup. See also http://planetmath.org/encyclopedia/PrimeIdealDecompositionInQuadraticExtensionsOfMathbbQ.htmlthis entry.

Example 1

Let $K=\mathbb{Q}(\sqrt{-7})$; then$\mathrm{Gal}(K/\mathbb{Q})=\{\mathrm{Id},\sigma \}\cong \mathbb{Z}/2\mathbb{Z}$, where $\sigma$ is the complex conjugation map. Let${𝒪}_K$ be the ring of integers of $K$. In this case:

$${𝒪}_K=\mathbb{Z}\left[\frac{1+\sqrt{-7}}{2}\right]$$

Thediscriminant of this field is $D_{K/\mathbb{Q}}=-7$. We look at thedecomposition in prime ideals of some prime ideals in $\mathbb{Z}$:

1. The only prime ideal in $\mathbb{Z}$ that ramifies is $(7)$:

   $$(7){𝒪}_K={(\sqrt{-7})}^2$$

   and we have $e=2,f=g=1$. Nextwe compute the decomposition and inertia groups from thedefinitions. Notice that both $\mathrm{Id},\sigma$ fix theideal $(\sqrt{-7})$. Thus:

   $$D((\sqrt{-7})/(7))=\mathrm{Gal}(K/\mathbb{Q})$$

   For the inertia group, notice that $\sigma \equiv \mathrm{Id}\mathrm{mod}(\sqrt{-7})$. Hence:

   $$T((\sqrt{-7})/(7))=\mathrm{Gal}(K/\mathbb{Q})$$

   Also note that this is trivial if we use the properties of thefixed field of $D((\sqrt{-7})/(7))$ and $T((\sqrt{-7})/(7))$ (seethe section on “decomposition of extensions” in the entry ondecomposition group), and the fact that $e\cdot f\cdot g=n$, where$n$ is the degree of the extension ($n=2$ in our case).

2. The primes $(5),(13)$ are inert, i.e. they are prime idealsin ${𝒪}_K$. Thus $e=1=g,f=2$. Obviously the conjugationmap $\sigma$ fixes the ideals $(5),(13)$, so

   $$D(5{𝒪}_K/(5))=\mathrm{Gal}(K/\mathbb{Q})=D(13{𝒪}_K/(13))$$

   On the other hand $\sigma (\sqrt{-7})\equiv -\sqrt{-7}\mathrm{mod}(5),(13)$, so $\sigma \ne \mathrm{Id}\mathrm{mod}(5),(13)$ and

   $$T(5{𝒪}_K/(5))=\{\mathrm{Id}\}=T(13{𝒪}_K/(13))$$

3. The primes $(2),(29)$ are split:

   $$2{𝒪}_K=(2,\frac{1+\sqrt{-7}}{2})(2,\frac{1-\sqrt{-7}}{2})=𝒫\cdot {𝒫}^{\prime }$$

   $$29{𝒪}_K=(29,14+\sqrt{-7})(29,14-\sqrt{-7})=ℛ\cdot {ℛ}^{\prime }$$

   so $e=f=1,g=2$ and

   $$D(𝒫/(2))=T(𝒫/(2))=\{\mathrm{Id}\}=D(ℛ/(29))=T(ℛ/(29))$$

Example 2

Let ${\zeta }_7=e^{\frac{2\pi i}{7}}$, i.e. a $7^{th}$-root of unity,and let $L=\mathbb{Q}({\zeta }_7)$. This is a cyclotomic extension of$\mathbb{Q}$ with Galois group

$$\mathrm{Gal}(L/\mathbb{Q})\cong {\left(\mathbb{Z}/7\mathbb{Z}\right)}^{\times }\cong \mathbb{Z}/6\mathbb{Z}$$

Moreover

$$\mathrm{Gal}(L/\mathbb{Q})=\{{\sigma }_a:L\to L\mid {\sigma }_a({\zeta }_7)={\zeta }_7^a,a\in {(\mathbb{Z}/7\mathbb{Z})}^{\times }\}$$

Galois theory gives us the subfields of $L$:

The discriminant of the extension $L/\mathbb{Q}$ is$D_{L/\mathbb{Q}}=-7^5$. Let ${𝒪}_L$ denote the ring ofintegers of $L$, thus ${𝒪}_L=\mathbb{Z}[{\zeta }_7]$. We use the results of http://planetmath.org/encyclopedia/PrimeIdealDecompositionInCyclotomicExtensionsOfMathbbQ.htmlthis entry to find the decomposition of the primes $2,5,7,13,29$:

1. The prime ideal $7\mathbb{Z}$ is totally ramified in $L$, and theonly prime ideal that ramifies:

   $$7{𝒪}_L={(1-{\zeta }_7)}^6={𝔗}^6$$

   Thus

   $$e(𝔗/(7))=6,f(𝔗/(7))=g(𝔗/(7))=1$$

   Note that, by the properties of the fixed fields of decompositionand inertia groups, we must have$L^{T(𝔗/(7))}=\mathbb{Q}=L^{D(𝔗/(7))}$, thus, byGalois theory,

   $$D(𝔗/(7))=T(𝔗/(7))=\mathrm{Gal}(L/\mathbb{Q})$$

2. The ideal $2\mathbb{Z}$ factors in $K$ as above,$2{𝒪}_K=𝒫\cdot {𝒫}^{\prime }$, and each of theprime ideals $𝒫,{𝒫}^{\prime }$ remains inert from $K$ to$L$, i.e. $𝒫{𝒪}_L=𝔓$, a prime idealof $L$. Note also that the order of $2\mathrm{mod}\mathrm{\hspace{0.25em}7}$ is $3$, and since $g$ is at least $2$, $2\cdot 3=6$, so $e$ must equal $1$ (recall that $efg=n$):

   $$e(𝔓/(2))=1,f(𝔓/(2))=3,g(𝔓/(2))=2$$

   Since $e=1$, $L^{T(𝔓/(2))}=L$, and $[L:L^{D(𝔓/(2))}]=3$, so

3. The ideal $(5)$ is inert, $5{𝒪}_L=𝔖$ isprime and the order of $5$ modulo $7$ is $6$. Thus:

   $$e(𝔖/(5))=1,f(𝔖/(5))=6,g(𝔖/(5))=1$$

   $$D(𝔖/(5))=\mathrm{Gal}(L/\mathbb{Q}),T(𝔖/(5))=\{\mathrm{Id}\}$$

4. The prime ideal $13\mathbb{Z}$ is inert in $K$ but it splits in$L$,$13{𝒪}_L={𝔔}_1\cdot {𝔔}_2\cdot {𝔔}_3$, and $13\equiv 6\equiv -1\mathrm{mod}\mathrm{\hspace{0.25em}7}$, so the order of $13$ is $2$:

   $$e({𝔔}_i/(13))=1,f({𝔔}_i/(13))=2,g({𝔔}_i/(13))=3$$

5. The prime ideal $29\mathbb{Z}$ is splits completely in $L$,

   $$29{𝒪}_L={\Re }_1\cdot {\Re }_2\cdot {\Re }_3\cdot \Re ^{\prime }{}_1\cdot \Re ^{\prime }{}_2\cdot \Re ^{\prime }{}_3$$

   Also $29\equiv 1\mathrm{mod}\mathrm{\hspace{0.25em}7}$, so $f=1$,

   $$e({\Re }_i/(29))=1,f({\Re }_i/(29)=1,g({\Re }_i/(29))=6$$

   $$D({\Re }_i/(29))=T({\Re }_i/(29))=\{\mathrm{Id}\}$$

Title	examples of prime ideal decomposition in number fields
Canonical name	ExamplesOfPrimeIdealDecompositionInNumberFields
Date of creation	2013-03-22 13:53:05
Last modified on	2013-03-22 13:53:05
Owner	alozano (2414)
Last modified by	alozano (2414)
Numerical id	12
Author	alozano (2414)
Entry type	Example
Classification	msc 11S15
Related topic	DecompositionGroup
Related topic	Discriminant
Related topic	NumberField
Related topic	PrimeIdealDecompositionInQuadraticExtensionsOfMathbbQ
Related topic	PrimeIdealDecompositionInCyclotomicExtensionsOfMathbbQ
Related topic	ExamplesOfRamificationOfArchimedeanPlaces