环的广义幂级数扩张与三角矩阵扩张

设R是结合环.记Un(R)为R上的n×n上三角矩阵环,[[RS,≤]]为以R为系数以S为指数的广义幂级数环,则[[Un(R)S,≤]] Un([[RS,≤]]).同时,关于形式三角矩阵环也有类似的同构式.