直因子

構成直積的每個集合都稱為直因子。 群 被稱為群 的直因子，如果 同構於某個群 的群直積 。在阿貝爾群的情況下， 同構於直和 ，並且直因子是直和項的同義詞。