You are on page 1of 66

‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫حماضرات جرب زمر (‪)1‬‬

‫لممدرس المساعد‬
‫عباس كريم وناس عبادي الشريفي‬
‫قسم الرياضيات‬
‫كمية عموم الحاسوب والرياضيات‬
‫جامعة القادسية‬
‫الديوانية – العراق‬

‫‪E-Mail : abbas.alshareefi@yahoo.com , abbaskareem.w@gmail.com‬‬

‫‪2014 / 12 / 22‬‬

‫‪1‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫استمارة الخطة التدريسية لممادة‬

‫عباس كريم وناس عبادي الشريفي‬ ‫اسم التدريسي‬


‫‪abbas.alshareefi@yahoo.com‬‬ ‫البريد االلكتروني‬
‫جبر زمر (‪)1‬‬ ‫اسم المادة‬
‫المستوى الثاني‬ ‫مقرر الفصل‬
‫ان الهدف من هذه المادة هو جعل الطالب أن يميز بين المجموعة‬
‫الجزئية والزمرة الجزئية من الزمرة الكلية و كذلك القدرة على توظيف‬ ‫أهداف المادة‬
‫المبرهنات المختلفة لدراسة أنواع وخصائص الزمر والتعرف على‬
‫مفهوم التشاكالت الزمرية والمبرهنات األساسية لها ‪.‬‬
‫العمميات الثنائية ‪ ,‬الزمر (تعريف وخواصها االولية مع امثمة متنوعة )‪,‬‬
‫و الزمرة‬ ‫‪Zn‬‬ ‫‪,n‬‬ ‫الزمرتان المهمتان (زمرة االعداد الصحيحة مقياس‬
‫التناظرية ذات الدرجة ‪ ,) S n , n‬الزمر الجزئية ‪ ,‬مبرهنة الكرانج ‪ ,‬مركز‬
‫المفردات األساسية لممادة الزمرة‪ ,‬الزمر الجزئية المتولدة بمجموعة ‪ ,‬الزمرة الدائرية (الدوارة)‪,‬‬
‫الزمر الجزئية السوية ‪ ,‬الزمر الكسرية ‪ ,‬الزمرة الجزئية المشتقة ‪,‬‬
‫التماثالت الزمرية وخواصها ‪ ,‬مبرهنة كيمي‪ ,‬الم برهنات األساسية‬
‫لمتشاكل الزمري ‪ ,‬الجداء المباشر لمزمر ‪ ,‬الزمر االولية من النمط ‪, p‬‬
‫المبرهنة األساسية لمزمر االبيمية (االبدالية) المنتهية‪.‬‬
‫‪ )1‬بيرتون د‪ .‬م‪ ," .‬ترجمة عبد العال جاسم محمد وسناء عبد محمد ‪,‬‬
‫مقدمة في الجبر المجرد الحديث ‪ , 1982 ,‬جامعة الموصل– العراق ‪.‬‬
‫‪ )2‬هادي جابر مصطفى واخرون ‪ ,‬الجبر ‪ , 1993 ,‬جامعة البصرة –‬
‫المصادر‬
‫العراق ‪.‬‬
‫‪ )3‬باسل عطا عبد المجيد وآخرون ‪ ,‬مقدمة في نظرية الزمر ‪1982 ,‬‬
‫‪ ,‬وزارة التعميم العالي والبحث العممي– العراق ‪.‬‬

‫‪2‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫لتكن 𝐺 مجموعة غير خالية فان الد الة 𝐺 ⟶ 𝐺 × 𝐺 ∶ ∗ تسمى عممية ثنائية ( ‪Binary‬‬ ‫تعريف ‪:‬‬
‫‪ )operation‬عمى 𝐺‬

