Определение

Доказательство

Если $\phi$ - автоморфизм, то $\phi^{-1}$ - также автоморфизм.

Доказательство

$$\phi^{-1}(g_{1}g_{2})=\phi^{-1}(\phi(g_{1})\phi(g_{2}))=\phi^{-1}(\phi(g_{1}g_{2}))=g_{1}*g_{2}=\phi^{-1}(g_{1})\phi^{-1}(g_{2})$$