Définition de certains anneaux non commutatifs. Classification des extensions primitives des corps à valuation discrète. Errata. (Q2604433)

Ein \((Q, a)\)-Modul ist, wenn \(Q\) ein Körper der Charakteristik \(p\) ist, ein endlicher Modul in bezug auf den Körper mit \(p^a\) Elementen, dessen Elemente in bezug auf \(Q\) separabel algebraisch sind, und der mit jedem Element auch alle Konjugierten enthält. Die Irreduzibilität des Moduls wird als Irreduzibilität eines gewissen zugeordneten nichtkommutativen Polynoms gedeutet. \(k\) sei ein diskret bewerteter perfekter Körper mit dem Restklassenkörper \(\mathfrak k\), \(K/k\) endlich separabel mit dem Restklassenkörper \(\mathfrak K\), es sei \(\mathfrak K/\mathfrak k\) separabel. Dann kann man den Trägheitskörper und die Reihe der Verzweigungskörper ähnlich wie bei \textit{Galois}schem \(K/k\) definieren. Durchläuft \(\sigma\) die Trägheitsgruppe, dann bilden für jedes \(\nu <1\) die Restklassen der \(\dfrac{\sigma\pi-\pi}{\pi^\nu}\) (\(\pi\) ein Primelement von \(K\)), soweit diese ganz sind, einen \((\mathfrak K, \psi(\nu))\)-Modul, wo \(\delta(\eta)\) der Nenner der rationalen Zahl \(\nu\) ist und \(p \mod\delta(\nu)\) die Periode \(\psi(\nu)\) hat (der Modul ist nur für rationale \(\nu\) mit zu \(p\) primem Nenner von 0 verschieden). Im \textit{Galois}schen Fall ist \(\psi(\nu)=1\), und der Modul liegt in \(\mathfrak K\). Man erhält Bedingungen, wann \(K/k\) primitiv ist. Der Fall eines inseparablen \(\mathfrak K/\mathfrak k\) wird in nachstehend besprochener Berichtigung behandelt.