# Alg7.8

From Example Problems

Prove that the kernel of a homomorphism is a subgroup of . In this proof the identity element is represented by .

__Closure__: If two elements then so .

__Identity__: .

Apply to both sides to obtain .

__Inverse__:

__Associativity__: If then which would contradict the fact that is a group.