Пусть G - непустое множество матриц данного вида. Оно образует группу относительно операции умножения матриц, если одновременно выполняются четыре условия:
1) для любой упорядоченной пары элементов (х,у) множества G найдётся, причём единственный, элемент z того же множества G такой, что х*у=z;
2) для любых трёх элементов x, y, z множества G выполняется закон ассоциативности: (x*y)*z=x*(y*z);
3) найдётся такой элемент e (единица группы) множества G, что для любого элемента х множества G выполняется x*e=e*x=x;
4) для любого элемента x множества G найдётся обратный элемент x^{-1} из множества G такой, что x*x^{-1}=x^{-1}*x=e.