Open main menu

Groupprops β

Homomorph-containment is quotient-transitive

Statement

Statement with symbols

Suppose G is a group, and H \le K \le G are subgroups of G such that H is a homomorph-containing subgroup of G and K/H is a homomorph-containing subgroup of G/H. Then, K is a homomorph-containing subgroup of G.

Related facts