프로젝티브 모듈과 주입성 모듈의 정의 및 동치 조건