Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Is there any way to find decomposition group and ramification groups

Let $L/K$ be a Galois extension of number fields with Galois group $G$. Let $O_K$ and $O_L$ be the ring of algebraic integers of $K$ and $L$ respectively. Let $P\subseteq O_K$ be a prime. Let $Q\subseteq O_L$ be a prime lying over $P$.

The decomposition group is defined as $$D(Q|P)=\lbrace \sigma\in G\text{ }|\text{ }\sigma(Q)=Q\rbrace$$

The $n$-th ramification group is defined as $$E_n(Q|P)=\lbrace \sigma\in G:\sigma(a)\equiv a\text{ mod } Q^{n+1}\text{ for all } a\in O_L\rbrace$$

I want to compute the decomposition group and ramification groups of the cyclotomic field $\mathbb{Q}(\zeta)$ over $\mathbb{Q}$ where $\zeta$ is a primitive $n$-th root of unity.

Is there any way to find decomposition group and ramification groups

Let $L/K$ be a Galois extension of number fields with Galois group $G$. Let $O_K$ and $O_L$ be the ring of algebraic integers of $K$ and $L$ respectively. Let $P\subseteq O_K$ be a prime. Let $Q\subseteq O_L$ be a prime lying over $P$.

The decomposition group is defined as $$D(Q|P)=\lbrace \sigma\in G\text{ }|\text{ }\sigma(Q)=Q\rbrace$$

The $n$-th ramification group is defined as $$E_n(Q|P)=\lbrace \sigma\in G:\sigma(a)\equiv a\text{ mod } Q^{n+1}\text{ for all } a\in O_L\rbrace$$

I want to compute the decomposition group and ramification groups of the cyclotomic field $\mathbb{Q}(\zeta)$ over $\mathbb{Q}$ where $\zeta$ is a primitive $n$-th root of unity.

Is there any way to find decomposition group and ramification groups

Let $L/K$ be a Galois extension of number fields with Galois group $G$. Let $O_K$ and $O_L$ be the ring of algebraic integers of $K$ and $L$ respectively. Let $P\subseteq O_K$ be a prime. Let $Q\subseteq O_L$ be a prime lying over $P$.

The decomposition group is defined as $$D(Q|P)=\lbrace \sigma\in G\text{ }|\text{ }\sigma(Q)=Q\rbrace$$

The $n$-th ramification group is defined as $$E_n(Q|P)=\lbrace \sigma\in G:\sigma(a)\equiv a\text{ mod } Q^{n+1}\text{ for all } a\in O_L\rbrace$$

I want to compute the decomposition group and ramification groups of the cyclotomic field $\mathbb{Q}(\zeta)$ over $\mathbb{Q}$ where $\zeta$ is a root of unity.

How to do this ? Any idea ?