问答题

计算题

设M是R一模,S是M的非空子集.S在R中的零化子定义为
annRS={a∈R∣ax=0,∀x∈S}
证明:若S是M的子模,则annRS是R的理想.

【参考答案】