有限生成模.docVIP

主理想环上的扭模 总是用表示一个主理想整环。 定义 设为模，如果对任何都存在使，则称为扭模。对于中的元，定义。对于中的素元，称为的零化子模。 定理 设为扭模，则。 证：对于任意的，ann ，其中为素元，存在满足 令，则，所以。由的任意性可知。若对于素元，，即存在不同的素元，满足，，，所以。由于存在使，于是。这说明。所以。 定义 设为扭模，如果对于中的素元，，则称为模。 定理 设为模，则，其中，， 表示由生成的循环子模满足，，表示由生成的满足关系，的子模，等价地，为由（）生成的的子模。 证：存在域上的线性空间序列。由线性空间的性质可知存在线性空间的直和分解满足，，。令为的基，，。则为的基。对于，，任取一固定的满足的元素，记为。令生成的的子模为。现证的元素无关。若有不同的个元素满足且，则有，所以，。令。则。，所以，。重复以上步骤可知，，矛盾！的元素无关。所以，，。令，对于，任取一固定的满足的元素，记为，任取一固定的满足的元素，记为，如此下去，归纳地，。记生成的的子模为，现证模族无关。若有不同的元素满足且，则有，所以。令。则。于是，所以。重复以上步骤可知，，矛盾！因此模族无关。现证无关。如果，。令，，，，，，，不妨令，则。所以， 。所以。。所以，，，。。重复此过程可知，，。矛盾！无关。现证。对作归纳证明。当时，由的定义有。假设，则对任意， ，由归纳假设存在满足，所以