三角矩阵环上的(n,d)-内射模

设A,B是环,U是(B,A)-双模,n,d为非负整数,T=(AUOB)是形式三角矩阵环,首先,证明了M=(M_(1)M_(2)φ^(M))是n-表现左T-模当且仅当M1是n-表现左A-模,CokerφM是n-表现左B-模且φM:U■AM1→M2是单同态。其次,证明了当M=(M_(1)M_(2))φ^(M)是(n,d)-内射左T-模时,M1是(n,d)-内射左A-模,M2是(n,d)-内射左B-模。