Finite Representation Module in Ring of Formal Triangle Matrix

• 形式三角矩阵环上的有限表示模