入にゅう射しゃ加か群ぐん

noun

injective module

A module over a ring such that every injective homomorphism from a submodule can be extended to the whole module. Used in homological algebra.

• 入にゅう射しゃ加か群ぐんは、任にん意いの加か群ぐんの入にゅう射しゃ包ほう絡らくを構こう成せいするのに使つかわれる。

  Injective modules are used to construct the injective envelope of any module.

• この定てい理りは、入にゅう射しゃ加か群ぐんが十じゅう分ぶんに存そん在ざいすることを保ほ証しょうする。

  This theorem guarantees that there are enough injective modules.