On a certain well defined, complete domain with unique factorization property (Q1495043)

Die Polynome \(f(z_{1},\dots,z_{n})\) von \(n\) unabhängigen Variabeln verhalten sich genau wie die ganzen rationalen Zahlen. Man kann von größten gemeinsamen Teilern eines Bereiches von solchen Funktionen sprechen, man kann sie in Primfaktoren eindeutig zerlegen. Nimmt man dagegen zwischen \(z_{1},\dots,z_{n}\) eine algebraische Relation an, so hört die Analogie auf. Der Verf. konstruiert einen Bereich, in dem trotz der Nebenbedingung die Sätze der ganzen rationalen Zahlen gelten. Gegeben alle homogenen Polynome \(F(z_{1},z_{2},\dots,z_{n})\), wo die \(z\) durch folgende Bedingung verbunden sind: \[ z_{1}^{2}+z_{2}^{2}+z_{3}^{2}+\cdots+z_{n}^{2}=0. \] In diesem Bereich beweist der Verf. die eindeutige Zerlegbarkeit inPrimfunktionen; der Bereich stellt somit einen echten holoiden, vollständigen und wohldefinierten Bereich nach \textit{König} dar.