Number fields with the same index
The index of a number field \(K\) is defined as \[ \text{ind}(K):= \gcd\{\text{ind} (\alpha)\mid \alpha\in R_k,\;K= \mathbb{Q}(\alpha)\}, \] where \(R_K\) is the ring of integers of \(K\) and \(\text{ind}(\alpha)= (R_K: \mathbb{Z} [\alpha])\) is the index of the element \(\alpha\). In 1985 \textit{E. Nart} proved that this invariant has a local nature [Trans. Am. Math. Soc. 289, 171-183 (1985; Zbl 0563.12006)]; for each prime \(p\), the \(p\)-adic valuation, \(v_p (\text{ind}(K))\), depends on the isomorphism classes of the local fields which are factors of the algebra \(K\otimes \mathbb{Q}_p\). In the Galois case all these fields are isomorphic and one has: \[ v_p(\text{ind}(K))= I_p(n[L]), \] when \(n\) is the number of prime ideals of \(K\) over \(p\), \([L]\) is the isomorphism class of the local field \(L\) obtained as the completion of \(K\) at any of these prime ideals and \(I_p\) is a function minimizing sums of \(p\)-adic valuations of crossed resultants and indices of \(n\) integral generators of \(L\) as a field over \(\mathbb{Q}_p\). For \(L/\mathbb{Q}_p\) tamely ramified the authors find in this paper an invariant of the class \([L]\), such that \(I_p(n[L])= I_p(n[L'])\) for all \(n\), if \([L]\), \([L']\) have the same invariant. Also, they prove that in the Galois case this invariant determines the isomorphy class of the Galois group \(\text{Gal}(L/\mathbb{Q}_p)\). These two facts supply evidence in favor of the possibility that two Galois extensions \(L,L'\) of the \(\mathbb{Q}_p\) have the same values of \(I_p(n[L])\) only if their Galois groups over \(\mathbb{Q}_p\) are strongly isomorphic, that is, if there is an isomorphism between them respecting the higher ramification subgroups.
This page was built for publication: Number fields with the same index
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4531913)
