Для доказательства теоремы необходимо проверить аксиомы группы и коммутативность операции сложения матриц.

Для записи аксиом и свойств в общем виде будем использовать следующие обозначения:

• «$\ast$» — Бинарная алгебраическая операция (БАО);
• «$G$» — множество, на котором определена соответствующая БАО;
• «$g_{1}$», «$g_{2}$», «$g_{3}$», «${g}’$» — элементы множества $G.$

Ассоциативность

В общем виде аксиома ассоциативности группы выглядит так: $$\forall g_{1},\,g_{2},\,g_{3}\in G\;\left (g_{1}\ast g_{2}\right )\ast g_{3}=g_{1}\ast \left (g_{2}\ast g_{3}\right ).$$ Запишем ее для множества матриц размеров $m\times n:$ $$\forall A,B,C\in M_{m\times n}\left ( P \right )\;\left ( A+B \right )+C=A+\left ( B+C \right ).$$

Пусть $$A=\left(\begin{matrix}a_{11}&a_{12} & \cdots &a_{1n} \\a_{21}&a_{22} & \cdots &a_{2n}\\\cdot &\cdot &\cdot &\cdot \\a_{m1}&a_{m2}&\cdots &a_{mn} \end{matrix}\right),\; B=\left(\begin{matrix}b_{11}&b_{12} & \cdots &b_{1n} \\b_{21}&b_{22} & \cdots &b_{2n}\\\cdot &\cdot &\cdot &\cdot \\b_{m1}&b_{m2}&\cdots &b_{mn} \end{matrix}\right),$$ $$C=\left(\begin{matrix}c_{11}&c_{12} & \cdots &c_{1n} \\c_{21}&c_{22} & \cdots &c_{2n}\\\cdot &\cdot &\cdot &\cdot \\c_{m1}&c_{m2}&\cdots &c_{mn} \end{matrix}\right);$$ $$\left (A+B\right )+C=\left( \left(\begin{matrix}a_{11}&a_{12} & \cdots &a_{1n} \\a_{21}&a_{22} & \cdots &a_{2n}\\\cdot &\cdot &\cdot &\cdot \\a_{m1}&a_{m2}&\cdots &a_{mn} \end{matrix}\right)+\left(\begin{matrix}b_{11}&b_{12} & \cdots &b_{1n} \\b_{21}&b_{22} & \cdots &b_{2n}\\\cdot &\cdot &\cdot &\cdot \\b_{m1}&b_{m2}&\cdots &b_{mn} \end{matrix}\right) \right) +$$ $$+\left(\begin{matrix}c_{11}&c_{12} & \cdots &c_{1n} \\c_{21}&c_{22} & \cdots &c_{2n}\\\cdot &\cdot &\cdot &\cdot \\c_{m1}&c_{m2}&\cdots &c_{mn}\end{matrix}\right)=\left(\begin{matrix}a_{11}+b_{11}&a_{12}+b_{12} & \cdots &a_{1n}+b_{1n} \\a_{21}+b_{21}&a_{22}+b_{22} & \cdots &a_{2n}+b_{2n}\\\cdot &\cdot &\cdot &\cdot \\a_{m1}+b_{m1}&a_{m2}+b_{m2}&\cdots &a_{mn}+b_{mn}\end{matrix}\right)+$$ $$+\left(\begin{matrix}c_{11}&c_{12} & \cdots &c_{1n} \\c_{21}&c_{22} & \cdots &c_{2n}\\\cdot &\cdot &\cdot &\cdot \\c_{m1}&c_{m2}&\cdots &c_{mn} &\end{matrix}\right)=$$ $$=\left(\begin{matrix}a_{11}+b_{11}+c_{11}&a_{12}+b_{12}+c_{12} & \cdots &a_{1n}+b_{1n}+c_{1n} \\a_{21}+b_{21}+c_{21}&a_{22}+b_{22}+c_{22} & \cdots &a_{2n}+b_{2n}+c_{2n}\\\cdot &\cdot &\cdot &\cdot \\a_{m1}+b_{m1}+c_{m1}&a_{m2}+b_{m2}+c_{m2}&\cdots &a_{mn}+b_{mn}+c_{mn} \end{matrix}\right);$$ $$A+\left ( B+C \right )=\left(\begin{matrix}a_{11}&a_{12} & \cdots &a_{1n} \\a_{21}&a_{22} & \cdots &a_{2n}\\\cdot &\cdot &\cdot &\cdot \\a_{m1}&a_{m2}&\cdots &a_{mn} \end{matrix}\right)+$$ $$+\left(\left(\begin{matrix}b_{11}&b_{12} & \cdots &b_{1n} \\b_{21}&b_{22} & \cdots &b_{2n}\\\cdot &\cdot &\cdot &\cdot \\b_{m1}&b_{m2}&\cdots &b_{mn} \end{matrix}\right)+\left(\begin{matrix}c_{11}&c_{12} & \cdots &c_{1n} \\c_{21}&c_{22} & \cdots &c_{2n}\\\cdot &\cdot &\cdot &\cdot \\c_{m1}&c_{m2}&\cdots &c_{mn} \end{matrix}\right) \right)=$$ $$=\left(\begin{matrix}a_{11}&a_{12} & \cdots &a_{1n} \\a_{21}&a_{22} & \cdots &a_{2n}\\\cdot &\cdot &\cdot &\cdot \\a_{m1}&a_{m2}&\cdots &a_{mn} \end{matrix}\right)+\left(\begin{matrix}b_{11}+c_{11}&b_{12}+c_{12} & \cdots &b_{1n}+c_{1n} \\b_{21}+c_{21}&b_{22}+c_{22} & \cdots &b_{2n}+c_{2n}\\\cdot &\cdot &\cdot &\cdot \\b_{m1}+c_{m1}&b_{m2}+c_{m2}&\cdots &b_{mn}+c_{mn} \end{matrix}\right)=$$ $$=\left(\begin{matrix}a_{11}+b_{11}+c_{11}&a_{12}+b_{12}+c_{12} & \cdots &a_{1n}+b_{1n}+c_{1n} \\a_{21}+b_{21}+c_{21}&a_{22}+b_{22}+c_{22} & \cdots &a_{2n}+b_{2n}+c_{2n}\\\cdot &\cdot &\cdot &\cdot\\a_{m1}+b_{m1}+c_{m1}&a_{m2}+b_{m2}+c_{m2}&\cdots &a_{mn}+b_{mn}+c_{mn} \end{matrix}\right).$$

