A commutative ring associated with any finite projective plane (Q1074110)

Verf. ordnet jeder endlichen projektiven Ebene der Ordnung n auf folgende Weise einen kommutativen Ring R zu: Sei X die Menge der Punkte der Ebene, \(X^*:=X\cup \{\mathbf{1} \}\) (\(\mathbf{1}\) formales Symbol \(\not\in X)\), \(R:=\{\sum_{x\in X^*}a_ xx| a_ x\in {\mathbb{Z}}\}.\) Die Addition in R wird komponentenweise erklärt, die Multiplikation basisweise durch \(ab:=\sum_{x\in L}x-n\cdot \mathbf{1}\) für \(a,b\in X\), \(a\neq b\), wobei L die Verbindungsgerade von a mit b ist, \(a^ 2:=na\) (a\(\in X)\) und \(\mathbf{1} x=x\text\textbf{1} =x\) für alle \(x\in X^*\). Zu nichtisomorphen Ebenen gehören nichtisomorphe Ringe. Ist K ein Körper, so sei \(R_ K:=R\otimes_{{\mathbb{Z}}}K:\) Im Fall Char K\(+n\) ist \(R_ K\) halbeinfach, für Char \(K| n\) ist \(R_ K\) ein lokaler Ring. Mit dieser Arbeit werden frühere Ergebnisse des Autors [Proc. R. Soc. Edinburgh, Sect. A 96, 95-96 (1984; Zbl 0547.51008)] erweitert.