2014  2015

ُّ
‫الزمرة وتشاكالتها‬
Groups and its Homomorphism
 ‫ج‬‫ال‬
‫ُّ‬ ‫م‬
‫‪Syrian Arab Republic‬‬ ‫هو َّرية الع يرَّية السو َّرية‬

‫‪Minister of Education‬‬ ‫ورارة ا َّلت يرَّية‬

‫ن‬ ‫م‬ ‫ل‬‫ل‬
‫‪National Centre for Distinguished‬‬ ‫المركر الوطني مت يرن‬

‫حلقة بحث في مادة الرياضيات‬

‫ُّ‬
‫الزمرة وتشاكالتها‬
‫‪Groups and its Homomorphism‬‬
‫تقديم ال َّطالية ‪ :‬يترور غايم ديث ‪.‬‬

‫ياشراف الأسياد ‪ :‬حييث عيسي ‪.‬‬

‫‪2014  2015‬‬ ‫العام الدراسي‬

‫‪1‬‬
 ‫ه‬‫ف‬‫ال‬
‫رس ‪:‬‬
‫رقم الصفحة‬ ‫العنوان‬

‫‪1‬‬ ‫الغالف‬
‫‪2‬‬ ‫الفهرس‬
‫‪3‬‬ ‫املقدمة‬
‫‪3‬‬ ‫إشكالية البحث‬
‫‪3‬‬ ‫األهداف‬
‫‪4‬‬ ‫خمطط حلقة البحث‬
‫‪5‬‬ ‫الباب األول (العمليات الثُّنائية)‬
‫‪8‬‬ ‫الباب ال َّثانيّ (تعريف الزُّمرة وأهمُّ خصائصها )‬
‫‪11‬‬ ‫الباب ال َّثالث (التشاكالت)‬
‫‪23‬‬ ‫اخلامتة‬
‫‪23‬‬ ‫النتائج والتَّوصيات‬
‫‪24‬‬ ‫املصادر واملراجع‬

‫‪2‬‬
 ‫المقدمة ‪:‬‬
‫لطاملا كانت الرياضيات علماً ال يُعرَف له حدود ‪ ,‬علماً تتعدد فروعه و موضوعاته اليت تغين باقي العلوم وتساعدها على التَّطور والتَّقدم ‪,‬‬

‫علماً ميسُّ حياتنا يف كلِّ يومٍ ويف كلِّ ساعةٍ ودقيقةٍ ‪ ,‬والزُّمرة فرع من هذه الفروع اليت ال ميكننا االستغناء عنها أو التَّغاضي عن ال َّتعرف عليها‪,‬‬

‫وما ال يعلمه كثريون أن هنالك العديد من األحباث واالكتشافات العلمية مل تكن لتتمّ لوال الزُّمرة ‪ ,‬و يسمح لنا مبدأ الزمر القائم على تصنيف‬

‫العناصر وعملياهتا الثنائية على أساس طبيعتها‪ ،‬بالتعامل مبرونة مع الكيانات ذات األصول الرياضية املتنوعة يف اجلرب اجملرد وغريه مع احلفاظ‬

‫على جوانبها البنيوية األساسية‪.‬لذا يف هذا البحث سوف نتعرف على أهمّ املفاهيم املرتبطة بالزُّمرة‪.‬‬

‫ل‬
‫اشكالية ا حلقة ‪:‬‬
‫ما هو مفهموم الزمرة ؟‬

‫هل ميكن االستغناء عن التعريف األساسي للزمرة؟‬

‫ما املقصود بتشاكالت الزمر ؟‬

‫ما هي نواة التشاكل ؟‬

‫متى يصبح التشاكل متاثالً ؟‬

‫اهداف حلقة البحث ‪:‬‬

‫‪ ‬إغناء املعارف واملهارات املرتبطة بالزمرة وأهم خصائصها ‪.‬‬

‫‪ ‬التعريف بالزمر اجلزئية والدورية ‪.‬‬

‫‪ ‬تعريف تشاكالت الزمر و أهم املربهنات اليت توضح مفهومه ‪.‬‬

‫‪ ‬التعرف على نواة التشاكل والتَّماثل ‪.‬‬

‫‪3‬‬
 ‫ح‬ ‫ب‬‫ل‬‫ا‬ ‫ل‬ ‫ح‬ ‫ط‬‫خ‬‫م‬
‫ط ة ث‪:‬‬ ‫ق‬
‫الباب األول ‪ :‬العمليات الثُّنائية (‪.)Binary operation‬‬

‫الباب الثَّاني ‪ :‬الزُّمرة (‪.)Group‬‬

‫الفصل األول ‪ :‬تعريف الزُّمرة وخصائصها ‪.‬‬

‫الفصل الثَّانيّ ‪ :‬الزُّمر اجلزئية ‪.‬‬

‫الباب الثَّالث ‪ :‬تشاكالت الزمرة (‪)Group's Homomorphism‬‬

‫الفصل األول ‪ :‬تعريف التشاكل ‪.‬‬

‫الفصل الثَّاني ‪ :‬خصائص التشاكل والتماثل ‪.‬‬

‫‪4‬‬
 ‫الباب األول ‪:‬العمليات الثُّنائية (‪:)Binary operation‬‬

‫تطبيقا ً من‬ ‫‪ A‬إذا كانت *‬ ‫لتكن ‪ A‬مجموعة غير خالية ‪.‬نقول إن *‬

‫عملية ثنائية (‪ )Binary operation‬على‬
‫أن ‪ *( x , y )  A‬لكل ‪ , ( x , y )  A‬سنكتب ‪ x * y‬بدالً من ) ‪ ' *( x , y‬ونقول‬ ‫‪ A  A‬إلى ‪, A‬أي َّ‬
‫إن ‪ A‬مجموعة مغلقة بالنسبة للعملية * ‪.‬‬
‫َّ‬
‫مثال(‪:)1,1‬‬

