Regular ring/Hilbert-Kunz multiplicity/Colength/Fakt

Let ${}(R,{\mathfrak {m}})$ be a regular local ring and let ${}I$ be an ${}{\mathfrak {m}}$-primary ideal. Then ${}e_{HK}(I)=\operatorname {length} \,(R/I)$.

Einen Beweis erstellen