抽象代數/群論/同態/同態對映逆到逆

定理

設f是從群G到群K的同態。

設g是G的任意元素。

f(g^-1) = [f(g)]^-1

證明

0.   $f({\color {Blue}g})\circledast f({\color {BrickRed}g^{-1}})=f({\color {Blue}g}\ast {\color {BrickRed}g^{-1}})$	f是同態
1.   $f({\color {Blue}g})\circledast f({\color {BrickRed}g^{-1}})=f({\color {Blue}e_{G}})$	G中逆的定義
.
2.   $f({\color {Blue}g})\circledast f({\color {BrickRed}g^{-1}})={\color {OliveGreen}e_{K}}$	同態f對映單位到單位
3.   ${\color {BrickRed}[}f({\color {Blue}g}){\color {BrickRed}]^{-1}}\circledast f({\color {Blue}g})\circledast f({\color {BrickRed}g^{-1}})={\color {BrickRed}[}f({\color {Blue}g}){\color {BrickRed}]^{-1}}\circledast {\color {OliveGreen}e_{K}}$	由於f(g)在K中，因此它的逆[f(g)]−1也在K中
.
4.   ${\color {OliveGreen}e_{K}}\circledast f({\color {BrickRed}g^{-1}})={\color {BrickRed}[}f({\color {Blue}g}){\color {BrickRed}]^{-1}}$	K上的逆，eK是K的單位
5.   $f({\color {BrickRed}g^{-1}})={\color {BrickRed}[}f({\color {Blue}g}){\color {BrickRed}]^{-1}}$	eK是K的單位