Order completions of semiprime rings
Order complex is an important object associated to a partially ordered set. Following a suggestion from V. A. Vassiliev (1994), we investigate an order complex associated to the partially ordered set of nontrivial ideals in a commutative ring with identity. We determine the homotopy type of the geometric realization for the order complex associated to a general commutative ring with identity. We show that this complex is contractible except for semilocal rings with trivial Jacobson radical when...
We prove that on the basis of ZF the ultrafilter theorem and the theorem of Artin-Schreier are equivalent. The latter says that every formally real field admits a total order.
We show that the Bruschlinsky group with the winding order is a homomorphism invariant for a class of one-dimensional inverse limit spaces. In particular we show that if a presentation of an inverse limit space satisfies the Simplicity Condition, then the Bruschlinsky group with the winding order of the inverse limit space is a dimension group and is a quotient of the dimension group with the standard order of the adjacency matrices associated with the presentation.
Ordered prime spectra of Boolean products of bounded -monoids are described by means of their decompositions to the prime spectra of the components.