关于ω阶Euclid理想的一些性质(英文)

理想A称为ω阶Euclid理想,如果对任何a,b∈A,a≠0,有k阶可除链(k∈N),使得φ(rk)<φ(a),其中φ:A→N∪{0}且满足:φ(x)≥0对任何x∈A;(x)=0当且仅当x=0.文章建立了ω阶Euclid理想与有限可除链之间的充分必要关系,证明了ω阶Euclid理想中两个元素(至少有一个不为零)存在最大公因子和每一个ω阶Euclid理想是主理想,构造了一个适当的例子,证明了ω阶Euclid理想上每一个n阶矩阵能通过初等变换简化为标准对角阵.

关于ω阶Euclid模(英文)

左R-模M称为ω阶Euclid模,如果对任何a,b∈M,a≠0,存在k阶可除链(k∈N),使得ф(mk)<ф(a),其中ф:M→N∪{0}且满足:ф(m)≥0对任何m∈M;ф(m)=0当且仅当m=0.文章证明了:ω阶Euclid模存在着有限的可除链;每一个单模是ω阶Euclid模且ω阶Euclid模的子模是循环的;ω阶Euclid模的同态核与同态象仍是ω阶Euclid模,但后者的逆命题不成立,并构造了一个适当的反例.