Một module $M$ trên vành $R$ gọi là biểu diễn hữu hạn nếu có một dãy khớp $F \to G \to M \to 0$ với $F,G$ là các module tự do . Chứng minh một module biểu diễn hữu hạn là flat khi và chỉ khi nó xạ ảnh .
( module flat là module làm cho hàm tử tensor khớp thêm bên trái , module xạ ảnh làm hàm tử covariant Hom khớp phải )