زمرة خارج القسمة

لكل زمرة وزمرة جزئية طبيعية من ، زمرة خارج القسمة (بالإنجليزية: Quotient group أو Factor group) لـ من (وتُكتب ) هي مجموعة من المجموعات المشاركة لـ من . تُكتب عناصر هكذا: ، وتشكل هذه العناصر زمرة تحت العملية الطبيعية على الزمرة على المعامل ، وبالتالي:

ولأن جميع عناصر تظهر في مجموعة مشاركة واحدة فقط للزمرة الجزئية الطبيعية ، يكون:

حيث تدل على رتبة الزمرة. ويُستنتج هذا من مبرهنة لاغرانج عند و .[1]

تعريف

أمثلة

خصائص

مصادر

  1. Weisstein, Eric W. "Quotient Group". MathWorld.