‫ولكن‬ ‫‪3,8  N‬‬ ‫وذلك ألن‬ ‫‪N‬‬ ‫عملية ثنائية على ‪ N‬ولكن ‪ ‬ليست عملية ثنائية على‬ ‫‪‬‬ ‫نالحظ أن‬
‫ليست مغلقة بالنسبة للعملية ‪. ‬‬ ‫‪N‬‬ ‫‪ , 3  8  5  N‬أي أن‬
‫نظاما ً جبريا ً‬ ‫)*‪(A ,‬‬ ‫فإننا نسمي الزوج المرتب‬ ‫‪A‬‬ ‫عملية ثنائيَّة على المجموعة‬ ‫إذا كانت *‬

‫(‪.)algebraic system‬‬
‫تعريف (‪:)1,1‬‬

‫نظاما ً جبرياً‪:‬‬ ‫)*‪(A ,‬‬ ‫ليكن‬

‫‪.‬‬ ‫‪x , y ,z A‬‬ ‫لكل‬ ‫‪x * ( y * z )  (x * y ) * z‬‬ ‫تجميعية (‪ )Associative‬إذا كان‬ ‫نقول إن *‬ ‫‪(1‬‬

‫‪.‬‬ ‫‪x , y A‬‬ ‫لكل‬ ‫‪x * y  y *x‬‬ ‫إبداليَّة (‪ )Commutative‬إذا كان‬ ‫‪ )2‬نقول إن *‬
‫مثال(‪:)1,2‬‬

‫أو ‪ Q‬أو ‪ C‬أو ‪ ) Z‬إبدالية وتجميعية ‪.‬‬ ‫‪( R‬أو ‪R ‬‬ ‫كل من عمليتي الجمع والضرب على‬

‫مثال(‪:)1,3‬‬

‫عملية‬ ‫هي عملية تحصيل التطبيقات‪ .‬نالحظ أن‬ ‫ولتكن‬ ‫لتكن ) ‪ F ( R‬هو مجموعة التطبيقات من ‪R  R‬‬
‫تجميعية ألنه لكل ) ‪ f , g , h  F ( R‬ولكل ‪ x  R‬لدينا ‪:‬‬
‫) ‪[ h ( g f )]( x )  h (( g h )(x ))  h ( g (f (x )))  ( h g )(f ( x ))  [( h g ) f ]( x‬‬

‫‪h ( g f )  (h g ) f‬‬ ‫إذاً‪:‬‬

‫و‬ ‫‪g (x )  x  2‬‬ ‫ليست عملية إبدالية ‪ ,‬على سبيل المثال إذا كانت‬ ‫ولكن‬

‫‪5‬‬
 ‫َّ‬
‫فإن‪:‬‬ ‫‪f (x )  x 2‬‬
‫‪( g f )(x )  g (f (x ))  g (x 2 )  x 2  2‬‬
‫‪(f‬‬ ‫‪g )(x )  f ( g (x ))  f (x  2)  (x  2) 2  x 2  2‬‬
‫‪f‬‬ ‫‪g g f‬‬ ‫ولذا َّ‬
‫فإن ‪:‬‬
‫مثال (‪:)1,4‬‬

‫على‬ ‫في النظام الجبري )‪, (M mn (R ), ‬حيث ) ‪ M mn (R‬هي مجموعة المصفوفات من الدرجة ‪m  n‬‬
‫‪ R‬وحيث ‪ ‬عملية تجميعية و إبدالية ‪,‬ألن ‪:‬‬
‫‪A  (B  C )  (A  B )  C‬‬
‫‪.‬‬ ‫) ‪A , B ,C  M mn (R‬‬ ‫لكل‬ ‫‪A B B A‬‬
‫مثال (‪:)1,5‬‬
‫‪‬‬ ‫‪‬‬
‫‪:‬‬ ‫‪a‬‬ ‫‪,‬‬ ‫‪b‬‬ ‫‪,‬‬ ‫‪c‬‬ ‫‪‬‬‫‪Q‬‬ ‫تجميعية و إبدالية ألنَّه لكل‬ ‫‪*.‬‬ ‫‪a‬‬ ‫‪,‬‬ ‫‪b‬‬ ‫‪‬‬‫‪Q‬‬ ‫لكل‬ ‫‪a *b ‬‬
‫‪ab‬‬
‫حيث‬ ‫)*‪(Q  ,‬‬ ‫في النظام‬
‫‪2‬‬
‫‪bc abc‬‬
‫* ‪a * (b * c )  a‬‬ ‫‪‬‬
‫‪2‬‬ ‫‪4‬‬
‫‪ab‬‬ ‫‪abc‬‬
‫‪(a * b ) * c ‬‬ ‫‪*c ‬‬
‫‪2‬‬ ‫‪4‬‬
‫تجميعية‪.‬‬ ‫*‬ ‫وبالتالي العملية‬

‫‪ab ba‬‬
‫‪a *b ‬‬ ‫‪‬‬ ‫‪ b *a‬‬
‫‪2‬‬ ‫‪2‬‬
‫ومنه العملية * إبدالية‪.‬‬
‫مثال (‪:)1,6‬‬

‫) ‪ (a , b ) * (c , d )  (ac , b  d‬تكون * تجميعية وإبدالية‬ ‫في النظام )*‪ R ,‬‬

