Congruence Lattices of Lattices and Nonstable K-theory of Von Neumann Regular Rings
We recall that for a (unital, associative) ring R, we denote by V(R) the (conical, commutative) monoid of isomorphism classes of finitely generated projective right R-modules, see here for more details. Recall that if R is von Neumann regular, then V(R) is a refinement monoid. Denote by Idc R the (∨,0)-semilattice of finitely generated two-sided ideals of R. We denote by L(R) the lattice of all principal right ideals of a von Neumann regular ring R. It is well known that L(R) is a complemented modular lattice.
The following result was observed by Wehrung, building on earlier works mainly by Jónsson and Goodearl.
Theorem (Wehrung 1999). Let R be a von Neumann regular ring. Then the (∨,0)-semilattices Idc R and Conc L(R) are both isomorphic to the maximal semilattice quotient of V(R).
Bergman proves in a well-known unpublished note from 1986 that any at most countable distributive (∨,0)-semilattice is isomorphic to Idc R, for some locally matricial ring R (over any given field). This result is extended to semilattices of cardinality at most ℵ1 in 2000 by Wehrung, by keeping only the regularity of R (the ring constructed by the proof is not locally matricial). The question whether R could be taken locally matricial in the ℵ1 case remained open for a while, until it was disproved by Wehrung in 2004. Translating back to the lattice world by using the theorem above and using a lattice-theoretical analogue of the V(R) construction, called the dimension monoid, introduced by Wehrung in 1998, yields the following result.
Theorem (Wehrung 2004). There exists a distributive (∨,0,1)-semilattice of cardinality ℵ1 that is not isomorphic to Conc L, for any modular lattice L every finitely generated sublattice of which has finite length.
Read more about this topic: Congruence Lattice Problem
Famous quotes containing the words congruence, von, neumann, regular and/or rings:
“As for butterflies, I can hardly conceive
of ones attending upon you; but to question
the congruence of the complement is vain, if it exists.”
—Marianne Moore (18871972)
“We are on a mission: we are called to the cultivation of the earth.”
—Novalis [Friedrich Von Hardenberg] (17721801)
“It means there are times when a mere scientist has gone as far as he can. When he must pause and observe respectfully while something infinitely greater assumes control.”
—Kurt Neumann (19061958)
“[I]n our country economy, letter writing is an hors doeuvre. It is no part of the regular routine of the day.”
—Thomas Jefferson (17431826)
“Ah, Christ, I love you rings to the wild sky
And I must think a little of the past:
When I was ten I told a stinking lie
That got a black boy whipped....”
—Allen Tate (18991979)