数域P上的n阶可逆上三角矩阵的集合关于矩阵的乘法()A构成一个交换群B构成一个群C构成一个循环群D构成一个交换环