$\left ( A+B \right )+C=A+\left ( B+C \right )\Rightarrow $ операция ассоциативна.

Аксиома нейтрального элемента

В общем виде аксиома нейтрального элемента группы выглядит так: $$\exists e\in G:\;\forall g\in G\;g\ast e=e\ast g=g.$$ Запишем ее для множества матриц размеров $m\times n:$ $$\exists O\in M_{m\times n}\left ( P \right ):\;\forall A\in M_{m\times n}\left ( P \right )\;A+O=O+A=A.$$ В нашем случае нейтральным элементом является нулевая матрица $O\in M_{m\times n}\left ( P \right ).$

Пусть $$A=\left(\begin{matrix}a_{11}&a_{12} & \cdots &a_{1n} \\a_{21}&a_{22} & \cdots &a_{2n}\\\cdot &\cdot &\cdot &\cdot \\a_{m1}&a_{m2}&\cdots &a_{mn} \end{matrix}\right),\; O =\left(\begin{matrix}0&0 & \cdots &0 \\0&0 & \cdots &0\\\cdot &\cdot &\cdot &\cdot \\0&0&\cdots &0 \end{matrix}\right).$$$$A+O=\left(\begin{matrix}a_{11}&a_{12} & \cdots &a_{1n} \\a_{21}&a_{22} & \cdots &a_{2n}\\\cdot &\cdot &\cdot &\cdot \\a_{m1}&a_{m2}&\cdots &a_{mn} \end{matrix}\right)+\left(\begin{matrix}0&0 & \cdots &0 \\0&0 & \cdots &0\\\cdot &\cdot &\cdot &\cdot \\0&0&\cdots &0 \end{matrix}\right)=$$ $$=\left(\begin{matrix}a_{11}+0&a_{12}+0 & \cdots &a_{1n}+0 \\a_{21}+0&a_{22}+0 & \cdots &a_{2n}+0\\\cdot &\cdot &\cdot &\cdot \\a_{m1}+0&a_{m2}+0&\cdots &a_{mn}+0 \end{matrix}\right)=\left(\begin{matrix}a_{11}&a_{12} & \cdots &a_{1n} \\a_{21}&a_{22} & \cdots &a_{2n}\\\cdot &\cdot &\cdot &\cdot \\a_{m1}&a_{m2}&\cdots &a_{mn} \end{matrix}\right)=A.$$ $$O+A=\left(\begin{matrix}0&0 & \cdots &0 \\0&0 & \cdots &0\\\cdot &\cdot &\cdot &\cdot \\0&0&\cdots &0 \end{matrix}\right)+\left(\begin{matrix}a_{11}&a_{12} & \cdots &a_{1n} \\a_{21}&a_{22} & \cdots &a_{2n}\\\cdot &\cdot &\cdot &\cdot \\a_{m1}&a_{m2}&\cdots &a_{mn} \end{matrix}\right)=$$ $$=\left(\begin{matrix}0+a_{11}&0+a_{12} & \cdots &0+a_{1n} \\0+a_{21}&0+a_{22} & \cdots &0+a_{2n}\\\cdot &\cdot &\cdot &\cdot \\0+a_{m1}&0+a_{m2}&\cdots &0+a_{mn} \end{matrix}\right)=\left(\begin{matrix}a_{11}&a_{12} & \cdots &a_{1n} \\a_{21}&a_{22} & \cdots &a_{2n}\\\cdot &\cdot &\cdot &\cdot \\a_{m1}&a_{m2}&\cdots &a_{mn} \end{matrix}\right)=A.$$

