Even dimensional higher class groups of orders (Q1006821)

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.