Even dimensional higher class groups of orders (Q1006821): Difference between revisions
From MaRDI portal
Removed claim: author (P16): Item:Q204559 |
Changed an Item |
||
Property / author | |||
Property / author: Xue Jun Guo / rank | |||
Normal rank |
Revision as of 21:08, 10 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Even dimensional higher class groups of orders |
scientific article |
Statements
Even dimensional higher class groups of orders (English)
0 references
26 March 2009
0 references
Let \({\mathcal O}_F\) be the ring of integer of a number field \(F\), \(A\) a semisimple algebra over \(F\), and \(\Lambda\) an \({\mathcal O}_F\)-order in \(A\). The author studies the \(p\)-torsion of even dimensional higher class groups \(\text{Cl}_n(\Lambda) = \text{ker}\,(\text{SK}_n(\Lambda) \to \bigoplus_{\mathfrak p}\text{SK}_n(\Lambda_{\mathfrak p}))\), where \({\mathfrak p}\) runs through all prime ideals of \({\mathcal O}_F\), and \(\text{SK}_n(\Lambda) = \text{ker}(K_n(\Lambda) \to K_n(A))\). It is shown that \(p\)-torsion in \(\text{Cl}_{2n}(\Lambda)\) can only occur if \(p|[\Lambda : A]\) or \(p\) lies over some prime ideal of \({\mathcal O}_F\) at which \(\Lambda_{\mathfrak p}\) is not maximal. In addition, \(\text{Cl}_{2n}\) can have nontrivial \(p\)-torsion for \(p|[A:F]\) even if \(\Lambda_{\mathfrak p}\) is maximal for all prime ideals \({\mathfrak p}|p\). As for \(\text{Cl}_{2n+1}(\Lambda)\), previously [\textit{M. Kolster} and \textit{R. C. Laubenbacher}, Math. Z. 228, No. 2, 229--246 (1998; Zbl 0908.19002)] it was proved that in that case \(p\)-torsion is possible only for \(p\) lying under the prime ideals of \({\mathcal O}_F\) at which \(\Lambda\) is not maximal.
0 references
higher class group
0 references
\(K\)-theory
0 references
semi-simple algebra
0 references
order
0 references