三角矩阵环上的有限生成投射模

有限生成投射模是同调代数中的重要模类。利用三角矩阵环上投射模的已知刻画和纯子模的概念,讨论有限生成投射模的刻画。当三角矩阵环T是IF环时,作为应用,给出了有限生成投射左T-模的有限生成子模仍然是投射左T-模的刻画,其中T=(R0UR),R是一个交换环,U是一个平坦R-模。