(哈密顿凯莱定理)是(主理想整环上有限生成模基本定理)的一个应用。
主理想整环上有限生成模基本定理:
为主理想整环, 有限生成 模,则存在 满足:
, 皆不可逆;
将这个定理应用在: ,则在 的作用下, 成为 的模:
注意,随着 选择的不同,这个模也随之改变。
于是由主理想整环上有限生成模基本定理:
为首一多项式,我们称之为 的不变因子。
考虑自然映射 , 的核
显然 是 一个主理想,故存在极小多项式 满足 ,而这个极小多项式不是别人,就是 最后一个不变因子 :这是显然的, 是 极大的理想,并且包含其他理想 ,所以 作用在 上是零映射,即
而特征多项式 满足:
故 ,于是显然有
证明的细节就不说了,自己查书吧!【狗头】(莫宗坚、蓝以中的代数书上有~)