>>581
GL(n,Z)の掛け算を覗いて二つ以上のM(n,Z)の積に分解できない
M(n,Z)の元を一応既約と解釈した