Each of the sets forming a direct product is said to be a direct factor. A group is said to be a direct factor of the group if is isomorphic to the group direct product for some group . In the case of Abelian groups, is isomorphic to the direct sum , and direct factor is a synonym for direct summand.
See alsoDirect Product, Direct Sum, Direct Summand, Group Direct Product
This entry contributed by Margherita Barile