Sofic Mean Length

Given a length function L on the R-modules of a unital ring R, for each sofic group $Γ$ we define a mean length for every locally L-finite $RΓ$-module relative to a bigger $RΓ$-module. We establish an addition formula for the mean length. We give two applications. The first one shows that for any un... View More