Baer ideals in commutative semiprime rings (Q1061177): Difference between revisions

Hier bedeutet \(R\) einen kommutativen semiprimen Ring (d.h. ohne nichttriviale nilpotente Elemente) und \(R\) heißt a.c. Ring, wenn es zu \(x,y\) in \(R\) ein \(z\) in \(R\) gibt, so daß \((x)^*\cap (y)^*=(z)^*\) (wobei \(I^*\) das Annihilatorideal von \(I\) bezeichnet) und \(R\) dazu mindestens ein reguläres Element enthält. Ein Ideal \(I\) von \(R\) heißt ein (stark) Baersches Ideal, bzw. ein 0-ideal, falls \(x\in I\Rightarrow (x)^{**}\subseteq I\) (x,y,z\(\in R\), \((x)^*\cap (y)^*=(z)^*\) und \(x,y\in I\Rightarrow z\in I),\) bzw. \(I=0(S)\) für ein multiplikatives System \(S\) von \(R\), wobei \(0(S)=\{x\in R:\) \(xs=0\) für ein \(s\in S\}.\) In Sektion 3 werden zuerst verschiedene Eigenschaften dieser Ideale bewiesen und danach mit Hilfe dieser Ideale folgende Ringe \(R\) charakterisiert: reguläre Ringe (im Sinne von von Neumann) (Theorem 1); quasireguläre Ringe (d.h. Ringe \(R\) mit regulärem klassischen Quotientenring \(K\) und mindestens einem regulären Element) unter den Ringen \(R\) mit \(D:=\{x\in R: (x)^*\neq (0)\}\neq \emptyset\) (Theorem 2); quasireguläre a.c. Ringe \(R\) (Theorem 3) und die Baerschen Ringe unter den RingenR mit Einselement (Theorem 4). - In Sektion 4, wo R einen a.c. Ring bezeichnet, werden überwiegend der (beschränkt distributive) Verband \((A(R),\cap,V)\) und der (komplette) Verband \((B(R),\cap,V)\) betrachtet, wobei \(A(R)\), aus Idealen \((x)^*\) \((x\in R)\) mit \((x)^*V(y)^*=(xy)^*\) besteht und \(B(R)\) aus stark Baerschen Idealen \(I\) von \(R\) mit \[ V_{\alpha}I_{\alpha}= \{x\in R: (i_ 1)^*\cap...\cap (i_ n)^*\subseteq (x)^* \] für entsprechende \(i_ j\) in \(I_ j\) und \(n\}\). - Hier wird bewiesen: (a) \((B(R),\cap,V)\) ist zum Filterverband von \((A(R),\cap,V)\) isomorph (Theorem 5), analog zu einem Ergebnis von \textit{W. H. Cornish} [s. J. Aust. Math. Soc. 15, 70-77 (1973; Zbl 0274.06008)]; (b) Ist R quasiregulär, so sind die Idealverbände \(I(K)\) und \(I(A(R))\) zu \(B(R)\) isomorph (Theorem 6), wodurch ein Ergebnis von \textit{M. W. Evans} erweitert wird [s. Pac. J. Math. 41, 687-697 (1972; Zbl 0232.16019)]; (c) Äquivalenz verschiedener Bedingungen und der Bedingung: jedes Baersche Ideal von \(R\) (\(R\) mit Einselement) ist ein Annihilatorideal (ein Hauptideal) (Theorem 7, bzw. Theorem 9); (d) verschiedene Charakterisierungen der endlichen Produkte der Integritätsbereiche (Theorem 8 und Theorem 10).