純粋・応用数学・数学隣接分野（含むガロア理論）17

ｎ次正方行列は群を為す。

A+B=C；演算が必ず可能
(A+B)+C=A+(B+C)　；結合則を満たす。
A+0=A,　；単位元0が存在する。
A+(-A)=0；任意の元の逆元が存在する。