Representation of Artinian partially ordered sets over semiartinian von Neuman regular algebras. (Q2270125): Difference between revisions

The paper under review investigates which Artinian partially ordered sets can be realized as \(\mathbf{Simp}_R\) (the set of representatives of a simple right \(R\)-module), or equivalently as \(\mathbf{Prim}_R\) (the set of primitive ideals of \(R\)), for some semiartinian and regular ring \(R\). This problem in turn appears as a special instance of the more general problem of determining those complete lattices which are isomorphic to \(\mathbb L_2(R)\) (the lattice of all ideals of \(R\)) for some regular ring \(R\). In the unpublished note [``Von Neumann regular rings with tailor-made ideal lattices''], \textit{G. M. Bergman} gave a rather general answer to this problem in 1986. He showed that if \(L\) is a complete and distributive lattice, which has a compact greatest element and each element of which is the supremum of compact join-irreducible elements, then there exists a unital, regular and locally matricial algebra \(R\) over any given field \(F\) such that \(\mathbb L_2(R)\) is isomorphic to \(L\). In the present paper, the author presents, for any given Artinian poset \(I\) with at least two elements and having a finite cofinal subset, a lower subset \(I'\subseteq I\) and a field \(D\), a construction which produces a semiartinian and unit-regular \(D\)-algebra \(D_I\) having the following properties: (a) \(\mathbf{Simp}_{D_I}\) is order isomorphic to \(I\), (b) the assignment \(H\mapsto\mathbf{Simp}_{D_I/H}\) realizes an anti-isomorphism from the lattice \(\mathbb L_2(D_I)\) to the lattice of all upper subsets of \(\mathbf{Simp}_{D_I}\), (c) a non-maximal element of \(\mathbf{Simp}_{D_I}\) is injective if and only if it corresponds to an element of \(I'\), thus \(D_I\) is a right \(V\)-ring if and only if \(I'=I\), (d) \(D_I\) is a right and left \(V\)-ring if and only if \(I\) is an antichain, (e) if \(I\) has finite dual Krull length, then \(D_I\) is (right and left) hereditary, (f) if \(I\) is at most countable and \(I'=\emptyset\), then \(D_I\) is a countably dimensional \(D\)-algebra. It is worth mentioning that the present research parallels to some extent the following construction by \textit{P. Ara} and \textit{M. Brustenga}: in the paper [J. Algebra 309, No. 1, 207-235 (2007; Zbl 1119.16012)], a regular \(K\)-algebra \(Q(E)\) is associated to any column-finite quiver \(E\) and field \(K\), via the Leavitt path algebra \(L(E)\) of a graph \(E\) (jointly introduced by \textit{P. Ara, M. A. Moreno} and \textit{E. Pardo}, [Algebr. Represent. Theory 10, No. 2, 157-178 (2007; Zbl 1123.16006)] and \textit{G. Abrams} and the reviewer [in J. Algebra 293, No. 2, 319-334 (2005; Zbl 1119.16011)]), in such a way that \(V(Q(E))\) (the Abelian monoid of the isomorphism classes of finitely generated projective right \(Q(E)\)-modules) is isomorphic to \(V(L(E))\). On the other hand, in the paper [\textit{P. Ara}, Trans. Am. Math. Soc. 362, No. 3, 1505-1546 (2010; Zbl 1193.16013)] a regular \(K\)-algebra \(Q(\mathbb P)\) is functorially associated to each finite poset \(\mathbb P\), in such a way that \(V(Q(\mathbb P))\) is the Abelian monoid generated by \(\mathbb P\) with the only relations given by \(p=p+q\) if and only if \(q<p\) in \(\mathbb P\). Nonetheless, if \(I\) and \(J\) are isomorphic Artinian posets, then the rings \(D_I\) and \(D_J\) turn out to be isomorphic and several nice ring and module theoretical features can be listed of \(D_I\).