The FIT states that if $\phi: G \rightarrow G'$ is a homomorphism, then Im($\phi$) $\cong$ $G$/Ker($\phi$).
I'm trying to break down this theorem into "understandable bits." Ker($\phi$) is the set of all elements of $G$ that gets mapped to $0$; so, this would mean that $G$/Ker($\phi$) is equal to the left cosets of these zero-mapped elements.
Im($\phi$) is the image of the homomorphism; but, according to the FIT, the image is isomorphic to the left cosets of Ker($\phi$). Doesn't this mean that these two things are "equivalent" (due to the isomorphism)? Would this translate that the left cosets of Ker($\phi$) partition the image of $\phi$? If so, what does that exactly mean? Or am I not on the right track to understanding this theorem? Thank you for your help.