المجموع المباشر للزمر

في نظرية الزمر ، نقول عن الزمرة G انها مجموع مباشر لمجموعة من الزمر الجزئية {H_i} :

إذا تحقق :

• كل H_i هي زمرة جزئية طبيعية من G.
• كل زوج من الزمر الجزئية لهما تقاطع ضئيل .
• G = <{H_i}>; أي أن G تتشكل عن طريق جمع كافة الزمر الجزئية .