有關純子模結構研究

張金羽

（河南工業大學 理學院，河南 鄭州 450001）

有關純子模結構研究

張金羽

（河南工業大學 理學院，河南 鄭州 450001）

討論了模M的τ-撓根Tτ(M)的結構。利用Tτ(M)作為模M的τ-純子模的最小性得出結論：Tτ(M)為M的所有τ-純子模的交。

模；純子模；τ-撓根Tτ(M)

0 引言

定義1[1]設R-mod是左R-模范疇，τ是R-mod中的一個撓理論，M是左R-模。M是τ-撓模當且僅當對任意的內射模E∈τ，有

當且僅當存在一個內射模E′∈τ，使

定義2[2]設R-mod是左R-模范疇，τ是R-mod中的一個撓理論，M是左R-模。M是τ-撓自由模當且僅當存在內射模E′∈τ及集合Ω，使

是正合列；當且僅當存在內射模E∈τ，使

是正合列。

顯然，τ-撓模與τ-撓自由模是兩個對偶的概念。M既是τ-撓模又是τ-撓自由模當且僅當M=0。

1 Tτ( M)的結構描述

命題1 設τ是R-mod中的一個撓理論。M是左R-模，N是M的子模，則以下命題等價：

（i）M/N是τ-撓自由模；

（ii）存在

使

證明 （i）?（ii）由已知有內射模 ∈τ E ，使左R-模正合列

成立，因此存在模同態

其中π是自然同態。

任取

即

從而

反之，任取

有

但β為單射，得

即x∈N，從而

所以（ii）成立；

（ii）?（i）考察交換圖。由于

根據模同態基本定理，

存在唯一的模同態π↓β

使圖表可交換，即α=βπ，此時β為單的模同態，所以M/ N 是τ-撓自由模。

2 利用τ-純度刻畫τ-純子模

定義3 設N是左R-模M的子模，稱M的所有包含N的τ-純子模的交為N在M中的τ-純度，記作PurM(N)。

定理1 設τ是R-mod中的撓理論，N是左R-模M的子模，則以下命題等價：

（i）M/N是τ-撓模；

（ii）對任何

R /(N：m)是τ-撓模；

（iii）存在R的τ-稠密左理想I使Im?N。

證明 （i）?（ii）設M/N是τ-撓模，對任意的

R (m + N)是M/N的非零子模。由于τ-撓模關于子模封閉，所以 R (m + N)是τ-撓模，又知有模同構

得結論成立；

反之，設 R /(N：m)是τ-撓模，那么由（*）式及m的取法知 R (m + N)是M/N的任意非零的循環子模，并且是τ-撓模。作直和

則易見M/N是F的商模。由于τ-撓模關于直和、商模封閉，所以M/N是τ-撓模；

（ii）?（iii）如果對任何

R /(N：m)是τ-撓模，那么(N：m)是R的τ-稠密左理想，又知

所以(N：m)為所求；

反之，如果有R的τ-稠密左理想I使得

則

所以(N：m)是R的τ-稠密左理想，得 R /(N：m)是τ-撓模。

3 結論

給出了模M的τ-撓根Tτ(M)的一種新的結構描述，即Tτ(M)為M的所有τ-純子模的交。

[1] J. S. Golan. Torsion Theories[M]. New York： John Wiley & Sons. Inc, 1986.

[2] J. Rotman. An Introduction to Homological Algebra[M]. New York： Academic Press, 1979.

[3] 周伯壎.同調代數[M].北京：科學出版社,1988.

（責任編輯、校對：趙光峰）

Research on the Structure of Pure Submodule

ZHANG Jin-yu

(School of science, Henan university of Technology, Zhengzhou 450001, China)

This paper discusses the problem of the structure of τ-torsion radical Tτ(M). Depending on the theory that τ-torsion radical Tτ(M) of M which is the minimum τ-pure submodule, it draw the conclusion： Tτ(M)is the intersection of all the τ-pure submodules of M.

module; pure submodule; τ-torsion radical Tτ(M)

2011-02-26

張金羽（1970-），男，吉林四平人，碩士，河南工業大學理學院講師，研究方向為基礎數學。

O154.2

A

1009-9115(2011)05-0007-02