English

Completeness results for metrized rings and lattices

Rings and Algebras 2021-10-15 v2 Combinatorics

Abstract

The Boolean ring BB of measurable subsets of the unit interval, modulo sets of measure zero, has proper radical ideals (e.g., {0})\{0\}) that are closed under the natural metric, but has no prime ideals closed under that metric; hence closed radical ideals are not, in general, intersections of closed prime ideals. Moreover, BB is known to be complete in its metric. Together, these facts answer a question posed by J.Gleason. From this example, rings of arbitrary characteristic with the corresponding properties are obtained. The result that BB is complete in its metric is generalized to show that if LL is a lattice given with a metric satisfying identically either the inequality d(xy,xz)d(y,z)d(x\vee y,\,x\vee z)\leq d(y,z) or the inequality d(xy,xz)d(y,z),d(x\wedge y,\,x\wedge z)\leq d(y,z), and if in LL every increasing Cauchy sequence converges and every decreasing Cauchy sequence converges, then every Cauchy sequence in LL converges; i.e., LL is complete as a metric space. We show by example that if the above inequalities are replaced by the weaker conditions d(x,xy)d(x,y),d(x,\,x\vee y)\leq d(x,y), respectively d(x,xy)d(x,y),d(x,\,x\wedge y)\leq d(x,y), the completeness conclusion can fail. We end with two open questions.

Keywords

Cite

@article{arxiv.1808.04455,
  title  = {Completeness results for metrized rings and lattices},
  author = {George M. Bergman},
  journal= {arXiv preprint arXiv:1808.04455},
  year   = {2021}
}

Comments

Lots of local rewriting of the previous version; several embarrassing misstatements (e.g., "primary" instad of "radical" in the abstract) corrected