The $p$-component of the index of a number field $K$, ${ \rm ind}_p(K)$, depends only on the completions of $K$ at the primes over $p$. More precisely, ${\rm ind}_p(K)$ equals the index of the $\mathbb{Q}_p$-algebra $K\otimes\mathbb{Q}_p$. If $K$ is normal, then $K\otimes\mathbb{Q}_p\cong L^n$ for some $L$ normal over $\mathbb{Q}_p$ and some $n$, and we write $I_p(nL)$ for its index. In this paper we describe an effective procedure to compute $I_p(nL)$ for all $n$ and all normal and tamely ramified extensions $L$ of $\mathbb{Q}_p$, hence to determine ${\rm ind}_p(K)$ for all Galois number fields that are tamely ramified at $p$. Using our procedure, we are able to exhibit a counterexample to a conjecture of Nart (1985) on the behaviour of $I_p(nL)$.
On Ore's conjecture and its developments
DEL CORSO, ILARIA;DVORNICICH, ROBERTO
2005-01-01
Abstract
The $p$-component of the index of a number field $K$, ${ \rm ind}_p(K)$, depends only on the completions of $K$ at the primes over $p$. More precisely, ${\rm ind}_p(K)$ equals the index of the $\mathbb{Q}_p$-algebra $K\otimes\mathbb{Q}_p$. If $K$ is normal, then $K\otimes\mathbb{Q}_p\cong L^n$ for some $L$ normal over $\mathbb{Q}_p$ and some $n$, and we write $I_p(nL)$ for its index. In this paper we describe an effective procedure to compute $I_p(nL)$ for all $n$ and all normal and tamely ramified extensions $L$ of $\mathbb{Q}_p$, hence to determine ${\rm ind}_p(K)$ for all Galois number fields that are tamely ramified at $p$. Using our procedure, we are able to exhibit a counterexample to a conjecture of Nart (1985) on the behaviour of $I_p(nL)$.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
