Homomorphism Identities
If is a homomorphism, then and .
Lemma 2.3
If is a homomorphism, then
-
.
-
for all .
Proof
The identity satisfies , so . Also, , so .
Related
Stated in
- Lemma 2.3§2.1 Introduction on Homomorphisms and Isomorphisms