‫اسم المقرر‪ :‬نظرية الزمر‪MATH 343 .

‬‬

‫وزارة التعليــم العالــي‬

‫جامعــــة القصيــم‬

‫كلية العلوم واآلدا ب بمحافظة الرس‬

‫قسـم الرياضيات‬

‫نموذج االجابة‬
‫أسئلة مراجعة ‪2‬‬
‫‪(.1‬نظرية الجرانج)‪.‬‬ ‫السؤال‬

‫لتكن )‪ (G,‬زمرة منتهية بحيث ‪ n  G :‬عدد طبيعي أولي‪.‬‬

‫‪ )1‬أثبت أن الزمرة )‪ (G,‬دائرية‪.‬‬

‫الحل‪.‬‬

‫ليكن }‪ ، x  G  {e‬حيث أن ‪ e‬هو العنصر المحايد للزمرة )‪ . (G,‬حسب نظرية الجرانج ‪  x  ،‬يقسم‬
‫‪ . n  G‬بحكم أن ‪ n  G‬عدد طبيعي أولي ‪ ،‬فإن ‪  x   1‬أو ‪  x   n‬بالضرورة‪.‬‬

‫من جهة أخرى ‪  x  ،‬تحتوي على األقل على عنصرين مختلفين ‪ ،‬وهما ‪ e‬و ‪ . x‬و بالتالي ‪.  x   1 ،‬‬
‫و من ثم ‪ ،‬فإن ‪  x   n :‬بالضرورة‪ .‬أصبح لدينا المعطيين التاليين ‪:‬‬

‫‪  x  G‬و ‪ x   n  G‬‬

‫و بالتالي ‪ ،‬حتما ‪ ،  x  G :‬و من ثم ‪ ،‬فان الزمرة )‪ (G,‬دائرية‪.‬‬

‫‪ )2‬ما هي مولدات )‪ (G,‬؟؟‬

‫الحل‪.‬‬

‫لقد أثبتنا في الفقرة السابقة بأن لكل عنصر }‪ ، x  G  {e‬لدينا ‪ ،  x  G :‬و بالتالي ‪ ،‬فإن مولدات‬
‫الزمرة )‪ (G,‬هي جميع عناصر الزمرة )‪ (G,‬ماعدا العنصر المحايد ‪ ، e‬ألن ‪.  e  {e} :‬‬

‫‪1‬‬
 ‫‪(.2‬رتبة عنصر‪ -‬نظرية الجرانج)‪.‬‬ ‫السؤال‬

‫لتكن )‪ (G,‬زمرة منتهية و ‪ . n  G‬ليكن ‪. x  G‬‬

‫‪ )1‬عرف رتبة العنصر ‪. x‬‬

‫رتبة العنصر ‪ x‬هي عدد عناصر الزمرة الجزئية المولدة بالعنصر ‪ . x‬يعني ‪. O( x)   x  :‬‬

‫‪ )2‬أثبت أن )‪ : O(x‬رتبة العنصر ‪ x‬تقسم ‪. n  G‬‬

‫الحل‪.‬‬

‫بحكم أن ‪ ،  x  G‬حسب نظرية الجرانج للزمر ‪ O( x)   x  ،‬يقسم ‪. n  G‬‬

‫‪ )3‬أثبت أنه يوجد على األقل عدد طبيعي ‪ k‬بحيث ‪ ، x k  e :‬حيث أن ‪ e‬هو العنصر المحايد للزمرة‬
‫)‪. (G,‬‬

‫الحل‪.‬‬

‫لتكن المجموعة التالية ‪:‬‬

‫‪A  {x p‬‬ ‫‪,‬‬ ‫}‪p  N}  {x1  x , x 2 , x 3 ,...... , x s ,.....‬‬

‫هذه المجموعة هي مجموعة جزئية من الزمرة المنتهية )‪ ، (G,‬و بالتالي فهي منتهية بالضرورة‪ .‬و من ثم ‪ ،‬فإن‬
‫هناك عناصر ضمن العناصر ‪ x1  x , x 2 , x 3 ,...... , x s ,.....‬تتكرر ‪ ،‬إذ لو كانت العناصر‬
‫‪ x1  x , x 2 , x 3 ,...... , x s ,.....‬مختلفة في ما بينها ‪ ،‬لكانت المجموعة ‪ A‬غير منتهية !‬

‫يعني ‪ ،‬يوجد على األقل عددين طبيعيين مختلفين ‪ p1 :‬و ‪ p 2‬يحيث ‪ . x p1  x p2 :‬لنفترض مثال ‪. p1  p2 :‬‬
‫لدينا ‪:‬‬

‫‪x p1  x p2‬‬

‫‪ x p2  p1  e‬‬

‫ليكن ‪ . k  p2  p1‬لدينا ‪ k ،‬عدد طبيعي بحيث ‪. x k  e :‬‬

‫‪ )4‬ليكن العدد الطبيعي ‪ ، p‬أصغر عدد طبيعي يحقق الشرط ‪ . x p  e :‬أثبت أن ‪. O( x)  p :‬‬