‫*‬
‫َّ‬
‫ألن ‪:‬‬ ‫حيث‬ ‫(‬ ‫‪R‬‬
‫) ‪[(a ,b ) * (c , d )]* (e , f )  (ac ,b  d ) * (e , f )  (ace ,b  d  f‬‬
‫) ‪(a ,b ) *[(c , d ) * (e , f )]  (a,b ) * (ce , d  f )  (ace , b  d  f‬‬
‫كذلك ‪:‬‬
‫‪6‬‬
 ‫) ‪(a ,b ) * (c , d )  (ac ,b  d )  (ca , d  b )  (c , d ) * (a ,b‬‬
‫ملحوظة (‪:)1,1‬‬

‫مجموعة منتهية وتحتوي على عدد قليل من العناصر فإن إحدى الطرق المناسبة لتعريف عملية ثنائية‬ ‫‪A‬‬ ‫إذا كانت‬
‫عليها تكون باستخدام جدول يس َّمى جدول كيلي (‪, )Cayley's table‬على سبيل المثال ‪:‬‬

‫على ‪: A‬‬ ‫} ‪َّ A  {a , b , c , d‬‬

‫فإن الجدول اآلتي يعرف لنا عملية ثنائية *‬

‫‪* a b‬‬ ‫‪c‬‬ ‫‪d‬‬

‫‪a a b‬‬ ‫‪c‬‬ ‫‪d‬‬
‫‪b b a‬‬ ‫‪d‬‬ ‫‪c‬‬
‫‪c c d‬‬ ‫‪a‬‬ ‫‪b‬‬
‫‪d d c‬‬ ‫‪b‬‬ ‫‪a‬‬

‫‪.‬‬ ‫‪y‬‬ ‫مع العمود‬ ‫وإليجاد العنصر ‪ x * y‬نبحث عن تقاطع الصف ‪x‬‬
‫ملحوظة (‪:)1,2‬‬

‫إذا كانت * عملية ثنائية على مجموعة معرفة بوساطة جدول كيلي فإنها تكون إبدالية إذا كان الجدول متماثالً حول‬
‫القطر الرئيسي ‪.1‬‬

‫‪1‬‬
‫الدكتور سمحان‪,‬معروف ‪ ,‬الدكتور الذكير ‪,‬فوزي _نظرية الزمر‪,‬جامعة الملك سعود‬
‫‪7‬‬
 ‫الباب الثَّاني ‪:‬الزُّمرة (‪:)Group‬‬

‫الفصل األول ‪ :‬تعريف الزمرة وخصائصها‪:‬‬

‫تعريف(‪: )2,1,1‬‬

‫زمرة (‪ )Group‬إذا تحققت‬
‫)*‪(S ,‬‬ ‫عملية ثنائية عليها نسمي النظام الجبري‬ ‫‪ S‬مجموعة غير خالية ولتكن*‬ ‫لتكن‬
‫الشروط اآلتية ‪:‬‬
‫الخاصة التجميعية ‪:‬‬ ‫‪.i‬‬
‫‪a ,b ,c G : (a *(b * c )  (a * b ) * c‬‬
‫وجود العنصر المحايد ‪:‬‬ ‫‪.ii‬‬
‫‪e G : a G : a *e  e * a  a‬‬
‫وجود نظير للعناصر ‪:‬‬ ‫‪.iii‬‬
‫) ‪a G , b G (a * b  b * a  e‬‬

‫زمرة نقول أنها تبادلية أو آبلية (‪ )Commutative or Abelian group‬إذا تحقق الشرط اآلتي ‪:‬‬ ‫)*‪(G ,‬‬ ‫إذا كانت‬

‫‪2‬‬
‫‪. a , b G‬‬ ‫‪: a *b  b * a‬‬

‫في الفقرة (‪ )ii‬من التعريف (‪ )1‬وحيد ويسمى العنصر المحايد (‪.)Identity element‬‬ ‫العنصر ‪e‬‬
‫‪1‬‬
‫‪.a‬‬ ‫( ‪)Inverse of a‬ويرمز له بالرمز‬ ‫‪a‬‬ ‫في الفقرة (‪ )iii‬من التعريف (‪ )1‬وحيد ويسمى نظير العنصر‬ ‫‪b‬‬ ‫العنصر‬

‫تكون زمرة و هي أيضا ً تبادلية ‪.‬‬ ‫فإن ) ‪( Z , ‬‬

‫‪ Z‬مجموعة األعداد الصحيحة َّ‬ ‫مثال (‪ :)2,1,1‬إذا كانت‬

‫تكون زمرة ‪.‬‬ ‫فإن )‪(R , ‬‬

‫‪ R‬األعداد الحقيقية َّ‬ ‫مثال (‪ : )2,1,2‬إذا كانت مجموعة‬

‫مجموعة المصفوفات ذات الدرجة ‪ 2  2‬والعناصر مأخوذة من مجموعة األعداد‬ ‫مثال (‪ :)2,1,3‬إذا كانت ‪S‬‬
‫الصحيحة ‪ Z‬فإن ‪ S‬تكون زمرة تحت عملية جمع المصفوفات ‪.‬‬

‫مثال (‪:)2,1,4‬إن مجموعة المصفوفات المربعة ذات الدرجة ‪ 3  3‬وذات العناصر المأخوذة من مجموعة األعداد‬
‫الحقيقية ‪ R‬والتي يكون محدد كل منها ال يساوي الصفر تكون زمرة تبادلية تحت عملية ضرب المصفوفات ‪.‬‬

‫مثال (‪ :)2,1,5‬كل من ) ‪ (Q ,  ),(C , ‬هي زمر إبدالية حيث هو ‪ 0‬العنصر المحايد و ‪ a‬هو نظير العنصر‬
‫‪1‬‬
‫تعد زمر إبدالية حيث أن ‪1‬هو العنصر االمحايد و هو نظير‬ ‫‪ a‬وكذلك كل من )‪(Q * ,.),(R * ,.),(C * ,.‬‬
‫‪a‬‬
‫‪.‬‬ ‫العنصر ‪a‬‬

‫‪2‬‬
‫سبتي ‪,‬جورج _الجبر الخطي ‪,‬جامعة البصرة‪8811,‬‬
‫الدكتور ال َّ‬
‫‪8‬‬
 ‫خواص الزمرة (‪)Properties of group‬‬

‫‪ a , b‬لدينا ‪:‬‬ ‫‪G‬‬ ‫إذا كانت ‪ G‬زمرة فإنه لكل‬

‫‪(a 1 )1  a‬‬

‫البرهان ‪:‬‬
‫‪1‬‬
‫‪.‬‬ ‫‪ a‬وحيد فإننا نجد َّأن ‪(a 1 )1  a‬‬ ‫َّ‬
‫وأن‬ ‫بما َّأن‪a 1a  e  aa 1‬‬

‫‪(ab )1  b 1a 1‬‬

‫البرهان ‪:‬‬

‫‪(ab )(b 1a 1 )  (abb 1 )a 1  (ae )a 1  aa 1  e‬‬ ‫نالحظ أنَّه ‪:‬‬

‫‪(b 1a 1 )(ab )  (aa 1b 1 )b  (b 1e )b  b 1b  e‬‬ ‫كما َّ‬
‫أن ‪:‬‬

‫وباستخدام وحدانية النظير نحصل على ‪(ab )1  b 1a 1 :‬‬

‫‪1‬‬
‫) ‪: (ab‬‬ ‫‪G‬إبدالية إذا وفقط إذا كان ‪ b 1a 1‬‬
‫البرهان ‪:‬‬

‫عندئذ ‪:‬‬ ‫بما َّأن ‪ (ab )1  b 1a 1‬لكل ‪a ,b G‬‬

‫‪b 1a 1  (ab ) 1  a 1b 1  (ba ) 1‬‬

‫‪ab  [(ab ) 1 ]1  [(ba ) 1 ]1  ba‬‬
‫في الزمرة ‪:G‬‬ ‫يوجد حل وحيد لكل من المعادلتين ‪ ax  b‬و ‪ya  b‬‬
‫البرهان ‪:‬‬

‫وعلينا أن نبرهن وحدانية‬ ‫‪ya  b‬‬ ‫حل للمعادلة‬ ‫لدينا َّأن ‪ x  a 1b‬حل للمعادلة ‪ ax  b‬وكذلك ‪y  ba 1‬‬
‫هذا الحل ‪ ,‬لذلك نفرض حل آخر ‪ c‬للمعادلة عندئذ يكون ‪:‬‬

‫‪c  ec  (aa 1 )c  a 1 (ac )  a 1b‬‬

‫‪. ax‬‬ ‫‪b‬‬ ‫حل وحيد لتلك المعادلة‬ ‫ومنه نجد أن ‪x  a 1b‬‬

‫‪9‬‬
 ‫‪.‬‬ ‫فيكون ‪:‬‬ ‫‪c‬‬ ‫من خالل أيضا ً فرض حل‬ ‫‪ y  ba 1‬حل وحيد للمعادلة ‪ya  b‬‬ ‫وبالمثل نثبت أن‬
‫‪ce  c (a 1a )  (ca )a 1  ba 1‬‬
‫‪ ,‬إن قانون االختزال من اليمين ومن اليسار محققين أي أنه ‪:‬‬ ‫لتكن زمرة )‪(G ,.‬‬
‫‪ ax  ay  x  y‬و ‪xa  ya  x  y‬‬ ‫فإنه‬ ‫‪(a , x , y ) G‬‬
‫البرهان ‪:‬‬
‫‪ax  ay‬‬
‫) ‪ a 1 (ax )  a 1 (ay‬‬

‫تجميعي َّ‬
‫فإن‪:‬‬ ‫وبما أن )‪(.‬‬

‫‪ (aa 1 )x  (aa 1 ) y‬‬

‫‪ e .x  e .y‬‬
‫‪x  y‬‬ ‫‪3‬‬

‫زمرة الجداء ‪:‬‬

‫‪G‬بقانون تشكيل‬ ‫‪H‬‬ ‫و )‪ ( H ,.‬عندئذ يمكننا أن نزود مجموعة الجداء الديكارتي‬ ‫كانت لدينا زمرتان )‪(G ,.‬‬ ‫إذا‬
‫داخلي على النحو التالي ‪:‬‬

‫) ‪(x , y ),(x 1 , y 1 ) G  H ;(x , y )T (x 1, y 1 )  (xx 1, yy 1‬‬

‫‪4‬‬
‫‪ (G‬هي زمرة تسمى بزمرة الجداء الديكارتي أو اختصارا ً زمرة الجداء ‪.‬‬ ‫) ‪ H ,T‬‬ ‫عندئذ‬

‫مبرهنة(‪:)2,1,1‬‬

‫فإن كل عنصر من عناصر ‪ G‬يظهر مرة واحدة فقط في كل صف ومرة واحدة فقط في كل عمود‬
‫إذا كانت ‪ G‬زمرة َّ‬
‫في جدول كيلي‪.‬‬
‫البرهان ‪:‬‬

‫‪ ,‬بحيث‬ ‫‪ . a‬عندئذ يوجد ‪x , y G‬‬ ‫ليكن ‪ b G‬ولنفرض َّأن ‪b‬‬

‫يظهر مرتين في صف يحوي العنصر‬
‫‪ x  y‬يكون ‪ ax  b :‬و ‪ . ay  b‬ولذا َّ‬
‫فإن ‪. ax  ay‬وباستخدام قانون االختصار نجد َّأن ‪x  y‬‬
‫وهذا تناقض ‪ .‬وبالمثل ‪ ,‬إذا ظهر ‪ b‬مرتين في عمود يحتوي العنصر ‪. a‬‬

‫‪3‬‬
‫الدكتور سمحان‪,‬معروف ‪ ,‬الدكتور الذكير ‪,‬فوزي _نظرية الزمر‪,‬جامعة الملك سعود‬
‫‪4‬‬
‫‪Douis.‬‬
‫‪11‬‬
 ‫مبرهنة(‪: )2,1,2‬‬

‫َّ‬
‫فإن‪:‬‬ ‫إذا كانت ‪ G‬زمرة وكان ‪ a ,b G‬وكان ‪m , n  Z ‬‬
‫‪a m a n  a m n‬‬
‫‪(a n )1  a  n‬‬
‫‪(a m )n  a mn‬‬
‫‪.‬‬ ‫فإن ‪(ab ) n  a nb n :‬‬
‫‪ G‬زمرة إبدالية َّ‬ ‫و إذا كانت‬

‫مبرهنة (‪:)2,1,3‬‬

‫إذا كان ‪ G‬نظاما ً تجميعيا ً رياضيا ً يحقق ‪:‬‬

‫‪.‬‬ ‫يوجد عنصر ‪( e G‬يسمى محايد أيسر) بحيث يكون ‪ ea  a :‬لكل ‪a G‬‬ ‫‪‬‬
‫لكل ‪ a G‬يوجد ‪( b G‬يسمى نظير األيسر) بحيث يكون ‪. ba  e :‬‬ ‫‪‬‬

‫فإن ‪ G‬زمرة ‪.‬‬

‫َّ‬
‫البرهان ‪:‬‬
‫نالحظ أوالً أن قانون االختصار األيسر محقق تحت شروط المبرهنة ‪.‬‬

‫‪ ba‬ولذا َّ‬
‫فإن ‪:‬‬ ‫‪e‬‬ ‫أن ‪ a G‬ويوجد ‪ b G‬حيث‬
‫لنفر ض أوالً َّ‬

‫) ‪ba  e  ee  (ba )e  b (ae‬‬

‫محايد أيمن كذلك ‪:‬‬ ‫وباستخدام قانون االختصار األيسر نجد َّأن ‪ . a  ae‬إذن ‪e‬‬
‫) ‪be  b  eb  (ba )b  b (ab‬‬
‫‪ .‬وبالتالي فإننا نخلص‬ ‫‪ e  ab‬ولذا فإن ‪ b‬نظير أيمن للعنصر ‪a‬‬ ‫ولذا فإنه باستخدام قانون االختصار األيسر نجد أن‬
‫إلى أن ‪ G‬زمرة ‪.‬‬
‫مبرهنة (‪:)2,1,4‬‬

‫لكل‬ ‫‪G‬‬ ‫حل في‬ ‫‪ ax  b‬و ‪ya  b‬‬ ‫ليكن ‪ G‬نظاما ً رياضيا ً تجميعيا ً ‪ ,‬إذا كان لكل من المعادلتين‬
‫فإن ‪ G‬زمرة ‪.‬‬
‫َّ‬ ‫‪a , b G‬‬
‫البرهان ‪:‬‬

‫‪e‬‬ ‫‪ .‬سنبرهن َّ‬

‫أن‬ ‫‪ea  a‬‬ ‫لنفرض َّأن ‪ . a G‬بما َّأن للمعادلة ‪ ya  a‬حل في ‪ G‬فإنَّه يوجد ‪e G‬‬
‫يحقق‬
‫أن للمعادلة ‪ ax  b‬حل في ‪ G‬فإنَّه يوجد ‪ c G‬يحقق‬
‫أن ‪ . b G‬بما َّ‬ ‫محايد أيسر ‪ .‬ولذا نفرض َّ‬
‫‪ ac  b‬ولذا َّ‬
‫فإن ‪:‬‬

‫‪11‬‬
 ‫محايد أيسر ‪.‬‬ ‫‪e‬‬ ‫ومنه َّ‬
‫فإن‬ ‫‪b G‬‬ ‫لكل‬ ‫‪eb  e (ac )  (ea )c  ac  b‬‬
‫‪.‬‬ ‫‪a‬‬ ‫نظير أيسر للعنصر‬ ‫‪d‬‬ ‫‪ ,‬ومنه َّ‬
‫فإن‬ ‫‪da  e‬‬ ‫يحقق‬ ‫‪d G‬‬ ‫حل في ‪ G‬إذن يوجد‬ ‫اآلن للمعادلة ‪ya  e‬‬
‫فإن ‪ G‬زمرة استنادا ً إلى المبرهنة السابقة ‪.‬‬
‫وبالتالي َّ‬
‫تعريف (‪:)2,1,2‬‬

‫إن ‪G‬زمرة منتهية (‪ . )Finite group‬وإذا كانت ‪ G‬مجموعة‬

‫إذا كانت ‪ G‬زمرة حيث ‪G‬مجموعة منتهية فإننا نقول َّ‬

‫‪G‬‬ ‫إن ‪G‬زمرة غير منتهية (‪ )Infinite group‬سنرمز لعدد عناصر الزمرة ‪ G‬بالرمز‬
‫غير منتهية فإننا نقول َّ‬

‫ونسميه رتبة الزمرة ‪.)Order of G ( G‬‬

‫أما المبرهنة اآلتية فتبين لنا إمكانية استبدال مسلمتي العنصر المحايد والنظير بقانون االختصار للزمر المنتهية ‪...‬‬
‫مبرهنة (‪:)2,1,5‬‬

‫ليكن ‪ G‬نظاما ً رياضيا ً تجميعيا ً منتهيا ً ‪ .‬إذا حققت ‪ G‬قانوني االختصار َّ‬
‫فإن ‪ G‬زمرة ‪.‬‬
‫البرهان ‪:‬‬

‫وأن ‪ . a G‬عندئ ٍذ ‪:‬‬

‫‪َّ G‬‬ ‫لنفرض أ َّن } ‪ {a1 , a2 ,....., an‬‬
‫‪H  {aa1 , aa2 ,....., aan }  G‬‬

‫‪ . H‬وبما َّ‬
‫أن‬ ‫‪G‬‬ ‫َّ‬
‫فإن‬
‫‪G H‬‬ ‫مختلفة ‪ .‬وبما َّ‬
‫أن‬ ‫‪H‬‬ ‫‪.‬إذن جميع عناصر‬
‫‪ai a j َّ aai  aa j‬‬
‫فإن‬ ‫إذا كان‬
‫فإن ‪aa  (aai )a  a (ai a ) :‬‬
‫‪ . aai  a‬ومنه َّ‬ ‫ولذا َّ‬
‫فإن‬ ‫‪aH‬‬ ‫َّ‬
‫فإن‬ ‫‪a G‬‬
‫عنصر محايد أيسر ‪.‬‬ ‫وباستخدام قانون االختصار نجد َّأن ‪ . aai  a‬وندعو ‪ai‬‬
‫فإن ‪ai b  ai (aa j )  (ai a )a j  aa j  b :‬‬
‫‪ .b  aa j‬ولذا َّ‬ ‫َّ‬
‫فإن‬ ‫وذلك ألنه لو كان ‪b G‬‬

‫محايد أيسر ‪.‬‬

‫إذاً ‪ai‬‬
‫أن ‪ c G‬عندئذ بطريقة مماثلة لما سبق‬
‫نبرهن اآلن على وجود نظير أيسر لكل عنصر من عناصر ‪ . G‬لنفرض َّ‬
‫نظير‬ ‫نجد َّأن} ‪ . G  {a1c , a2c ,....., anc‬اآلن بما َّأن ‪ ai G‬فإنه يوجد ‪ j‬بحيث ‪ a j c  ai‬إذن ‪a j‬‬
‫فإن ‪ G‬زمرة ‪.‬‬
‫أيسر للعنصر ‪ .c‬وبالتالي َّ‬

‫‪12‬‬
 ‫تعريف (‪:)2,1,3‬‬

‫َّ‬
‫فإن أصغر عدد موجب‬ ‫‪an  e‬‬ ‫بحيث يكون‬ ‫لتكن ‪ G‬زمرة وليكن ‪ . a G‬إذا وجد عدد صحيح موجب ‪n‬‬
‫ذو رتبة غير‬ ‫‪a‬‬ ‫فإننا نقول َّ‬
‫إن‬ ‫يحقق ذلك يسمى رتبة العنصر ‪ ) order of a ( a‬وإذا استحال وجود مثل هذا العدد ‪n‬‬
‫‪5‬‬
‫بالرمز ) ‪.o (a‬‬ ‫‪a‬‬ ‫منتهية (‪. )infinite order‬نرمز لرتبة العنصر‬

‫أما اآلن فسوف نقوم بحل بعض التمارين ‪.‬‬

‫تمارين ‪:‬‬
‫‪)1‬بيِّن فيما إذا كانت كل من األنظمة الجبرية اآلتية زمرة مع البرهان ‪:‬‬

‫‪.‬‬ ‫حيث ‪x * y  x  y  xy‬‬ ‫‪‬‬

‫)*‪ ( Z ,‬حيث ‪. x  y‬‬ ‫‪‬‬
‫)*‪ ( N ,‬حيث ‪. x * y  x  y‬‬ ‫‪‬‬
‫الحل ‪:‬‬
‫‪)1‬‬

