>>619の T(n, K) を上三角行列群と言う。