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.
Direct Factor
See also
Direct Product, Direct Sum, Direct Summand, Group Direct ProductThis entry contributed by Margherita Barile
Explore with Wolfram|Alpha
Cite this as:
Weisstein, Eric W., with contributions by Margherita Barile. "Direct Factor." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/DirectFactor.html