形式三角矩阵环上的PGF模

摘要

设是形式三角矩阵环,其中A,B是环,U是左B右A双模。证明了若BU的平坦维数有限,UA平坦维数或内射维数有限,则左是PGF模当且仅当左A-模M1是PGF模,左B-模M2/Im(φM)是PGF模,φM:U⊗AM1→M2是单射。