first isomorphism theorem
English
Noun
first isomorphism theorem (uncountable)
- (mathematics, algebra, group theory) The theorem in group theory that, for any group homomorphism, the quotient group of the group by the kernel of the homomorphism is isomorphic to the image of the homomorphism.