‫الحل‪.‬‬

‫لدينا ‪:‬‬

‫}‪ x  {x s / s  Z‬‬

‫‪2‬‬
 ‫}‪ {x 0  e , x1  x , x 2 ,...... , x p1‬‬

‫بحكم أن العدد الطبيعي ‪ p‬هو أصغر عدد طبيعي يحقق الشرط ‪ ، x p  e :‬فإن العناصر‬
‫‪ x 0  e , x1  x , x 2 ,...... , x p 1‬مختلفة في ما بينها‪ .‬إذ لو كان األمر خالف ذلك ‪ ،‬لوجد على األقل عددين‬
‫مختلفين ‪ p1  p2‬في المجموعة }‪ ، {0 , 1 ,......, p  1‬بحيث ‪:‬‬

‫‪x p1  x p2‬‬

‫‪ x p2  p1  e‬‬

‫علما و أن ‪ . p2  p1  p‬و هذا يتناقض مع إفتراضنا بأن ‪ :‬العدد الطبيعي ‪ p‬هو أصغر عدد طبيعي يحقق‬
‫الشرط ‪!! x p  e :‬‬

‫و بالتالي ‪ ،‬فإن ‪:‬‬

‫‪O( x)   x ‬‬

‫}‪ {x 0  e , x1  x , x 2 ,...... , x p 1‬‬

‫‪p‬‬

‫و هو المطلوب‪.‬‬

‫‪ )5‬إستنتج أن لكل عنصر ‪ x  G‬لدينا ‪x n  e :‬‬

‫الحل‪.‬‬

‫لدينا ‪ : O( x)  p :‬رتبة العنصر ‪ x‬تقسم ‪ . n  G‬ليكن ‪ . n  p.k‬و بالتالي ‪:‬‬

‫‪x n  x p.k  ( x p ) k  e k  e‬‬

‫‪(.3‬نظرية كوشي‪ -‬نظريات سيلوف)‪.‬‬ ‫السؤال‬

‫لتكن )‪ (G,‬زمرة منتهية بحيث ‪. 45  G :‬‬

‫‪ - )1‬أذكر نص نظرية كوشي للزمر‪.‬‬

‫الحل‪.‬‬

‫لتكن )‪ (G,‬زمرة منتهية ‪ ،‬و ‪ p‬عدد طبيعي أولي يقسم ‪. G‬‬

‫يوجد إذا عنصر ‪ ، x  G‬رتبته تساوي العدد ‪. p‬‬

‫أذكر نص نظرية سيلوف التي تعمم نظرية كوشي‪.‬‬ ‫‪-‬‬

‫‪3‬‬
 ‫الحل‪.‬‬

‫لتكن )‪ (G,‬زمرة منتهية ‪ ،‬و ‪ p‬عدد طبيعي أولي يقسم ‪. G‬‬

‫إذا كان ‪ p ‬يقسم ‪ ، G‬فإنه توجد زمرة جزئية ‪ H‬من الزمرة )‪ (G,‬بحيث ‪. H  p  :‬‬

‫‪ )2‬أثبت أنه يوجد عنصر ‪ x  G‬بحيث ‪ O( x)  3 :‬و يوجد عنصر ‪ y  G‬بحيث ‪. O( y)  5 :‬‬

‫الحل‪.‬‬

‫العدد الطبيعي ‪ 3‬أولي ‪ ،‬و يقسم ‪ ، 45  G‬حسب نظرية كوشي للزمر ‪ ،‬يوجد عنصر ‪ x  G‬بحيث ‪:‬‬
‫‪ . O( x)  3‬بنفس الطريقة ‪،‬‬

