사전

数学において、入射加群（にゅうしゃかぐん、英: injective module）、あるいは移入加群（いにゅうかぐん）とは、関手 Hom(–, E) が完全となるような加群 E のことである。 ホモロジー代数における基本的な概念のひとつ。 一般の加群 Q に対して反変関手 Hom(–, Q) は左完全である。