An equivariant version of an index formula of Fröhlich and McCulloh
By Iwasawa's index formula, the order of the minus class group \(C \ell (\mathbb{Z}[\xi_p])^-\) equals the index of \(J_1^-\) in \(\mathbb{Z} G^-_1\), where \(G_1= \text{Gal}(\mathbb{Q} (\xi_p)/ \mathbb{Q})\) and \(J_1\) is the Stickelberger ideal in \(\mathbb{Z} G_1\). Using this and an index calculation of Fröhlich, \textit{L. McCulloh} [J. Algebra 68, 443-452 (1981; Zbl 0472.12004)] has shown that, for any abelian elementary \(p\)-group \(\Gamma\), the order of \(C\ell (\mathbb{Z} \Gamma)^-\) equals the index of \(J^-\) in \(\mathbb{Z} G^-\), where \(G\) is a suitable subgroup of \(\Aut_\mathbb{Z} (\Gamma)\) and \(J\) a straightforward generalization of the Stickelberger ideal. Now the Main Conjecture yields an equivalent version of Iwasawa's index formula, namely that \(C\ell(\mathbb{Z}[\xi_p])^-\) and \(\mathbb{Z} G^-_1/J_1^-\) have isomorphic composition series as \(\mathbb{Z} G_1\)-modules. Using this, the author proves that \(C\ell (\mathbb{Z} \Gamma)^-\) and \(\mathbb{Z} G^-/J^-\) have isomorphic \(\mathbb{Z} G\)-composition series.
- The Equivariant Index and Kirillov's Character Formula
- scientific article; zbMATH DE number 4103970
- scientific article; zbMATH DE number 67553
- The equivariant index theorem in entire cyclic cohomology
- The noncommutative infinitesimal equivariant index formula
- EQUIVARIANT ALGEBRAIC INDEX THEOREM
- Equivariant index formulas for orbifolds
- On equivariant indices of 1-forms on varieties
- An equivariant analog of the Poincaré-Hopf theorem
- A fixed point index for equivariant maps
- A class number formula for cyclotomic fields
- A class number formula for elementary-Abelian-group rings
- Class fields of abelian extensions of Q
- Class groups of abelian fields, and the main conjecture
- scientific article; zbMATH DE number 3788760 (Why is no real title available?)
- On relatively invariant circular units and Stickelberger elements
- On the class groups of imaginary abelian fields
- On the classgroup of integral grouprings of finite Abelian groups II
- On the Stickelberger ideal and the circular units of an abelian field
- An index formula for the de Rham complex
- On relatively invariant circular units and Stickelberger elements
- An equivariant index for proper actions. I
- The Equivariant Index and Kirillov's Character Formula
- The Brumer-Stark conjecture in some families of extensions of specified degree
- scientific article; zbMATH DE number 906964 (Why is no real title available?)
- An Equivariant Atiyah–Patodi–Singer Index Theorem for Proper Actions I: The Index Formula
- The \(\sigma \)-isotypic decomposition and the \(\sigma \)-index of reversible-equivariant systems
This page was built for publication: An equivariant version of an index formula of Fröhlich and McCulloh
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1267289)
