Commutative algebras which are polynomial algebras. (Q2595697)

Ist \(p(x)\) ein Polynom mit Koeffizienten aus dem Körper \(F\), so versteht man unter der durch \(p(x)\) erzeugten ``Polynomalgebra'' das System der Restklassen \(\mod p(x)\) des Polynomringes \(F[x]\). Verf. untersucht, wann eine kommutative Algebra \(C/F\) mit Einselement zu einer Polynomalgebra isomorph ist. Es zeigt sich, daß die Entscheidung dieser Frage bei sehr allgemeinen Körpern \(F\) nur von der Struktur des Radikals von \(C\) abhängt. U. a. wird folgender Satz bewiesen: Ist \(C\) die direkte Summe der unzerlegbaren Algebren \(C_i\) mit dem Radikal \(N_i\) und \(F\) ein vollkommener Körper, der mehr Elemente enthält als Restklassenalgebren \(C_i/N_i\) gleichen Ranges auftreten, so ist \(C\) dann und nur dann zu einer Polynomalgebra isomorph, wenn für jedes \(i\) die Differenz zwischen dem Rang von \(N_i\) und \(N_i^2\) entweder verschwindet (d. h. \(N_i = 0\)) oder gleich dem Rang von \(C_i/N_i\) ist. Zum Schluß wird an einem Beispiel gezeigt, daß dieser Satz, für unvollkommene Körper \(F\) nicht mehr gilt.