first isomorphism theorem

English

Noun

first isomorphism theorem (uncountable)

  1. (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.