TheoremBase

Kernel and Image of a Group Homomorphism are Subgroups

Statement

Let (G,∗G)(G,\ast_G) and (H,∗H)(H,\ast_H) be groups and let φ:G→H\varphi:G\to H be a group homomorphism. Then the kernel of φ\varphi is a subgroup of GG, and the image of φ\varphi is a subgroup of HH.

Proofs

Log in to submit a proof.

Loading...

Citations

Loading…

Dependencies

Loading…

Related

0 relations

Curated associations between results. These are editable and subjective — they do not replace the dependency graph, which is derived from the references in the text.

No relations recorded yet.

Comments

Log in to comment.

Loading…