‫العدد الطبيعي ‪ 5‬أولي ‪ ،‬و يقسم ‪ ، 45  G‬حسب نظرية كوشي للزمر ‪ ،‬يوجد عنصر ‪ y  G‬بحيث ‪:‬‬
‫‪. O( y)  5‬‬

‫}‪. x  y  {e‬‬ ‫‪ )3‬أثبت أن ‪:‬‬

‫الحل‪.‬‬

‫‪ x  y‬زمرة جزئية من الزمرة )‪ ، (G,‬ألنها تقاطع زمرتين جزئيتين‪ .‬و بالتالي ‪:‬‬ ‫‪-‬‬
‫‪.e x  y‬‬

‫نالحظ كذلك بأن ‪ . x  y  x :‬و بالتالي ‪ . x  y  x :‬حسب نظرية الجرانج للزمر ‪،‬‬ ‫‪-‬‬

‫يقسم ‪. 3  x‬‬ ‫‪x  y‬‬

‫يقسم‬ ‫‪ . x  y  y‬حسب نظرية الجرانج للزمر ‪x  y ،‬‬ ‫بنفس الطريقة ‪ ،‬لدينا ‪:‬‬ ‫‪-‬‬

‫‪.5  y‬‬

‫قاسم مشترك للعددين الطبيعيين ‪ 3‬و ‪ . 5‬لكن القاسم المشترك الوحيد للعددين الطبيعيين‬ ‫و بالتالي ‪x  y ،‬‬
‫‪ 3‬و ‪ 5‬هو ‪. 1‬‬

‫حتما‪ .‬يعني ‪. x  y  {e} :‬‬ ‫يعني ‪x  y  1 :‬‬

‫‪ )4‬أثبت أنه توجد زمرة جزئية ‪ H‬من الزمرة )‪ (G,‬بحيث ‪. H  9 :‬‬

‫‪4‬‬
 ‫الحل‪.‬‬

‫لدينا ‪. G  45  32  5 :‬‬

‫حسب نظرية سيلوف التي تعمم نظرية كوشي للزمر ‪ ،‬توجد زمرة جزئية ‪ H‬من الزمرة )‪ (G,‬بحيث ‪:‬‬
‫‪. H  32  9‬‬

‫‪ )5‬أثبت أن }‪H  y  {e‬‬

‫الحل‪.‬‬

‫‪ . H  y  y‬حسب نظرية الجرانج للزمر ‪ H  y ،‬يقسم ‪. 5  y‬‬ ‫لدينا ‪:‬‬ ‫‪-‬‬

‫من جهة أخرى ‪ ،‬لدينا ‪ . H  y  H :‬حسب نظرية الجرانج للزمر ‪ H  y ،‬يقسم ‪. 9  H‬‬ ‫‪-‬‬

‫و بالتالي ‪ H  y ،‬يصبح قاسما مشتركا للعددين الطبيعيين ‪ 9‬و ‪ . 5‬لكن القاسم المشترك الوحيد للعددين‬

‫الطبيعيين ‪ 9‬و ‪ 5‬هو ‪ . 1‬و بالتالي ‪ H  y  1 :‬بالضرورة‪ .‬يعني ‪:‬‬

‫}‪H  y  {e‬‬

‫‪ )6‬ما هو عدد الزمر الجزئية التي تحتوي على ‪ 9‬عناصر ؟؟‬

‫الحل‪.‬‬

‫كل زمرة جزئية تحتوي على ‪ 9  32‬عناصر هي تعتبر زمرة جزئية لسيلوف‪ .‬ليكن ‪ n3‬عدد الزمر الجزئية التي‬
‫تحتوي على ‪ 9‬عناصر‪ .‬حسب إحدى نظريات سيلوف للزمر ‪ ،‬لدينا الخصائص التالية ‪:‬‬

‫‪ n3‬يقسم ‪. 5‬‬ ‫‪-‬‬

‫‪ 3‬يقسم )‪. (n3  1‬‬ ‫‪-‬‬

‫حسب الخاصية األولى ‪ (n3  1) :‬أو )‪. (n3  5‬‬

‫لكن ‪ ،‬بحكم أن ‪ 3‬ال يقسم )‪ ، (5  1  4‬فإن ‪ (n3  1) :‬بالضرورة‪.‬‬

‫يعني ‪ ،‬توجد زمرة جزئية وحيدة تحتوي على ‪ 9‬عناصر‪.‬‬

‫‪5‬‬