左R-模M称为ω阶Euclid模，如果对任何a，b∈M，a≠0，存在k阶可除链（k∈N），使得Ф（mk）〈Ф（a），其中Ф：M→NU{0}且满足：Ф（m）≥0对任何m∈M；Ф（m）=0当且仅......