问答题 设K是一个阶大于1且有单位元的整环．证明：K中元素a≠0是不可约元的充要条件是，〈a〉在K的全体真主理想中是极大的.

问答题 设M是主理想整环K的一个非零理想．证明：M是K的极大理想M是K的素理想.

问答题 证明：x2+1是多项式环Z[x]中的不可约元，但商环Z[x]/（x2+1）不是域.