A construction in the theory of projection algebras (Q1068140)

Es werden direkt und in etwas allgemeinerer Situation als in einer früheren Arbeit des Verf. [''Über einige hinreichende Bedingungen für Isometrie der projektiven Algebren zu den symmetrischen'' (in Russisch), Fünftes Sowjetisches Symposium über Theorie der Ringe, Algebren und Moduln, (Novosibirsk 1982, Mitteilungsthesen, 132-133)] Homomorphismen \(\phi\) : \(B\to C\) und \(\psi: C\to B\) gewisser filtrierter Algebren über einem kommutativen Ring A mit Einselement konstruiert (Proposition 1). In dieser Konstruktion spielt eine filtrierte A-Algebra K eine gewisse Rolle. Für eine Potenzreihenalgebra \(K=A[[X_ 1,...,X_ n]]\) ergibt sich daraus, daß jeder A-Retrakt von K zu einer Potenzreihenalgebra über A isomorph ist (Korollar 1). Für eine Polynomalgebra \(K=A[X_ 1,...,X_ n]\) und einen Körper A der Charakteristik Null ist jeder A-Retrakt B von K der Krullschen Dimension zwei zu der Polynomalgebra \(A[X_ 1,X_ 2]\) isomorph (Korollar 2). Zum Beweis dieses letzten Korollars wird noch ein Ergebnis von \textit{P. Russel} [Satz 3 in Math. Ann. 225, 287-302 (1981; Zbl 0438.14024)] gebraucht. Es gibt noch andere Ergebnisse.