Congruence Lattice Problem - Congruence Lattices of Lattices and Nonstable K-theory of Von Neumann Regular Rings

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 one’s attending upon you; but to question
    the congruence of the complement is vain, if it exists.
    Marianne Moore (1887–1972)

    We are on a mission: we are called to the cultivation of the earth.
    Novalis [Friedrich Von Hardenberg] (1772–1801)

    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 (1906–1958)

    [I]n our country economy, letter writing is an hors d’oeuvre. It is no part of the regular routine of the day.
    Thomas Jefferson (1743–1826)

    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 (1899–1979)