Welcome guest
You're not logged in.
283 users online, thereof 0 logged in

Theorem: First Isomorphism Theorem for Groups

Let $(G,\ast)$, $(H,\cdot)$ be groups and let $f:G\to N$ be a group homomorphism with the kernel $\ker(f).$ Then $(G/\ker(f),\circ)$ is a factor group $(G/\ker(f),\circ)$ and the function $$\phi:G/\ker(f)\to \operatorname{im}(f),\quad \phi(a\ker(f))=f(a)$$
between this factor group and the group of the image $\operatorname{im}(f)$ is an isomorphism, i.e. both groups are isomorphic.

| | | | | created: 2019-08-03 07:39:48 | modified: 2019-08-03 11:05:31 | by: bookofproofs | references: [677]

1.Proof: (related to "First Isomorphism Theorem for Groups")

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:

Bibliography (further reading)

[677] Modler, Florian; Kreh, Martin: “Tutorium Algebra”, Springer Spektrum, 2013