‫لتكن 𝐺 ⊆ 𝐴 ولتكن ∗ عممية ثنائية عمى 𝐺 تسمى المجموعة 𝐴 مغمقة بفعل العممية ∗ إذا كان‬ ‫تعريف ‪:‬‬
‫𝐴 ∈ 𝑏 ‪𝑎 ∗ 𝑏 ∈ 𝐴 ∀ 𝑎,‬‬
‫مجموعة األعداد الطبيعية ‪ ℕ‬تكون مغمقة بفعل عممية الجمع ( ‪ ) +‬وذلك ألنو‬ ‫مثال ‪:‬‬
‫‪𝑎 + 𝑏 ∈ ℕ ∀ 𝑎, 𝑏 ∈ ℕ‬‬
‫ولكنيا ليست مغمقة بفعل عممية الطرح ( ‪ ) −‬وذلك ألنو‬
‫‪1,2 ∈ ℕ‬‬
‫ولكن‬
‫‪1 − 2 = −1 ∉ ℕ‬‬
‫لتكن 𝐺 مجموعة غير خالية ‪ ∗ ,‬عممية ثنائية معرفة عمى 𝐺 فيقال لمزوج المرتب )∗‪ (𝐺,‬زمرة‬ ‫تعريف ‪:‬‬
‫( ‪ ) Group‬إذا تحققت الشروط اآلتية ‪:‬‬
‫‪ 𝑎 ∗ 𝑏 ∈ 𝐺 - 1‬لكل 𝐺 ∈ 𝑏 ‪. 𝑎,‬‬
‫‪ 𝑎 ∗ 𝑏 ∗ 𝑐 = 𝑎 ∗ (𝑏 ∗ 𝑐) - 2‬لكل 𝐺 ∈ 𝑐 ‪. 𝑎, 𝑏,‬‬
‫‪ٌ - 3‬وجد 𝐺 ∈ 𝑒 بحٌث ان 𝑎 = 𝑎 ∗ 𝑒 = 𝑒 ∗ 𝑎 لكل 𝐺 ∈ 𝑎 ‪.‬‬
‫(ٌسمى 𝑒 العنصر المحاٌد)‬
‫‪−1‬‬ ‫‪−1‬‬ ‫‪−1‬‬
‫‪ - 4‬لكل 𝐺 ∈ 𝑎 ٌوجد 𝐺 ∈ 𝑎 بحٌث ان 𝑒 = 𝑎 ∗ 𝑎 = 𝑎 ∗ 𝑎 ‪.‬‬
‫(ٌسمى ‪ 𝑎−1‬العنصر النظٌر للعنصر 𝑎)‬

‫مجموعة األعداد الصحيحة 𝑍 مع عممية الجمع ( ‪ ) +‬تشكل زمرة‬ ‫مثال ‪:‬‬

‫‪ 𝑎 + 𝑏 ∈ 𝑍 -‬لكل 𝑍 ∈ 𝑏 ‪. 𝑎,‬‬ ‫‪1‬‬


‫‪ 𝑎 + 𝑏 + 𝑐 = 𝑎 + (𝑏 + 𝑐) -‬لكل 𝑍 ∈ 𝑐 ‪. 𝑎, 𝑏,‬‬ ‫‪2‬‬
‫‪ٌ -‬وجد 𝑍 ∈ ‪ 0‬بحٌث ان 𝑎 = 𝑎 ‪ 𝑎 + 0 = 0 +‬لكل 𝑍 ∈ 𝑎 ‪.‬‬ ‫‪3‬‬
‫‪ -‬لكل 𝑍 ∈ 𝑎 ٌوجد 𝑍 ∈ 𝑎‪ −‬بحٌث ان ‪. 𝑎 + −𝑎 = −𝑎 + 𝑎 = 0‬‬ ‫‪4‬‬

‫)‪ (𝑍, +‬زمرة وتسمى زمرة األعداد الصحٌحة ‪.‬‬

‫‪3‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫إذا كانت 𝑋 مجموعة غير خالية ‪ .‬فان الزوج المرتب )∪‪ (𝑃 𝑋 ,‬يكون شبو زمرة ذات عنصر‬ ‫مثال ‪:‬‬
‫محايد‬
‫}𝑋 ⊆ 𝐴 ∶ 𝐴{ = 𝑋 𝑃‬
‫‪ - 1‬لٌكن )𝑋(𝑃 ∈ 𝐵 ‪𝐴,‬‬

‫𝑋⊆𝐵 ‪𝐴⊆𝑋,‬‬
‫𝑋⊆ 𝐵∪𝐴‬
‫𝑋 𝑃∈ 𝐵∪𝐴‬
‫‪ - 2‬لٌكن )𝑋(𝑃 ∈ 𝐶 ‪𝐴, 𝐵,‬‬

‫حسب خواص المجموعات‬ ‫)𝐶 ∪ 𝐵( ∪ 𝐴 = 𝐶 ∪ 𝐵 ∪ 𝐴‬


‫𝑋⊆∅‬ ‫‪-3‬‬

‫𝑋 𝑃∈∅‬
‫𝐴= 𝐴∪∅=∅∪𝐴‬
‫∴ العنصر المحاٌد هو ∅‬

‫‪ - 4‬لٌكن )𝑋(𝑃 ∈ 𝐴‬
‫الٌوجد نظٌر بحٌث ان‬
‫∅ = 𝐴 ∪ ‪𝐴 ∪ 𝐴−1 = 𝐴−1‬‬

‫∴ )∪‪ (𝑃 𝑋 ,‬لٌس زمرة لكن شبه زمرة ذات عنصر محاٌد ‪.‬‬

‫يقال لمزمرة )∗‪ (𝐺,‬بانيا زمرة ابدالية اذا وفقط اذا كان‬ ‫تعريف ‪:‬‬
‫𝑎∗𝑏= 𝑏∗𝑎‬ ‫𝐺 ∈ 𝑏 ‪∀ 𝑎,‬‬
‫)‪ (𝑍, +‬زمرة ابدالية‬ ‫مثال ‪:‬‬
‫لتكن )∗‪ (𝐺,‬زمرة فان‬ ‫مبرهنة ‪: 1‬‬
‫‪ - 1‬العنصر المحاٌد وحٌد ‪.‬‬
‫‪ - 2‬العنصر النظٌر وحٌد ‪.‬‬
‫‪ 𝑎−1 −1 = 𝑎 - 3‬لكل 𝐺 ∈ 𝑎 ‪.‬‬

‫‪4‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫البرهان ‪:‬‬
‫‪ - 1‬لٌكن كل من ‪ 𝑒2 , 𝑒1‬عنصر محاٌد‬

‫𝑎 = ‪𝑎 ∗ 𝑒1‬‬
‫𝑎 = ‪𝑎 ∗ 𝑒2‬‬ ‫𝐺∈ 𝑎∀‬
‫‪𝑎 ∗ 𝑒1 = 𝑎 ∗ 𝑒2‬‬
‫‪𝑎 ∗ 𝑎 ∗ 𝑒1 = 𝑎−1 ∗ 𝑎 ∗ 𝑒2‬‬
‫‪−1‬‬

‫‪𝑎−1 ∗ 𝑎 ∗ 𝑒1 = 𝑎−1 ∗ 𝑎 ∗ 𝑒2‬‬


‫‪𝑒1 ∗ 𝑒1 = 𝑒2 ∗ 𝑒2‬‬
‫‪𝑒1 = 𝑒2‬‬
‫∴ العنصر المحايد وحيد‬
‫‪ - 2‬لٌكن كل من ‪ 𝑎2−1 , 𝑎1−1‬عنصر نظٌر للعنصر 𝑎‬

‫𝑒 = ‪𝑎 ∗ 𝑎1−1‬‬
‫𝑒 = ‪𝑎 ∗ 𝑎2−1‬‬ ‫𝐺∈ 𝑎∀‬
‫بما ان العنصر المحايد وحيد‬
‫‪𝑎 ∗ 𝑎1−1‬‬ ‫∗𝑎=‬ ‫‪𝑎2−1‬‬
‫‪−1‬‬
‫∗ 𝑎‬ ‫‪𝑎 ∗ 𝑎1−1‬‬ ‫‪= 𝑎−1 ∗ 𝑎 ∗ 𝑎2−1‬‬
‫∗ ‪𝑎−1‬‬ ‫‪𝑎 ∗ 𝑎1−1‬‬ ‫‪= 𝑎−1 ∗ 𝑎 ∗ 𝑎2−1‬‬
‫‪𝑒 ∗ 𝑎1−1‬‬ ‫‪= 𝑒 ∗ 𝑎2−1‬‬
‫‪𝑎1−1‬‬ ‫‪= 𝑎2−1‬‬
‫∴ العنصر النظير وحيد‬
‫‪-3‬‬

‫𝑒 = ‪𝑎 ∗ 𝑎−1‬‬
‫𝑒 = ‪𝑎−1 −1 ∗ 𝑎−1‬‬
‫‪𝑎 ∗ 𝑎−1 = 𝑎−1 −1 ∗ 𝑎−1‬‬
‫𝑎 ∗ ‪𝑎 ∗ 𝑎−1 ∗ 𝑎 = 𝑎−1 −1 ∗ 𝑎−1‬‬
‫𝑎 ∗ ‪𝑎 ∗ 𝑎−1 ∗ 𝑎 = 𝑎−1 −1 ∗ 𝑎−1‬‬
‫𝑒 ∗ ‪𝑒 ∗ 𝑎 = 𝑎−1 −1‬‬
‫‪𝑎 = 𝑎−1 −1‬‬
‫لتكن )∗‪ (𝐺,‬زمرة فان‬ ‫مبرهنة ‪: 2‬‬
‫‪−1‬‬
‫𝑏∗𝑎‬ ‫‪= 𝑏 −1 ∗ 𝑎−1‬‬ ‫𝐺 ∈ 𝑏 ‪∀ 𝑎,‬‬

‫‪5‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫ليكن 𝐺 ∈ 𝑏 ‪𝑎,‬‬ ‫البرهان ‪:‬‬


‫‪𝑎 ∗ 𝑏 ∗ 𝑏−1 ∗ 𝑎−1 = 𝑎 ∗ 𝑏 ∗ 𝑏 −1 ∗ 𝑎−1‬‬
‫𝑒 = ‪= 𝑎 ∗ 𝑒 ∗ 𝑎−1 = 𝑎 ∗ 𝑎−1‬‬

‫𝑏 ∗ 𝑎 ∗ ‪𝑏 −1 ∗ 𝑎−1 ∗ 𝑎 ∗ 𝑏 = 𝑏 −1 ∗ 𝑎−1‬‬
‫𝑒 = 𝑏 ∗ ‪= 𝑏 −1 ∗ 𝑒 ∗ 𝑏 = 𝑏 −1‬‬
‫∴ ‪ 𝑏 −1 ∗ 𝑎−1‬ىو نظير العنصر 𝑏 ∗ 𝑎‬
‫𝑏 ∗ 𝑎 ىو نظير العنصر 𝑏 ∗ 𝑎‬ ‫‪−1‬‬
‫ولكن‬
‫وبما ان العنصر النظير وحيد‬
‫∴ ‪𝑎 ∗ 𝑏 −1 = 𝑏 −1 ∗ 𝑎−1‬‬
‫لتكن )∗‪ (𝐺,‬زمرة ‪ 𝑎 ∗ 𝑏 = 𝑎 ∗ 𝑐 ,‬فان 𝑐 = 𝑏 لكل 𝐺 ∈ 𝑐 ‪𝑎, 𝑏,‬‬ ‫مبرهنة ‪: 3‬‬
‫ليكن 𝐺 ∈ 𝑐 ‪𝑎, 𝑏,‬‬ ‫البرهان ‪:‬‬
‫𝑐∗𝑎= 𝑏∗𝑎‬
‫𝑐 ∗ 𝑎 ∗ ‪𝑎 ∗ 𝑎 ∗ 𝑏 = 𝑎−1‬‬
‫‪−1‬‬

‫𝑐 ∗ 𝑎 ∗ ‪𝑎−1 ∗ 𝑎 ∗ 𝑏 = 𝑎−1‬‬
‫𝑐∗𝑒=𝑏∗𝑒‬
‫𝑐=𝑏‬
‫لتكن )∗‪ (𝐺,‬زمرة ‪ 𝑎 ∈ 𝐺 ,‬فان القوى العددية لمعنصر ىي كاآلتي ‪:‬‬ ‫تعريف ‪:‬‬
‫‪ 𝑎𝑘 = 𝑎 ∗ 𝑎 ∗ 𝑎 ∗ … ∗ 𝑎 - 1‬حٌث ان 𝑍 ∈ 𝑘 ‪.‬‬

‫𝑘 من المرات‬
‫‪. 𝑎0 = 𝑒 - 2‬‬

‫‪ 𝑎−𝑘 = 𝑎−1 ∗ 𝑎−1 ∗ 𝑎−1 ∗ … ∗ 𝑎−1 - 3‬حٌث ان 𝑍 ∈ 𝑘 ‪.‬‬

‫𝑘 من المرات‬

‫في الزمرة )‪ (𝑍, +‬نجد ان‬ ‫مثال ‪:‬‬


‫‪23 = 2 + 2 + 2 = 6‬‬
‫‪80 = 0‬‬
‫‪3−2‬‬ ‫‪= (3−1 )2 = (−3)2 = −3 + −3 = −6‬‬

‫‪6‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫لتكن )∗‪ (𝐺,‬زمرة ‪ 𝑎 ∈ 𝐺 , 𝑚, 𝑛 ∈ 𝑍 ,‬فان ‪:‬‬ ‫مبرهنة ‪: 4‬‬


‫‪. 𝑎𝑛 ∗ 𝑎𝑚 = 𝑎𝑛 +𝑚 -‬‬ ‫‪1‬‬
‫‪. 𝑎𝑛 𝑚 = 𝑎𝑛 𝑚 -‬‬ ‫‪2‬‬
‫‪. 𝑒𝑛 = 𝑒 -‬‬ ‫‪3‬‬
‫‪𝑎−𝑛 = 𝑎𝑛 −1 -‬‬ ‫‪4‬‬

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

‫𝑎 ∗ … ∗ 𝑎 ∗ 𝑎 ∗ 𝑎 ∗ … ∗ 𝑎 ∗ 𝑎 = 𝑚𝑎 ∗ 𝑛𝑎‬
‫𝑛 من المرات‬ ‫𝑚 من المرات‬

‫𝑚‪= 𝑎 ∗ 𝑎 ∗ 𝑎 ∗ … ∗ 𝑎 = 𝑎𝑛+‬‬
‫𝑚 ‪ 𝑛 +‬من المرات‬
‫‪-2‬‬

‫𝑛𝑎‬ ‫𝑚‬
‫𝑛𝑎 ∗ … ∗ 𝑛𝑎 ∗ 𝑛𝑎 =‬
‫𝑚 من المرات‬

‫𝑚 𝑛𝑎 = 𝑎 ∗ … ∗ 𝑎 ∗ 𝑎 ∗ 𝑎 =‬
‫𝑚 ‪ 𝑛 .‬من المرات‬

‫‪-3‬‬

‫𝑒 = 𝑒 ∗ … ∗ 𝑒 ∗ 𝑒 == 𝑛 𝑒‬
‫𝑛 من المرات‬

‫‪-4‬‬

‫‪𝑎−𝑛 = 𝑎−(1+1+⋯+1) = 𝑎−1 ∗ 𝑎−1 ∗ … ∗ 𝑎−1 = 𝑎−1‬‬ ‫𝑛‬

‫𝑛 من المرات‬

‫‪7‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫‪−1‬‬
‫𝑛𝑎‬ ‫‪−1‬‬
‫𝑎 ∗… ∗ 𝑎 ∗ 𝑎 ∗ 𝑎 =‬ ‫‪= 𝑎−1 ∗ 𝑎−1 ∗ … ∗ 𝑎−1 = 𝑎−1‬‬ ‫𝑛‬

‫𝑛 من المرات‬ ‫𝑛 من المرات‬

‫𝑛𝑎 = 𝑛‪∴ 𝑎−‬‬ ‫‪−1‬‬

‫لتكن )∗‪ (𝐺,‬زمرة بحيث ان 𝐺 ∈ 𝑎 ∀ 𝑒 = ‪ 𝑎2‬فان )∗‪ (𝐺,‬زمرة ابدالية ‪.‬‬ ‫مبرهنة ‪: 5‬‬
‫ليكن 𝐺 ∈ 𝑏 ‪𝑎,‬‬ ‫البرهان ‪:‬‬
‫𝑒 = ‪𝑎2 = 𝑒 , 𝑏2‬‬
‫𝐺∈ 𝑏∗𝑎‬
‫‪𝑎 ∗ 𝑏 = 𝑒 = 𝑒 ∗ 𝑒 = 𝑎2 ∗ 𝑏 2‬‬
‫‪2‬‬

‫∴ )∗‪ (𝐺,‬زمرة ابدالية ‪.‬‬

‫إذا كانت )∗‪ (𝐺,‬زمرة فيقال انيا زمرة منتيية اذا كانت 𝐺 مجموعة منتيية وتسمى زمرة غير‬ ‫تعريف ‪:‬‬
‫منتيية اذا كانت 𝐺 مجموعة غير منتيية ‪.‬‬

‫الزمرة )‪ (𝑍, +‬زمرة غير منتيية ‪.‬‬ ‫مثال ‪:‬‬


‫إذا كانت )∗‪ (𝐺,‬زمرة منتيية فان عدد عناصر المجموعة 𝐺 يسمى رتبة الزمرة ويرمز لو بالرمز‬ ‫تعريف ‪:‬‬
‫)𝐺(𝑂 أو 𝐺 اما اذا كانت )∗‪ (𝐺,‬زمرة غير منتيية فيقال انيا زمرة ذات رتبة غير منتيية ‪.‬‬

‫اذا كانت }𝑐 ‪ ∗ , 𝐺 = {𝑒, 𝑎, 𝑏,‬عممية معرفة عمى 𝐺 كاآلتي‪:‬‬ ‫مثال ‪:‬‬

‫∗‬ ‫𝑒‬ ‫𝑎‬ ‫𝑏‬ ‫𝑐‬


‫𝑒‬ ‫𝑒‬ ‫𝑎‬ ‫𝑏‬ ‫𝑐‬
‫𝑎‬ ‫𝑎‬ ‫𝑒‬ ‫𝑐‬ ‫𝑏‬
‫𝑏‬ ‫𝑏‬ ‫𝑐‬ ‫𝑒‬ ‫𝑎‬
‫𝑐‬ ‫𝑐‬ ‫𝑏‬ ‫𝑎‬ ‫𝑒‬

‫فان )∗‪ (𝐺,‬تشكل زمرة وتكون ابدالية وتسمى زمرة كالين الرباعية حيث ان ‪. 𝑂 𝐺 = 4‬‬

‫‪8‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫يقال لمزمرة )∗‪ (𝐺,‬زمرة دائرية إذا وجد عنصر 𝐺 ∈ 𝑎 بحيث كل عنصر ينتمي الى 𝐺 يمكن‬ ‫تعريف ‪:‬‬
‫كتابتو بالشكل 𝑍 ∈ 𝑘 ‪ 𝑎𝑘 ,‬ويسمى العنصر 𝑎 مولد لمزمرة 𝐺 وتكتب الزمرة بالشكل > 𝑎 <= 𝐺 ‪.‬‬

‫كل زم رة دائرية ليا عمى األقل مولد واحد ‪.‬‬ ‫مالحظة ‪:‬‬

‫)‪ (𝑍, +‬زمرة دائرية مولدىا ‪. −1 , 1‬‬ ‫مثال ‪:‬‬

‫ليكن 𝑍 ∈ 𝑚‬
‫‪ - 1‬إذا كان ‪𝑚 ∈ 𝑍 +‬‬

‫𝑚‪𝑚 = 1 + 1 + ⋯ + 1 = 1‬‬
‫𝑚 من المرات‬
‫‪ - 2‬إذا كان ‪𝑚 = 0‬‬

‫‪0 = 10 = 0‬‬

‫‪ - 3‬إذا كان ‪𝑚 ∈ 𝑍 −‬‬

‫𝑚‬ ‫𝑚 ‪−1‬‬ ‫𝑚‪−‬‬


‫‪𝑚 = −1 + −1 + ⋯ + −1 = −1‬‬ ‫=‬ ‫‪1‬‬ ‫‪= 1‬‬
‫𝑚 من المرات‬

‫اذن > ‪. 𝑍 =< 1‬‬

‫وبنفس الطريقة يمكننا إثبات > ‪. 𝑍 =< −1‬‬

‫كل زمرة دائرية تكون ابدالية ‪.‬‬ ‫مبرهنة ‪: 6‬‬


‫نفرض ان )∗‪ (𝐺,‬زمرة دائرية مولدىا 𝑎‬ ‫البرهان ‪:‬‬

‫نفرض ان 𝐺 ∈ 𝑦 ‪𝑥,‬‬

‫‪9‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫‪𝑥 = 𝑎𝑘 1 , 𝑦 = 𝑎𝑘 2‬‬
‫‪𝑥 ∗ 𝑦 = 𝑎𝑘 1‬‬ ‫𝑥 ∗ 𝑦 = ‪∗ 𝑎𝑘 2 = 𝑎𝑘 1 +𝑘 2 = 𝑎𝑘 2 +𝑘 1 = 𝑎𝑘 2 ∗ 𝑎𝑘 1‬‬

‫∴ )∗‪ (𝐺,‬زمرة ابدالية ‪.‬‬

‫ليكن 𝑛 عدد صحيح موجب ثابت يقال لمعددان الصحيحان 𝑏 ‪ 𝑎,‬متكافئان (متطابقان) معيار 𝑛‬ ‫تعريف ‪:‬‬
‫اذا وفقط اذا كان ( 𝑍 ∈ 𝑘 ‪ ) 𝑎 − 𝑏 = 𝑘𝑛 ,‬ويرمز ليما بالرمز )𝑛 𝑑𝑜𝑚( 𝑏 ≡ 𝑎 ‪.‬‬

‫)‪8 ≡ 4 (𝑚𝑜𝑑 2‬‬ ‫مثال ‪:‬‬

‫ألنو ‪8 − 4 = 4 = 2 . 2‬‬

‫)‪12 ≡ 6 (𝑚𝑜𝑑 2‬‬

‫ألنو ‪12 − 6 = 6 = 3 . 2‬‬

‫)‪−12 ≡ 3 (𝑚𝑜𝑑 3‬‬

‫ألنو ‪−12 − 3 = −15 = −5 . 3‬‬

‫)‪5 ≢ 2 (𝑚𝑜𝑑 2‬‬ ‫لكن‬

‫ألنو 𝑍 ∈ 𝑘 ∀ ‪5 − 2 = 3 ≠ 𝑘 . 2‬‬

‫عالقة التطابق ( 𝑑𝑜𝑚 ) عالقة تكافؤ عمى مجموعة األعداد الصحيحة ‪.‬‬ ‫مبرهنة ‪: 7‬‬
‫ليكن 𝑍 ∈ 𝑐 ‪𝑎, 𝑏,‬‬ ‫البرهان ‪:‬‬

‫‪10‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫‪-1‬‬

‫)𝑜 = 𝑘( 𝑛 ‪𝑎 − 𝑎 = 0 = 0 .‬‬
‫)𝑛 𝑑𝑜𝑚( 𝑎 ≡ 𝑎‬
‫∴ ≡ انعكاسية‬
‫‪- 2‬نفرض ان )𝑛 𝑑𝑜𝑚( 𝑏 ≡ 𝑎‬

‫𝑍 ∈ 𝑘 ‪𝑎 − 𝑏 = 𝑘 .𝑛 ,‬‬
‫𝑍 ∈ 𝑘 ‪𝑏 − 𝑎 = − 𝑘 .𝑛 , −‬‬
‫)𝑛 𝑑𝑜𝑚( 𝑎 ≡ 𝑏‬
‫∴ ≡ متناظرة‬
‫‪- 3‬نفرض ان )𝑛 𝑑𝑜𝑚( 𝑏 ≡ 𝑎 ‪𝑏 ≡ 𝑐 (𝑚𝑜𝑑 𝑛) ,‬‬

‫𝑍 ∈ ‪𝑎 − 𝑏 = 𝑘1 . 𝑛 , 𝑘1‬‬
‫𝑍 ∈ ‪𝑏 − 𝑐 = 𝑘2 . 𝑛 , 𝑘2‬‬
‫𝑐‪𝑎−𝑐 =𝑎−𝑏+𝑏−‬‬
‫𝑐‪= 𝑎−𝑏 + 𝑏−‬‬
‫𝑛 ‪= 𝑘1 . 𝑛 + 𝑘2 . 𝑛 = 𝑘1 + 𝑘2 . 𝑛 = 𝑘3 .‬‬
‫𝑍 ∈ ‪𝑘3 = 𝑘1 + 𝑘2‬‬ ‫حيث ان‬
‫)𝑛 𝑑𝑜𝑚( 𝑐 ≡ 𝑎‬
‫∴ ≡ متعدٌة‬

‫وبالتالي ستكون عالقة التطابق عالقة تكافؤ ‪.‬‬

‫ليكن 𝑍 ∈ 𝑑 ‪𝑎, 𝑏, 𝑐,‬‬ ‫مبرهنة ‪: 8‬‬


‫)𝑛 𝑑𝑜𝑚( 𝑏 ≡ 𝑎 ‪ 𝑐 ≡ 𝑑 (𝑚𝑜𝑑 𝑛) ,‬فان‬ ‫‪- 1‬اذا كان‬

‫)𝑛 𝑑𝑜𝑚( 𝑑 ‪𝑎 + 𝑐 ≡ 𝑏 +‬‬


‫)𝑛 𝑑𝑜𝑚( 𝑑 ‪𝑎 . 𝑐 ≡ 𝑏 .‬‬

‫)𝑛 𝑑𝑜𝑚( 𝑏 ≡ 𝑎 فان )𝑛 𝑑𝑜𝑚( 𝑐𝑏 ≡ 𝑐𝑎 ‪.‬‬ ‫‪ - 2‬اذا كان‬


‫)𝑛 𝑑𝑜𝑚( 𝑏 ≡ 𝑎 فان )𝑛 𝑑𝑜𝑚( 𝑘 𝑏 ≡ 𝑘𝑎 ‪.‬‬ ‫‪ - 3‬اذا كان‬

‫‪11‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫ليكن 𝑍 ∈ 𝑑 ‪𝑎, 𝑏, 𝑐,‬‬ ‫البرهان ‪:‬‬


‫‪-1‬‬

‫)𝑛 𝑑𝑜𝑚( 𝑏 ≡ 𝑎 ∵‬
‫𝑍 ∈ ‪𝑎 − 𝑏 = 𝑘1 . 𝑛 , 𝑘1‬‬
‫)𝑛 𝑑𝑜𝑚( 𝑑 ≡ 𝑐 ∵‬
‫𝑍 ∈ ‪𝑐 − 𝑑 = 𝑘2 . 𝑛 , 𝑘2‬‬
‫𝑛 ‪𝑎 − 𝑏 + 𝑐 − 𝑑 = 𝑘1 . 𝑛 + 𝑘2 .‬‬
‫𝑛 ‪𝑎 + 𝑐 − 𝑏 + 𝑑 = 𝑘1 + 𝑘2 . 𝑛 = 𝑘3 .‬‬
‫𝑍 ∈ ‪𝑘3 = 𝑘1 + 𝑘2‬‬ ‫حيث ان‬
‫)𝑛 𝑑𝑜𝑚( 𝑑 ‪∴ 𝑎 + 𝑐 ≡ 𝑏 +‬‬
‫كذلك وببساطة يمكننا اثبات )𝑛 𝑑𝑜𝑚( 𝑑 ‪. 𝑎 . 𝑐 ≡ 𝑏 .‬‬

‫‪- 2‬نفرض ان )𝑛 𝑑𝑜𝑚( 𝑏 ≡ 𝑎‬

‫𝑍 ∈ 𝑘 ‪𝑎 − 𝑏 = 𝑘 .𝑛 ,‬‬
‫𝑐‪𝑎 − 𝑏 .𝑐 = 𝑘 .𝑛 .‬‬
‫𝑍 ∈ 𝑐‪𝑎 .𝑐 – 𝑏 .𝑐 = 𝑘 .𝑐 .𝑛 , 𝑘 .‬‬
‫)𝑛 𝑑𝑜𝑚( 𝑐𝑏 ≡ 𝑐𝑎‬

‫‪ - 3‬سيكون البرىان حسب طريقة االستقراء الرياضي‬


‫عندما ‪ 𝑘 = 1‬نجد ان‬
‫)𝑛 𝑑𝑜𝑚( 𝑏 ≡ 𝑎‬
‫عندما ‪𝑘 = 2‬‬
‫)𝑛 𝑑𝑜𝑚( 𝑏 ≡ 𝑎 ∵‬
‫حسب (‪ )1‬من نفس المبرىنة نحصل عمى‬
‫)𝑛 𝑑𝑜𝑚( 𝑏 ‪𝑎 . 𝑎 ≡ 𝑏 .‬‬
‫)𝑛 𝑑𝑜𝑚( ‪𝑎2 ≡ 𝑏 2‬‬
‫نفرض العبارة صحيحة عندما 𝑚 = 𝑘 اي ان‬

‫‪12‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫)𝑛 𝑑𝑜𝑚( 𝑚 𝑏 ≡ 𝑚𝑎‬


‫)𝑛 𝑑𝑜𝑚( 𝑏 ≡ 𝑎 ∵‬
‫حسب (‪ )1‬من نفس المبرىنة نحصل عمى‬
‫)𝑛 𝑑𝑜𝑚( 𝑏 ‪𝑎𝑚 . 𝑎 ≡ 𝑏 𝑚 .‬‬
‫)𝑛 𝑑𝑜𝑚( ‪𝑎𝑚 +1 ≡ 𝑏 𝑚 +1‬‬
‫اذن العبارة صحيحة عندما ‪𝑘 = 𝑚 + 1‬‬
‫اذن العبارة صحيحة لجميع قيم 𝑘 من األعداد الصحٌحة الموجبة ‪.‬‬

‫ليكن 𝑍 ∈ 𝑎 فان‬ ‫تعريف ‪:‬‬


‫𝑍 ∈ 𝑘 ‪𝑎 = 𝑥 ∈ 𝑍 ∶ 𝑥 ≡ 𝑎 (𝑚𝑜𝑑 𝑛) = 𝑥 ∈ 𝑍 ∶ 𝑥 = 𝑎 + 𝑘 . 𝑛 ,‬‬
‫يسمى 𝑎 صف التكافؤ معيار 𝑛 المعين بالعنصر 𝑎 ‪.‬‬

‫ليكن 𝑛 عدد صحيح موجب فتسمى مجموعة صفوف التكافؤ المختمفة معيار 𝑛 مجموعة األعداد‬ ‫تعريف ‪:‬‬
‫الصحيحة معيار 𝑛 ويرمز ليا بالرمز 𝑛𝑍‬
‫‪𝑍𝑛 = 0 , 1 , … , 𝑛 − 1‬‬
‫ولمسيولة تكتب بالشكل‬
‫‪𝑍𝑛 = 0, 1, … , 𝑛 − 1‬‬

‫مثال ‪:‬‬
‫‪𝑍1 = 0‬‬

‫‪𝑍3 = 0, 1, 2‬‬

‫‪𝑍8 = 0, 1,2,3,4,5,6,7‬‬

‫تعرف عممية الجمع معيار 𝑛 ( 𝑛‪ ) +‬عمى المجموعة 𝑛𝑍 كاآلتي ‪:‬‬

‫𝑏 ‪𝑎 +𝑛 𝑏 = 𝑎 +‬‬

‫𝑏 ‪𝑎 +𝑛 𝑏 = 𝑎 +‬‬

‫‪13‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫كذلك تعرف عممية الضرب معيار 𝑛 ( 𝑛 ‪ ) .‬عمى المجموعة 𝑛𝑍 كاآلتي ‪:‬‬

‫𝑏‪𝑎 .𝑛 𝑏 = 𝑎 .‬‬

‫𝑏‪𝑎 .𝑛 𝑏 = 𝑎 .‬‬

‫مثال ‪:‬‬

‫‪3 +4 4 = 7 = 3‬‬

‫‪3 . 4 4 = 12 = 0‬‬

‫الزوج المرتب ) 𝑛‪ (𝑍𝑛 , +‬يشكل زمرة ابدالية وتسمى زمرة األعداد الصحيحة معيار 𝑛 ‪.‬‬ ‫مبرهنة ‪: 9‬‬

‫ليكن 𝑛𝑍 ∈ 𝑐 ‪𝑎 , 𝑏 ,‬‬ ‫البرهان ‪:‬‬

‫‪- 1‬‬
‫𝑛𝑍 ∈ 𝑏 ‪𝑎 +𝑛 𝑏 = 𝑎 +‬‬

‫‪- 2‬‬
‫= 𝑐 𝑛‪𝑎 +𝑛 𝑏 +‬‬ ‫𝑐 𝑛‪𝑎 + 𝑏 +‬‬
‫=‬ ‫𝑐‪𝑎+𝑏 +‬‬
‫=‬ ‫𝑐‪𝑎+ 𝑏+‬‬
‫=‬ ‫𝑐 ‪𝑎 +𝑛 𝑏 +‬‬
‫=‬ ‫𝑐 𝑛‪𝑎 +𝑛 𝑏 +‬‬
‫‪- 3‬‬
‫𝑎 = ‪𝑎 +𝑛 0 = 𝑎 + 0‬‬
‫𝑎 = 𝑎 ‪0 +𝑛 𝑎 = 0 +‬‬

‫∴ 𝑛 = ‪ 0‬ىو العنصر المحايد‬


‫‪- 4‬‬
‫‪𝑎 +𝑛 𝑛 − 𝑎 = 𝑎 + 𝑛 − 𝑎 = 𝑛 = 0‬‬

‫‪14‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫‪𝑛 − 𝑎 +𝑛 𝑎 = 𝑛 − 𝑎 + 𝑎 = 𝑛 = 0‬‬
‫‪−1‬‬
‫𝑎‬ ‫𝑎‪= 𝑛−‬‬ ‫∴‬

‫∴ ) 𝑛‪ (𝑍𝑛 , +‬زمرة ابدالية ‪.‬‬

‫زمرة األعداد الصحيحة معيار 𝑛 ) 𝑛‪ (𝑍𝑛 , +‬تكون دائرية ومولدىا ‪. 1‬‬ ‫مبرهنة ‪: 10‬‬
‫ليكن 𝑛𝑍 ∈ 𝑚‬ ‫البرهان ‪:‬‬
‫‪0≤𝑚 ≤𝑛−1‬‬
‫𝑛‪𝑚 = 1 + 1 + ⋯ + 1 = 1 +‬‬ ‫𝑍 ∈ 𝑚 ‪1 +𝑛 … +𝑛 1 = 1 𝑚 ,‬‬

‫𝑚 من المرات‬ ‫𝑚 من المرات‬

‫∴ ) 𝑛‪ (𝑍𝑛 , +‬زمرة دائرية مولدىا ‪. 1‬‬

‫فان 𝑎 يولد الزمرة ) 𝑛‪ (𝑍𝑛 , +‬اذا وفقط اذا كان القاسم المشترك األكبر‬ ‫اذا كان 𝑛𝑍 ∈ 𝑎‬ ‫مالحظة ‪:‬‬
‫بين 𝑎 و 𝑛 يساوي ‪) 𝑔𝑐𝑑 𝑎, 𝑛 = 1 ( 1‬‬

‫في الزمرة ) ‪(𝑍4 , +4‬‬ ‫مثال ‪:‬‬


‫‪𝑍4 = 0,1,2,3‬‬

‫‪𝑛=4‬‬

‫‪𝑔𝑐𝑑 2,4 = 2 ≠ 1‬‬

‫‪𝑔𝑐𝑑 3,4 = 1‬‬


‫مجموعة مولدات الزمرة ) ‪ (𝑍4 , +4‬ىي }‪. {1, 3‬‬

‫في الزمرة ) ‪(𝑍6 , +6‬‬ ‫مثال ‪:‬‬


‫‪15‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫‪𝑍6 = 0,1,2,3,4,5‬‬

‫‪𝑛=6‬‬

‫‪𝑔𝑐𝑑 2,6 = 2 ≠ 1‬‬

‫‪𝑔𝑐𝑑 3,6 = 3 ≠ 1‬‬

‫‪𝑔𝑐𝑑 4,6 = 2 ≠ 1‬‬

‫‪𝑔𝑐𝑑 5,6 = 1‬‬


‫مجموعة مولدات الزمرة ) ‪ (𝑍6 , +6‬ىي }‪. {1, 5‬‬

‫لتكن 𝑆 مجموعة غير خالية ولتكن 𝑆 ⟶ 𝑆 ∶ 𝑓 فيقال بان 𝑓 تبديل عمى 𝑆 اذا كانت الدالة 𝑓‬ ‫تعريف ‪:‬‬
‫دالة متقابمة ‪.‬‬

‫اذا كان 𝑆 مجموعة منتيية تحتوي عمى 𝑛 من العناصر فسوف نرمز لمجموعة التباديل عمى‬ ‫مالحظة ‪:‬‬
‫المجموعة 𝑆 بالرمز 𝑛𝑆 ‪ .‬كذلك المجموعة 𝑛𝑆 مع عممية تركيب الدوال )∘ ‪ (𝑆𝑛 ,‬تشكل زمرة وتسمى الزمرة‬
‫التناظرية ذات الدرجة 𝑛 ‪.‬‬

‫عدد عناصر 𝑛𝑆 يساوي !𝑛 أي ان ( !𝑛 = 𝑛𝑆 𝑂 ) ‪.‬‬ ‫مالحظة ‪:‬‬

‫‪. 𝑂 𝑆4 = 4! = 24‬‬ ‫‪,‬‬ ‫‪𝑂 𝑆3 = 3! = 6‬‬ ‫مثال ‪:‬‬

‫اذا كانت } 𝑛𝑥 ‪ 𝑆 = {𝑥1 , 𝑥2 , … ,‬فسوف نقوم بكتابتيا بالشكل }‪ 𝑆 = {1 , 2 , … , 3‬لمسيولة فيعرف التبديل‬
‫𝑓 كاآلتي ‪:‬‬

‫‪1, 𝑓 1 , 2, 𝑓 2‬‬ ‫𝑛 𝑓 ‪, … , 𝑛,‬‬

‫‪16‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫ويمكن لمسىولة ان يكتب التبديل بالشكل ‪:‬‬

‫‪1‬‬ ‫‪2‬‬ ‫…‬ ‫𝑛‬


‫‪𝑓 1‬‬ ‫‪𝑓 2‬‬ ‫…‬ ‫𝑛 𝑓‬

‫لتكن }‪𝑆 = {1, 2 ,3‬‬ ‫مثال ‪:‬‬


‫‪𝑓 1 =2 , 𝑓 2 =1 , 𝑓 3 =3‬‬

‫فان التبديل ىو‬

‫‪1‬‬ ‫‪2‬‬ ‫‪3‬‬


‫‪2‬‬ ‫‪1‬‬ ‫‪3‬‬

‫اذا كانت‬ ‫مالحظة ‪:‬‬


‫‪1‬‬ ‫‪2‬‬ ‫…‬ ‫𝑛‬ ‫‪1‬‬ ‫‪2‬‬ ‫…‬ ‫𝑛‬
‫=𝑓‬ ‫‪,‬‬ ‫=𝑔‬
‫‪𝑓 1‬‬ ‫‪𝑓 2‬‬ ‫…‬ ‫𝑛 𝑓‬ ‫‪𝑔 1‬‬ ‫‪𝑔 2‬‬ ‫…‬ ‫𝑛 𝑔‬

‫فان‬

‫‪1‬‬ ‫‪2‬‬ ‫…‬ ‫𝑛‬


‫= 𝑓∘𝑔‬
‫‪𝑔 𝑓 1‬‬ ‫‪𝑔 𝑓 2‬‬ ‫…‬ ‫𝑛 𝑓 𝑔‬

‫اذا كانت‬ ‫مثال ‪:‬‬


‫‪1‬‬ ‫‪2‬‬ ‫‪3‬‬ ‫‪1‬‬ ‫‪2‬‬ ‫‪3‬‬
‫=𝑓‬ ‫=𝑓 ‪,‬‬
‫‪2‬‬ ‫‪1‬‬ ‫‪3‬‬ ‫‪3‬‬ ‫‪1‬‬ ‫‪2‬‬

‫فان‬

‫‪1‬‬ ‫‪2‬‬ ‫‪3‬‬


‫= 𝑓∘𝑔‬
‫‪1‬‬ ‫‪3‬‬ ‫‪2‬‬

‫‪17‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫مالحظات ‪:‬‬
‫‪1‬‬ ‫𝑛 … ‪2‬‬
‫‪.‬‬ ‫‪1‬‬ ‫𝑛 … ‪2‬‬
‫)∘ ‪ (𝑆𝑛 ,‬هو‬ ‫‪ - 1‬العنصر المحاٌد فً الزمرة‬
‫‪𝑓 1‬‬ ‫‪𝑓 2‬‬ ‫…‬ ‫𝑛 𝑓‬ ‫‪1‬‬ ‫‪2‬‬ ‫…‬ ‫𝑛‬
‫‪.‬‬ ‫‪1‬‬ ‫‪2‬‬ ‫…‬ ‫𝑛‬
‫هو‬ ‫‪𝑓 1‬‬ ‫‪𝑓 2‬‬ ‫𝑛 𝑓 …‬
‫‪ - 2‬العنصر النظٌر للعنصر‬
‫‪ - 3‬الزمرة )∘ ‪ (𝑆𝑛 ,‬تكون غٌر ابدالٌة عندما ‪. 𝑛 ≥ 3‬‬

‫𝑛 ≤ 𝑖𝑎 ≤ ‪ 1‬لكل 𝑘 ‪ 𝑖 = 1, 2, … ,‬بحيث ان ‪, 𝑓 𝑛𝑗 = 𝑛𝑗 +1‬‬ ‫‪,‬‬ ‫لتكن 𝑛𝑆 ∈ 𝑓‬ ‫تعريف ‪:‬‬


‫بحيث ان } 𝑘𝑎 ‪ 𝑠 ∉ {𝑎1 , 𝑎2 , … ,‬و ‪ 𝑓 𝑛𝑘 ≠ 1‬فان 𝑓‬ ‫‪ 1 ≤ 𝑗 ≤ 𝑘 − 1‬ولتكن 𝑠𝑛 = 𝑠𝑛 𝑓‬
‫تسمى دورة طولو 𝑘 ‪.‬‬

‫مثال ‪:‬‬
‫‪1‬‬ ‫‪2‬‬ ‫‪3‬‬
‫)‪= (123‬‬
‫‪2‬‬ ‫‪3‬‬ ‫‪1‬‬

‫دورة طوليا ‪. 3‬‬

‫‪1‬‬ ‫‪2‬‬ ‫‪3‬‬ ‫‪4‬‬


‫)‪= (12‬‬
‫‪2‬‬ ‫‪1‬‬ ‫‪3‬‬ ‫‪4‬‬

‫دورة طوليا ‪. 2‬‬

‫مالحظات ‪:‬‬
‫‪ - 1‬كل دورة طولها ‪ 2‬تسمى مناقلة ‪.‬‬
‫‪ - 2‬العنصر النظٌر للدورة ) 𝑛𝑥 ‪ (𝑥1 , 𝑥2 , … ,‬هو ) ‪. (𝑥1 , 𝑥𝑛 , 𝑥𝑛 −1 , . . . , 𝑥2‬‬
‫‪ - 3‬كل تبدٌل ٌمكن كتابته ب شكل وحٌد بصٌغة جداء دورات لٌس فً أي اثنٌن منهما عنصر مشترك‬
‫وٌكون هذا التعبٌر ابدالً ‪.‬‬

‫‪18‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫مثال ‪:‬‬
‫‪−1‬‬
‫‪13254‬‬ ‫‪= 14523‬‬
‫‪−1‬‬
‫‪12‬‬ ‫)‪= (12‬‬

‫مثال ‪:‬‬
‫‪1‬‬ ‫‪2‬‬ ‫‪3‬‬ ‫‪4‬‬
‫‪= 12 ∘ 34 = 34 ∘ 12‬‬
‫‪2‬‬ ‫‪1‬‬ ‫‪4‬‬ ‫‪3‬‬

‫يسمى التبديل فردي ا ذا امكن التعبير عنو كحاصل جداء عدد فردي من المناقالت أو اذا كان‬ ‫تعريف ‪:‬‬
‫طول الدورة عدد زوجي ويسمى التبديل زوجي اذا امكن التعبير عنو كحاصل جداء عدد زوجي من المناقالت أو‬
‫اذا كان طول الدورة عدد فردي ‪.‬‬

‫تبديل زوجي‬ ‫‪123‬‬ ‫مثال ‪:‬‬

‫تبديل فردي‬ ‫‪1324‬‬

‫مالحظات ‪:‬‬
‫‪ - 1‬تركٌب تبدٌلٌن زوجٌٌن ٌكون تبدٌل زوجً ‪.‬‬
‫‪ - 2‬تركٌب تبدٌلٌن فردٌٌن ٌكون تبدٌل زوجً ‪.‬‬
‫‪ - 3‬تركٌب تبدٌل زوجً وتبدٌل فردي ٌكون تبدٌل فردي ‪.‬‬

‫يطمق عمى مجموعة التباديل الزوجية في الزمرة )∘ ‪ (𝑆𝑛 ,‬بزمرة التباديل الزوجية ويرمز ليا بالرمز‬ ‫تعريف ‪:‬‬
‫!𝑛‬
‫= 𝑛𝐴 𝑂 ‪.‬‬ ‫)∘ ‪ (𝐴𝑛 ,‬حيث ان‬
‫‪2‬‬

‫‪19‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫مثال ‪:‬‬

‫‪𝑂 𝑆3 = 3! = 6‬‬

‫‪𝑆3 = 𝑒, 12 , 13 , 23 , 123 , 132‬‬

‫‪3! 6‬‬
‫= ‪𝑂 𝐴3‬‬ ‫‪= =3‬‬
‫‪2 2‬‬
‫})‪𝑆3 = {𝑒 , 123 , (132‬‬

‫في الزمرة )∘ ‪ (𝑆3 ,‬نجد ان‬ ‫مثال ‪:‬‬


‫‪(123)−2 = ((123)−1 )2 = (132)2 = 132 ∘ 132 = 123‬‬

‫لتكن )∗‪ (𝐺,‬زمرة ‪ ∅ ≠ 𝐻 ⊆ 𝐺 ,‬تسمى )∗‪ (𝐻,‬زمرة جزئية من )∗‪ (𝐺,‬اذا كانت )∗‪(𝐻,‬‬ ‫تعريف ‪:‬‬
‫نفسيا زمرة ويمز ليا بالرمز )∗‪(𝐻,∗) ≤ (𝐺,‬‬

‫)‪(𝑍, +) ≤ (ℝ, +‬‬ ‫مثال ‪:‬‬


‫)‪(𝑍𝑒 , +) ≤ (𝑍, +‬‬

‫)‪ (𝑍𝑜 , +) ≤ (𝑍, +‬الن 𝑜𝑍 ∈ ‪ 1, 3‬لكن 𝑜𝑍 ∉ ‪. 1 + 3 = 4‬‬

‫مالحظات ‪:‬‬
‫)∗‪ ({𝑒},‬وتسمٌان‬ ‫‪ - 1‬كل زمرة تحتوي على األقل على زمرتٌن جزئٌتٌن هما الزمرة نفسها والزمرة‬
‫بالزمرتان الجزئٌتان التافهتان ‪.‬‬

‫‪20‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫‪ - 2‬الزمرة الجزئٌة )∗‪ (𝐻,‬من الزمرة )∗‪ (𝐺,‬تسمى زمرة جزئٌة فعلٌة اذا كانت 𝐺 ≠ 𝐻 وتسمى زمرة‬
‫جزئٌة غٌر تافهة اذا كانت 𝐺 ≠ 𝐻 و }𝑒{ ≠ 𝐻 ‪.‬‬
‫‪ - 3‬لٌس كل مجموعة جزئٌة من زمرة تكون زمرة جزئٌة ‪.‬‬

‫لتكن )∗‪ (𝐺,‬زمرة ‪ ∅ ≠ 𝐻 ⊆ 𝐺 ,‬فان )∗‪ (𝐻,∗) ≤ (𝐺,‬اذا وفقط اذا كان‬ ‫مبرهنة ‪: 11‬‬
‫𝐻 ∈ 𝑏 ‪𝑎 ∗ 𝑏 −1 ∈ 𝐻 ∀ 𝑎,‬‬
‫)∘ ‪(𝐴𝑛 , ∘) ≤ (𝑆𝑛 ,‬‬ ‫مثال ‪:‬‬
‫𝑛𝐴 ∈ 𝑒‬ ‫⇒‬ ‫𝑛𝑆 ⊆ 𝑛𝐴 ≠ ∅‬

‫نفرض ان 𝑛𝐴 ∈ ‪𝑓1 , 𝑓2‬‬

‫𝑛𝐴 ∈ ‪∵ 𝑓2‬‬

‫∴ ‪ 𝑓2‬تبديل زوجي‬

‫∴ ‪ 𝑓2−1‬تبديل زوجي (الن طول الدورة ثابت)‬

‫∴ ‪ 𝑓1 ∘ 𝑓2−1‬تبديل زوجي‬

‫∴ 𝑛𝐴 ∈ ‪𝑓1 ∘ 𝑓2−1‬‬

‫مالحظات ‪:‬‬
‫‪ - 1‬كل زمرة جزئٌة من زمرة ابدالٌة تكون ابدالٌة ‪.‬‬
‫‪ - 2‬كل زمرة جزئٌة من زمرة غٌر ابدالٌة لٌس من الضروري ان تكون غٌر ابدالٌة ‪.‬‬

‫اذا كانت )∗‪ (𝐺,‬زمرة وكل من )∗‪ (𝐻2 ,∗) , (𝐻1 ,‬زمرة جزئية من )∗‪ (𝐺,‬فان‬ ‫مبرهنة ‪: 12‬‬
‫)∗‪(𝐻1 ⋂ 𝐻2 ,∗) ≤ (𝐺,‬‬

‫‪21‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫البرهان ‪:‬‬
‫)∗‪∵ (𝐻1 ,∗) ≤ (𝐺,‬‬
‫𝐺 ⊆ ‪∴ 𝑒 ∈ 𝐻1 , 𝐻1‬‬
‫)∗‪∵ (𝐻2 ,∗) ≤ (𝐺,‬‬
‫𝐺 ⊆ ‪∴ 𝑒 ∈ 𝐻2 , 𝐻2‬‬
‫𝐺 ⊆ ‪∴ 𝑒 ∈ 𝐻1 ⋂ 𝐻2 , ∅ ≠ 𝐻1 ⋂ 𝐻2‬‬
‫نفرض ان ‪𝑎 , 𝑏 ∈ 𝐻1 ⋂ 𝐻2‬‬
‫‪𝑎 , 𝑏 ∈ 𝐻1 ∧ 𝑎 , 𝑏 ∈ 𝐻2‬‬
‫‪𝑎 ∗ 𝑏 −1 ∈ 𝐻1 ∧ 𝑎 ∗ 𝑏 −1 ∈ 𝐻2‬‬
‫‪𝑎 ∗ 𝑏 −1 ∈ 𝐻1 ⋂ 𝐻2‬‬

‫لتكن )∗‪ (𝐺,‬زمرة ولتكن 𝑆 مجموعة جزئية غير خالية من 𝐺 فتعرف المجموعة‬ ‫تعريف ‪:‬‬
‫} 𝐻 ⊆ 𝑆 ‪𝑆 = ⋂{𝐻 ∶ (𝐻,∗) ≤ 𝐺,∗ ,‬‬

‫فان الزمرة )∗ ‪ ((𝑆) ,‬تكون زمرة جزئية من ∗‪ 𝐺,‬وتسمى بالزمرة الجزئية المتولدة بواسطة المجموعة 𝑆 وىي‬
‫اصغر زمرة جزئية تحوي 𝑆 ‪.‬‬

‫اذا كانت )∗‪ (𝐺,‬زمرة وكانت 𝐺 ⊆ }𝑎{ = 𝑆 فتسمى الزمرة الجزئية المتولدة بواسطة المجموعة‬ ‫تعريف ‪:‬‬
‫𝑆 وىي زمرة دائرية مولدىا 𝑎 وعناصرىا معرفة كاألتي ‪:‬‬

‫} 𝑍 ∈ 𝑘 ∶ 𝑘𝑎{ = 𝑎‬

‫‪2‬‬ ‫ىي زمرة جزئية دائرية متولدة بواسطة العنصر‬ ‫‪2 ,+‬‬ ‫في الزمرة )‪ (𝑍, +‬نالحظ ان‬ ‫مثال ‪:‬‬
‫وعناصرىا ىي كاآلتي ‪:‬‬

‫‪22‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫… ‪2 = 2𝑘 ∶ 𝑘 ∈ 𝑍 = … , −6, −4 , −2 , 0 , 2 ,4 ,6 ,‬‬

‫لتكن )∗‪ (𝐺,‬زمرة ‪ 𝑎 ∈ 𝐺 ,‬فاذا كان 𝑛 اصغر عدد صحيح موجب يحقق ( 𝑒 = 𝑛𝑎 ) فيسمى‬ ‫تعريف ‪:‬‬
‫رتبة العنصر 𝑎 عدا ذلك يقال بان 𝑎 ذات رتبة غير منتيية ‪.‬‬

‫سوف نجد رتبة العنصر ‪ 2‬في الزمرة ) ‪(𝑍5 , +5‬‬ ‫مثال ‪:‬‬

‫‪𝑍5 = 1 , 2 , 3 , 4‬‬

‫‪25 = 2+5 2+5 2+5 2+5 2 = 10 = 0‬‬

‫‪𝑂 2 =5‬‬

‫لتكن )∗‪ (𝐺,‬زمرة ‪ ,‬يعرف مركز الزمرة كاآلتي ‪:‬‬ ‫تعريف ‪:‬‬

‫𝐺 ∈ 𝑦 ‪𝐶𝑒𝑛𝑡 𝐺 = 𝑥 ∈ 𝐺 ∶ 𝑥 ∗ 𝑦 = 𝑦 ∗ 𝑥 ∀ 𝑥,‬‬

‫اذا كانت )∗‪ (𝐺,‬زمرة فان 𝐺 = 𝐺 𝑡𝑛𝑒𝐶 اذا وفقط اذا كانت )∗‪ (𝐺,‬زمرة ابدالية ‪.‬‬ ‫مبرهنة ‪: 13‬‬

‫نفرض ان )∗‪ (𝐺,‬زمرة ابدالية‬ ‫البرهان ‪:‬‬


‫𝐺 ⊆ 𝐺 𝑡𝑛𝑒𝐶 حسب تعريف مركز الزمرة‬
‫نفرض ان 𝐺 ∈ 𝑥‬
‫∵ )∗‪ (𝐺,‬زمرة ابدالية‬
‫𝑥 ∗ 𝑦 = 𝑦 ∗ 𝑥 لكل 𝐺 ∈ 𝑦 ‪𝑥,‬‬ ‫∴‬
‫𝐺 𝑡𝑛𝑒𝐶 ∈ 𝑥‬ ‫∴‬
‫𝐺 𝑡𝑛𝑒𝐶 ⊆ 𝐺‬ ‫∴‬
‫𝐺 = 𝐺 𝑡𝑛𝑒𝐶‬ ‫∴‬

‫نفرض ان 𝐺 = 𝐺 𝑡𝑛𝑒𝐶‬

‫‪23‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫ليكن 𝐺 ∈ 𝑏 ‪𝑎 ,‬‬

‫∴ )∗‪ (𝐺,‬زمرة ابدالية‬

‫في الزمرة )‪ (𝑍, +‬نالحظ ان 𝑍 = 𝑍 𝑡𝑛𝑒𝐶 لكون )‪ (𝑍, +‬زمرة ابدالية ‪.‬‬ ‫مثال ‪:‬‬
‫لتكن )∗‪ (𝐺,‬زمرة فان )∗‪. 𝐶𝑒𝑛𝑡 𝐺 ,∗ ≤ (𝐺,‬‬ ‫مبرهنة ‪: 14‬‬

‫البرهان ‪:‬‬
‫𝐺∈ 𝑦 ∀ 𝑒∗𝑦= 𝑦∗𝑒‬

‫𝐺 𝑡𝑛𝑒𝐶 ∈ 𝑒‬

‫𝐺 ⊆ 𝐺 𝑡𝑛𝑒𝐶 ≠ ∅‬

‫𝐺 𝑡𝑛𝑒𝐶 ∈ 𝑏 ‪𝑎 ,‬‬ ‫نفرض ان‬

‫𝑎∗𝑦= 𝑦∗𝑎‬

‫𝑏∗𝑦= 𝑦∗𝑏‬ ‫𝐺∈𝑦 ∀‬

‫𝑦 ∗ ‪𝑎 ∗ 𝑏 −1 ∗ 𝑦 = 𝑎 ∗ 𝑏 −1‬‬

‫𝑏 ∗ ‪= 𝑎 ∗ 𝑦 −1‬‬ ‫‪−1‬‬

‫‪= 𝑎 ∗ 𝑏 ∗ 𝑦 −1‬‬ ‫‪−1‬‬

‫‪= 𝑎 ∗ 𝑦 ∗ 𝑏 −1‬‬

‫‪= (𝑎 ∗ 𝑦) ∗ 𝑏 −1‬‬

‫‪= 𝑦 ∗ 𝑎 ∗ 𝑏 −1 = 𝑦 ∗ 𝑎 ∗ 𝑏 −1‬‬

‫‪24‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫𝐺 𝑡𝑛𝑒𝐶 ∈ ‪∴ 𝑎 ∗ 𝑏 −1‬‬

‫)∗‪∴ 𝐶𝑒𝑛𝑡 𝐺 ,∗ ≤ (𝐺,‬‬

‫لتكن )∗‪ (𝐺,‬زمرة ‪ 𝑎 ∈ 𝐺 ,‬يعرف مركز العنصر 𝑎 كاآلتي ‪:‬‬ ‫تعريف ‪:‬‬

‫𝑥∗𝑎= 𝑎∗𝑥∶ 𝐺∈ 𝑥 = 𝑎 𝐶‬

‫ىنالك احتمال ان يكون مركز العنصر أكبر من مركز الزمرة والعكس غير محتمل وقد يتساويان‪.‬‬ ‫مالحظة ‪:‬‬

‫في الزمرة )∘‪ (𝑆3 ,‬نجد ان‬ ‫مثال ‪:‬‬

‫𝐶‬ ‫‪12‬‬ ‫𝑥 ∘ ‪= 𝑥 ∈ 𝑆3 ∶ 𝑥 ∘ 12 = 12‬‬

‫𝑒 ∘ ‪𝑒 ∘ 12 = 12‬‬

‫‪12 ∘ 12 = 12 ∘ 12‬‬

‫‪13 ∘ 12 ≠ 12 ∘ 13‬‬

‫‪23 ∘ 12 ≠ 12 ∘ 23‬‬

‫‪123 ∘ 12 ≠ 12 ∘ 123‬‬

‫‪132 ∘ 12 ≠ 12 ∘ 132‬‬

‫𝐶 ∴‬ ‫‪12‬‬ ‫‪= 𝑒 , 12‬‬

‫𝑎 𝐶 ∈ ‪. 𝑥 −1‬‬ ‫لتكن )∗‪ (𝐺,‬زمرة ‪ . 𝑎 ∈ 𝐺 ,‬اذا كان 𝑎 𝐶 ∈ 𝑥 فان‬ ‫مبرهنة ‪: 15‬‬

‫ليكن 𝑎 𝐶 ∈ 𝑥‬ ‫البرهان ‪:‬‬


‫‪25‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫𝑥∗𝑎= 𝑎∗𝑥‬

‫𝑥 ∗ 𝑎 ∗ ‪𝑥 −1 ∗ 𝑥 ∗ 𝑎 = 𝑥 −1‬‬

‫𝑥 ∗ 𝑎 ∗ ‪𝑥 −1 ∗ 𝑥 ∗ 𝑎 = 𝑥 −1‬‬

‫𝑥 ∗ 𝑎 ∗ ‪𝑒 ∗ 𝑎 = 𝑥 −1‬‬

‫𝑥 ∗ 𝑎 ∗ ‪𝑎 = 𝑥 −1‬‬

‫= ‪𝑎 ∗ 𝑥 −1‬‬ ‫‪𝑥 −1 ∗ 𝑎 ∗ 𝑥 ∗ 𝑥 −1‬‬

‫‪𝑎 ∗ 𝑥 −1 = 𝑥 −1 ∗ 𝑎 ∗ 𝑥 ∗ 𝑥 −1‬‬

‫𝑒 ∗ 𝑎 ∗ ‪𝑎 ∗ 𝑥 −1 = 𝑥 −1‬‬

‫𝑎 ∗ ‪𝑎 ∗ 𝑥 −1 = 𝑥 −1‬‬

‫𝑎 𝐶 ∈ ‪∴ 𝑥 −1‬‬

‫لتكن )∗‪ (𝐺,‬زمرة ‪ 𝑎 ∈ 𝐺 ,‬فان )∗‪. 𝐶 𝑎 ,∗ ≤ (𝐺,‬‬ ‫مبرهنة ‪: 16‬‬

‫البرهان ‪:‬‬
‫𝑒∗𝑎= 𝑎∗𝑒‬

‫𝑎 𝐶∈𝑒‬

‫𝐺⊆ 𝑎 𝐶≠∅‬

‫𝑎 𝐶 ∈ 𝑦‪𝑥 ,‬‬ ‫نفرض ان‬

‫𝑥∗𝑎= 𝑎∗𝑥‬

‫𝑦∗𝑎= 𝑎∗𝑦‬

‫من المبرىنة (‪ )15‬نحصل عمى‬

‫‪26‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫‪𝑦 −1 ∗ 𝑎 = 𝑎 ∗ 𝑦 −1‬‬

‫𝑎 ∗ ‪𝑥 ∗ 𝑦 −1 ∗ 𝑎 = 𝑥 ∗ 𝑦 −1‬‬

‫‪= 𝑥 ∗ 𝑎 ∗ 𝑦 −1‬‬

‫‪= (𝑥 ∗ 𝑎) ∗ 𝑦 −1‬‬

‫‪= 𝑎 ∗ 𝑥 ∗ 𝑦 −1 = 𝑎 ∗ 𝑥 ∗ 𝑦 −1‬‬

‫𝑎 𝐶 ∈ ‪∴ 𝑥 ∗ 𝑦 −1‬‬

‫)∗‪∴ 𝐶 𝑎 ,∗ ≤ (𝐺,‬‬

‫لتكن )∗‪ (𝐺,‬زمرة ‪ 𝑎 ∈ 𝐺 ,‬فان 𝑎 𝐶 ⋂ = 𝐺 𝑡𝑛𝑒𝐶 لكل 𝐺 ∈ 𝑎 ‪.‬‬ ‫مبرهنة ‪: 17‬‬

‫𝐺 𝑡𝑛𝑒𝐶 ∈ 𝑥‬ ‫نفرض ان‬ ‫البرهان ‪:‬‬

‫𝐺∈ 𝑎 ∀ 𝑥∗𝑎= 𝑎∗𝑥‬

‫𝑎 𝐶∈𝑥‬ ‫𝐺∈𝑎 ∀‬

‫𝑎 𝐶⋂∈ 𝑥‬ ‫𝐺∈𝑎 ∀‬

‫𝑎 𝐶 ⋂ ⊆ 𝐺 𝑡𝑛𝑒𝐶‬ ‫𝐺∈ 𝑎∀‬

‫𝑎 𝐶 ⋂ ∈ 𝑥 لكل 𝐺 ∈ 𝑎‬ ‫نفرض ان‬

‫𝑎 𝐶∈𝑥‬ ‫𝐺∈𝑎 ∀‬

‫𝐺∈ 𝑎 ∀ 𝑥∗𝑎= 𝑎∗𝑥‬

‫𝐺 𝑡𝑛𝑒𝐶 ∈ 𝑥‬

‫𝐺 𝑡𝑛𝑒𝐶 ⊆ 𝑎 𝐶 ⋂‬ ‫𝐺∈ 𝑎∀‬

‫𝑎 𝐶 ⋂ = 𝐺 𝑡𝑛𝑒𝐶‬ ‫𝐺∈ 𝑎∀‬

‫‪27‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫(( تـمـاريـن ))‬

‫‪ - 1‬لتكن 𝑋 مجموعة غٌر خالٌة بٌن فٌما اذا كانت األزواج المرتبة اآلتٌة تمثل زمرة أم ال ؟‬

‫𝐴 𝐵 ∪ 𝐵 𝐴 = 𝐵∆𝐴‬ ‫ب‪ (𝑃 𝑋 , ∆) -‬حيث ان‬ ‫أ‪(𝑃 𝑋 ,∩) -‬‬

‫‪ - 2‬بٌن فٌما اذا كانت الزوج المرتب ) ‪ٌ ( 0, 4, 8, 12 , +16‬مثل زمرة أم ال ؟‬


‫‪ - 3‬فً زمرة كالٌن الرباعٌة جد ناتج ‪. 𝑎2 ∗ 𝑏 ∗ 𝑐 2 :‬‬
‫‪ - 4‬هل ان كل زمرة جزئٌة من زمرة غٌر ابدالٌة تكون غٌر ابدالٌة ‪.‬‬
‫𝑖‬
‫لثالثة أعداد متتالٌة فان )∗‪(𝐺 ,‬‬ ‫𝑏∗𝑎‬ ‫‪ - 5‬اثبت انه إذا كانت )∗‪ (𝐺 ,‬زمرة بحٌث ان 𝑖 𝑏 ∗ 𝑖𝑎 =‬
‫ابدالٌة ‪.‬‬
‫‪−1‬‬
‫𝑏∗𝑎 ‪.‬‬ ‫‪ - 6‬لتكن )∗‪ (𝐺 ,‬زمرة ‪ .‬اثبت ان )∗‪ (𝐺 ,‬زمرة ابدالٌة اذا وفقط اذا كان ‪= 𝑎−1 ∗ 𝑏 −1‬‬
‫‪2‬‬
‫𝑏∗𝑎 ‪.‬‬ ‫‪ - 7‬لتكن )∗‪ (𝐺 ,‬زمرة ‪ .‬اثبت ان )∗‪ (𝐺 ,‬زمرة ابدالٌة اذا وفقط اذا كان ‪= 𝑎2 ∗ 𝑏 2‬‬
‫‪ - 8‬هل ان معكوس المبرهنة (‪ )5‬صحٌح دائما ً ‪.‬‬
‫دائا ً ‪.‬‬
‫‪ - 9‬هل ان معكوس المبرهنة (‪ )6‬صحٌح م‬
‫‪- 10‬إذا كانت 𝑥 حل للمعادلة 𝑛 𝑑𝑜𝑚 𝑎 ≡ ‪ . 𝑥 2‬أثبت ان 𝑥 ‪ 𝑦 = 𝑛 −‬هو أٌضا ً حل لنفس المعادلة ‪.‬‬
‫𝑛 𝑑𝑜𝑚 𝑏 ≡ 𝑎 أو‬ ‫𝑛 𝑑𝑜𝑚 ‪ 𝑎2 ≡ 𝑏 2‬حٌث ان 𝑛 عدد أولً برهن انه اما‬ ‫‪- 11‬إذا كانت‬
‫𝑛 𝑑𝑜𝑚 𝑏‪. 𝑎 ≡ −‬‬
‫‪- 12‬إذا كان )𝑛 𝑑𝑜𝑚(𝑐𝑏 ≡ 𝑐𝑎 فهل ان 𝑛 𝑑𝑜𝑚 𝑏 ≡ 𝑎 حٌث ان 𝑍 ∈ 𝑐 ‪. 𝑎, 𝑏,‬‬
‫‪- 13‬هل ان كل زمرة دائرٌة لها على األكثر مولدٌن ‪.‬‬
‫‪- 14‬جد مولدات الزمر اآلتٌة ‪:‬‬
‫ج‪𝑍15 , +15 -‬‬ ‫ب‪𝑍11 , +11 -‬‬ ‫أ‪𝑍8 , +8 -‬‬
‫‪- 15‬هل ان عدد مولدات الزمرة ) ‪ (𝑍14 , +14‬هو ‪. 7‬‬
‫‪- 16‬فً الزمرة )∘‪ (𝑆5 ,‬جد عناصر الم جموعة المتولدة بواسطة )‪. (12345‬‬

‫‪28‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫‪.‬‬ ‫‪123‬‬ ‫∘‪,‬‬ ‫‪- 17‬فً الزمرة )∘‪ (𝑆3 ,‬جد عناصر الزمرة‬
‫‪−1‬‬
‫‪. 8‬‬ ‫‪- 18‬فً الزمرة ) ‪ (𝑍21 , +21‬هل ان ‪= 4‬‬
‫‪−2‬‬ ‫‪−1‬‬
‫‪.‬‬ ‫‪132‬‬ ‫)‪∘ (1342‬‬ ‫‪- 19‬فً الزمرة )∘‪ (𝑆4 ,‬جد ناتج ماٌلً ‪:‬‬
‫فهل ان‬ ‫∗‪𝐾 ,∗ ≤ 𝐺 ,‬‬ ‫‪,‬‬ ‫∗‪𝐻 ,∗ ≤ 𝐺 ,‬‬ ‫)∗‪ (𝐺 ,‬زمرة حٌث ان‬ ‫‪- 20‬إذا كانت‬
‫∗‪ 𝐻 ∪ 𝐾 ,∗ ≤ 𝐺,‬؟‬
‫𝑗 𝑎 = 𝑖𝑎 اذا وفقط اذا كان‬ ‫‪- 21‬لتكن )∗‪ (𝐺,‬زمرة ‪ 𝑎 ∈ 𝐺 ,‬حٌث ان 𝑎 ذات رتبة 𝑛 ‪ .‬اثبت‬
‫𝑛 𝑑𝑜𝑚 𝑗 ≡ 𝑖 ‪.‬‬
‫‪- 22‬جد رتبة كل عنصر من عناصر الزمرة ‪. 𝑍, +‬‬
‫‪ - 23‬جد رتبة العنصر ‪ 12‬فً الزمرة )∘‪. (𝑆3 ,‬‬
‫‪- 24‬فً الزم رة ) ‪ (𝑍8 , +8‬جد رتبة كل عنصر من العناصر اآلتٌة ‪. 2 , 4 , 3 , 2 :‬‬
‫‪- 25‬فً الزمرة )∙‪ (𝐺 ,‬حٌث ان }𝑖‪ 𝐺 = {1, −1, 𝑖, −‬جد رتبة كل عنصر من عناصر 𝐺 ‪.‬‬
‫‪- 26‬فً الزمرة ‪ 𝑍13 , +13‬جد اآلتً ‪:‬‬
‫‪−1‬‬
‫‪𝑂 3‬‬ ‫ج‪-‬‬ ‫‪4‬‬ ‫ب‪-‬‬ ‫أ‪8 +13 [11] -‬‬
‫‪- 27‬فً الزمرة )∙‪ (𝑀2×2 (ℝ) ,‬هل ان )‪. 𝑐𝑒𝑛𝑡 𝑀2×2 (ℝ) = 𝑀2×2 (ℝ‬‬
‫‪- 28‬لتكن )∗‪ (𝐺,‬زمرة ‪ . 𝑎 ∈ 𝐺 ,‬اذا كان 𝑎 𝐶 ∈ 𝑥 فهل ان ‪. 𝑥 ∈ 𝐶 𝑎−1‬‬

‫‪29‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫لتكن )∗‪ (𝐺,‬زمرة ‪ 𝑎 ∈ 𝐺 , (𝐻,∗) ≤ (𝐺,∗),‬فان‬ ‫تعريف ‪:‬‬


‫}𝐻 ∈ 𝑕 ∶ 𝑕 ∗ 𝑎{ = 𝐻 ∗ 𝑎‬

‫تسمى المجموعة المشاركة اليسرى لمزمرة الجزئية )∗‪ (𝐻,‬في الزمرة )∗‪ (𝐺,‬بالنسبة لمعنصر 𝑎 ‪.‬‬

‫}𝐻 ∈ 𝑕 ∶ 𝑎 ∗ 𝑕{ = 𝑎 ∗ 𝐻‬

‫تسمى المجموعة المشاركة اليمنى لمزمرة الجزئية )∗‪ (𝐻,‬في الزمرة )∗‪ (𝐺,‬بالنسبة لمعنصر 𝑎 ‪.‬‬

‫‪ 𝐻, +4 , 𝑍4 , +4‬حيث ان ‪ 𝐻 = 0 , 2‬نجد ان‬ ‫في الزمرة‬ ‫مثال ‪:‬‬


‫‪𝑍4 = 0,1,2,3‬‬

‫‪𝐻, +4 ≤ 𝑍4 , +4‬‬

‫المجاميع المشاركة اليسرى لمزمرة الجزئية ‪ 𝐻, +4‬في الزمرة ‪ 𝑍4 , +4‬ىي‬

‫‪0+4 𝐻 = 0 +4 0 , 0 +4 2 = 0 , 2‬‬

‫‪1+4 𝐻 = 1 +4 0 , 1 +4 2 = 1 , 3‬‬

‫‪2+4 𝐻 = 2 +4 0 , 2 +4 2 = 2 , 0‬‬

‫‪3+4 𝐻 = 3 +4 0 , 3 +4 2 = 3 , 1‬‬

‫اما المجاميع المشاركة اليمنى لمزمرة الجزئية ‪ 𝐻, +4‬في الزمرة ‪ 𝑍4 , +4‬ىي‬

‫‪𝐻+4 0 = 0 +4 0 , 2 +4 0 = 0 , 2‬‬

‫‪𝐻+4 0 = 0 +4 1 , 2 +4 1 = 1 , 3‬‬

‫‪𝐻+4 2 = 0 +4 2 , 2 +4 2 = 2 , 0‬‬

‫‪𝐻+4 3 = 0 +4 3 , 2 +4 3 = 3 , 1‬‬

‫‪30‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫لتكن )∗‪ (𝐺,‬زمرة ‪ 𝑎 ∈ 𝐺 , (𝐻,∗) ≤ (𝐺,∗) ,‬فان‬ ‫مبرهنة ‪: 18‬‬


‫‪. 𝑎 ∈𝑎∗𝐻 -‬‬ ‫‪1‬‬
‫‪ 𝑎 ∈ 𝐻 -‬اذا وفقط اذا كان 𝐻 = 𝐻 ∗ 𝑎 ‪.‬‬ ‫‪2‬‬
‫‪ 𝑎 ∈ 𝑏 ∗ 𝐻 -‬اذا وفقط اذا كان 𝐻 ∗ 𝑏 = 𝐻 ∗ 𝑎 ‪.‬‬ ‫‪3‬‬
‫‪ 𝑎−1 ∗ 𝑏 ∈ 𝐻 -‬اذا وفقط اذا كان 𝐻 ∗ 𝑏 = 𝐻 ∗ 𝑎 ‪.‬‬ ‫‪4‬‬
‫‪ -‬اما 𝐻 ∗ 𝑏 = 𝐻 ∗ 𝑎 أو ∅ = 𝐻 ∗ 𝑏 ∩ 𝐻 ∗ 𝑎 ‪.‬‬ ‫‪5‬‬

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

‫‪-1‬‬

‫𝐻∈𝑒‬ ‫𝐻∗𝑎∈ 𝑒∗𝑎= 𝑎 ⟹‬

‫‪ - 2‬نفرض ان 𝐻 ∈ 𝑎 ونبرىن ان 𝐻 = 𝐻 ∗ 𝑎‬

‫ليكن 𝐻 ∗ 𝑎 ∈ 𝑥‬

‫𝐻∈ 𝑕 ‪𝑥 =𝑎∗𝑕,‬‬

‫𝐻∈𝑎 ∵‬

‫𝐻∈ 𝑕∗𝑎= 𝑥 ∴‬

‫𝐻⊆ 𝐻∗𝑎∴‬
‫نفرض ان 𝐻 ∈ 𝑕‬

‫𝐻∈𝑎 ∵‬

‫𝐻 ∈ ‪∴ 𝑎−1‬‬

‫𝑕 ∗ ‪𝑕 = 𝑒 ∗ 𝑕 = 𝑎 ∗ 𝑎−1 ∗ 𝑕 = 𝑎 ∗ 𝑎−1‬‬

‫𝐻 ∈ 𝑕 ∗ ‪∴ 𝑎−1‬‬

‫‪31‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫𝐻 ∗ 𝑎 ∈ 𝑕 ∗ ‪𝑕 = 𝑎 ∗ 𝑎−1‬‬

‫𝐻∗𝑎⊆ 𝐻 ∴‬

‫𝐻= 𝐻∗𝑎 ∴‬
‫االتجاه اآلخر ‪/‬‬
‫نفرض ان 𝐻 = 𝐻 ∗ 𝑎 ونبرىن ان 𝐻 ∈ 𝑎‬

‫𝐻= 𝐻∗𝑎∈ 𝑎 ∵‬

‫𝐻∈𝑎 ∴‬

‫‪ - 3‬نفرض ان 𝐻 ∗ 𝑏 = 𝐻 ∗ 𝑎 ونبرىن 𝐻 ∗ 𝑏 ∈ 𝑎‬

‫𝐻∗𝑎∈ 𝑎 ∵‬

‫𝐻∗𝑏= 𝐻∗𝑎 ∵‬

‫𝐻∗𝑏∈ 𝑎 ∴‬
‫االتجاه اآلخر ‪ /‬يترك كتمرين لمطالب ‪.‬‬

‫‪ - 4‬نفرض ان 𝐻 ∈ 𝑏 ∗ ‪ 𝑎−1‬ونبرىن 𝐻 ∗ 𝑏 = 𝐻 ∗ 𝑎‬

‫𝐻 ∈ 𝑏 ∗ ‪∵ 𝑎−1‬‬

‫حسب (‪ )1‬من نفس المبرىنة نجد ان‬

‫𝐻 = 𝐻 ∗ 𝑏 ∗ ‪𝑎−1‬‬

‫𝐻 ∗ 𝑎 = 𝐻 ∗ 𝑏 ∗ ‪∴ 𝑎 ∗ 𝑎−1‬‬

‫𝐻 ∗ 𝑎 = 𝐻 ∗ 𝑏 ∗ ‪∴ 𝑎 ∗ 𝑎−1‬‬

‫𝐻∗𝑎= 𝐻∗𝑏∗𝑒 ∴‬

‫‪32‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫𝐻∗𝑏= 𝐻∗𝑎 ∴‬
‫االتجاه اآلخر ‪ /‬نفرض ان 𝐻 ∗ 𝑏 = 𝐻 ∗ 𝑎 ونبرىن 𝐻 ∈ 𝑏 ∗ ‪𝑎−1‬‬

‫𝐻∗𝑏= 𝐻∗𝑎 ∵‬

‫𝐻 ∗ 𝑏 ∗ ‪∴ 𝑎−1 ∗ 𝑎 ∗ 𝐻 = 𝑎−1‬‬

‫𝐻 ∗ 𝑏 ∗ ‪∴ 𝑎−1 ∗ 𝑎 ∗ 𝐻 = 𝑎−1‬‬

‫𝐻 ∗ 𝑏 ∗ ‪∴ 𝑒 ∗ 𝐻 = 𝑎−1‬‬

‫𝐻 ∗ 𝑏 ∗ ‪∴ 𝐻 = 𝑎−1‬‬

‫حسب (‪ )2‬من نفس المبرىنة نجد ان‬

‫𝐻 ∈ 𝑏 ∗ ‪𝑎−1‬‬

‫‪ - 5‬نفرض ان ∅ ≠ 𝐻 ∗ 𝑏 ∩ 𝐻 ∗ 𝑎 ‪.‬‬

‫𝐻∗𝑏 ∩ 𝐻∗𝑎 ∈ 𝑥∃ ∴‬

‫𝐻∗𝑏 ∈ 𝑥 ∧ 𝐻∗𝑎∈ 𝑥 ∴‬

‫‪𝑥 = 𝑎 ∗ 𝑕1‬‬ ‫∧‬ ‫‪𝑥 = 𝑏 ∗ 𝑕2‬‬ ‫𝐻 ∈ ‪, 𝑕1 , 𝑕2‬‬

‫‪∴ 𝑎 ∗ 𝑕1 = 𝑏 ∗ 𝑕2‬‬

‫‪∴ 𝑎−1 ∗ 𝑎 ∗ 𝑕1 = 𝑎−1 ∗ 𝑏 ∗ 𝑕2‬‬

‫‪∴ 𝑎−1 ∗ 𝑎 ∗ 𝑕1 = 𝑎−1 ∗ 𝑏 ∗ 𝑕2‬‬

‫‪∴ 𝑒 ∗ 𝑕1 = 𝑎−1 ∗ 𝑏 ∗ 𝑕2‬‬

‫‪∴ 𝑕1 = 𝑎−1 ∗ 𝑏 ∗ 𝑕2‬‬

‫‪33‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫= ‪∴ 𝑕1 ∗ 𝑕2−1‬‬ ‫‪𝑎−1 ∗ 𝑏 ∗ 𝑕2 ∗ 𝑕2−1‬‬

‫‪∴ 𝑕1 ∗ 𝑕2−1 = 𝑎−1 ∗ 𝑏 ∗ 𝑕2 ∗ 𝑕2−1‬‬

‫𝑏 ∗ ‪∴ 𝑕1 ∗ 𝑕2−1 = 𝑎−1‬‬

‫𝐻 ∈ ‪∵ 𝑕2‬‬ ‫𝐻 ∈ ‪⟹ 𝑕2−1‬‬

‫𝐻 ∈ ‪∴ 𝑕1 ∗ 𝑕2−1‬‬

‫𝐻 ∈ 𝑏 ∗ ‪∴ 𝑎−1‬‬

‫حسب (‪ )4‬من نفس المبرىنة نجد ان 𝐻 ∗ 𝑏 = 𝐻 ∗ 𝑎 ‪.‬‬

‫اذا كانت )∗‪ (𝐺,‬زمرة دائرية مولدىا 𝑎 ورتبتيا 𝑛 فان‬ ‫مبرهنة ‪: 19‬‬

‫} ‪𝐺 = < 𝑎 > = {𝑒 , 𝑎 , 𝑎2 , 𝑎3 , … , 𝑎𝑛−1‬‬

‫كل زمرة جزئية من زمرة دائرية تكون دائرية ‪.‬‬ ‫مبرهنة ‪: 20‬‬

‫نفرض ان )∗‪ (𝐺,‬زمرة دائرية مولدىا 𝑎‬ ‫البرهان ‪:‬‬


‫نفرض ان ∗‪𝐻,∗ ≤ 𝐺,‬‬
‫أ ‪ -‬اذا كانت }𝑒{ = 𝐻 فان الزمرة ∗‪ 𝐻,‬دائرٌة ‪.‬‬
‫ب ‪-‬اذا كانت }𝑒{ ≠ 𝐻‬

‫𝑒≠ 𝑥∋ 𝐻∈ 𝑥∃ ∴‬

‫𝑍 ∈ 𝑘 ‪𝑥 ∈ 𝐺 ⟹ 𝑥 = 𝑎𝑘 ,‬‬

‫𝑍 ∈ 𝑘 ‪𝑥 −1 = 𝑎−𝑘 ∈ 𝐻 ,‬‬

‫∴ توجد قوى موجبة الى 𝑎 مثل 𝑚 بحيث ان 𝐻 ∈ 𝑚𝑎‬


‫نفرض ان 𝑛 اصغر عدد صحيح موجب بحيث ان 𝐻 ∈ 𝑛𝑎‬

‫‪34‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫يجب ان نبرىن 𝑛𝑎 = 𝐻‬
‫حسب خوارزمية القسمة يوجد 𝑍 ∈ 𝑞 ‪ 𝑟 ,‬بحيث ان‬

‫𝑟 ‪𝑘 = 𝑛𝑞 +‬‬ ‫𝑛<𝑟≤‪, 0‬‬

‫𝑟‪𝑎𝑘 = 𝑎𝑛𝑞 +‬‬

‫𝑟𝑎 ∗ 𝑞𝑛𝑎 = 𝑘𝑎‬

‫𝑛𝑎 = 𝑘𝑎‬ ‫𝑞‬


‫𝑟𝑎 ∗‬

‫𝑛𝑎 ∗ 𝑘‪𝑎−𝑘 ∗ 𝑎𝑘 = 𝑎−‬‬ ‫𝑞‬


‫𝑟𝑎 ∗‬

‫𝑛𝑎 ∗ 𝑘‪𝑒 = 𝑎−‬‬ ‫𝑞‬


‫𝑟𝑎 ∗‬

‫= 𝑟‪𝑒 ∗ 𝑎−‬‬ ‫𝑛𝑎 ∗ 𝑘‪𝑎−‬‬ ‫𝑞‬


‫𝑟‪∗ 𝑎𝑟 ∗ 𝑎−‬‬

‫𝑛𝑎 ∗ 𝑘‪𝑎−𝑟 = 𝑎−‬‬ ‫𝑞‬


‫𝑟‪∗ 𝑎𝑟 ∗ 𝑎−‬‬

‫𝑛𝑎 ∗ 𝑘‪𝑎−𝑟 = 𝑎−‬‬ ‫𝑞‬

‫𝑛𝑎 ‪∵ 𝑎−𝑘 ∈ 𝐻 ,‬‬ ‫𝑞‬


‫𝑛𝑎 ∗ 𝑘‪∈ 𝐻 ⟹ 𝑎−‬‬ ‫𝑞‬
‫𝐻∈‬

‫𝐻 ∈ 𝑟‪∴ 𝑎−‬‬

‫𝐻 ∈ 𝑟𝑎 ∴‬

‫ولكن 𝑛 < 𝑟 ≤ ‪0‬‬


‫اذا كان 𝑛 < 𝑟 فيذا يتناقض مع أصغرية 𝑛 وبالتالي فان ‪𝑟 = 0‬‬

‫𝑞𝑛 = 𝑘‬

‫𝑛𝑎 = 𝑘𝑎‬ ‫𝑞‬


‫𝑛𝑎 ⊆ 𝐻 ⟹‬

‫لتكن 𝐻 ∈ 𝑛𝑎‬
‫ان أي قوى الى 𝐻 ∈ 𝑛𝑎 ستكون موجودة في 𝐻 فيذا يعني 𝐻 ⊆ 𝑛𝑎‬

‫‪35‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫وبالتالي ستكون 𝑛𝑎 = 𝐻‬
‫اذن )∗‪ (𝐻,‬زمرة دائرية مولدىا 𝑛𝑎 ‪.‬‬

‫لتكن )∗‪ (𝐺,‬زمرة ‪ , (𝐻,∗) ≤ (𝐺,∗),‬فيعرف دليل 𝐻 في 𝐺 عمى انو عدد المجاميع‬ ‫تعريف ‪:‬‬
‫المشاركة اليسرى (اليمنى) المختمفة لمزمرة 𝐻 في 𝐺 ويرمز لو بالرمز 𝐻 ∶ 𝐺 ‪.‬‬

‫‪ 𝐻, +4 ≤ 𝑍4 , +4‬حيث ان ‪𝐻 = 0 , 2‬‬ ‫مثال ‪:‬‬

‫‪𝑍4 = 0,1,2,3‬‬

‫‪0+4 𝐻 = 0 +4 0 , 0 +4 2 = 0 , 2‬‬

‫‪1+4 𝐻 = 1 +4 0 , 1 +4 2 = 1 , 3‬‬

‫‪2+4 𝐻 = 2 +4 0 , 2 +4 2 = 2 , 0‬‬

‫‪3+4 𝐻 = 3 +4 0 , 3 +4 2 = 3 , 1‬‬

‫∴ المجاميع المشاركة اليسرى المختمفة لمزمرة الجزئية ‪ 𝐻, +4‬في الزمرة ‪ 𝑍4 , +4‬ىي‬

‫𝐻 ‪0+4 𝐻 , 1+4‬‬

‫‪∴ 𝑍4 ∶ 𝐻 = 2‬‬

‫‪𝑍𝑒 , + ≤ 𝑍, +‬‬ ‫مثال ‪:‬‬


‫نفرض ان 𝑍 ∈ 𝑎‬

‫‪ - 1‬اذا كان 𝑒𝑍 ∈ 𝑎 فان‬

‫𝑒𝑍 ∈ 𝑕 ∶ 𝑕 ‪𝑎 + 𝑍𝑒 = 𝑎 +‬‬

‫𝑍 ∈ ‪= 2𝑘1 + 2𝑘2 ∶ 𝑘1 , 𝑘2‬‬

‫‪36‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫𝑍 ∈ ‪= 2 𝑘1 + 𝑘2 ∶ 𝑘1 , 𝑘2‬‬

‫𝑒𝑍 = 𝑍 ∈ ‪= 2𝑘3 ∶ 𝑘3 = 𝑘1 + 𝑘2‬‬

‫‪ - 2‬اذا كان 𝑜𝑍 ∈ 𝑎 فان‬

‫𝑒𝑍 ∈ 𝑕 ∶ 𝑕 ‪𝑎 + 𝑍𝑒 = 𝑎 +‬‬

‫𝑍 ∈ ‪= 2𝑘1 + 1 + 2𝑘2 ∶ 𝑘1 , 𝑘2‬‬

‫𝑍 ∈ ‪= 2 𝑘1 + 𝑘2 + 1 ∶ 𝑘1 , 𝑘2‬‬

‫𝑜𝑍 = 𝑍 ∈ ‪= 2𝑘3 + 1 ∶ 𝑘3 = 𝑘1 + 𝑘2‬‬

‫∴ المجاميع المشاركة اليسرى المختمفة لمزمرة الجزئية ‪ 𝐻, +4‬في الزمرة ‪ 𝑍4 , +4‬ىي 𝑜𝑍 ‪𝑍𝑒 ,‬‬

‫‪∴ 𝑍 ∶ 𝑍𝑒 = 2‬‬

‫اذا كانت )∗‪ (𝐺,‬زمرة ‪ (𝐻,∗) ≤ (𝐺,∗) ,‬فان مجموعة المجاميع المشاركة اليسرى‬ ‫مبرهنة ‪: 21‬‬
‫(اليمنى) المختمفة الى 𝐻 في 𝐺 تكون تجزئة الى 𝐺 ‪.‬‬

‫مبرهنة ‪ ( : 22‬الكرانج )‬
‫رتبة ودليل أي زمرة جزئية يقسمان رتبة الزمرة المنتيية ‪.‬‬

‫نفرض ان )∗‪ (𝐺,‬زمرة منتيية رتبتيا 𝑛‬ ‫البرهان ‪:‬‬


‫لتكن ∗‪𝐻,∗ ≤ 𝐺,‬‬
‫لتكن 𝐻 ∗ ‪ 𝐻 , 𝑎1 ∗ 𝐻 , 𝑎2 ∗ 𝐻 , … , 𝑎𝑘−1‬مجاميع مشاركة يسرى مختمفة الى 𝐻 في 𝐺‬
‫بما ان المجاميع المشاركة المختمفة تمثل تجزئة الى 𝐺‬

‫𝐻 ∗ ‪𝐺 = 𝐻 ∪ 𝑎1 ∗ 𝐻 ∪ 𝑎2 ∗ 𝐻 ∪ … ∪ 𝑎𝑘−1‬‬

‫𝑗 ≠ 𝑖 ∀ ‪𝑎𝑖 ∗ 𝐻 ∩ 𝑎𝑗 ∗ 𝐻 ≠ ∅ ,‬‬

‫‪37‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫‪𝑂 𝐻 = 𝑂 𝑎𝑖 ∗ 𝐻 , 1 ≤ 𝑖 ≤ 𝑘 − 1‬‬

‫𝐻 𝑂 ‪𝑂 𝐺 = 𝑂 𝐻 + 𝑂 𝐻 + ⋯+‬‬

‫𝐻 𝑂‪𝑂 𝐺 = 𝑘 .‬‬

‫= 𝐻∶𝐺 ‪.‬‬
‫𝐺 𝑂‬
‫𝐻 𝑂‬
‫من المبرىنة (‪ )22‬نستنتج ان‬ ‫مالحظة ‪:‬‬
‫لتكن )∗‪ (𝐺,‬زمرة وكل من )∗‪ (𝐻,‬و )∗‪ (𝐾,‬زمرة جزئية من الزمرة )∗‪ (𝐺,‬فيعرف جداء الزمر‬ ‫تعريف ‪:‬‬
‫الجزئية 𝐻 مع 𝐾 كاآلتي ‪:‬‬

‫𝐾 ∈ 𝑘‪𝐻 ∗ 𝐾 = 𝑕 ∗ 𝑘 ∶ 𝑕 ∈ 𝐻 ,‬‬

‫‪ 𝑍12 , +12‬اذا كانت ‪ 𝐾 = 0 , 4 , 8 , 𝐻 = 0 , 6‬فان‬ ‫في الزمرة‬ ‫مثال ‪:‬‬


‫‪𝐻 , +12 ≤ 𝑍12 , +12‬‬ ‫‪,‬‬ ‫‪𝐾 , +12 ≤ 𝑍12 , +12‬‬

‫‪𝐻 +12 𝐾 = 0 , 2 ,4 , 6 , 8 , 10‬‬

‫لتكن )∗‪ (𝐺,‬زمرة ‪ (𝐻,∗) ≤ (𝐺,∗) ,‬فان )∗‪ (𝐻,‬تكون ناظمية ( سوية ) اذا حققت الشرط‬ ‫تعريف ‪:‬‬
‫اآلتي‪:‬‬
‫𝐺∈ 𝑎∀ 𝑎∗𝐻= 𝐻∗𝑎‬
‫ويرمز ليا بالرمز )∗‪. 𝐻,∗ ∆ (𝐺,‬‬

‫في الزمرة ‪ 𝑍4 , +4‬حيث ان ‪ 𝐻 = 0 , 2‬نجد ان ‪𝐻, +4 ≤ 𝑍4 , +4‬‬ ‫مثال ‪:‬‬


‫‪𝑍4 = 0,1,2,3‬‬

‫‪0+4 𝐻 = 0 +4 0 , 0 +4 2 = 0 , 2 = 𝐻+4 0‬‬

‫‪1+4 𝐻 = 1 +4 0 , 1 +4 2 = 1 , 3 = 𝐻+4 1‬‬

‫‪2+4 𝐻 = 2 +4 0 , 2 +4 2 = 2 , 0 = 𝐻+4 2‬‬

‫‪3+4 𝐻 = 3 +4 0 , 3 +4 2 = 3 , 1 = 𝐻+4 3‬‬


‫‪38‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫‪𝑎 +4 𝐻 = 𝐻 +4 𝑎 ∀ 𝑎 ∈ 𝑍4‬‬

‫‪. 𝐻, +4 ∆ 𝑍4 , +4‬‬ ‫∴‬

‫كل زمرة تحتوي عمى األقل عمى زمرتا ن جزئيتان ناظميتان ىما الزمرة )∗‪({e},∗) , (G,‬‬ ‫مالحظة ‪:‬‬
‫وتسميان بالتافيتان ‪.‬‬

‫كل زمرة جزئية من زمرة ابدالية تكون ناظمية ‪.‬‬ ‫مبرهنة ‪: 23‬‬
‫نفرض ان )∗‪ (𝐺,‬زمرة ابدالية‬ ‫البرهان ‪:‬‬
‫ولتكن ∗‪𝐻,∗ ≤ 𝐺,‬‬
‫لنبرىن 𝑎 ∗ 𝐻 = 𝐻 ∗ 𝑎 لكل 𝐺 ∈ 𝑎‬
‫نفرض ان 𝐻 ∗ 𝑎 ∈ 𝑥‬

‫𝐺 ∈ 𝑎 ‪∴ 𝑥 = 𝑎 ∗ 𝑕1 , 𝑕1 ∈ 𝐻 ,‬‬

‫∵ )∗‪ (𝐺,‬زمرة ابدالية فنحصل عمى‬


‫𝑎 ∗ 𝐻 ∈ 𝑎 ∗ ‪𝑥 = 𝑕1‬‬

‫𝑎∗𝐻⊆ 𝐻∗𝑎 ∴‬
‫نفرض ان 𝑎 ∗ 𝐻 ∈ 𝑦‬

‫𝐺 ∈ 𝑎 ‪∴ 𝑦 = 𝑕2 ∗ 𝑎 , 𝑕2 ∈ 𝐻 ,‬‬

‫∵ )∗‪ (𝐺,‬زمرة ابدالية فنحصل عمى‬


‫𝐻 ∗ 𝑎 ∈ ‪𝑥 = 𝑎 ∗ 𝑕2‬‬

‫𝐻∗𝑎⊆ 𝑎∗𝐻 ∴‬

‫𝐺∈ 𝑎∀ 𝑎∗𝐻= 𝐻∗𝑎 ∴‬

‫)∗‪∴ 𝐻,∗ ∆ (𝐺,‬‬

‫‪39‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫في الزمرة )‪ 𝑍𝑒 , + ∆ (𝑍, +‬الن )‪ (𝑍, +‬زمرة ابدالية ‪.‬‬ ‫مثال ‪:‬‬
‫يقال لمزمرة )∗‪ (𝐺,‬بأنيا بسيطة اذا كانت تحتوي عمى زمر جزئية ناظمية تافية فقط ‪.‬‬ ‫تعريف ‪:‬‬
‫‪ 𝑍3 , +3‬زمرة بسيطة ألنيا تحتوي عمى زمر جزئية ناظمية ىي ‪ {𝑒}, +3 , 𝑍3 , +3‬فقط ‪.‬‬ ‫مثال ‪:‬‬
‫‪ 𝑍, +‬زمرة غير بسيطة ألنيا تحتوي عمى زمرة جزئية ناظمية غير تافية وىي ‪. 𝑍𝑒 , +‬‬

‫كل زمرة رتبتيا عدد أولي تكون بسيطة ‪.‬‬ ‫مبرهنة ‪: 24‬‬

‫لتكن )∗‪ (𝐺,‬زمرة رتبتيا 𝑝 حيث ان 𝑝 عدد أولي‬ ‫البرهان ‪:‬‬


‫نفرض ان ∗‪𝐻,∗ ∆ 𝐺,‬‬
‫حسب مبرىنة الكرانج 𝐻 𝑂 تقسم 𝑝 = 𝐺 𝑂‬
‫بما ان 𝑝 عدد أولي‬
‫𝑒 =𝐻‬ ‫أما ‪⟸ 𝑂 𝐻 = 1‬‬
‫أو 𝑝 = 𝐻 𝑂 ⟸ 𝐺 = 𝐻‬
‫لتكن )∗‪ (𝐺,‬زمرة بسيطة ‪.‬‬

‫‪ 𝑍5 , +5‬زمرة بسيطة ألن ‪ 5‬عدد أولي ‪.‬‬ ‫مثال ‪:‬‬


‫كل زمرة بسيطة جزئية دلييا يساوي ‪ 2‬تكون ناظمية ‪.‬‬ ‫مالحظة ‪:‬‬
‫لتكن )∗‪ (𝐺,‬زمرة فان الزمرة الجزئية ∗‪ 𝐻,‬تكون ناظمية اذا وفقط اذا كان‬ ‫مبرهنة ‪: 25‬‬
‫𝐻 ⊆ ‪𝑎 ∗ 𝐻 ∗ 𝑎−1‬‬ ‫𝐺∈𝑎 ∀‬

‫∗‪ 𝐻,‬زمرة ناظمية ونبرىن 𝐻 ⊆ ‪ 𝑎 ∗ 𝐻 ∗ 𝑎−1‬لكل 𝐺 ∈ 𝑎‬ ‫نفرض ان‬ ‫البرهان ‪:‬‬


‫لتكن ‪𝑥 ∈ 𝑎 ∗ 𝐻 ∗ 𝑎−1‬‬

‫𝐺 ∈ 𝑎 ‪∴ 𝑥 = 𝑎 ∗ 𝑕1 ∗ 𝑎−1 , 𝑕1 ∈ 𝐻 ,‬‬

‫𝐻 ∗ 𝑎 ∈ ‪𝑎 ∗ 𝑕1‬‬

‫‪40‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫∵ ∗‪ 𝐻,‬زمرة ناظمية فنحصل عمى‬


‫𝐺∈ 𝑎 ∀ 𝑎∗𝐻= 𝐻∗𝑎‬

‫𝑎 ∗ 𝐻 = 𝐻 ∗ 𝑎 ∈ ‪∴ 𝑎 ∗ 𝑕1‬‬
‫∴ يوجد 𝑎 ∗ 𝐻 ∈ 𝑎 ∗ ‪ 𝑕2‬بحيث ان 𝑎 ∗ ‪𝑎 ∗ 𝑕1 = 𝑕2‬‬

‫‪𝑥 = 𝑎 ∗ 𝑕1 ∗ 𝑎−1‬‬

‫𝐻 ∈ ‪= 𝑕2 ∗ 𝑎 ∗ 𝑎−1 = 𝑕1‬‬

‫𝐻 ⊆ ‪∴ 𝑎 ∗ 𝐻 ∗ 𝑎−1‬‬
‫االتجاه اآلخر ‪ /‬نفرض ان 𝐻 ⊆ ‪ 𝑎 ∗ 𝐻 ∗ 𝑎−1‬لكل 𝐺 ∈ 𝑎 ونبرىن ∗‪ 𝐻,‬زمرة ناظمية ‪.‬‬
‫لتكن 𝐻 ∗ 𝑎 ∈ 𝑥‬

‫𝐺 ∈ 𝑎 ‪∴ 𝑥 = 𝑎 ∗ 𝑕1 , 𝑕1 ∈ 𝐻 ,‬‬

‫‪𝑎 ∗ 𝑕1 ∗ 𝑎−1 ∈ 𝑎 ∗ 𝐻 ∗ 𝑎−1‬‬

‫𝐻 ⊆ ‪∵ 𝑎 ∗ 𝐻 ∗ 𝑎−1‬‬

‫𝐻 ∈ ‪∴ 𝑎 ∗ 𝑕1 ∗ 𝑎−1‬‬

‫𝐻 ∈ 𝑢 ‪𝑎 ∗ 𝑕1 ∗ 𝑎−1 = 𝑢 ,‬‬

‫𝑎 ∗ 𝐻 ∈ 𝑎 ∗ 𝑢 = 𝑎 ∗ ‪𝑥 = 𝑎 ∗ 𝑕1 = 𝑎 ∗ 𝑕1 ∗ 𝑎−1‬‬

‫𝑎∗𝐻⊆ 𝐻∗𝑎∴‬
‫لتكن 𝑎 ∗ 𝐻 ∈ 𝑦‬

‫𝐺 ∈ 𝑎 ‪∴ 𝑦 = 𝑕2 ∗ 𝑎 , 𝑕2 ∈ 𝐻 ,‬‬

‫‪𝑎−1 ∗ 𝑕2 ∗ 𝑎 ∈ 𝑎−1 ∗ 𝐻 ∗ 𝑎−1‬‬ ‫‪−1‬‬

‫‪∵ 𝑎−1 ∗ 𝐻 ∗ 𝑎−1‬‬ ‫‪−1‬‬


‫𝐻⊆‬

‫𝐻 ∈ 𝑎 ∗ ‪∴ 𝑎−1 ∗ 𝑕2‬‬

‫𝐻 ∈ 𝑣 ‪𝑎−1 ∗ 𝑕2 ∗ 𝑎 = 𝑣 ,‬‬
‫‪41‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫𝐻 ∗ 𝑎 ∈ 𝑣 ∗ 𝑎 = 𝑎 ∗ ‪𝑦 = 𝑕2 ∗ 𝑎 = 𝑎 ∗ 𝑎−1 ∗ 𝑕2‬‬

‫𝐻∗𝑎⊆ 𝑎∗𝐻∴‬

‫𝑎∗𝐻= 𝐻∗𝑎∴‬

‫∗‪∴ 𝐻,∗ ∆ 𝐺,‬‬

‫∗‪. 𝐶𝑒𝑛𝑡 𝐺 ,∗ ∆ 𝐺,‬‬ ‫لتكن )∗‪ (𝐺,‬زمرة فان‬ ‫مبرهنة ‪: 26‬‬


‫∗‪ ( 𝐻,∗ ≤ 𝐺,‬تم برىانيا سابقاً في المبرىنة (‪) )14‬‬ ‫البرهان ‪:‬‬
‫لتكن 𝐺 ∈ 𝑎‬
‫لنبرىن 𝐺 𝑡𝑛𝑒𝐶 ⊆ ‪𝑎 ∗ 𝐶𝑒𝑛𝑡 𝐺 ∗ 𝑎−1‬‬
‫نفرض ان ‪𝑥 ∈ 𝑎 ∗ 𝐶𝑒𝑛𝑡 𝐺 ∗ 𝑎−1‬‬

‫𝐺 𝑡𝑛𝑒𝐶 ∈ 𝑦 ‪𝑥 = 𝑎 ∗ 𝑦 ∗ 𝑎−1 ,‬‬

‫𝑦 = ‪𝑥 = 𝑦 ∗ 𝑎 ∗ 𝑎−1‬‬

‫𝐺 𝑡𝑛𝑒𝐶 ∈ 𝑥 ∴‬

‫𝐺 𝑡𝑛𝑒𝐶 ⊆ ‪∴ 𝑎 ∗ 𝐶𝑒𝑛𝑡 𝐺 ∗ 𝑎−1‬‬

‫∗‪∴ 𝐶𝑒𝑛𝑡 𝐺 ,∗ ∆ 𝐺,‬‬

‫تعرف مجموعة الق سمة والتي يرمز ليا بالرمز‬


‫لتكن )∗‪ (𝐺,‬زمرة ولتكن )∗‪ 𝐻,∗ ∆ (𝐺,‬ف‬ ‫تعريف ‪:‬‬
‫𝐻 ∕ 𝐺 كاآلتي‪:‬‬
‫}𝐺 ∈ 𝑎 ∶ 𝐻 ∗ 𝑎{ = 𝐻 𝐺‬

‫في الزمرة ‪𝑍 , +‬‬ ‫مثال ‪:‬‬


‫‪𝑍𝑒 , + ∆ 𝑍 , +‬‬

‫𝑜𝑍 ‪𝑍 𝑍𝑒 = 𝑎 + 𝑍𝑒 ∶ 𝑎 ∈ 𝑍 = 𝑍𝑒 ,‬‬

‫‪42‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫لتكن )∗‪ (𝐺,‬زمرة ولتكن )∗‪ 𝐻,∗ ∆ (𝐺,‬فتعرف العممية ⊗ عمى مجموعة القسمة 𝐻 ∕ 𝐺‬ ‫تعريف ‪:‬‬
‫كاآلتي‪:‬‬

‫𝐻∗ 𝑏∗𝑎 = 𝐻∗𝑏 ⊗ 𝐻∗𝑎‬ ‫𝐺 ∈ 𝑏 ‪∀ 𝑎 ∗ 𝐻 , 𝑏 ∗ 𝐻 ∈ 𝐺 𝐻 , 𝑎,‬‬

‫لتكن )∗‪ (𝐺,‬زمرة ‪ 𝐻 ,∗ ∆ 𝐺,∗ ,‬فان )⊗‪ (𝐺 𝐻 ,‬تكون زمرة وتسمى زمرة القسمة‪.‬‬ ‫مبرهنة ‪: 27‬‬
‫البرهان ‪:‬‬
‫𝐺∈ 𝑎∶ 𝐻∗𝑎 = 𝐻 𝐺‬
‫نفرض ان 𝐻 𝐺 ∈ 𝑧 ‪ 𝑥, 𝑦 ,‬حيث ان‬

‫𝐻∗𝑐= 𝑧 ‪𝑥 =𝑎∗𝐻 , 𝑦 =𝑏∗𝐻 ,‬‬ ‫𝐺 ∈ 𝑐 ‪, 𝑎, 𝑏 ,‬‬


‫‪- 1‬‬

‫𝐻∗ 𝑏∗𝑎 = 𝐻∗𝑏 ⊗ 𝐻∗𝑎 =‪𝑥⊗y‬‬

‫𝐺 ∈ 𝑏 ∗ 𝑎 ⟹ 𝐺 ∈ 𝑏 ‪∵ 𝑎,‬‬

‫𝐻 𝐺∈‪∴𝑥⊗y‬‬
‫‪- 2‬‬

‫𝐻∗𝑐 ⊗ 𝐻∗𝑏 ⊗ 𝐻∗𝑎 = ‪𝑥⊗ y⊗z‬‬

‫𝐻∗ 𝑐∗𝑏 ⊗ 𝐻∗𝑎 =‬

‫𝑐∗𝑏 ∗𝑎 =‬ ‫𝐻∗‬

‫=‬ ‫𝐻∗ 𝑐∗ 𝑏∗𝑎‬

‫=‬ ‫𝐻∗𝑐 ⊗ 𝐻∗ 𝑏∗𝑎‬

‫=‬ ‫𝐻∗𝑏 ⊗ 𝐻∗𝑎‬ ‫𝐻∗𝑐 ⊗‬

‫𝑧⊗ 𝑦⊗𝑥 =‬

‫‪43‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫‪- 3‬‬

‫𝐺∈𝑒‬ ‫⟹‬ ‫𝐻 𝐺∈ 𝐻∗𝑒‬

‫𝐻∗𝑒 ⊗ 𝐻∗𝑎 = 𝐻∗𝑒 ⊗𝑥‬

‫𝑥= 𝐻∗𝑎= 𝐻∗ 𝑒∗𝑎 =‬

‫𝐻∗𝑎 ⊗ 𝐻∗𝑒 = 𝑥⊗ 𝐻∗𝑒‬

‫𝑥= 𝐻∗𝑎= 𝐻∗ 𝑎∗𝑒 =‬

‫∴ 𝐻 ∗ 𝑒 ىو العنصر المحايد‬

‫‪- 4‬‬

‫𝑒 = 𝑎 ∗ ‪∵ ∀ 𝑎 ∈ 𝐺 ∃ 𝑎−1 ∋ 𝑎 ∗ 𝑎−1 = 𝑎−1‬‬

‫𝐻 𝐺 ∈ 𝐻 ∗ ‪∴ 𝑎−1‬‬

‫𝐻 ∗ ‪𝑥 ⊗ 𝑎−1 ∗ 𝐻 = 𝑎 ∗ 𝐻 ⊗ 𝑎−1‬‬

‫𝐻 ∗ 𝑒 = 𝐻 ∗ ‪= 𝑎 ∗ 𝑎−1‬‬

‫𝐻 ∗ 𝑎 ⊗ 𝐻 ∗ ‪𝑎−1 ∗ 𝐻 ⊗ 𝑥 = 𝑎−1‬‬

‫𝐻 ∗ 𝑒 = 𝐻 ∗ 𝑎 ∗ ‪= 𝑎−1‬‬

‫∴ 𝐻 ∗ ‪ 𝑎−1‬ىو العنصر النظير لمعنصر 𝐻 ∗ 𝑎 ‪.‬‬

‫∴ )⊗‪ (𝐺 𝐻 ,‬تشكل زمرة ‪.‬‬

‫اذا كانت )∗‪ (𝐺,‬زمرة ابدالية فان زمرة القسمة )⊗‪ (𝐺 𝐻 ,‬تكون ابدالية ‪.‬‬ ‫مبرهنة ‪: 28‬‬
‫نفرض ان ∗‪ 𝐺,‬زمرة ابدالية‬ ‫البرهان ‪:‬‬
‫ليكن 𝐻 𝐺 ∈ 𝑦 ‪ 𝑥,‬حيث ان‬

‫‪44‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫𝐺 ∈ 𝑏 ‪𝑥 = 𝑎 ∗ 𝐻 , 𝑦 = 𝑏 ∗ 𝐻 , 𝑎,‬‬

‫𝐻∗ 𝑏∗𝑎 = 𝐻∗𝑏 ⊗ 𝐻∗𝑎 =‪𝑥⊗y‬‬

‫𝐻∗ 𝑎∗𝑏 =‬

‫𝑥⊗𝑦= 𝐻∗𝑎 ⊗ 𝐻∗𝑏 =‬


‫زمرة ابدالية ‪.‬‬ ‫⊗‪𝐺 𝐻 ,‬‬ ‫∴‬

‫لتكن )∗‪ (𝐺,‬زمرة فيعرف المبادل لمعنصرين 𝑎 و 𝑏 في الزمرة )∗‪ (𝐺,‬والذي يرمز لو بالرمز‬ ‫تعريف ‪:‬‬
‫𝑏 ‪ 𝑎 ,‬كاآلتي ‪:‬‬

‫‪𝑎 , 𝑏 = 𝑎 ∗ 𝑏 ∗ 𝑎−1 ∗ 𝑏 −1‬‬

‫في الزمرة ‪ 𝑍 , +‬يكون‬ ‫مثال ‪:‬‬


‫‪2 , 4 = 2 + 4 + 2−1 + 4−1 = 2 + 4 + −2 + −4 = 0‬‬

‫في الزمرة )∘‪ (𝑆3 ,‬نجد ان‬ ‫مثال ‪:‬‬


‫‪−1‬‬ ‫‪−1‬‬
‫‪12 , 123‬‬ ‫‪= 12 ∘ 123 ∘ 12‬‬ ‫‪∘ 123‬‬

‫‪= 12 ∘ 123 ∘ 12 ∘ 132‬‬

‫‪= 23 ∘ 13 = 123‬‬

‫لتكن )∗‪ (𝐺,‬زمرة فتعرف الزمرة الجزئية المشتقة والتي يرمز ليا بالرمز 𝐺 ‪ 𝐺 ,‬كاآلتي ‪:‬‬ ‫تعريف ‪:‬‬
‫𝐺 ∈ 𝑏‪𝐺 ,𝐺 = ∏ 𝑎 ,𝑏 ∶ 𝑎 ,‬‬

‫حيث ان ∏ ىي جداء مبادالت ‪.‬‬

‫اذا كانت )∗‪ (𝐺,‬زمرة فان الزمرة الجزئية )∗‪ ( 𝐺 , 𝐺 ,‬زمرة ناظمية ‪.‬‬ ‫مبرهنة ‪: 29‬‬
‫يجب ان نبرىن‬ ‫البرهان ‪:‬‬
‫‪45‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫𝐺 ‪𝑎 ∗ 𝐺 , 𝐺 ∗ 𝑎−1 ⊆ 𝐺 ,‬‬ ‫𝐺∈ 𝑎∀‬


‫ليكن 𝐺 ∈ 𝑎‬
‫نفرض ان ‪𝑥 ∈ 𝑎 ∗ 𝐺 , 𝐺 ∗ 𝑎−1‬‬

‫𝐺 ∈ 𝑎 ‪𝑥 = 𝑎 ∗ 𝑐 ∗ 𝑎−1 , 𝑐 ∈ 𝐺 , 𝐺 ,‬‬

‫𝐺 ‪𝑥 = 𝑎 ∗ 𝑐 ∗ 𝑎−1 ∗ 𝑐 −1 ∗ 𝑐 = 𝑎 , 𝑐 ∗ 𝑐 ∈ 𝐺 ,‬‬

‫𝐺‪∴ 𝑥 ∈ 𝐺 ,‬‬

‫𝐺 ‪∴ 𝑎 ∗ 𝐺 , 𝐺 ∗ 𝑎−1 ⊆ 𝐺 ,‬‬ ‫𝐺∈ 𝑎∀‬

‫∴‬ ‫)∗‪𝐺 , 𝐺 ,∗ ∆ (𝐺,‬‬

‫‪46‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫(( تـمـاريـن ))‬

‫‪ - 1‬اثبت ان كل زمرة رتبتها أقل أو تساوي خمسة تكون أبدالٌة ‪.‬‬


‫‪ - 2‬هل ان كل زمرة جزئٌة تكون ناظمٌة ‪.‬‬
‫‪ - 3‬هل ان معكوس المبرهنة (‪ )20‬صحٌح دائما ً ‪.‬‬
‫‪.‬‬ ‫‪13‬‬ ‫‪ - 4‬هل ان )∘‪,∘ ∆ (𝑆3 ,‬‬
‫‪.‬‬ ‫‪123‬‬ ‫‪ - 5‬هل ان )∘‪,∘ ∆ (𝑆3 ,‬‬
‫‪ - 6‬هل ان ‪. 𝑆4 ∶ 𝐴4 = 4‬‬
‫فهل ان‬ ‫∗‪𝐻2 ,∗ ≤ 𝐺 ,∗ , 𝐻1 ,∗ ≤ 𝐺 ,‬‬ ‫‪ - 7‬إذا كانت )∗‪ (G ,‬زمرة حٌث ان‬
‫∗‪ 𝐻1 ∗ 𝐻2 ,∗ ≤ 𝐺,‬؟‬
‫‪ - 8‬هل ان كل زمرة بسٌطة تكون رتبتها عدد أولً ‪.‬‬
‫‪ - 9‬هل ان الزمرة )∘‪ (S3 ,‬تكون بسٌطة ‪.‬‬
‫‪- 10‬لتكن )∗‪ (G ,‬زمرة ‪ . 𝐻 ,∗ ∆ 𝐺 ,∗ ,‬اثبت ان ⊗‪ 𝐺 𝐻 ,‬زمرة ابدالٌة اذا وفقط اذا كان‬
‫𝐻 ⊆ 𝐺‪. 𝐺 ,‬‬
‫‪- 11‬فً الزمرة )∘‪ (S3 ,‬جد عناصر المجموعة ))‪. 𝑆3 ((12‬‬
‫‪- 12‬هل ان معكوس المبرهنة (‪ )28‬صحٌح دائما ً ‪.‬‬
‫‪- 13‬فً الزمرة )‪ (𝑍, +‬اثبت ان 𝑍 ∈ 𝑏 ‪. 𝑎 , 𝑏 = 0 ∀ 𝑎,‬‬
‫‪- 14‬فً الزمرة )∘‪ (S3 ,‬جد ])‪. [ 132 , (123‬‬

‫‪47‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫∘‪ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺 ′ ,‬تشاكل‬ ‫∗‪ 𝐺 ′ ,∘ , 𝐺,‬زمرة فيقال لمدالة‬ ‫كنت كل من‬


‫اذا ا‬ ‫تعريف ‪:‬‬
‫(‪ )homomorphism‬اذا كان‬

‫𝑏 𝑓∘ 𝑎 𝑓= 𝑏∗𝑎 𝑓‬ ‫𝐺 ∈ 𝑏 ‪∀ 𝑎,‬‬

‫∗‪ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺,‬المعرفة بالشكل ‪:‬‬ ‫لتكن ∗‪ 𝐺,‬زمرة فان الدالة الذاتية‬ ‫مثال ‪:‬‬
‫𝐺∈ 𝑎∀ 𝑎= 𝑎 𝑓‬
‫تكون تشاكل وذلك النو اذا كانت 𝐺 ∈ 𝑏 ‪ 𝑎,‬فان‬

‫𝑏 𝑓∗ 𝑎 𝑓= 𝑏∗𝑎= 𝑏∗𝑎 𝑓‬

‫لتكن كل من ∗‪ 𝐺 ′ ,∘ , 𝐺,‬زمرة فان الدالة ∘‪ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺 ′ ,‬المعرفة بالشكل ‪:‬‬ ‫م ثال ‪:‬‬

‫𝐺 ∈ 𝑎 ∀ ‪𝑓 𝑎 = 𝑒′‬‬
‫حيث ان ‪ 𝑒 ′‬ىو العنصر المحايد لمزمرة ∘‪ 𝐺 ′ ,‬تكون تشاكل وذلك النو‬
‫اذا كانت 𝐺 ∈ 𝑏 ‪ 𝑎,‬فان‬

‫𝑏 𝑓 ∘ 𝑎 𝑓 = ‪𝑓 𝑎 ∗ 𝑏 = 𝑒′ = 𝑒′ ∘ 𝑒′‬‬

‫ان الدالة ‪ 𝑓 ∶ 𝑍, + ⟶ 𝑍, +‬المعرفة بالشكل ‪:‬‬ ‫مثال ‪:‬‬

‫𝑍∈ 𝑎∀ ‪𝑓 𝑎 =𝑎+1‬‬
‫ال تمثل تشاكل وذلك ألنو‬
‫اذا كانت 𝐺 ∈ 𝑏 ‪ 𝑎,‬فان‬

‫𝑏 𝑓‪𝑓 𝑎+𝑏 =𝑎+𝑏+1≠ 𝑎+1 + 𝑏+1 =𝑓 𝑎 +‬‬

‫𝑏 𝑓‪⟹ 𝑓 𝑎+𝑏 ≠𝑓 𝑎 +‬‬

‫‪48‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫مالحظات ‪:‬‬
‫‪ٌ - 1‬رمز لمجموعة التشاكالت ∘‪ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺 ′ ,‬بالرمز ‪ 𝐻𝑜𝑚 𝐺, 𝐺 ′‬وإذا كانت ‪𝐺, 𝐺 ′‬‬
‫فٌرمز لها بالرمز 𝐺 𝑚𝑜𝐻 ‪.‬‬
‫‪ٌ - 2‬رمز لمجموعة التشاكالت المتقابلة ∗‪ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺,‬بالرمز 𝐺 𝐴 ‪.‬‬

‫تركيب تبديل زوجي وتبديل فردي‬

‫لتكن ∘‪ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺 ′ ,‬تشاكل فان‬ ‫مبرهنة ‪: 30‬‬


‫‪𝑓 𝑒 = 𝑒′ - 1‬‬
‫حًث ان 𝑒 هو العنصر المحاٌد للزمرة ∘‪𝐺,‬‬
‫‪ 𝑒 ′‬هو العنصر المحاٌد للزمرة ∘‪𝐺 ′ ,‬‬
‫‪−1‬‬
‫𝑎 𝑓 = ‪ 𝑓 𝑎−1‬لكل 𝐺 ∈ 𝑎 ‪.‬‬ ‫‪-2‬‬

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

‫𝐺 ∈ 𝑎 ∀ ‪𝑓 𝑎 ∈ 𝐺′‬‬

‫‪𝑓 𝑎 = 𝑓 𝑎 ∘ 𝑒′‬‬

‫𝑒 𝑓∘ 𝑎 𝑓= 𝑒∗𝑎 𝑓= 𝑎 𝑓‬

‫‪∴ 𝑓 𝑎 ∘ 𝑓 𝑒 = 𝑓 𝑎 ∘ 𝑒′‬‬

‫‪∴ 𝑓 𝑒 = 𝑒′‬‬

‫‪ٌ - 2‬جب ان نبرهن ‪ 𝑓 𝑎−1‬هو نظٌر 𝑎 𝑓‬

‫‪𝑓 𝑎 ∘ 𝑓 𝑎−1 = 𝑓 𝑎 ∗ 𝑎−1 = 𝑓 𝑒 = 𝑒 ′‬‬

‫‪𝑓 𝑎−1 ∘ 𝑓 𝑎 = 𝑓 𝑎−1 ∗ 𝑎 = 𝑓 𝑒 = 𝑒 ′‬‬

‫‪49‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫∴ ‪ 𝑓 𝑎−1‬ىو نظير 𝑎 𝑓‬
‫‪−1‬‬
‫𝑎 𝑓 هو نظٌر 𝑎 𝑓‬ ‫ولكن‬
‫بما ان العنصر النظٌر وحٌد‬
‫‪−1‬‬
‫𝑎 𝑓 = ‪∴ 𝑓 𝑎−1‬‬

‫لتكن ∘‪ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺 ′ ,‬تشاكل فان‬ ‫مبرهنة ‪: 31‬‬


‫‪ - 1‬اذا كانت ∗‪ 𝐻 ,∗ ≤ 𝐺 ,‬فان ∘‪. 𝑓 𝐻 ,∘ ≤ 𝐺 ′ ,‬‬
‫‪ - 2‬اذا كانت ∘‪ 𝐻′ ,∘ ≤ 𝐺 ′ ,‬فان ∗‪. 𝑓 −1 𝐻′ ,∗ ≤ 𝐺 ,‬‬

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

‫𝐻∈𝑕∶ 𝑕 𝑓 = 𝐻 𝑓‬

‫𝐻∈𝑒 ∵‬ ‫𝐻 𝑓 ∈ ‪⟹ 𝑓 𝑒 = 𝑒′‬‬

‫‪∅ ≠ 𝑓 𝐻 ⊆ 𝐺′‬‬
‫نفرض ان 𝐻 𝑓 ∈ 𝑘 𝑓 ‪𝑓 𝑕 ,‬‬

‫𝐻 ∈ 𝑘‪𝑕 ,‬‬

‫∗‪∵ 𝐻 ,∗ ≤ 𝐺 ,‬‬ ‫𝐻 ∈ ‪⟹ 𝑕 ∗ 𝑘 −1‬‬


‫‪−1‬‬
‫𝑘 𝑓 ∘ 𝑕 𝑓‬ ‫𝐻 𝑓 ∈ ‪= 𝑓 𝑕 ∘ 𝑓 𝑘 −1 = 𝑓 𝑕 ∗ 𝑘 −1‬‬

‫∘‪∴ 𝑓 𝐻 ,∘ ≤ 𝐺 ′ ,‬‬

‫‪-2‬‬

‫‪𝑓 −1 𝐻′ = 𝑎 ∈ 𝐺 ∶ 𝑓 𝑎 ∈ 𝐻′‬‬

‫‪𝑒 ∈ 𝐺 , 𝑓 𝑒 = 𝑒 ′ ∈ 𝐻′‬‬ ‫‪⟹ 𝑒 ∈ 𝑓 −1 𝐻′‬‬

‫‪50‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫𝐺 ⊆ ‪∅ ≠ 𝑓 −1 𝐻′‬‬
‫نفرض ان ‪𝑎 , 𝑏 ∈ 𝑓 −1 𝐻′‬‬
‫‪−1‬‬
‫𝑏 𝑓 ∘ 𝑎 𝑓 = ‪𝑓 𝑎 ∗ 𝑏 −1 = 𝑓 𝑎 ∘ 𝑓 𝑏 −1‬‬
‫‪−1‬‬
‫∘‪∵ 𝐻′ ,∘ ≤ 𝐺 ′ ,‬‬ ‫𝑏 𝑓 ∘ 𝑎 𝑓 ⟹‬ ‫‪∈ 𝐻′‬‬

‫‪𝑎 ∗ 𝑏 −1 ∈ 𝑓 −1 𝐻′‬‬

‫∗‪∴ 𝑓 −1 𝐻′ ,∗ ≤ 𝐺 ,‬‬

‫فان‬ ‫∗‪𝐻 ,∗ ∆ 𝐺 ,‬‬ ‫∘‪ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺 ′ ,‬تشاكل شامل وان‬ ‫لتكن‬ ‫مبرهنة ‪: 32‬‬
‫∘‪. 𝑓 𝐻 ,∘ ∆ 𝐺 ′ ,‬‬

‫حسب المبرىنة ( ‪ ) 31‬نجد ان‬ ‫البرهان ‪:‬‬


‫∘‪𝑓 𝐻 ,∘ ≤ 𝐺 ′ ,‬‬
‫نفرض ان ‪𝑏 ∈ 𝐺 ′‬‬
‫يجب ان نبرىن 𝐻 𝑓 ⊆ ‪𝑏 ∘ 𝑓 𝐻 ∘ 𝑏 −1‬‬
‫ليكن ‪𝑏 ∘ 𝑓 𝑕 ∘ 𝑏 −1 ∈ 𝑏 ∘ 𝑓 𝐻 ∘ 𝑏 −1‬‬
‫بحيث ان 𝐻 𝑓 ∈ 𝑕 𝑓 ‪𝑕 ∈ 𝐻 ,‬‬
‫بما ان ‪ 𝑏 ∈ 𝐺 ′‬وان 𝑓 دالة شاممة‬

‫𝑏= 𝑎 𝑓 ∋ 𝐺∈𝑎 ∃ ∴‬
‫‪−1‬‬
‫𝑎 𝑓 ∘ 𝑕 𝑓 ∘ 𝑎 𝑓 = ‪𝑏 ∘ 𝑓 𝑕 ∘ 𝑏 −1‬‬

‫‪= 𝑓 𝑎 ∘ 𝑓 𝑕 ∘ 𝑓 𝑎−1 = 𝑓 𝑎 ∗ 𝑕 ∗ 𝑎−1‬‬

‫∗‪∵ 𝐻 ,∗ ∆ 𝐺 ,‬‬

‫𝐻 ⊆ ‪∴ 𝑎 ∗ 𝑕 ∗ 𝑎−1 ∈ 𝑎 ∗ 𝐻 ∗ 𝑎−1‬‬

‫𝐻 𝑓 ∈ ‪∴ 𝑓 𝑎 ∗ 𝑕 ∗ 𝑎−1‬‬

‫‪51‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫𝐻 𝑓 ∈ ‪∴ 𝑏 ∘ 𝑓 𝑕 ∘ 𝑏 −1‬‬

‫𝐻 𝑓 ⊆ ‪∴ 𝑏 ∘ 𝑓 𝐻 ∘ 𝑏 −1‬‬

‫المبرىنة (‪ )32‬ال تتحقق اذا لم تكن الدالة 𝑓 شاممة ‪.‬‬ ‫مالحظة ‪:‬‬
‫فان‬ ‫∘‪𝐻′ ,∘ ∆ 𝐺 ′ ,‬‬ ‫تشاكل وان‬ ‫∘‪𝑓 ∶ 𝐺,∗ ⟶ 𝐺 ′ ,‬‬ ‫لتكن‬ ‫مبرهنة ‪: 33‬‬
‫∗‪. 𝑓 −1 𝐻′ ,∗ ∆ 𝐺 ,‬‬

‫حسب المبرىنة ( ‪ ) 31‬نجد ان‬ ‫البرهان ‪:‬‬


‫∗‪𝑓 −1 𝐻′ ,∗ ≤ 𝐺 ,‬‬
‫نفرض ان ‪𝑎 ∗ 𝑥 ∗ 𝑎−1 ∈ 𝑎 ∗ 𝑓 −1 𝐻′ ∗ 𝑎−1‬‬
‫حيث ان ‪ 𝑥 ∈ 𝑓 −1 𝐻′‬وعميو فان ‪𝑓 𝑥 ∈ 𝐻′‬‬
‫‪−1‬‬
‫𝑎 𝑓 ∘ 𝑥 𝑓 ∘ 𝑎 𝑓 = ‪𝑓 𝑎 ∗ 𝑥 ∗ 𝑎−1 = 𝑓 𝑎 ∘ 𝑓 𝑥 ∘ 𝑓 𝑎−1‬‬

‫𝐺∈𝑎 ∵‬ ‫⟹‬ ‫‪𝑓 𝑎 ∈ 𝐺′‬‬

‫∘‪∵ 𝐻′ ,∘ ∆ 𝐺 ′ ,‬‬
‫‪−1‬‬
‫𝑎 𝑓 ∘ 𝑥 𝑓∘ 𝑎 𝑓 ∴‬ ‫‪∈ 𝐻′‬‬

‫‪∴ 𝑓 𝑎 ∗ 𝑥 ∗ 𝑎−1 ∈ 𝐻′‬‬

‫‪∴ 𝑎 ∗ 𝑥 ∗ 𝑎−1 ∈ 𝑓 −1 𝐻′‬‬

‫‪∴ 𝑎 ∗ 𝑓 −1 𝐻′ ∗ 𝑎−1 ⊆ 𝑓 −1 𝐻′‬‬

‫∗‪∴ 𝑓 −1 𝐻′ ,∗ ∆ 𝐺 ,‬‬

‫𝑓 𝑟𝑒𝑘‬ ‫لتكن ∘‪ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺 ′ ,‬تشاكل فتعرف نواة التشاكل والتي يرمز ليا بالرمز‬ ‫تعريف ‪:‬‬
‫كاآلتي ‪:‬‬

‫‪𝑘𝑒𝑟 𝑓 = 𝑎 ∈ 𝐺 ∶ 𝑓 𝑎 = 𝑒 ′‬‬
‫‪52‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫حيث ان ‪ 𝑒 ′‬ىو العنصر المحايد لمزمرة ∘‪. 𝐺 ′ ,‬‬

‫لتكن }𝑖‪ 𝐺 = {1 , −1 , 𝑖 , −‬وان ‪ 𝑓 ∶ 𝑍, + ⟶ 𝐺, .‬معرفة بالشكل ‪:‬‬ ‫مثال ‪:‬‬


‫𝑍 ∈ 𝑛 ∀ 𝑛𝑖 = 𝑛 𝑓‬
‫فان 𝑓 تكون تشاكل شامل ‪.‬‬
‫ولنبين ذلك نفرض ان 𝑍 ∈ 𝑚 ‪𝑛 ,‬‬

‫𝑚 𝑓 ‪𝑓 𝑛 + 𝑚 = 𝑖 𝑛+𝑚 = 𝑖 𝑛 . 𝑖 𝑚 = 𝑓 𝑛 .‬‬
‫∴ 𝑓 تشاكل‬

‫‪1 ∈ 𝐺 ∃ 0 ∈ 𝑍 ∋ 𝑓 0 = 𝑖0 = 1‬‬

‫‪−1 ∈ 𝐺 ∃ 2 ∈ 𝑍 ∋ 𝑓 2 = 𝑖 2 = −1‬‬

‫𝑖 = ‪𝑖 ∈ 𝐺 ∃ 1 ∈ 𝑍 ∋ 𝑓 1 = 𝑖1‬‬

‫𝑖‪−𝑖 ∈ 𝐺 ∃ 3 ∈ 𝑍 ∋ 𝑓 3 = 𝑖 3 = −‬‬
‫∴ 𝑓 تشاكل شامل‬
‫كذلك ان نواة التشاكل ىي ‪:‬‬

‫‪𝑘𝑒𝑟 𝑓 = 𝑛 ∈ 𝑍 ∶ 𝑓 𝑛 = 1‬‬

‫‪= 𝑛 ∈ 𝑍 ∶ 𝑖𝑛 = 1‬‬

‫𝑍 ∈ 𝑘 ‪= 𝑛 ∈ 𝑍 ∶ 𝑛 = 4𝑘 ,‬‬

‫𝑍 ∈ 𝑘 ∶ 𝑘‪= 4‬‬

‫متبيةن اذا وفقط اذا كان }𝑒{ = 𝑓 𝑟𝑒𝑘‪.‬‬


‫لتكن ∘‪ 𝑓: 𝐺,∗ ⟶ 𝐺 ′ ,‬تشاكل فان 𝑓 ا‬ ‫مبرهنة ‪: 34‬‬
‫متبينة ونبرىن 𝑒 = 𝑓 𝑟𝑒𝑘‬
‫نفرض ان 𝑓 ا‬ ‫البرهان ‪:‬‬
‫ليكن 𝑓 𝑟𝑒𝑘 ∈ 𝑎 بحيث ان 𝑒 ≠ 𝑎‬

‫𝑒 𝑓 = ‪𝑓 𝑎 = 𝑒′‬‬

‫‪53‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫𝑒 = 𝑓 𝑟𝑒𝑘‬ ‫ن سيكون 𝑒 = 𝑎 وعمية فان‬


‫متبية‬
‫بما ان 𝑓 ا‬
‫االتجاه اآلخر ‪ /‬نفرض ان 𝑒 = 𝑓 𝑟𝑒𝑘 ونبرىن 𝑓 متباينة‬
‫ليكن 𝐺 ∈ 𝑏 ‪ 𝑎 ,‬بحيث ان‬

‫𝑏 𝑓= 𝑎 𝑓‬
‫‪−1‬‬ ‫‪−1‬‬
‫𝑏 𝑓 ∘ 𝑎 𝑓 = ‪𝑓 𝑎 ∗ 𝑏 −1 = 𝑓 𝑎 ∘ 𝑓 𝑏 −1‬‬ ‫𝑎 𝑓 ∘ 𝑎 𝑓=‬ ‫‪= 𝑒′‬‬

‫𝑓 𝑟𝑒𝑘 ∈ ‪∴ 𝑎 ∗ 𝑏 −1‬‬

‫𝑒 = 𝑓 𝑟𝑒𝑘 ∵‬

‫𝑒 = ‪∴ 𝑎 ∗ 𝑏 −1‬‬

‫𝑏=𝑎 ∴‬

‫∴ 𝑓 متباينة ‪.‬‬

‫لتكن ∘‪ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺 ′ ,‬تشاكل فان ∗‪. 𝑘𝑒𝑟 𝑓 ,∗ ∆ 𝐺 ,‬‬ ‫مبرهنة ‪: 35‬‬


‫البرهان ‪:‬‬
‫‪𝑘𝑒𝑟 𝑓 = 𝑎 ∈ 𝐺 ∶ 𝑓 𝑎 = 𝑒 ′‬‬

‫‪𝑒 ∈ 𝐺 , 𝑓 𝑒 = 𝑒′‬‬ ‫𝑓 𝑟𝑒𝑘 ∈ 𝑒 ⟹‬

‫𝐺 ⊆ 𝑓 𝑟𝑒𝑘 ≠ ∅‬
‫نفرض ان 𝑓 𝑟𝑒𝑘 ∈ 𝑏 ‪𝑎 ,‬‬
‫‪−1‬‬
‫𝑏 𝑓 ∘ 𝑎 𝑓 = ‪𝑓 𝑎 ∗ 𝑏 −1 = 𝑓 𝑎 ∘ 𝑓 𝑏 −1‬‬ ‫‪= 𝑒′ ∘ 𝑒′ = 𝑒′‬‬

‫𝑓 𝑟𝑒𝑘 ∈ ‪𝑎 ∗ 𝑏 −1‬‬

‫∗‪∴ 𝑘𝑒𝑟 𝑓 ,∗ ≤ 𝐺 ,‬‬


‫نفرض ان ‪𝑎 ∗ 𝑥 ∗ 𝑎−1 ∈ 𝑎 ∗ 𝑘𝑒𝑟 𝑓 ∗ 𝑎−1‬‬
‫بحيث ان 𝑓 𝑟𝑒𝑘 ∈ 𝑥 ‪𝑎 ∈ 𝐺 ,‬‬
‫‪54‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫‪𝑓 𝑥 = 𝑒′‬‬

‫‪𝑓 𝑎 ∗ 𝑥 ∗ 𝑎−1 = 𝑓 𝑎 ∘ 𝑓 𝑥 ∘ 𝑓 𝑎−1‬‬


‫‪−1‬‬
‫𝑎 𝑓 ∘ 𝑥 𝑓∘ 𝑎 𝑓=‬
‫‪−1‬‬
‫𝑎 𝑓 ∘ ‪= 𝑓 𝑎 ∘ 𝑒′‬‬ ‫‪= 𝑒′‬‬

‫𝑓 𝑟𝑒𝑘 ∈ ‪∴ 𝑎 ∗ 𝑥 ∗ 𝑎−1‬‬

‫∗‪∴ 𝑘𝑒𝑟 𝑓 ,∗ ∆ 𝐺 ,‬‬

‫لتكن ∗‪ 𝐻 ,∗ ∆ 𝐺 ,‬فان الدالة ⊗‪ 𝑛𝑎𝑡𝐻 ∶ 𝐺,∗ ⟶ 𝐺 𝐻 ,‬المعرفة بالشكل‬ ‫مبرهنة ‪: 36‬‬


‫𝐺 ∈ 𝑎 ∀ 𝐻 ∗ 𝑎 = 𝑎 𝐻𝑡𝑎𝑛‬
‫تكون تشاكل شامل وتسمى بالتشاكل الطبيعي ‪.‬‬

‫نفرض ان 𝐺 ∈ 𝑏 ‪𝑎 ,‬‬ ‫البرهان ‪:‬‬


‫𝑏 𝐻𝑡𝑎𝑛 ⊗ 𝑎 𝐻𝑡𝑎𝑛 = 𝐻 ∗ 𝑏 ⊗ 𝐻 ∗ 𝑎 = 𝐻 ∗ 𝑏 ∗ 𝑎 = 𝑏 ∗ 𝑎 𝐻𝑡𝑎𝑛‬

‫∴ 𝐻𝑡𝑎𝑛 تشاكل‬
‫ليكن 𝐻 𝐺 ∈ 𝐻 ∗ 𝑏‬
‫يوجد 𝐺 ∈ 𝑏 بحيث ان 𝐻 ∗ 𝑏 = 𝑏 𝐻𝑡𝑎𝑛‬
‫∴ 𝐻𝑡𝑎𝑛 تشاكل شامل ‪.‬‬

‫∗‪ 𝐺 ′ ,∘ , 𝐺,‬متشاكمتان تقابمياً ( ‪ ) isomorphic‬ويرمز ليما بالرمز‬ ‫يقال لمزمرتان‬ ‫تعريف ‪:‬‬
‫∘‪. 𝑓 ∶ 𝐺,∗ ⟶ 𝐺 ′ ,‬‬ ‫∘‪ 𝐺,∗ ≃ 𝐺 ′ ,‬اذا وجد تشاكل متقابل‬

‫‪. 𝑍4 , +4 ≃ 𝐺, .‬‬ ‫لتكن }𝑖‪ 𝐺 = {1 , −1 , 𝑖 , −‬فان‬ ‫مثال ‪:‬‬


‫ولكي نبين ذلك نفرض ان‬

‫‪55‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫‪𝑓 ∶ 𝑍4 , +4 ⟶ 𝐺, .‬‬

‫‪𝑓 𝑛 = 𝑖 𝑛 ∀ 𝑛 ∈ 𝑍4‬‬
‫ليكن 𝑍 ∈ 𝑚 ‪𝑛 ,‬‬

‫𝑚 𝑓 ‪𝑓 𝑛 +4 𝑚 = 𝑖 𝑛 +4 𝑚 = 𝑖 𝑛 . 𝑖 𝑚 = 𝑓 𝑛 .‬‬
‫∴ 𝑓 تشاكل‬

‫نفرض ان‬

‫𝑚 𝑓= 𝑛 𝑓‬

‫𝑚𝑖 = 𝑛𝑖‬

‫𝑚=𝑛‬
‫∴ 𝑓 متباينة‬

‫‪1 ∈ 𝐺 ∃ 0 ∈ 𝑍4 ∋ 𝑓 0 = 𝑖 0 = 1‬‬

‫‪−1 ∈ 𝐺 ∃ 2 ∈ 𝑍4 ∋ 𝑓 2 = 𝑖 2 = −1‬‬

‫𝑖 = ‪𝑖 ∈ 𝐺 ∃ 1 ∈ 𝑍4 ∋ 𝑓 1 = 𝑖 1‬‬

‫𝑖‪−𝑖 ∈ 𝐺 ∃ 3 ∈ 𝑍4 ∋ 𝑓 3 = 𝑖 3 = −‬‬
‫∴ 𝑓 شاممة‬
‫‪. 𝑍4 , +4 ≃ 𝐺, .‬‬ ‫∴ 𝑓 تشاكل متقابل وبالتالي ستكون‬

‫كل زمرة دائرية غير منتيية تكون متشاكمة تقابمياً مع زمرة األعداد الصحيحة ‪. 𝑍, +‬‬ ‫مبرهنة ‪: 37‬‬
‫نفرض ان ∗‪ 𝐺,‬زمرة دائرية مولدىا 𝑎‬ ‫البرهان ‪:‬‬
‫نفرض ان‬

‫‪𝑓 ∶ 𝐺,∗ ⟶ 𝑍, +‬‬

‫‪56‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫𝑘 = 𝑘𝑎 𝑓‬ ‫𝑍 ∈ 𝑘 ‪∀ 𝑎𝑘 ∈ 𝐺 ,‬‬
‫ليكن 𝑍 ∈ ‪ 𝑎𝑘 1 , 𝑎𝑘 2‬حيث ان 𝑍 ∈ ‪𝑘1 , 𝑘2‬‬

‫‪𝑓 𝑎𝑘 1 ∗ 𝑎𝑘 2 = 𝑓 𝑎𝑘 1 +𝑘 2 = 𝑘1 + 𝑘2 = 𝑓 𝑎𝑘 1 + 𝑓 𝑎𝑘 2‬‬
‫∴ 𝑓 تشاكل‬
‫نفرض ان‬

‫‪𝑓 𝑎𝑘 1 = 𝑓 𝑎𝑘 2‬‬

‫‪𝑘1 = 𝑘2‬‬

‫‪𝑎𝑘 1 = 𝑎𝑘 2‬‬
‫∴ 𝑓 متباينة‬
‫ليكن 𝑍 ∈ 𝑘‬
‫يوجد 𝐺 ∈ 𝑘𝑎 بحيث ان 𝑘 = 𝑘𝑎 𝑓‬
‫∴ 𝑓 شامل ‪.‬‬

‫‪𝐺,∗ ≃ 𝑍, + .‬‬
‫∴ كل زمرة دائرية غير منتيية تكون متشاكمة تقابمياً مع زمرة األعداد الصحيحة ‪. 𝑍, +‬‬

‫كل زمرة دائرية منتيية رتبتيا 𝑛 تكون متشاكمة تقابمياً مع 𝑛‪. 𝑍𝑛 , +‬‬ ‫مبرهنة ‪: 38‬‬
‫نفرض ان ∗‪ 𝐺,‬زمرة دائرية منتيية رتبتيا 𝑛 ومولدىا 𝑎‬ ‫البرهان ‪:‬‬
‫} ‪𝐺 = < 𝑎 > = {𝑒 , 𝑎 , 𝑎2 , 𝑎3 , … , 𝑎𝑛 −1‬‬
‫نفرض ان‬

‫𝑛‪𝑓 ∶ 𝐺,∗ ⟶ 𝑍𝑛 , +‬‬

‫𝑘 = 𝑘𝑎 𝑓‬ ‫‪∀ 𝑎𝑘 ∈ 𝐺 , 0 ≤ 𝑘 ≤ 𝑛 − 1‬‬
‫ليكن 𝑍 ∈ ‪ 𝑎𝑘 1 , 𝑎𝑘 2‬حيث ان 𝑍 ∈ ‪𝑘1 , 𝑘2‬‬

‫‪57‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫‪𝑓 𝑎𝑘 1 ∗ 𝑎𝑘 2 = 𝑓 𝑎𝑘 1 +𝑘 2‬‬

‫‪= 𝑘1 + 𝑘2 = 𝑘1 +𝑛 𝑘2 = 𝑓 𝑎𝑘 1 +𝑛 𝑓 𝑎𝑘 2‬‬
‫∴ 𝑓 تشاكل‬
‫نفرض ان‬

‫‪𝑓 𝑎𝑘 1 = 𝑓 𝑎𝑘 2‬‬

‫‪⟹ 𝑘1 = 𝑘2‬‬

‫)𝑛 𝑑𝑜𝑚( ‪⟹ 𝑘1 ≡ 𝑘2‬‬

‫𝑍 ∈ 𝑞 ‪⟹ 𝑘1 = 𝑘2 + 𝑞 . 𝑛 ,‬‬

‫𝑛‪⟹ 𝑎𝑘 1 = 𝑎𝑘 2 +𝑞 .𝑛 = 𝑎𝑘 2 ∗ 𝑎𝑞 .‬‬

‫𝑛𝑎 ∗ ‪= 𝑎𝑘 2‬‬ ‫𝑞‬


‫𝑒 ∗ ‪= 𝑎𝑘 2‬‬ ‫𝑞‬
‫‪= 𝑎𝑘 2‬‬

‫‪⟹ 𝑎𝑘 1 = 𝑎𝑘 2‬‬
‫∴ 𝑓 متباينة ‪.‬‬
‫ليكن 𝑍 ∈ 𝑘‬
‫يوجد 𝐺 ∈ 𝑘𝑎 بحيث ان 𝑘 = 𝑘𝑎 𝑓‬
‫∴ 𝑓 شامل ‪.‬‬

‫𝑛‪𝐺,∗ ≃ 𝑍𝑛 , +‬‬
‫∴ كل زمرة دائرية منتيية تكون متشاكمة تقابمياً مع 𝑛‪. 𝑍𝑛 , +‬‬

‫عالقة التشاكل التقابمي عالقة تكافؤ ‪.‬‬ ‫مالحظة ‪:‬‬


‫كل زمرتين دائريتين من نفس الرتبة تكونان متشاكمتان تقابمياً ‪.‬‬ ‫نتيجة ‪:‬‬
‫نفرض ان كل من ∗‪ 𝐺 ′ ,∘ , 𝐺,‬زمرة دائرية رتبتيا 𝑛‬ ‫البرهان ‪:‬‬
‫حسب المبرىنة ( ‪ ) 38‬نجد ان‬

‫‪58‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫𝑛‪𝐺,∗ ≃ 𝑍𝑛 , +‬‬

‫𝑛‪𝐺 ′ ,∘ ≃ 𝑍𝑛 , +‬‬
‫∵ ≃ عالقة انعكاسية فنحصل عمى‬

‫∘‪𝑍𝑛 , +𝑛 ≃ 𝐺 ′ ,‬‬
‫∵ ≃ عالقة متعدية فنحصل عمى‬

‫∘‪𝐺,∗ ≃ 𝐺 ′ ,‬‬
‫∴ كل زمرتين دائريتين من نفس الرتبة تكونان متشاكمتان تقابمياً ‪.‬‬

‫لتكن ∗‪ 𝐺 ,‬زمرة ‪ 𝑎 ∈ 𝐺 ,‬فان الدالة ∗‪ 𝑓𝑎 ∶ 𝐺,∗ ⟶ 𝐺,‬المعرفة بالشكل‬ ‫مبرهنة ‪: 39‬‬


‫𝐺 ∈ 𝑥 ∀ 𝑥 ∗ 𝑎 = 𝑥 𝑎𝑓‬
‫تكون دالة شاممة وتسمى دالة الضرب اليسارية ‪.‬‬

‫نفرض ان 𝐺 ∈ 𝑦 ‪ 𝑥 ,‬بحيث ان‬ ‫البرهان ‪:‬‬


‫𝑦 𝑎𝑓 = 𝑥 𝑎𝑓‬

‫𝑦∗𝑎= 𝑥∗𝑎‬

‫𝑦 ∗ 𝑎 ∗ ‪𝑎−1 ∗ 𝑎 ∗ 𝑥 = 𝑎−1‬‬

‫𝑦 ∗ 𝑎 ∗ ‪𝑎−1 ∗ 𝑎 ∗ 𝑥 = 𝑎−1‬‬

‫𝑦=𝑥‬

‫∴ 𝑎𝑓 متباينة‬

‫ليكن 𝐺 ∈ 𝑦‬

‫⟹ 𝐺 ∈ ‪𝑎 ∈ 𝐺 ⟹ 𝑎−1‬‬ ‫𝐺 ∈ 𝑦 ∗ ‪𝑎−1‬‬

‫‪59‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫𝑦 = 𝑦 ∗ 𝑒 = 𝑦 ∗ ‪𝑓𝑎 𝑎−1 ∗ 𝑦 = 𝑎 ∗ 𝑎−1‬‬


‫شامل‬
‫ة‬ ‫∴ 𝑎𝑓‬
‫∴ 𝑎𝑓 متقابمة ‪.‬‬

‫𝐺 ∈ 𝑎 ∶ 𝑎𝑓 = 𝐺𝐹 فان ∘‪ 𝐹𝐺 ,‬حيث ان ∘ ىي عممية‬ ‫لتكن ∗‪ 𝐺 ,‬زمرة ولتكن‬ ‫مبرهنة ‪: 40‬‬


‫تركيب الدوال ‪.‬‬

‫يترك كتمرين لمطالب ‪.‬‬ ‫البرهان ‪:‬‬

‫مبرهنة ‪ ( : 41‬كيمي )‬
‫لتكن ∗‪ 𝐺 ,‬زمرة فان ∘‪. 𝐺 ,∗ ≃ 𝐹𝐺 ,‬‬

‫البرهان ‪:‬‬
‫𝐺 ∈ 𝑎 ∶ 𝑎𝑓 = 𝐺𝐹‬
‫نفرض ان‬

‫∘‪𝑔 ∶ 𝐺,∗ ⟶ 𝐹𝐺 ,‬‬

‫𝑎𝑓 = 𝑎 𝑔‬ ‫𝐺∈𝑎 ∀‬
‫ليكن 𝐺 ∈ 𝑏 ‪𝑎,‬‬

‫𝑏 𝑔 ∘ 𝑎 𝑔 = 𝑏𝑓 ∘ 𝑎𝑓 = 𝑏∗𝑎𝑓 = 𝑏 ∗ 𝑎 𝑔‬
‫∴ 𝑔 تشاكل‬
‫نفرض ان‬

‫𝑏 𝑔= 𝑎 𝑔‬

‫𝑏𝑓 = 𝑎𝑓‬

‫𝑥 𝑏𝑓 = 𝑥 𝑎𝑓‬ ‫𝐺∈ 𝑥∀‬

‫𝑥∗𝑏= 𝑥∗𝑎‬

‫‪60‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫‪𝑎 ∗ 𝑥 ∗ 𝑥 −1 = 𝑏 ∗ 𝑥 ∗ 𝑥 −1‬‬

‫‪𝑎 ∗ 𝑥 ∗ 𝑥 −1 = 𝑏 ∗ 𝑥 ∗ 𝑥 −1‬‬

‫𝑏=𝑎‬

‫∴ 𝑔 متباينة‬
‫ليكن 𝐺𝐹 ∈ 𝑎𝑓‬
‫يوجد 𝐺 ∈ 𝑎 بحيث ان 𝑎𝑓 = 𝑎 𝑔‬
‫∴ 𝑔 شاممة‬
‫∴ 𝑔 تشاكل متقابل‬

‫مبرهنة ‪ ( : 42‬التحميل )‬
‫𝑓 𝑟𝑒𝑘 ⊆ 𝐻 فانو يوجد‬ ‫لتكن ∘‪ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺 ′ ,‬تشاكل شامل ‪ 𝐻 ,∗ ∆ 𝐺 ,∗ ,‬بحيث ان‬
‫تشاكل وحيد ∘‪ 𝑔 ∶ 𝐺 𝐻 ,⊗ ⟶ 𝐺 ′ ,‬بحيث ان 𝐻𝑡𝑎𝑛 ∘ 𝑔 = 𝑓 ‪.‬‬

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


‫∘‪𝑔 ∶ 𝐺 𝐻 ,⊗ ⟶ 𝐺 ′ ,‬‬

‫𝑎 𝑓= 𝐻∗𝑎 𝑔‬ ‫𝐻 𝐺∈ 𝐻∗𝑎 ∀‬
‫اآلن لنبرىن ان 𝑔 معرفة تعريفاً حسناً‬
‫ليكن 𝐻 𝐺 ∈ 𝐻 ∗ 𝑏 ‪ 𝑎 , 𝑏 ∈ 𝐺 , 𝑎 ∗ 𝐻 ,‬بحيث ان‬

‫𝐻∗𝑏= 𝐻∗𝑎‬

‫𝐻 ∈ 𝑏 ∗ ‪∴ 𝑎−1‬‬

‫𝑓 𝑟𝑒𝑘 ⊆ 𝐻 ∵‬

‫𝑓 𝑟𝑒𝑘 ∈ 𝑏 ∗ ‪∴ 𝑎−1‬‬

‫‪∴ 𝑓 𝑎−1 ∗ 𝑏 = 𝑒 ′‬‬

‫‪61‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫𝑎 𝑓 = ‪𝑓 𝑏 = 𝑓 𝑎 ∗ 𝑎−1 ∗ 𝑏 = 𝑓 𝑎 ∘ 𝑓 𝑎−1 ∗ 𝑏 = 𝑓 𝑎 ∘ 𝑒 ′‬‬

‫𝑏 𝑓= 𝑎 𝑓 ∴‬

‫𝐻∗𝑏 𝑔= 𝐻∗𝑎 𝑔 ∴‬
‫∴ 𝑔 معرفة تعريفاً حسناً ‪.‬‬
‫كذلك نجد ان‬

‫𝐻∗𝑏 ⊗ 𝐻∗𝑎 𝑔‬ ‫𝐻∗ 𝑏∗𝑎 𝑔=‬

‫𝐻∗𝑏 𝑔∘ 𝐻∗𝑎 𝑔= 𝑏 𝑓∘ 𝑎 𝑓= 𝑏∗𝑎 𝑓=‬


‫∴ 𝑔 تشاكل‬

‫نفرض ان 𝐺 ∈ 𝑎‬

‫)𝑎( 𝐻𝑡𝑎𝑛 ∘ 𝑔 = )𝑎( 𝐻𝑡𝑎𝑛 𝑔 = 𝐻 ∗ 𝑎 𝑔 = 𝑎 𝑓‬

‫𝐻𝑡𝑎𝑛 ∘ 𝑔 = 𝑓 ∴‬

‫لكي نبرىن ان 𝑔 تشاكل وحيد نفرض ان ∘‪ 𝑕 ∶ 𝐺 𝐻 ,⊗ ⟶ 𝐺 ′ ,‬تشاكل بحيث ان 𝐻𝑡𝑎𝑛 ∘ 𝑕 = 𝑓‬

‫𝑎 𝐻𝑡𝑎𝑛 𝑕 = 𝑎 𝐻𝑡𝑎𝑛 ∘ 𝑕 = 𝑎 𝑓 = 𝐻 ∗ 𝑎 𝑔‬ ‫𝐻∗𝑎 𝑕=‬

‫𝑕=𝑔‬

‫∴ 𝑔 تشاكل وحيد ‪.‬‬

‫التشاكل 𝑔 في مبرىنة التحميل يكون متباين اذا وفقط اذا كان 𝐻 ⊆ 𝑓 𝑟𝑒𝑘 ‪.‬‬ ‫نتيجة ‪:‬‬

‫مبرهنة ‪ ( : 43‬المبرهنة األساسية في التشاكل )‬


‫لتكن ∘‪ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺 ′ ,‬تشاكل شامل ‪ ,‬فان ∘‪. 𝐺 𝑘𝑒𝑟 𝑓 ,⊗ ≃ 𝐺 ′ ,‬‬

‫‪62‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫∘‪𝑔 ∶ 𝐺 𝐻 ,⊗ ⟶ 𝐺 ′ ,‬‬ ‫𝑓 𝑟𝑒𝑘 ⊆ 𝐻 فانو يوجد تشاكل وحيد‬ ‫∗‪ 𝐻 ,∗ ∆ 𝐺 ,‬بحيث ان‬
‫بحيث ان 𝐻𝑡𝑎𝑛 ∘ 𝑔 = 𝑓‬

‫نفرض ان 𝐻 = 𝑓 𝑟𝑒𝑘‬ ‫البرهان ‪:‬‬


‫∗‪𝐻 ,∗ ∆ 𝐺 ,‬‬

‫𝑓 𝑟𝑒𝑘 ⊆ 𝑓 𝑟𝑒𝑘 = 𝐻‬
‫حسب مبرىنة التحليل يوجد تشاكل وحيد ∘‪ 𝑔 ∶ 𝐺 𝑘𝑒𝑟 𝑓 ,⊗ ⟶ 𝐺 ′ ,‬بحيث ان 𝐻𝑡𝑎𝑛 ∘ 𝑔 = 𝑓‬

‫𝑓 𝑟𝑒𝑘 = 𝐻 ⊆ 𝑓 𝑟𝑒𝑘 ∵‬
‫حسب نتيجة مبرىنة التحميل فان 𝑔 تشاكل متباين‬
‫نفرض ان ‪𝑏 ∈ 𝐺 ′‬‬
‫بما ان 𝑓 شاممة اذن يوجد 𝐺 ∈ 𝑎 بحيث ان 𝑏 = 𝑎 𝑓‬

‫𝑓 𝑟𝑒𝑘 𝐺 ⊆ 𝑓 𝑟𝑒𝑘 ∗ 𝑎‬

‫𝑓 𝑟𝑒𝑘 ∗ 𝑎 𝑔‬ ‫𝑏= 𝑎 𝑓=‬


‫∴ 𝑔 شاممة‬

‫∴‬ ‫∘‪𝐺 𝑘𝑒𝑟 𝑓 ,⊗ ≃ 𝐺 ′ ,‬‬

‫في الزمرة ‪ 𝑍, +‬و الزمرة ‪ 𝐺, .‬حيث ان ‪ 𝐺 = 1 , −1‬نجد ان‬ ‫مثال ‪:‬‬


‫∘‪𝑍𝑜 , 𝑍𝑒 ,⊗ ≃ 𝐺 ,‬‬
‫ولنبين ذلك نفرض ان‬

‫‪𝑓 ∶ 𝑍, + ⟶ 𝐺, .‬‬

‫‪1 ,‬‬ ‫𝑒𝑍 ∈ 𝑛‬


‫= 𝑛 𝑓‬ ‫𝑍∈𝑛 ∀‬
‫‪−1 ,‬‬ ‫𝑜𝑍 ∈ 𝑛‬

‫ليكن بما انو 𝑍 ∈ 𝑚 ‪𝑛 ,‬‬

‫‪63‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫‪ - 1‬عندما 𝑒𝑍 ∈ 𝑚 ‪𝑛 + 𝑚 ∈ 𝑍𝑒 ⟸ 𝑛,‬‬

‫𝑚 𝑓‪𝑓 𝑛 + 𝑚 = 1 = 1 .1 = 𝑓 𝑛 .‬‬

‫⟸ 𝑜𝑍 ∈ 𝑚 ‪𝑛 +‬‬ ‫‪ - 2‬عندما 𝑒𝑍 ∈ 𝑛 ‪𝑚 ∈ 𝑍𝑜 ,‬‬

‫𝑚 𝑓 ‪𝑓 𝑛 + 𝑚 = −1 = 1 . −1 = 𝑓 𝑛 .‬‬

‫⟸ 𝑜𝑍 ∈ 𝑚 ‪𝑛 +‬‬ ‫‪ - 3‬عندما 𝑜𝑍 ∈ 𝑛 ‪𝑚 ∈ 𝑍𝑒 ,‬‬

‫𝑚 𝑓 ‪𝑓 𝑛 + 𝑚 = −1 = −1 . 1 = 𝑓 𝑛 .‬‬

‫‪ - 4‬عندما 𝑜𝑍 ∈ 𝑚 ‪𝑛 + 𝑚 ∈ 𝑍𝑒 ⟸ 𝑛,‬‬

‫𝑚 𝑓 ‪𝑓 𝑛 + 𝑚 = −1 = −1 . 1 = 𝑓 𝑛 .‬‬

‫𝑚 𝑓 ‪𝑓 𝑛 + 𝑚 = 1 = −1 . −1 = 𝑓 𝑛 .‬‬

‫𝑚 𝑓‪∴ 𝑓 𝑛 + 𝑚 = 𝑓 𝑛 .‬‬ ‫𝑍 ∈ 𝑚‪∀ 𝑛 ,‬‬


‫∴ 𝑓 تشاكل‬

‫‪1∈𝐺 ∃2∈𝑍 ∋𝑓 2 =1‬‬

‫‪−1 ∈ 𝐺 ∃ 3 ∈ 𝑍 ∋ 𝑓 3 = −1‬‬
‫∴ 𝑓 تشاكل شامل‬
‫حسب المبرىنة األساسية في التشاكل يكون‬

‫∗‪𝑍 𝑘𝑒𝑟 𝑓 ,⊗ ≃ 𝐺 ,‬‬

‫𝑒𝑍 = 𝑒𝑍 ∈ 𝑛 ∶ 𝑍 ∈ 𝑛 = ‪𝑘𝑒𝑟 𝑓 = 𝑛 ∈ 𝑍 ∶ 𝑓 𝑛 = 1‬‬

‫𝑒𝑍 ‪𝑍 𝑘𝑒𝑟 𝑓 = 𝑍 𝑍𝑒 = 𝑛 + 𝑍𝑒 ∶ 𝑛 ∈ 𝑍 = 𝑍𝑒 ,‬‬

‫∴‬ ‫∗‪𝑍𝑒 , 𝑍𝑒 ,⊗ ≃ 𝐺 ,‬‬

‫‪64‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫لتكن )∗‪ (𝐺,‬زمرة منتيية تسمى الزمرة 𝐺 أولية من النمط 𝑝 حيث ان ( 𝑝 عدد أولي ) اذا كانت‬ ‫تعريف ‪:‬‬
‫‪𝑂 𝐺 = 𝑝𝑘 , 𝑘 ∈ 𝑍 +‬‬

‫‪ 𝑍8 , +8‬زمرة أولية من النمط ‪ 2‬ألنو‬ ‫مثال ‪:‬‬


‫‪𝑂 𝑍8 = 8 = 23‬‬

‫‪ 𝑍6 , +6‬زمرة ليست أولية ألنو‬ ‫مثال ‪:‬‬


‫𝑘𝑝 ≠ ‪𝑂 𝑍6 = 6‬‬
‫لكل ‪ 𝑝 , 𝑘 ∈ 𝑍 +‬عدد أولي ‪.‬‬

‫كل زمرة جزئية من زمرة أولية من النمط 𝑝 تكون أولية من النمط 𝑝 ‪.‬‬ ‫مبرهنة ‪: 44‬‬
‫نفرض ان )∗‪ (𝐺,‬زمرة أولية من النمط 𝑝‬ ‫البرهان ‪:‬‬
‫ولتكن ∗‪𝐻,∗ ≤ 𝐺,‬‬

‫‪𝑂 𝐺 = 𝑝𝑘 , 𝑘 ∈ 𝑍 +‬‬
‫حسب مبرىنة الكرانج 𝐻 𝑂 تقسم 𝑘𝑝 = 𝐺 𝑂‬

‫𝑘 ≤ 𝑚 ≤ ‪𝑂 𝐻 = 𝑝𝑚 , 1‬‬
‫∗‪ 𝐻,‬زمرة أولية من النمط 𝑝 ‪.‬‬ ‫∴‬

‫لتكن )∗‪ (𝐺,‬زمرة يال لمزمرتان الجزئيتان )∗‪ (𝐾,∗) , (𝐻,‬مترافقتان اذا وجد 𝐺 ∈ 𝑎 بحيث ان‬ ‫تعريف ‪:‬‬
‫‪𝐾 = 𝑎 ∗ 𝐻 ∗ 𝑎−1‬‬

‫‪65‬‬
‫جاهعة القادسية ‪ /‬كلية علوم احلاسوب والرياضيات ‪ /‬قسن الرياضيات‬

‫للودرس املساعد عباس كرين وناس الشريفي‬ ‫حماضرات جرب زهر (‪ / )1‬ر‪223‬‬

‫(( تـمـاريـن ))‬

‫‪ - 1‬اذا كانت )‪ 𝑓 ∶ ℝ+ ,∙ ⟶ (ℝ , +‬حٌث ان )𝑥(𝑛𝑙 = 𝑥 𝑓 لكل ‪ 𝑥 ∈ ℝ+‬فهل ان 𝑓 تكون‬


‫تشاكل ‪.‬‬
‫‪ - 2‬اذا كانت ) ‪ 𝑓 ∶ 𝑍, + ⟶ (ℝ /{0} , .‬معرفة بالشكل‬
‫‪𝑎2‬‬ ‫‪,‬‬ ‫‪𝑎≠0‬‬
‫= 𝑎 𝑓‬ ‫𝑍∈𝑎 ∀‬
‫‪1‬‬ ‫‪,‬‬ ‫‪𝑎=0‬‬
‫هل ان 𝑓 تكون تشاكل ‪.‬‬
‫‪ - 3‬اذا كانت ) ‪ 𝑓 ∶ 𝑍, + ⟶ (𝑍2 , +2‬معرفة بالشكل‬
‫‪0‬‬ ‫‪,‬‬ ‫𝑒𝑍 ∈ 𝑎‬
‫= 𝑎 𝑓‬ ‫𝑍∈𝑎 ∀‬
‫‪1‬‬ ‫‪,‬‬ ‫𝑜𝑍 ∈ 𝑎‬
‫هل ان 𝑓 تكون تشاكل ‪.‬‬
‫‪ - 4‬اذا كانت ∗‪ 𝐺,‬زمرة اثبت ان ∘‪ 𝐻𝑜𝑚 𝐺 ,‬شبه زمرة بمحاٌد حٌث ان (∘ يمثل تركٌب الدوال) ‪.‬‬
‫‪ .‬اثبت ان‬ ‫∗‪𝐻 ,∗ ∆ 𝐺 ,‬‬ ‫∘‪ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺 ′ ,‬تشاكل وان‬ ‫‪ - 5‬اذا كانت‬
‫∘‪. 𝑓 𝐻 ,∘ ∆ 𝑓(𝐺) ,‬‬
‫‪ - 6‬لتكن 𝑍 × 𝑍 = 𝐺 و ∗ عملٌة معرفة كاآلتً ‪:‬‬
‫𝑑 ‪𝑎 ,𝑏 ∗ 𝑐 ,𝑑 = 𝑎 + 𝑐 ,𝑏 +‬‬ ‫𝑍 ∈ 𝑏 ‪∀ 𝑎,‬‬
‫اثبت ان الدالة ‪ 𝑓 ∶ 𝐺,∗ ⟶ 𝑍, +‬المعرفة بالشكل 𝑎 = 𝑏 ‪ 𝑓 𝑎 ,‬تكون تشاكل ثم جد‬
‫𝑓 𝑟𝑒𝑘 ‪.‬‬
‫‪ - 7‬هل ان 𝐻 = 𝐻𝑡𝑎𝑛 𝑟𝑒𝑘 ‪.‬‬
‫‪ - 8‬هل ان )∙‪. 𝑍, + ≃ (𝑄/{0},‬‬
‫∘‪ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺 ′ ,‬تشاكل شامل ‪ .‬اثبث ان‬ ‫زمرة بسٌطة حٌث ان‬ ‫‪ - 9‬لتكن ∗‪𝐺,‬‬
‫∘‪. 𝐺,∗ ≃ 𝐺 ′ ,‬‬
‫‪- 10‬لتكن ∗‪ 𝐺,‬زمرة ‪ 𝑎 ∈ 𝐺 ,‬ولتكن ∗‪ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺,‬دالة معرفة بالشكل‬
‫𝐺 ∈ ‪𝑓 𝑥 = 𝑎 ∗ 𝑥 ∗ 𝑎−1 ∀ 𝑥,‬‬
‫اثبت ان ∗‪ 𝐺,∗ ≃ 𝐺,‬ثم جد 𝑓 𝑟𝑒𝑘 ‪.‬‬
‫‪- 11‬اثبت ان مجموعة كل الدوال المعرفة فً التمرٌن ( ‪ ) 7‬مع عملٌة تركٌب الدوال ( ∘ ) تكون متشاكلة‬
‫تقابلٌا ً مع ⊗‪. 𝐺 𝐶𝑒𝑛𝑡 𝐺 ,‬‬

‫‪66‬‬

You might also like