入射加群
Qi はすべて移入加群 ⇔ ∏Qi は移入加群