Representation of artinian partially ordered sets over semiartinian Von Neumann regular algebras
arXiv:0903.1746
Abstract
If is a semiartinian Von Neumann regular ring, then the set $\Prim_{R}$ of primitive ideals of , ordered by inclusion, is an artinian poset in which all maximal chains have a greatest element. Moreover, if $\Prim_{R}$ has no infinite antichains, then the lattice $\BL_{2}(R)$ of all ideals of is anti-isomorphic to the lattice of all upper subsets of $\Prim_{R}$. Since the assignment defines a bijection from any set $\Simp_R$ of representatives of simple right -modules to $\Prim_{R}$, a natural partial order is induced in $\Simp_R$, under which the maximal elements are precisely those simple right -modules which are finite dimensional over the respective endomorphism division rings; these are always -injective. Given any artinian poset with at least two elements and having a finite cofinal subset, a lower subset $I'\sbs I$ and a field , we present a construction which produces a semiartinian and unit-regular -algebra having the following features: (a) $\Simp_{D_I}$ is order isomorphic to ; (b) the assignment $H\mapsto\Simp_{D_I/H}$ realizes an anti-isomorphism from the lattice $\BL_{2}(D_I)$ to the lattice of all upper subsets of $\Simp_{D_I}$; (c) a non-maximal element of $\Simp_{D_I}$ is injective if and only if it corresponds to an element of , thus is a right -ring if and only if ; (d) is a right \emph{and} left -ring if and only if is an antichain; (e) if has finite dual Krull length, then is (right and left) hereditary; (f) if is at most countable and $I' = \vu$, then is a countably dimensional -algebra.
52 pages. To appear in Journal of Algebra. Revised version with one reference added. Typos and one small technical issue corrected