Let and be groups with identities and , respectively. Let be a homomorphism of groups. Let be the kernel of . Let . Which of the following is/are necessarily true?
I've never taken abstract algebra before so I have never seen anything like this. Any help would be greatly appreciated.