齐次可分辨的完全可约的线性变换代数的张量积

Jacobson在〔1,ch6〕中,给出了如下定义:M为一加群,A是{M,+}的自同态环,则M可以看成是忠实右A-模。如M是完全可约的A-模,则称A为完全可约的自同态环;如A还是齐次的,即M的所有不可约A-子模均同构,则称A是齐次完全可约的自同态环;如完全可约自同态环A在M所定义的有限拓扑中是闭的,则称A是可分辨的完全可约自同态环。     

左模张量积函子(Ⅱ)

在§3中,我们已经给出了zh~R-平坦模的一些初步性质与判别法则。本节给出zh~R-平坦模与古典的投射模、内射模、平坦模之间的关系,即下列定理4.1,这说明我们引入的Zh~R-平坦模的概念是合理的。先引进一条引理,它实际上是文献的一个习题。 引理 如T是从模范畴到模范畴的共变正合函子,则对于中任一复形A,n均有:H_n(TA)≌TH_n(A),其中H_n(A)表示复形A的第n个同调群,H_n(TA)表示中复形TA的第n个同调群。 定理4.1 取定K、R、S,则以下条件等价:     

左模张量积函子Ⅰ

设K={0,1,α,β,…}是一个有么元可换环,R={0,1,γ_1 γ_2,…}与S={0,1,s_1 S_2,…}均为K-环。A={0,α_1,α_2,…}是左酉R-模,C={o,c_1,c_2,…}是左酉S-模。在文献[1]中,周伯壎教授定义了A与C的左模张量积AC,它是一个左RS-模。本文中的K、R、S、A、C均如上定义;除非有特别的声明,模均表示左模;如环有么元,模就表示左酉模。 在文献中,有古典张量积(Kronecker product)的定义:如R是一环,A∈,C∈_R,则AC是一个加群,它既不是左R-模,也不是右R-模。此后,左模张量积记为,而古典张量积记为。     

R上的广义矩阵环及其应用

环R与R上的n阶全阵环M_n(R)的理想结构、它们的各种根基之间的关系已被详细地研究,有许多熟知的结果,例如见。在§2与§3中,我们定义广义矩阵环 M′(?)M,并研究 R 与 M′(?)M 的理想之间、各种根基之间的关系,我们得到定理1。R 与 M_n(R)之间关系只是定理1的特例.