Hasse zeta functions of non-commutative rings (Q1271124)

Es sei \({\mathbf A}\) ein nicht notwendig kommutativer endlich erzeugter Ring über \(\mathbb{Z}\), für \(r\in\mathbb{N}\) sei \({\mathbf P}_r\) die Menge der zweiseitigen Ideale \({\mathbf m}\) von \({\mathbf A}\), so dass \({\mathbf A}/{\mathbf m}\) isomorph zum Ring \(M_r({\mathbf k})\) der \(r\times r\)-Matrizen über einem endlichen Körper \({\mathbf k}\) ist, dessen Elementezahl mit \(N({\mathbf m})\) bezeichnet wird. Damit wird \({\mathbf P}=\cup_{r\in\mathbb{N}}{\mathbf P}_r\) gesetzt. Die Hassesche Zetafunktion \(\zeta_{\mathbf A}(s)\) wird formal durch \[ \zeta_{\mathbf A}(s)=\prod_{m\in P}\bigl(1-N({\mathbf m})^{-s}\bigl)^{-1} \] definiert und damit ihre klassische, für kommutatives \({\mathbf A}\) bekannte Definition verallgemeinert. Ersetzt man dabei \({\mathbf P}\) durch \({\mathbf P}_r\), so entsteht das Teilproduct \(\zeta_{{\mathbf A},r}(s)\) von \(\zeta_{\mathbf A}(s)\). Der Verf. beweist die folgenden Hauptsätze: Satz 1. Für \(r\in\mathbb{N}\) gilt: (1) \(\zeta_{{\mathbf A},r}(s)\) konvergiert absolut, wenn \(\text{Re}(s)\) hinreichend groß ist. (2) Es sein \({\mathbf F}\) ein endlicher Körper mit \(q\) Elementen und \({\mathbf A}\) eine \({\mathbf F}\)-Algebra. Dann ist \(\zeta_{{\mathbf A},r}(s)\) eine rationale Funktion von \(q^{-s}\) mit Koeffizienten aus \(\mathbb{Q}\). Satz 2. Es sei \({\mathbf H}\) eine endlich erzeugte freie Abelsche Gruppe und \({\mathbf G}\) eine Gruppe mit der exakten Sequenz \(1\to{\mathbf H}\to{\mathbf G}\to\mathbb{Z}\to 1\). Es sei \({\mathbf R}\) ein kommutativer endlich erzeugter Ring \(\neq\{0\}\) über \(\mathbb{Z}\) und \({\mathbf A}\) der Gruppenring \({\mathbf R}[{\mathbf G}]\). Dann konvergiert \(\zeta_{\mathbf A}(s)\) genau dann absolut bei hinreichend großem \(\text{Re}(s)\), wenn \({\mathbf G}\) eine nilpotente Untergruppe von endlichem Index besitzt.