[math] \newcommand{\mathds}{\mathbb}[/math]

This article was automatically generated from a tex file and may contain conversion errors. If permitted, you may login and edit this article to improve the conversion.

Prove that we have the formula

[[math]] \dim_{L(\Lambda)}L^2(\Gamma)=[\Gamma:\Lambda] [[/math]]

for any inclusion of ICC groups [math]\Lambda\subset\Gamma[/math]