$A+O=O+A=A\Rightarrow $ $O$ — нейтральный элемент.

Аксиома симметричных элементов

В общем виде аксиома симметричных элементов группы выглядит так: $$\forall g\in G\;\exists{g}’\in G:\;g\ast{g}’={g}’\ast g=e.$$ Запишем ее для множества матриц размеров $m\times n:$ $$\forall A\in M_{m\times n}\left ( P \right )\;\exists\left ( -A \right )\in M_{m\times n}\left ( P \right ):\;A+\left ( -A \right )=-A+A=O.$$

Пусть $$A=\left(\begin{matrix}a_{11}&a_{12} & \cdots &a_{1n} \\a_{21}&a_{22} & \cdots &a_{2n}\\\cdot &\cdot &\cdot &\cdot \\a_{m1}&a_{m2}&\cdots &a_{mn} \end{matrix}\right);$$ $$-A=-\left(\begin{matrix}a_{11}&a_{12} & \cdots &a_{1n} \\a_{21}&a_{22} & \cdots &a_{2n}\\\cdot &\cdot &\cdot &\cdot \\a_{m1}&a_{m2}&\cdots &a_{mn} \end{matrix}\right)=\left(\begin{matrix}-a_{11}&-a_{12} & \cdots &-a_{1n} \\-a_{21}&-a_{22} & \cdots &-a_{2n}\\\cdot &\cdot &\cdot &\cdot \\-a_{m1}&-a_{m2}&\cdots &-a_{mn} \end{matrix}\right).$$ $$A+\left ( -A \right )=\left(\begin{matrix}a_{11}&a_{12} & \cdots &a_{1n} \\a_{21}&a_{22} & \cdots &a_{2n}\\\cdot &\cdot &\cdot &\cdot \\a_{m1}&a_{m2}&\cdots &a_{mn} \end{matrix}\right)+\left(\begin{matrix}-a_{11}&-a_{12} & \cdots &-a_{1n} \\-a_{21}&-a_{22} & \cdots &-a_{2n}\\\cdot &\cdot &\cdot &\cdot \\-a_{m1}&-a_{m2}&\cdots &-a_{mn} \end{matrix}\right)=$$ $$=\left(\begin{matrix}a_{11}-a_{11}&a_{12}-a_{12} & \cdots &a_{1n}-a_{1n} \\a_{21}-a_{21}&a_{22}-a_{22} & \cdots &a_{2n}-a_{2n}\\\cdot &\cdot &\cdot &\cdot \\a_{m1}-a_{m1}&a_{m2}-a_{m2}&\cdots &a_{mn}-a_{mn} \end{matrix}\right)=\left(\begin{matrix}0&0 & \cdots &0 \\0&0 & \cdots &0\\\cdot &\cdot &\cdot &\cdot \\0&0&\cdots &0 \end{matrix}\right)=O;$$$$-A+A=\left(\begin{matrix}-a_{11}&-a_{12} & \cdots &-a_{1n} \\-a_{21}&-a_{22} & \cdots &-a_{2n}\\\cdot &\cdot &\cdot &\cdot \\-a_{m1}&-a_{m2}&\cdots &-a_{mn} \end{matrix}\right)+\left(\begin{matrix}a_{11}&a_{12} & \cdots &a_{1n} \\a_{21}&a_{22} & \cdots &a_{2n}\\\cdot &\cdot &\cdot &\cdot \\a_{m1}&a_{m2}&\cdots &a_{mn} \end{matrix}\right)=$$ $$=\left(\begin{matrix} -a_{11}+a_{11}&-a_{12}+a_{12} & \cdots &-a_{1n}+a_{1n} \\-a_{21}+a_{21}&-a_{22}+a_{22} & \cdots &-a_{2n}+a_{2n}\\\cdot &\cdot &\cdot &\cdot \\-a_{m1}+a_{m1}& -a_{m2}+a_{m2}&\cdots &-a_{mn}+a_{mn} \end{matrix}\right)=\left(\begin{matrix}0&0 & \cdots &0 \\0&0 & \cdots &0\\\cdot &\cdot &\cdot &\cdot \\0&0&\cdots &0 \end{matrix}\right)=O.$$

