Zerfallende zyklische \(p\)-Algebren. (Q2609088)

\textit{E. Witt} benutzt für den Beweis der Residuenformel (Satz 17 der nachstehend besprochenen Arbeit) folgenden Hilfssatz des Verf.: Ist \(k = C\{t\}\) der Potenzreihenkörper über dem vollkommenen Grundkörper \(C\), und enthalten die Potenzreihen \(\beta_0, \dots, \beta_{n-1}\) nur Glieder mit negativen Potenzen von \(t\), so gilt \((t \,|\, \beta] \sim 1\) über \(k\). Verf. beweist statt dessen gleich den allgemeineren Satz: \(C\) sei ein vollkommener Unterkörper eines Körpers \(k\) der Charakteristik \(p\). Für \(\alpha \neq 0\) aus \(k\) bilden wir den Ring \(R = C\alpha + C\alpha^2 + \cdots\). Für \(\beta_0, \dots, \beta_{n-1}\) in \(R\) gilt dann \((\alpha\,|\,\beta_0, \dots, \beta_{n-1}] \sim 1\). Für \(\alpha = t^{-1}\) ergibt sich daraus der obige Hilfssatz. Der Beweis dieses Satzes ergibt sich durch Induktion nach \(n\) und Reduktion der Behauptung auf den Beweis des Zerfalls von \((\alpha\,|\,\alpha, 0, \dots, 0]\). Verf. gibt in einem weiteren Satz die Gruppe aller Vektoren \(\beta\) an, für die \((\alpha\,|\,\beta] \sim 1\) ist. Es gilt: Ist \((\alpha, \beta] \sim 1\), so ist \(\beta\) von der Form \[ \beta = \wp \gamma + \sum_{r=1}^{p-1} V^{n-1} \left(c_{n-1, r}^p \alpha^r\right) + \sum_{\substack{ r=1 \\ p\,\nmid\, r }}^{p^2-1} V^{n-2} \left(c_{n-2, r}^{p^2} \alpha^r, 0\right) + \cdots + \sum_{\substack{ r=1 \\ p\,\nmid\, r }}^{p^n-1} \left(c_{0, r}^{p^n} \alpha^r, 0, \dots, 0\right). \] (\(V\) Verschiebungszeichen für Vektoren.) Auch dieser Satz wird durch Induktion bewiesen.