‫يعد زمرة ال يعد زمرة بالرغم من أنه يحقق العالقة تجميعية ‪:‬‬ ‫َّإن النظام الجبري )*‪( Z ,‬‬ ‫‪‬‬

‫‪x , y , z  Z‬‬
‫‪(x * y ) * z  (x  y  xy ) * z‬‬
‫‪ x  y  xy  z  zx  zy  zyx .‬‬
‫) ‪x * ( y * z )  x  ( y  z  yz )  x ( y  z  yz‬‬
‫‪ x  y  z  yz  xy  xz  xyz .‬‬
‫) ‪ (x * y ) * z  x * ( y * z‬‬

‫وجود الحيادي أال وهو العنصر ‪: 0‬‬

‫‪x  Z  x *0  x  0  (x .0)  x‬‬
‫‪x  Z  0* x  0  x  (0.x )  x‬‬

‫الدكتور سمحان‪,‬معروف ‪ ,‬الدكتور الذكير ‪,‬فوزي _نظرية الزمر‪,‬جامعة الملك سعود‬

‫‪5‬‬

‫‪13‬‬
 ‫ولكن بالنسبة للنظير َّ‬
‫فإن ‪:‬‬

‫‪x‬‬ ‫‪x‬‬
‫(* ‪x  Z  x‬‬ ‫(‪)‬‬ ‫‪)*x  0‬‬
‫‪x 1‬‬ ‫‪x 1‬‬
‫‪x‬‬
‫ليس زمرة ‪.‬‬ ‫( ومنه شرط النظير غير محقق ‪ .‬ومنه نجد أن النظام الجبري )*‪( Z ,‬‬ ‫‪)Z‬‬ ‫ولكن ‪:‬‬
‫‪x 1‬‬
‫ليس زمرة َّ‬
‫ألن الشرط التجميعي غير محقق حيث ‪:‬‬ ‫إن النظام الجبري )*‪( Z ,‬‬ ‫‪‬‬

‫‪x , y , z  Z‬‬
‫‪(x * y ) * z  x  y  z‬‬
‫‪x *( y * z )  x  y  z‬‬
‫‪ x *( y * z )  (x * y ) * z‬‬

‫ليس زمرة َّ‬

‫ألن شرط النظير غير محقق حيث ‪:‬‬ ‫)*‪( N ,‬‬ ‫‪َّ ‬‬
‫إن النظام الجبري‬

‫‪x  N  x *(x )  e‬‬

‫‪.‬‬ ‫‪x  N‬‬ ‫ولكن‬

‫الفصل الثاني ‪:‬الزمر الجزئية (‪:)Subgroup‬‬

‫تعريف (‪:)2,2,1‬‬

‫مغلقة تحت عملية ‪G‬الثنائية بحيث تكون زمرة فإننا‬ ‫لتكن )‪ (H ,.‬زمرة ولتكن ‪.   H  G‬إذا كانت ‪H‬‬
‫إن ‪ H‬زمرة جزئية (ٍ‪ )Subgroup‬من ‪. G‬‬
‫نقول َّ‬

‫ملحوظات (‪:)2,2,1‬‬

‫‪َّ ‬‬
‫إن الزمرتين )‪ (G ,.‬و )‪ ({e },.‬تشكالن زمرتين جزئيتين من ‪ ,G‬تسمى األخيرة منها بالزمرة الجزئية‬

‫التافهة (‪. )Trivial Subgroup‬‬

‫‪ . e H e H‬وباستخدام قانون‬ ‫‪ eH  eH e‬‬ ‫إذا كان ‪e‬هو محايد ‪G‬وكان ‪ e H‬هو محايد ‪H‬‬
‫َّ‬
‫فإن‬ ‫‪‬‬
‫أن ‪ e H  e‬أي َّ‬
‫أن المحايدان متساويان ‪.‬‬ ‫االختصار نخلص إلى َّ‬

‫إذا كان ‪ h  H‬و ‪ h1‬هو نظير ‪ h‬في ‪ H‬وكان هو ‪ h‬نظير ‪ h‬في ‪َّ G‬‬
‫‪1‬‬
‫فإن‪:‬‬ ‫‪‬‬

‫‪h1  h1e  h1 (hh 1 )  (h1h )h 1  h 1‬‬

‫‪14‬‬
 ‫متساويان ‪.‬‬ ‫‪ h‬في ‪G‬‬ ‫و نظير‬ ‫‪H‬‬ ‫فإن نظير ‪ h‬في‬
‫ولذا َّ‬
‫مالحظة(‪: )2,2,2‬‬

‫هي زمرة بالنسبة لقانون تشكيل ما ‪ .‬يكفي أن نثبت أنَّها زمرة جزئية من زمرة‬ ‫‪H‬‬ ‫‪ ‬لكي نثبت َّ‬
‫أن مجموعة ما‬
‫معروفة ‪.‬‬
‫‪.‬‬ ‫‪G‬فيمكننا أن نرمز لها بالشكل ‪X  G :‬‬ ‫‪ ‬إذا كانت ‪ X‬مجموعة جزئية من‬
‫مبرهنة (‪:)2,2,1‬‬

‫زمرة جزئية إذا وفقط إذا تحقق الشرطان ‪:‬‬ ‫‪.‬إن ‪H‬‬
‫‪ H‬مجموعة جزئية من ‪َّ G‬‬ ‫زمرة و‬ ‫لتكن )‪(G ,.‬‬
‫‪e H‬‬
‫‪1‬‬
‫‪(x , y )  H ; x .y  H‬‬
‫‪2‬‬

‫البرهان ‪:‬‬

‫زمرة جزئية من ‪. G‬‬ ‫‪H‬‬ ‫سوف نثبت أنه إذا كان الشرطان محققان َّ‬
‫فإن‬

‫أن )‪ (.‬تجميعي على ‪G‬عندئ ٍذ ‪:‬‬

‫بما َّ‬

‫‪(x , y )  H  G  x 1 G‬‬
‫‪ x 1 (x , y 1 )  (x 1.x ) y 1  ey 1  y 1‬‬

‫إذا ُ نستنتج َّ‬

‫أن ‪:‬‬ ‫‪y 1  H‬‬ ‫وبالتالي‬ ‫‪ey 1  H‬‬ ‫عندئذ حسب الشرط الثاني‬ ‫‪H‬‬ ‫ولكن ‪ e‬و ‪ y‬من‬
‫‪. y‬‬ ‫‪ H ; y 1  H‬‬
‫وحسب العالقة السابقة ‪:‬‬

‫‪(x , y )  H 2 ; y 1  H‬‬
‫‪ (x , y )  H 2 ; y 1  H‬‬
‫‪ x ( y 1 ) 1  H  xy  H‬‬

‫‪( y 1 )1  y‬‬ ‫حيث ‪:‬‬

‫تجميعية بالفرض حيث‬ ‫‪ e  H‬وكذلك )‪(.‬‬ ‫‪ ( H‬زمرة جزئية ألنها مغلقة بالنسبة للقانون )‪َّ (.‬‬
‫وألن‬ ‫ومنه )‪,.‬‬
‫‪6‬‬
‫)‪ (G ,.‬هي زمرة ‪.‬‬

‫الدكتور سمحان‪,‬معروف ‪ ,‬الدكتور الذكير ‪,‬فوزي _نظرية الزمر‪,‬جامعة الملك سعود‬

‫‪6‬‬

‫‪15‬‬
 ‫تعريف(‪: )2,2,2‬‬

‫زمرة ولتكن ‪ X‬مجموعة جزئية من ‪. G‬إن تقاطع جميع الزمر الجزئية من ‪G‬والتي تحوي ‪ X‬هو‬ ‫لتكن )‪(G ,.‬‬
‫ونسميها‬ ‫‪X‬‬ ‫زمرة جزئية من ‪G‬وهي أصغر زمرة جزئية من ‪ G‬تحوي المجموعة ‪ X‬ونرمز لها بالرمز‬
‫‪7‬‬
‫المجموعة الجزئية المولَّدة بالمجموعة ‪.)Subgroup generated by X ( X‬‬
‫ملحوظات(‪: )2,2,3‬‬

‫‪ G‬فإننا نقول َّ‬

‫إن المجموعة ‪ X‬تولد ‪( G‬أو أن ‪G‬مولدة بالمجموعة ‪. ) X‬‬ ‫‪ X‬‬ ‫‪ ‬إذا كانت‬

‫‪.‬‬ ‫‪ X  ‬أو} ‪ X  {e‬كانت } ‪X  {e‬‬ ‫‪ ‬إذا كانت‬

‫‪.G‬‬ ‫‪ G‬‬ ‫‪ ‬إذا كانت ‪ G‬زمرة فإن‬

‫‪ G‬وكانت ‪ X‬منتهية فإننا نقول َّ‬

‫إن ‪G‬منتهية التوليد ( ‪. )Finitely generated‬‬ ‫‪ X‬‬ ‫‪ ‬إذا كانت‬

‫تعريف(‪ : )2,2,3‬لتكن ‪ G‬زمرة وليكن ‪ . a G‬تسمى الزمرة الجزئية من ‪ G‬المولدة بالعنصر ‪a‬‬
‫الزمرة الجزئية‬
‫الدورية ( ‪ )Cyclic subgroup‬ويرمز لها بالرمز ‪ . a‬أي أن} ‪ . a  {a : n  Z‬وتكون الزمرة ‪G‬زمرة‬
‫‪n‬‬

‫‪8‬‬
‫‪.G‬‬ ‫‪ a‬‬ ‫دورية إذا وجد ‪ a G‬بحيث يكون‬

‫‪.‬‬ ‫‪Z  1‬‬ ‫دورية وذلك ألن‬ ‫مثال (‪ :)2,2,1‬الزمرة ) ‪( Z , ‬‬

‫‪7‬‬
‫‪Douis.free.fr/matrice‬‬
‫الدكتور سمحان‪,‬معروف ‪ ,‬الدكتور الذكير ‪,‬فوزي _نظرية الزمر‪,‬جامعة الملك سعود‬
‫‪8‬‬

‫‪16‬‬
 ‫‪:)Homomorphisme‬‬ ‫الباب الثالث ‪:‬تشاكالت الزمرة (‪of Groups‬‬
‫الفصل األول ‪ :‬تعريف التشاكل ‪:‬‬
‫تعريف )‪:(3,1,1‬‬

‫‪ . f‬يكون التطبيق ‪ f‬تشاكالً إذا حقق ‪:‬‬ ‫‪:G  H‬‬ ‫‪ ( H ,‬زمرة و التطبيق‬ ‫لتكن كل من )*‪ (G ,‬و )‬
‫) ‪a ,b G  f (a * b )  f (a ) f (b‬‬
‫‪  :G‬يدعى التشاكل التافه‬ ‫‪H‬‬ ‫و من أجل أي زمرة ‪ G‬و زمرة ‪ H‬هنالك دائما ً تشاكل‬

‫‪9‬‬
‫‪.‬‬ ‫معرف ب ‪  ( g )  e 2‬من إجل أي ‪ , g G‬حيث ‪ e 2‬هو حيادي الزمرة ‪H‬‬
‫(‪َّ )Trivial Group‬‬

‫‪ (x )  x‬‬
‫المعرف ب‬
‫َّ‬ ‫مثال (‪ :)3,1,1‬لتكن )‪ (C * ,.‬زمرة و )‪ (R  ,.‬زمرة فإن التطبيق ‪ :C *  R ‬‬
‫يعد تشاكالً ألن ‪. z 1z 2  z 1 z 2‬‬

‫‪ z‬التي‪z  1‬‬ ‫تحت عملية الجمع زمرة ولتكن المجموعة ‪U‬مجموعة األعداد المركبة‬ ‫مثال (‪ : )3,1,2‬لتكن ‪R‬‬
‫وبما أن ‪:‬‬ ‫تحت عملية الضرب وليكن تطبيقا ً ‪  : R  U‬معرفا ً ب ‪ (x )  e i 2 x‬‬
‫) ‪ (x  y )  e i 2 ( x  y )  e i 2 x e i 2 y   (x ) ( y‬‬
‫تشاكل ‪.‬‬ ‫منه نجد أن التطبيق ‪‬‬
‫لكل ‪ , x  Z‬ألنَّه لكل‬ ‫مثال (‪ : )3,1,3‬التطبيق )‪  : ( Z , )  (2 Z , ‬المعرف بالقاعدة ‪ (x )  2x‬‬
‫‪ x , y  Z‬لدينا ‪:‬‬

‫) ‪ (x  y )  2(x  y )  2x  2 y   (x )   ( y‬‬
‫زوجيا ً و‬ ‫المعرف بالقاعدة ]‪ f ( x )  [0‬إذا كان ‪x‬‬
‫َّ‬ ‫مثال (‪ :)3,1,4‬ليكن التطبيق ‪f : Z   Z 2 ‬‬
‫‪.‬إن التطبيق ‪ f‬تشاكل ألنَّه إذا كان ‪ x  y‬زوجي فإنه ‪:‬‬
‫]‪ f ( x )  [1‬إذا كان ‪ x‬فرديا ً َّ‬
‫) ‪f (x  y )  [0]  f (x )  f ( y‬‬
‫‪.f‬‬ ‫وإذا كان فرديَّا ً فإنَّه ‪(x  y )  [1]  f (x )  f ( y ) :‬‬

‫‪9‬‬
‫‪People.ds.cam.ac.uk‬‬
‫‪17‬‬
 ‫الفصل الثاني ‪:‬خصائص التشاكالت(‪ )properties of homomorphism‬والتماثل (‪:)isomorphism‬‬
‫مبرهنة (‪:)3,2,1‬‬

‫هو محايد الزمرة ‪ H‬عندها ‪:‬‬ ‫‪G‬و ‪e 2‬‬ ‫هو محايد الزمرة‬ ‫حيث ‪e1‬‬ ‫تشاكالً‬ ‫ليكن التطبيق ‪f : G  H‬‬
‫‪(1 f (e1 )  e 2‬‬

‫‪)2‬‬ ‫‪f (x 1 )  f (x ) 1‬‬

‫البرهان ‪:‬‬
‫‪ (1‬لدينا ‪:‬‬

‫) ‪e1.e 2  e 2  f (e1.e 2 )  f (e 2 )  f (e1 ).f (e 2 )  f (e 2‬‬

‫‪ ,‬فنحصل ‪:‬‬ ‫نضرب الطرفين ب ‪[f (e 2 )]1‬‬

‫‪[f (e 2 )]1.f (e1 ).f (e 2 )  [f (e 2 )]1 f (e 2 )  e 2 .f (e1 )  e 2  f (e1 )  e 2‬‬
‫‪ )2‬لدينا ‪x .x 1  e  f (x .x 1 )  f (e1 )  f (x ).f (x 1 )  f (e1 ) :‬‬
‫ومنه ‪:‬‬ ‫بما َّأن ‪ f (e1 )  e 2‬اعتمادا ً على الخاصة السابقة ‪ ,‬فنحصل ‪f (x 1 ).f (x )  e‬‬
‫‪f (x ).f (x 1 )  f (x 1 ).f (x )  e 2‬‬
‫‪10‬‬
‫‪.f‬‬ ‫وهذا يعني ‪(x 1 )  f (x ) 1 :‬‬
‫تعريف (‪:)3,2,1‬‬

‫ليكن ‪  :G1  G 2‬تشاكالً ولتكن ‪ H 1  G1‬و ‪H 2  G 2‬‬

‫‪ .‬تسمى المجموعة‬
‫}‪  ( H 1 )  { ( h ) : h  H 1‬صورة ‪ . )Image of H 1 ( H 1‬وتسمى المجموعة‬
‫‪11‬‬
‫( ‪. (Preimage of H 2‬‬ ‫} ‪ 1 (H 2 )  {g G1 :  ( g )  H 2‬الصورة العكسية للمجموعة ‪H 2‬‬
‫تعريف (‪:)3,2,2‬‬

‫العنصر الحيادي في الزمرة ‪ . H‬المجموعة‬ ‫‪ H‬وليكن ‪e 2‬‬ ‫تشاكل من الزمرة ‪G‬إلى الزمرة‬ ‫لتكن ‪‬‬
‫‪.‬‬ ‫‪ ,‬ويرمز لها بالرمز ) ‪Ker (‬‬ ‫‪‬تسمى نواة التشاكل‬
‫‪1‬‬
‫} ‪(e 2 )  {x G  (x )  e 2‬‬

‫‪10‬‬
‫‪Cims.nyu.edu‬‬
‫‪11‬‬
‫الدكتور سمحان‪,‬معروف ‪ ,‬الدكتور الذكير ‪,‬فوزي _نظرية الزمر‪,‬جامعة الملك سعود‬
‫‪18‬‬
 ‫حسب المبرهنة ‪:‬‬ ‫) ‪Ker (‬‬ ‫للزمرة ‪ G‬دائما ً موجود في‬ ‫وهي دائما ً مجموعة غير خالية ألن العنصر الحيادي ‪e1‬‬
‫‪12‬‬
‫‪. f (e1 )  e 2‬‬

‫المعرف بالقاعدة‬ ‫مثال (‪ :)3,2,1‬لتكن كل من )‪ (C *,.‬و )‪ (R  ,.‬زمرة وليكن التشاكل ‪ : C *  R ‬‬

‫‪ .  (z )  z‬نواة التشاكل ‪ ‬مجموعة جزئية ‪ U‬تحوي كل ‪ z‬التي تحقق‪. z  1‬‬

‫تشاكالً َّ‬
‫فإن ‪:‬‬ ‫‪ :G1  G 2‬‬ ‫مبرهنات (‪ :)3,2,2‬ليكن‬

‫‪.‬‬
‫‪1‬‬
‫فإن ‪( K )  G1‬‬
‫‪َّ K  G 2‬‬ ‫‪ ‬إذا كانت‬

‫البرهان ‪ :‬لنفرض أن ‪ K  G‬فنالحظ ) ‪ e1   ( K‬ولذا َّ‬

‫‪1‬‬
‫‪.‬نفرض اآلن َّ‬
‫أن‬ ‫فإن ‪ 1 (k )  ‬‬
‫) ‪. a,b   (K‬عندئذ ‪  (a ),  (b )  K ,‬ولذا فإن ‪َّ  (a ) (b )  K‬‬
‫‪1‬‬ ‫‪1‬‬
‫وإن ‪:‬‬
‫‪.  (ab )   (a ) (b )   (a ) (b )  K‬إذا ً ) ‪ ab   (K‬أي أن‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬

‫‪.  (K )  G1‬‬
‫‪1‬‬

‫‪ker   G1‬‬ ‫‪‬‬

‫أن ‪ {e 2 }  G 2‬فباستخدام المبرهنة السابقة نجد َّ‬

‫أن‬ ‫وبما َّ‬ ‫)} ‪ker    1 ({e 2‬‬ ‫البرهان ‪ :‬نالحظ َّ‬
‫أن‬
‫‪.‬‬ ‫‪ker   G1‬‬
‫أحاديا ً ‪.‬‬ ‫}‪ ker   {e1‬إذا و فقط إذاكان ‪‬‬ ‫‪‬‬

‫َّ‬
‫فإن ‪:‬‬ ‫البرهان ‪ :‬لنفرض أوالً َّأن }‪ . ker   {e1‬إذا كان ‪a,b G1‬‬
‫‪ (a )   (b )   (a ) (b ) 1  e 2‬‬
‫‪  (ab 1 )  e 2  ab 1  ker ‬‬
‫‪ .‬وبالتالي فإن ‪ ‬أحادي ‪.‬‬ ‫‪a b‬‬ ‫أي أن‬ ‫ولذا فإن ‪ab 1  e1‬‬
‫‪ .‬ومنه ‪:‬‬ ‫‪a  ker ‬‬ ‫ولبرهان العكس ‪ :‬نفرض أن ‪ ‬أحادي ‪ .‬وليكن‬

‫‪a  ker    (a )  e 2   (e1 )  a  e1‬‬

‫وهو المطلوب ‪.‬‬ ‫إذا ً }‪ker   {e1‬‬

‫‪12‬‬
‫‪www.fatih.edu.tr‬‬
‫‪19‬‬
 ‫تعريف (‪:)3,2,3‬‬

‫تشاكالً ‪:‬‬ ‫ليكن ‪ :G1  G 2‬‬

‫‪‬تطبيقا ً غامرا ً ‪ .‬وفي هذه الحالة نقول َّإن ‪G 2‬‬ ‫تشاكل غامر أو شامل (‪ )Epimorphism‬إذا كان‬ ‫نقول َّإن ‪‬‬ ‫‪‬‬

‫صورة تشاكلية (‪ )Homomorphic image‬للزمرة ‪. G 1‬‬

‫تطبيقا ً أحاديا ً ‪.‬‬ ‫نقول َّإن ‪ ‬تشاكل أحادي (‪ )Monomorphism‬إذا كان ‪‬‬ ‫‪‬‬

‫تقابالً(أي أحاديا ً وشامالً)‪.‬‬ ‫‪‬تماثل (‪ )Isomorphism‬إذا كان ‪‬‬ ‫‪ ‬نقول َّ‬

‫إن‬

‫‪G1  G 2‬إذا وجد تماثل ‪ :G1  G 2‬‬ ‫إن الزمرتين ‪G 1‬و ‪ G 2‬متماثلتان (‪ )Isomorphic‬ونكتب‬
‫‪ ‬نقول َّ‬
‫‪13‬‬
‫‪.‬‬

‫‪ (x )  e x‬‬ ‫‪ : (R , )  ( R‬المعرف بالقاعدة‬

‫‪‬‬
‫تشاكل َّ‬
‫ألن‬ ‫مثال (‪ :)3,2,2‬نالحظ َّأن التطبيق )‪,.‬‬
‫‪ ,  (x  y )  e‬أما اآلن ‪,‬‬ ‫) ‪ e x e y   (x ) ( y‬‬
‫‪x y‬‬

‫}‪ ker   {x  R :  ( x )  1}  {x  R : e  1}  {0‬ولذا َّ‬

‫فإن ‪ ‬أحادي و كما أن ‪ ,‬‬ ‫‪x‬‬

‫‪.  (ln y )  e‬‬ ‫شامل ألنَّه لكل ‪ y  R ‬لدينا ‪ y‬‬

‫‪ln y‬‬

‫‪.‬‬ ‫إذاً )‪(R , )  (R  ,.‬‬

‫‪ (x ) ‬تشاكل َّ‬
‫ألن ‪:‬‬ ‫‪x‬‬ ‫المعرف بالقاعدة‬ ‫أن التطبيق )‪ : (R * ,.)  (R  ,.‬‬ ‫مثال(‪ : )3,2,3‬نالحظ‬

‫‪ ,‬أما اآلن فنالحظ أن‬ ‫) ‪ (x .y )  x .y  x y   (x ) ( y‬‬

‫}‪ ker   {x  R : x  1}  {1,1‬ومنه فإن ‪‬‬
‫*‬
‫ليس أحاديا ً ولكنه غامر ‪.‬‬

‫‪ ‬كالتالي ‪G1 G 2 :‬‬ ‫عالقة معرفة على‬ ‫مجموعة جميع الزمر ولتكن‬ ‫مبرهنة (‪ :)3,2,3‬لتكن ‪‬‬
‫عالقة تكافؤ ‪.‬‬ ‫‪ G1‬لكل ‪ . G1 ,G 2  ‬عندئذ‬ ‫إذا وفقط إذا كان ‪ G 2‬‬

‫البرهان ‪:‬‬

‫تماثل ولذا‬ ‫‪ I (x )  x‬لكل ‪x G‬‬ ‫المعرف بالقاعدة‬ ‫انعكاسية ألن التطبيق المحايد ‪I : G  G‬‬
‫فإن ‪.G  G‬‬

‫الدكتور سمحان‪,‬معروف ‪ ,‬الدكتور الذكير ‪,‬فوزي _نظرية الزمر‪,‬جامعة الملك سعود‬

‫‪13‬‬

‫‪21‬‬
‫إلثبات أن العالقة تناظرية نفرض أن ‪  :G1  G 2‬تماثل ‪ .‬بما أن ‪ ‬تقابل فإن ‪ 1 :G 2  G1‬‬
‫تقابل أيضا ً ‪ .‬كذلك ‪ ,‬إذا كان ‪ a ,b G 2‬فإنه يوجد ‪ x , y G1‬بحيث يكون ‪  ( x )  a‬و‬
‫‪ .  ( y )  b‬ولذا فإن ) ‪ ab   ( x ) ( y )   ( xy‬ومنه فإن ‪:‬‬

‫) ‪ 1 (ab )  xy   1 (a ) 1 (b‬‬
‫‪ ‬تشاكل ‪ .‬وبالتالي فإنه تماثل ‪.‬‬
‫‪1‬‬
‫أي أن‬

‫‪ :G 2‬تماثالن ‪.‬إذا ً‬ ‫إلثبات أنها متعدية نفرض أن ‪  :G1  G 2‬و ‪ G 3‬‬
‫‪   :G1  G 3‬تقابل ‪ .‬كذلك إذا كان ‪ a ,b G1‬فإن ‪:‬‬

‫)) ‪(  )(ab )   ( (ab‬‬

‫) ‪  ( (a )) ( (b ))  (  )(a )(  )(b‬‬
‫وبالتالي فهو تماثل ‪.‬‬ ‫ولذا فإن تشاكل ‪ ‬‬
‫مبرهنة (‪:)3,2,4‬‬

‫تماثالً ‪ .‬عندئذ ‪:‬‬ ‫ليكن التطبيق ‪ :G1  G 2‬‬

‫‪G 1 ‬إبدالية إذا وفقط إذا كانت ‪ G 2‬إبدالية ‪.‬‬

‫بحيث يكون‬ ‫‪ ‬شامل فإن يوجد ‪a,b G1‬‬ ‫‪ .‬بما أن‬ ‫‪x , y G 2‬‬ ‫لنفرض أن ‪ G 1‬إبدالية ولنفرض أن‬
‫‪ .‬اآلن ‪:‬‬ ‫‪ (b )  y‬‬ ‫‪  (a )  x‬و‬

‫ولذا فإن ‪ G 2‬إبدالية ‪.‬‬ ‫‪xy   (a ) (b )   (ab )   (ba )   (b ) (a )  yx‬‬

‫ولبرهان العكس نفرض أن ‪ G 2‬إبدالية وأن ‪ a ,b G1‬عندئذ ‪:‬‬

‫‪ . ab  ba‬وبالتالي فإن ‪G 1‬‬ ‫ولذا فإن‬ ‫) ‪ (ab )   (a ) (b )   (b ) (a )   (ba‬‬

‫إبدالية ‪.‬‬

‫‪.‬‬
‫)) ‪ o (a )  o ( (a‬لكل ‪a G1‬‬ ‫‪‬‬

‫ليكن ‪ a G‬لكل ‪ n  Z ‬لدينا ‪a n  e1   (a n )   (e1 )  ( (a )) n  e 2 :‬‬

‫إذا ً‬
‫) ‪ o (a‬منته إذا وفقط إذا كان )) ‪ o ( (a‬منته ‪ .‬لنفرض اآلن ‪ o (a )  m‬وأن ‪ o ( (a ))  n‬بما‬
‫ان ‪ a  e1‬فإن ‪ . ( (a ))  e 2‬ولذا فإن ‪ n‬يقسم ‪ m‬كذلك بما أن ‪ ( (a ))  e 2‬فإن‬
‫‪n‬‬ ‫‪m‬‬ ‫‪m‬‬

‫‪ a  e1‬ومنه فإن ‪ m‬يقسم ‪ n‬ومن هذا وذاك نجد أن ‪ n‬‬

‫‪n‬‬
‫‪.m‬‬

‫‪G 1 ‬دورية إذا وفقط إذا كانت ‪ G 2‬دورية ‪.‬‬

‫‪21‬‬
 ‫‪ G1  a‬دورية ‪ .‬بما أن ‪  (a ) G 2‬فإن ‪ .  (a )  G 2‬لنفرض اآلن أن ‪b G 2‬‬ ‫لنفرض أن‬

‫حيث ‪ . n  Z‬ولذا فإن‬ ‫‪ .‬بما أن ‪ ‬شامل فإنه يوجد ‪c G1‬بحيث يكون ‪ . (c )  b‬إذا ً ‪c  a n‬‬
‫) ‪.b   (c )   (a n )  ( (a )) n   (a‬إذا ً ) ‪G 2   (a‬‬

‫]) ‪[ (x‬حل في الزمرة‬

‫‪n‬‬
‫‪a‬‬ ‫إذا وفقط إذا كان للمعادلة‬
‫للمعادلة ‪ x n  a‬حل في الزمرة ‪G 1‬‬ ‫‪‬‬

‫‪.‬‬
‫‪G 2‬لكل ‪a G1‬‬

‫نالحظ أن َّ ) ‪x n  a   (x n )   (a )  ( (x )) n   (a‬‬
‫‪14‬‬
‫حل في ‪. G 2‬‬ ‫‪ x n  a‬لها حل وحيد في ‪ G 1‬إذا وفقط إذا كان للمعادلة ) ‪( (x )) n   (a‬‬ ‫فإن‬

‫تمرين ‪:‬‬
‫‪ -‬حدد أي الت َّطبيقات اآلتية يعد تماثالً ‪:‬‬
‫‪:  : (Q , )  (Q ,.) ‬‬
‫*‬

‫نالحظ أن )‪ (Q , )  (Q ,.‬ألن رتبة أي عنصر ما عدا المحايد من عناصر )‪ (Q , ‬غير منتهية ولكن‬
‫*‬

‫‪.‬‬
‫‪ (1)2  1‬ولذا فإن رتبة( ‪ ) 1‬تساوي ‪ 2‬في الزمرة )‪(Q * ,.‬‬

‫‪1 : (Q * ,.)  (R * ,.) ‬‬

‫نالحظ أن )‪َّ (Q ,.)  (R ,.‬‬

‫*‬ ‫*‬ ‫*‬ ‫*‬
‫ألن ‪ x  2‬لها حل في )‪ (R ,.‬ولكن ليس لها حل في )‪. (Q ,.‬‬
‫‪2‬‬

‫‪2 : (R * ,.)  (C * ,.) ‬‬

‫نالحظ أن )‪ (R ,.)  (C ,.‬ألن‪ x  1‬لها حل في )‪ (C ,.‬وليس لها حل في )‪. (R ,.‬‬

‫*‬ ‫*‬ ‫‪2‬‬ ‫*‬ ‫*‬

‫الدكتور سمحان‪,‬معروف ‪ ,‬الدكتور الذكير ‪,‬فوزي _نظرية الزمر‪,‬جامعة الملك سعود‬

‫‪14‬‬

‫‪22‬‬
 ‫الحايمة ‪:‬‬
‫وهبذا أختم حبثي املتواضع عن الزُّمرة وتشاكالهتا فقد تطرقت يف الباب األول للعمليات الثنائية ويف الباب الثاني حتدثت عن‬

‫تعريف الزمرة أما الباب الثالث فكان عن التشاكالت وأهم خصائصه وأنواعه ‪ ,‬وأودُّ أن أشكر األستاذ حبيب عيسى على‬

‫إشرافه على حلقيت هذه والكادر اإلداري والتدريسي يف املركز الوطين للمتميزين على دعمه ‪ , ,‬وآمل أن أكون ببحثي هذا قد‬

‫شكلَّت صورة واضحة عن هذا املفهوم الواسع والكثري التَّشعب ‪.‬‬

‫ب‬ ‫َّ‬
‫ال ا ج ‪:‬‬
‫ي‬ ‫ي‬
‫التعرُّف على الزمرة وأهم خصائصها ‪.‬‬

‫حلّ بعض التَّمارين املتعلِّقة بتعريف الزُّمرة ‪.‬‬

‫التعرّف على التَّشاكالت(‪. )Homomorphism‬‬

‫التعريف بالتماثل (‪.)Isomorphism‬‬

‫امتالك القدرة على تطبيق هذه املعارف يف حل بعض املسائل ‪.‬‬

‫ي‬ ‫ض‬ ‫ال َّ‬

‫ت‬
‫و ات ‪:‬‬
‫إغناء املعارف املرتبطة بتطبيقات ال ُّزمرة يف حياتنا ويف فروع العلم كافة ‪.‬‬

‫التَّوسع أكثر فيما يتعلق بالتَّشاكالت يف مناهجنا الدراسية ‪.‬‬

‫‪23‬‬
 ‫المصادر والمراجع ‪:‬‬
‫الكتب الورقية ‪:‬‬

‫سبتي ‪,‬جورج ‪,‬الجبر الخطي ‪,‬جامعة البصرة‪. 1988,‬‬

‫الدكتور ال َّ‬
‫الدكتور سمحان‪,‬معروف ‪ ,‬الدكتور الذكير ‪,‬فوزي _نظرية الزمر‪,‬جامعة الملك سعود‪.‬‬

‫املواقع اإللكرتونية ‪:‬‬

‫التاريخ‬ ‫الوقت‬ ‫اسم الموقع اإللكتروني‬

‫‪2112/12/11‬‬ ‫‪4:10 pm‬‬ ‫‪www.fatih.com‬‬
‫‪2112/12/11‬‬ ‫‪4:30 pm‬‬ ‫‪People.ds.cam.ac.uk‬‬
‫‪2112/12/11‬‬ ‫‪4:45 pm‬‬ ‫‪Cims.nyu.edu‬‬
‫‪2112/11/1‬‬ ‫‪6:00 pm‬‬ ‫‪Douis.free.fr/matrice‬‬

‫‪24‬‬