$A+\left ( -A \right )=-A+A=O \Rightarrow$ $A$ и $-A$ — симметричные элементы.

Коммутативность

Проверив все аксиомы, мы доказали, что $\left ( M_{m\times n} \left ( P \right ),\,+\right )$ — группа. Чтобы доказать, что она абелева, проверим коммутативность опреации.

Общий вид: $$\forall g_{1},g_{2}\in G\;g_{1}\ast g_{2}=g_{2}\ast g_{1}.$$ Для множества матриц размеров $m\times n:$ $$\forall A,B\in M_{m\times n}\left ( P \right )\;A+B=B+A.$$

Пусть $$A=\left(\begin{matrix}a_{11}&a_{12} & \cdots &a_{1n} \\a_{21}&a_{22} & \cdots &a_{2n}\\\cdot &\cdot &\cdot &\cdot \\a_{m1}&a_{m2}&\cdots &a_{mn} \end{matrix}\right),\; B=\left(\begin{matrix}b_{11}&b_{12} & \cdots &b_{1n} \\b_{21}&b_{22} & \cdots &b_{2n}\\\cdot &\cdot &\cdot &\cdot \\b_{m1}&b_{m2}&\cdots &b_{mn} \end{matrix}\right);$$ $$A+B=\left(\begin{matrix}a_{11}&a_{12} & \cdots &a_{1n} \\a_{21}&a_{22} & \cdots &a_{2n}\\ \cdot &\cdot &\cdot &\cdot \\a_{m1}&a_{m2}&\cdots &a_{mn} \end{matrix}\right)+\left(\begin{matrix}b_{11}&b_{12} & \cdots &b_{1n} \\b_{21}&b_{22} & \cdots &b_{2n}\\\cdot &\cdot &\cdot &\cdot \\b_{m1}&b_{m2}&\cdots &b_{mn} \end{matrix}\right)=$$ $$=\left(\begin{matrix}a_{11}+b_{11}&a_{12}+b_{12} & \cdots &a_{1n}+b_{1n} \\a_{21}+b_{21}&a_{22}+b_{22} & \cdots &a_{2n}+b_{2n}\\\cdot &\cdot &\cdot &\cdot \\a_{m1}+b_{m1}&a_{m2}+b_{m2}&\cdots &a_{mn}+b_{mn}\end{matrix}\right);$$ $$B+A=\left(\begin{matrix}b_{11}&b_{12} & \cdots &b_{1n} \\b_{21}&b_{22} & \cdots &b_{2n}\\\cdot &\cdot &\cdot &\cdot \\b_{m1}&b_{m2}&\cdots &b_{mn} \end{matrix}\right)+\left(\begin{matrix}a_{11}&a_{12} & \cdots &a_{1n} \\a_{21}&a_{22} & \cdots &a_{2n}\\\cdot &\cdot &\cdot &\cdot \\a_{m1}&a_{m2}&\cdots &a_{mn} \end{matrix}\right)=$$ $$=\left(\begin{matrix}b_{11}+a_{11}&b_{12}+a_{12} & \cdots &b_{1n}+a_{1n} \\b_{21}+a_{21}&b_{22}+a_{22} & \cdots &b_{2n}+a_{2n}\\\cdot &\cdot &\cdot &\cdot \\b_{m1}+a_{m1}&b_{m2}+a_{m2}&\cdots &b_{mn}+a_{mn} \end{matrix}\right)=$$ $$=\left(\begin{matrix}a_{11}+b_{11}&a_{12}+b_{12} & \cdots &a_{1n}+b_{1n} \\a_{21}+b_{21}&a_{22}+b_{22} & \cdots &a_{2n}+b_{2n}\\\cdot &\cdot &\cdot &\cdot \\a_{m1}+b_{m1}&a_{m2}+b_{m2}&\cdots &a_{mn}+b_{mn}\end{matrix}\right).$$

$A+B=B+A\Rightarrow$ операция коммутативна.

Доказав три аксиомы группы и коммутативность, мы доказали теорему об аддитивной группе матриц.