を単位元をもつ環とする． 対角成分が1の正方行列で，非対角成分が1つを除いて0であるものを elementary 行列 とよぶ． elementary 行列で生成される の部分群を とする． に属する，対角成分が1の上三角行列，対角成分が1の下三角行列は に属する． 補題 に…