Each of the sets forming a direct product is said to be a direct factor. A group G is said to be a direct factor of the group if is isomorphic to the group direct product for some group H. In the case of Abelian groups, is isomorphic to the direct sum , and direct factor is a synonym for direct summand.