極大子模

介紹
極大子模(maximal submodule)一類重要子模.若N是A模M的真子模,並且不存在嚴格包含N的M的真子模(即,若N'是M的真子模,且N'?N,則一定有N' = N成立),則稱N是M的極大A子模.並不是所有的A模都有極大子模.若M是有限生成的非零A模,則M必有極大子模,並且M的每個真子模必被包含在一個極大子模內.投射模一定有極大子模.若N是模M的極大子模,則商模M/N是單模.

相關詞條

熱門詞條

聯絡我們