关于ω阶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模,但后者的逆命题不成立,并构造了一个适当的反例.