text: Построим свободный модуль F {\displaystyle F} над нашим кольцом, имеющий в качестве базиса элементы, соответствующие n-кам ( e 1 m , e 2 p , … , e n s ) {\displaystyle (e_{1m},e_{2p},\dots ,e_{ns})} , определив отображение f ( e 1 m , e 2 p , … , e n s ) → ( e 1 m , e 2 p , … , e n s ) {\displaystyle f(e_{1m},e_{2p},\dots ,e_{ns})\to (e_{1m},e_{2p},\dots ,e_{ns})} и распространив его на A 1 × ⋯ × A n {\displaystyle A_{1}\times \dots \times A_{n}} по линейности.