Cho A là một miền Noether đóng nguyên và M,N là hai A-môđun xoắn tự do sinh hữu hạn có cùng hạng r sao cho N⊂M; gọi j:N→M là đơn ánh chính tắc. (a) Chứng minh rằng, với mọi k, ⋀kj:⋀kN→⋀kM là giả đơn ánh, rằng Coker(⋀kj) là một A-môđun xoắn và rằng:
χ(Coker(⋀kj))=(k−1r−1)χ(Cokerj). (b) Dùng (a), chứng minh rằng, nếu
M là một
A-môđun xoắn tự do sinh hữu hạn, thì môđun con xoắn của
⋀kM là giả không với mọi
k và
c(⋀kM)=(k−1r−1)c(M), trong đó
M có hạng
r; đặc biệt,
c(⋀rM)=c(M).