https://en.wikipedia.org/wiki/Direct_product_of_groups
video
Under some conditions a group is isomorphic to the direct product of a pair of its subgroups. Corollary