Abstract: Given a unital ring R and a length function on
R-modules we define a mean length function on RG-modules of a
sofic group G and establish an
addition formula for it. We then use the mean length and the
addition formula to prove an equality between the sofic mean
topological dimension and the von
Neumann-L
ück
rank. This is a joint work with Hanfeng Li.