论文部分内容阅读
本文定义了整半环上的ω-半模，也在半模范畴引入了正合列的概念，并用半模正合列刻画了ω-半模.我们也讨论了无挠半模的ω-包络，这些说明了ω-半模的定义构成了整半环上的ω-算子.类似于整环和可消半群的做法我们也定义了SM半模，SM整半环和Krull整半环，说明了无挠的ω-半模M是SM半模当且仅当M的每个子半模是有限型的，也证明了整半环R是SM半整环当且仅当R的每个理想是有限型的.通过引入ω-可逆的概念，证明了整半环R是Krull整半环当且仅当每个非零理想是ω-可逆的.