本質子模

本質子模是模論的一種模。

基本介紹

• 中文名：本質子模
• 外文名：essential submodule
• 所屬學科：模論

簡介

本質子模(essential submodule)亦稱大子模，是一類重要的子模。它是在一定程度上可代替模本身的子模，是多餘子模的對偶概念。

定義

設K是左R模M的子模，若對M的子模L，由K∩L=0可斷言L=0(即K與M的每個非零子模都相交)，則稱K為M的本質子模，記為K M，此時，稱M是K的本質擴張。

性質

本質子模具有遺傳性，即：若N是M的本質子模，K是N的本質子模，則K也是M的本質子模。