Es sei R {\displaystyle {}R} ein kommutativer Ring und seien M {\displaystyle {}M} und N {\displaystyle {}N} Moduln über R {\displaystyle {}R} .
Dann sind die n {\displaystyle {}n} -ten Extmoduln Ext n ( M , N ) {\displaystyle {}\operatorname {Ext} ^{n}(M,N)} unabhängig von der für N {\displaystyle {}N} gewählten injektiven Auflösung.
