The cyclic subfield integer index (Q5939705): Difference between revisions

Let \(G\) be a finite abelian group of order \(n\) and \(\mathbb Z[G]\) be the integral group ring. For any \(\mathbb Z[G]\)-module \(M\) let \(M_{\text{cyc}}\) be the additive subgroup \(\sum_HM^H\) of \(M\), where \(H\) ranges over all subgroups of \(G\) for which \(G/H\) is cyclic, and \(M^H\) denotes the set of \(H\)-invariants of \(M\). The author computes the index \(c(G)=[\mathbb Z[G]:\mathbb Z[G]_{\text{cyc}}]\) explicitly as follows. Let \(n=\prod_pp^{a_p}\) be the prime decomposition of \(n\) and for \(d\geq 1\) let \(O_d(G)\) be the number of elements of \(G\) of exact order \(d\). Then \(c(G)=\prod_pp^{c_p}\), where \(c_p=\frac{np^{-a_p}}2 (a_pp^{a_p}-\frac{p^{a_p}-1}{p-1}-\sum_{m\geq 1}mO_{p^m}(G))\). Let \(A\) be a Dedekind domain and let \(B\) be its integral closure in a finite abelian extension of the quotient field of \(A\) with Galois group \(G\). The author proves that the Fitting ideal \([B:B_{\text{cyc}}]_A\) of the \(A\)-module \(B/B_{\text{cyc}}\) equals to \(c(G)\cdot A\) if the following condition \((*)\) is satisfied: ``for all maximal ideals \(\mathfrak q\) of \(B\) the \(\mathfrak q\)-adic completion of \(B\) is generated by a single element as a ring extension of the completion of \(A\).'' The author mentions that the condition \((*)\) is satisfied if all residue field extensions of \(B\) over \(A\) are separable and also in the case of \(G\) cyclic of prime order and that, in general, the condition \((*)\) is equivalent to the condition that the module of differentials \(\Omega_{B/A}\) is cyclic as a \(B\)-module. In the situation where the condition \((*)\) is not satisfied the author studies the special case where \(G\) is of type \((p,p)\) for a prime number \(p\). Using the Fitting ideal \(\mathfrak d\) of \(B\)-module \(\Omega_{B/A}^2\), which can be also characterized as the smallest \(B\)-ideal for which there exists a \(B\)-module epimorphism \(\Omega_{B/A}\to B/{\mathfrak d} \times B/{\mathfrak d}\), he proves that in this case \([B:B_{\text{cyc}}]_A \cdot B=c(G)\cdot {\mathfrak d}^{p(1-p)/2}= (pB/{\mathfrak d})^{p(p-1)/2}\). An example with the noncyclic group \(G\) of order 4 where the condition \((*)\) is not satisfied is given.