Автоморфизмы системы МАХ-матриц

Алгебраическая система $(\mathbf{F}_n,\oplus,\otimes)$, где
1) $\mathbf{F}_n$ – совокупность $(n\times n)$-матриц над $\mathbf{F}\cup\{-\infty\}$;
2) $A\oplus B=C=\{c_{ij}\}$, $c_{ij}=\max(a_{ij},b_{ij})$;
3) $A\otimes B=D=\{d_{ij}\}$, $d_{ij}=\max\limits_{k=1,n}(a_{ik}+b_{kj})$, называется системой МАХ-матриц. Доказана теорема о том, что все автоморфизмы системы МАХ-матриц $(\mathbf{F}_n,\oplus,\otimes)$ являются внутренними.