 

‫صﻼح النفيعي‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫الفه س‬
‫‪٢‬‬ ‫ال اب اﻷول‪ :‬الع ل ات ال ائ ة‬
‫‪٧‬‬ ‫ت ار ال اب اﻷول‬
‫‪٨‬‬ ‫ال اب ال اني ‪ :‬ال م و ال م ال ئ ة‬
‫‪١٨‬‬ ‫ت ار ال اب ال اني‬
‫‪٢٠‬‬ ‫‪ :‬زم ال اديل‬ ‫ال اب ال ال‬
‫‪٢٩‬‬ ‫ت ار ال اب ال ال‬
‫‪٣٠‬‬ ‫ال اب ال ا ع ‪ :‬ال م ال ائ ة ورت ة الع‬
‫‪٣٠‬‬ ‫ال م ال ائ ة‬
‫‪٣٤‬‬ ‫رت ة الع‬
‫‪٣٨‬‬ ‫ت ار ال اب ال ا ع‬
‫‪٣٩‬‬ ‫عات ال افقة وزم الق ة‬ ‫‪ :‬ال‬ ‫ال اب ال ام‬
‫‪٣٩‬‬ ‫عات ال افقة‬ ‫ال‬
‫‪٤٥‬‬ ‫ال م ال ئ ة ال اس ة‬
‫‪٤٧‬‬ ‫زم ة الق ة‬
‫‪٤٩‬‬ ‫ت ار ال اب ال ام‬
‫‪٥١‬‬ ‫ال اب ال ادس ‪ :‬رواس اله م رف م‬
‫‪٥١‬‬ ‫رواس اله م رف م‬
‫‪٦٣‬‬ ‫رواس اﻷوت م رف م‬
‫‪٦٨‬‬ ‫ت ار ال اب ال ادس‬

‫‪١‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫اال اب اﻷول‬
‫الع ل ات ال ائ ة‬
‫‪Binary Operations‬‬

‫عــة ‪M‬‬ ‫‪ ١-١‬تع ـ ‪ :‬الع ل ــة ال ائ ــة * )‪ (Binary Operation‬علــى ال‬

‫‪:‬‬ ‫عة ‪M‬‬ ‫عة ‪ M  M‬إلى ال‬ ‫هي راس م ال‬
‫‪*(a, b)  a * b, (a, b)  M  M‬‬
‫م للع ل ــة‬ ‫ـ أن ن ـ‬ ‫الع ل ــة *‪.‬‬ ‫وفــي هـ ه ال الــة نقـ ل أن ‪ M‬مغلقــة ت ـ‬
‫ال ائ ة ع ة رم ز‪ ،‬م ﻼً ‪ ... ,  , +‬الﺦ‪.‬‬
‫‪ ٢-١‬م ـــال‪ :‬ع ل ـ ــة ال ـ ــع ‪ +‬ع ل ـ ــة ث ائ ـ ــة علـ ــى ‪ ‬ﻷن ‪،  :     ‬‬
‫ل راس ‪ .‬ال ــل ع ل ــة ضـ ب اﻷعـ اد اﻻع اد ــة‬ ‫‪ (m, n)  m  n‬‬ ‫ح‬
‫ع ل ــة ث ائ ــة‬ ‫ت ـ ل ع ل ــة ث ائ ــة علــى ‪َ ‬و ‪ . ‬ع ل ــة ـ ـ ح اﻷعـ ـ اد ل ـ ـ‬
‫على ‪. ‬‬
‫عة ‪.M‬‬ ‫* ع ل ة ث ائ ة مع فة على ال‬ ‫‪:‬ل‬ ‫‪ ٣-١‬تع‬
‫‪ -١‬نقـ ـ ـ ـ ـ ل عـ ـ ـ ـ ـ الع ل ـ ـ ـ ــة * أنه ـ ـ ـ ــا إب ال ـ ـ ـ ــة )‪ (Commutative‬إذا ـ ـ ـ ــان‪،‬‬
‫‪ a*b=b*a‬ل ل ‪ a‬و‪ b‬في ‪.M‬‬
‫ة ) دام ة ( )‪ (Associative‬إذا ــان‪،‬‬ ‫‪ -٢‬نق ل ع الع ل ة * أنها ت‬
‫‪ a*(b*c)=(a*b)*c‬ل ل ‪ a‬و‪ b‬و ‪ c‬في ‪.M‬‬
‫ـ م اي ـ )‪(Identity Element‬‬ ‫ـىع‬ ‫‪ e‬فــي ‪M‬‬ ‫ـ‬ ‫‪ -٣‬الع‬
‫ة للع ل ة * إذا ان ‪ a*e = e*a = a‬ل ل ‪ a‬في ‪ .M‬وق ي م لــه ب مـ ز‬ ‫ال‬
‫م لفة ت عاً للع ل ة ال ائ ة م ل ‪.1, 0‬‬
‫م اي فإنه وح ‪.‬‬ ‫‪ ٤-١‬م ألة‪ :‬إذا ان للع ل ة ال ائ ة ع‬
‫ـ‬ ‫ـ ان م ايـ ان‪ .‬إذن ‪ e * e  e‬ﻷن ‪ e‬ع‬ ‫ال ــل‪ :‬ل فـ ض أن ‪ e‬و ‪ e‬ع‬
‫م اي ‪ ،‬و ال الي ‪. e  e‬‬ ‫‪ e * e  e‬ﻷن ‪ e‬ع‬ ‫م اي و ل‬

‫‪٢‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫عـ ــة ‪ M‬م ــع الع ل ــة * ال ع ف ــة عل ه ــا ت ـ ـ ى شـ ـ ه زمـ ـ ة‬ ‫‪ ٥-١‬تع ــــ ‪ :‬ال‬
‫)*‪ (M,‬ش ـ ـ ه‬ ‫ـ ــة عل ـ ــى ‪ .M‬ون ـ ـ‬ ‫* ث ائ ـ ــة وت‬ ‫)‪ (Semigroup‬إذا انــ ـ‬
‫زم ة‪.‬‬
‫عــة ‪ M‬مــع الع ل ــة * ال ع فــة عل هــا ت ـ ى م ن ـ )وح ـ‬ ‫‪ ٦-١‬تع ـ ‪ :‬ال‬
‫ـ م ايـ علــى ‪.M‬‬ ‫ــة ولهــا ع‬ ‫* ث ائ ــة وت‬ ‫الع ل ة( )‪ (Monoid‬إذا انـ‬
‫* إب ال ــة فإن ــا ن ـ ي )*‪ (M,‬م ن ـ ـ إبـ ـ الي‬ ‫)*‪ (M,‬م ن ـ ـ ‪ .‬إذا ان ـ‬ ‫ون ـ‬
‫)‪.(Commutative Monoid‬‬
‫م اشـ ـ ة ‪ M‬شـ ـ ه‬ ‫ــار ن ـ ـ‬ ‫الع ل ــة * مع وفــة فإن ــا لﻼخ‬ ‫مﻼح ـــة‪ :‬إذا انــ‬
‫زم ة أو ‪ M‬م ن ‪.‬‬
‫‪ ٧-١‬أم لة‪:‬‬
‫ــارة عـ ـ م ن ـ ـ م ــع ع ل ــة ال ــع‬ ‫ع ــات ‪ , , , ‬ــل م ه ــا‬ ‫‪ -١‬ال‬
‫ب ‪.1‬‬ ‫ال اي لل ع ه ‪ 0‬ولل‬ ‫ب اﻻع ادي ‪ .‬والع‬ ‫وال‬
‫ــف فات ‪ ) n  n‬وال ــي ع اصـ ها‬ ‫ــل ال‬ ‫عة )‪ M n (‬وال ــي ت ـ‬ ‫‪ -٢‬ال‬
‫ـ ال ايـ‬ ‫ــف فات‪ .‬الع‬ ‫مــع ع ل ــة ج ــع و ضـ ب ال‬ ‫م ‪ (‬ت ل م ن‬
‫ــف فة ال ــف ة و ال ـ ة لل ـ ب ه ـ م ــف فة ال ح ـ ة‪.‬‬ ‫ال ـ ة لل ــع ه ـ ال‬
‫اب ال اً إذا انـ‬ ‫‪  M n ( ), ‬ل‬ ‫‪  M n ( ),  ‬إب الي ب ا ال ن‬ ‫ال ن‬
‫‪.n  2‬‬
‫عـ ـ ــة ـ ـ ــل‬ ‫}‪ M  {A : A  X‬هـ ـ ــي م‬ ‫عـ ـ ــة‪ ،‬ولـ ـ ـ ـ‬ ‫‪X‬م‬ ‫‪ -٣‬ل ـ ـ ـ‬
‫عــات ال ئ ــة م ـ ‪ .X‬إذن )‪َ (M, ‬و )‪ (M, ‬ﻼه ــا م ن ـ إبـ ـ الي‪،‬‬ ‫ال‬
‫وال اي ه ‪ ‬و ‪ X‬على ال الي‪ ) .‬ت ق (‪.‬‬
‫عــة‬ ‫‪ M  { X ‬هــي م‬
‫‪‬‬
‫}‪ X‬‬ ‫عــة غ ـ خال ــة‪ ،‬ولـ‬ ‫‪X‬م‬ ‫‪ -٤‬ل‬
‫ـ ل ال واسـ ‪ ،‬وال ايـ هـ‬ ‫مع ع ل ة ت‬ ‫كل ال واس م ‪ X‬إلى ‪ M .X‬م ن‬
‫عل ــى اﻷق ــل‬ ‫‪ X‬ت ــ‬ ‫ال اسـ ـ ال ايـ ـ ‪ .1X‬وهـ ـ م ن ـ ـ غ ـ ـ إبـ ـ الي إذا انـ ـ‬
‫‪) .‬أع م ال على ذل (‬ ‫ع‬
‫‪٣‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫* ع ل ــة مع فــة عل ــى ‪ ‬ال ــالي ‪ . n * m  n m‬هـ ـ ه الع ل ــة ث ائ ــة‬ ‫‪ -٥‬لـ ـ‬
‫ــة ) ‪(2*3)*2=64‬‬ ‫‪ ( 2*3=8‬وﻻ ت‬ ‫إب ال ــة ) ‪ 3*2=9‬ول ـ‬ ‫ول ـ ل ـ‬
‫م اي له ه الع ل ة‪ ) .‬ت ق (‬ ‫اﻻيج ع‬ ‫‪ ،( 2*(3*2)=512‬أ‬ ‫ول‬
‫‪ ٨-١‬مﻼح ة‪:‬‬
‫م ا ع ـ ة رم ـ ز للع ل ــة ال ائ ــة م ــل *‪ ... , , ,‬الــﺦ‪.‬‬ ‫م ـ ال ﻼح ـ أن ــا اس ـ‬
‫م أحـ ال مـ‬ ‫ـ‬ ‫وع ة رمـ ز لل ايـ م ــل ‪ .0, 1, e‬وعــادة فــي ال الــة العامــة‬
‫‪:‬‬ ‫ال ال‬
‫‪ ab‬و ت ـ ـ ى حاصــل ال ـ ـ ب ل ـ ـ ‪ a‬ف ــي ‪.b‬‬ ‫ال مـــ ال ـــ ي‪ :‬وه ــا ‪ a*b‬ت ـ ـ‬
‫‪ M‬معل مة(‪.‬‬ ‫ون م لل اي ال م ‪ ) 1M‬أو م د ‪ 1‬إذا ان‬
‫‪ a+b‬و ت ـ ى حاصــل ال ــع لـ ـ ‪ a‬مــع ‪.b‬‬ ‫ال ــ ال عــي‪ : :‬وه ــا ‪ a*b‬ت ـ‬
‫‪ M‬معل مة(‪.‬‬ ‫ون م لل اي ال م ‪ ) 0M‬أو م د ‪ 0‬إذا ان‬
‫اما ﻻذا س ـ ف ن ـ لح علــى‬ ‫قــة أن ال م ـ ال ـ ي ه ـ اﻷك ـ اس ـ‬ ‫وفــي ال‬
‫على خﻼف ذل ‪.‬‬ ‫امه خﻼل ه ا ال ق ر ما ل ن‬ ‫اس‬
‫‪ M‬فإن ا نع ف ال الي‪:‬‬ ‫م ال ن‬ ‫‪ :‬إذا ان ‪ a‬ع‬ ‫‪ ٩-١‬تع‬
‫‪a n  aaa...a (n times) .‬‬
‫‪a 0  1M.‬‬
‫‪a n a m  a n m .‬‬
‫‪(a n ) m  a nm .‬‬
‫ح صف ‪.‬‬ ‫ة م ج ة و‪ 0‬ه الع د ال‬ ‫‪ n‬و ‪ m‬أع اد ص‬ ‫ح‬
‫‪ M‬م ن ــــ‬ ‫أن ‪ (ab) n  a n b n , n  1‬إذا ان ـ ـ ـ ـ‬ ‫‪ :‬أث ـ ـ ـ ـ‬ ‫‪ ١٠-١‬ت ـ ـ ــــ‬
‫إب الي‪.‬‬
‫ــ ى‬ ‫ـ ـ ‪ b‬مـ ـ ‪M‬‬ ‫ـ ـ ف ــي ال ن ـ ـ ‪ .M‬الع‬ ‫‪a‬ع‬ ‫‪ ١١-١‬تع ـــ ‪ :‬لـ ـ‬
‫‪ .ab = 1 =ba‬فــي هـ ه ال الــة‬ ‫ـ ‪ (Inverse of a) a‬إذا ــان‬ ‫مع ـ س للع‬
‫ـ ‪ a‬أنــه قابــل لﻼنع ــاس )‪ .(Invertible‬ﻻح ـ أن ‪ a‬مع ـ س‬ ‫قــال ع ـ الع‬
‫‪.‬‬ ‫‪ b‬م ال ع‬ ‫للع‬
‫‪٤‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ـ ‪ a‬قابــل لﻼنع ــاس فــي ‪،M‬‬ ‫‪ ١٢-١‬م ــألة‪ :‬إذا ــان ‪ M‬م ن ـ و ــان الع‬
‫فإن مع سه وح ‪.‬‬
‫‪ a‬وه ا ‪َ b‬و ‪ . b‬اﻵن ل ي ا‬ ‫ال ل‪ :‬ل ف ض أن ه اك مع سان للع‬
‫‪b  b1M  b(ab)  (ba)b  1M b  b‬‬
‫وه ال ل ب‪.‬‬
‫‪ ١٣-١‬مﻼح ــة‪ :‬إذا ــان ‪ a‬ع ـ قابــل لﻼنع ــاس فــي ال ن ـ ‪ M‬ف ـ م‬
‫‪1‬‬
‫ك ـ ــا فـ ــي اﻷع ـ ـ اد‬ ‫ل ع سـ ــه ـ ــال م ‪ . a 1‬ﻻح ـ ـ أن ال م ـ ـ ‪ a 1‬ﻻ ع ـ ــي‬
‫‪a‬‬
‫ال ع ‪.‬‬ ‫ة ول ه ه ا رم لل ع س على ح‬ ‫ال‬
‫‪ ١٤-١‬أم لة‪:‬‬
‫ـ ـ ـ ــل‬ ‫‪َ  ,  ‬و ‪ M n (),  ‬‬ ‫‪ -١‬فـ ـ ـ ــي ال ن ـ ـ ـ ـ ‪َ  ,  ‬و ‪َ  ,  ‬و‬
‫ـ‬ ‫الع‬ ‫ـ ‪ a‬هـ ســال‬ ‫ع ـ قابــل لﻼنع ــاس‪ .‬وفــي ــل حالــة مع ـ س الع‬
‫أ )‪.(-a‬‬
‫قابل لﻼنع اس‪.‬‬ ‫صف‬ ‫غ‬ ‫لع‬ ‫‪ , ‬‬
‫‪َ  , ‬و‬ ‫‪ -٢‬في ال ن‬
‫‪ -٣‬في ال ن ‪  , ‬الع اص القابلة لﻼنع اس هي ‪َ 1‬و ‪.-1‬‬
‫‪ ‬ارسـ‬ ‫‪ M  { X ‬وح ـ‬ ‫‪‬‬
‫}‪ X‬‬ ‫‪ -٤‬اع ـ ال ن ـ ‪  M, ‬ح ـ‬
‫عــة ‪ X‬إلــى نف ــها‪ .‬الع اصــ القابلــة لﻼنع ــاس هــي ال واسـ ـ أحاد ــة‬ ‫مـ ـ ال‬
‫‪) .‬ل اذا؟(‬ ‫ال ا‬
‫‪ M‬م ن ‪ .‬وضح ص ة مايلي‪:‬‬ ‫‪:‬ل‬ ‫‪ ١٥-١‬ت‬
‫ال اي قابل لﻼنع اس‪.‬‬ ‫أ( الع‬
‫ـ ‪ ab‬قابـل‬ ‫لﻼنع ــاس فــي ‪ M‬ف ـ ل الع‬ ‫قــابل‬ ‫ـ‬ ‫ب( إذا ان ‪َ a‬و ‪ b‬ع‬
‫لﻼنع اس في ‪.M‬‬
‫الع اص ‪ a1 ,a 2 ,a 3 ,...a n‬ع اص قابلـة لﻼنع ــاس فــي ‪ M‬ف ـ ل‬ ‫ج( إذا ان‬
‫‪ a1a 2 a 3 ...a n‬قابل لﻼنع اس في ‪.M‬‬ ‫الع‬

‫‪٥‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫‪،n  0‬‬ ‫ـ ‪ ،an‬ﻷ‬ ‫قابل لﻼنع ــاس فــي ‪ M‬ف ـ ل الع‬ ‫د( إذا ان ‪ a‬ع‬
‫قابل لﻼنع اس في ‪ M‬و ن ‪.  a n    a 1 ‬‬
‫‪1‬‬ ‫‪n‬‬

‫قابل لﻼنع ــاس فــي ال ن ـ ‪ ،M‬فإن ــا نعـ ف‬ ‫‪ :‬إذا ان ‪ a‬ع‬ ‫‪ ١٥-١‬تع‬
‫‪ n  1‬ال ــالي‪ a  n   a n    a 1  :‬وم ـ ذل ـ‬
‫‪1‬‬ ‫‪n‬‬
‫الق ـ ة ال ــال ة ‪ a  n‬ح ـ‬
‫‪.a n ‬‬
‫‪m‬‬
‫اً ‪ a  nm‬‬ ‫‪ a n a  m  a n m‬وأ‬
‫‪  ab ‬ل ل ‪ n‬و‪ m‬في‬ ‫أن ‪ a  n b  n‬‬ ‫‪ :‬إذا ان ‪ ab=ba‬فأث‬ ‫‪ ١٦-١‬ت‬
‫‪n‬‬

‫‪.‬‬

‫‪٦‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ت ار ال اب اﻷول‬

‫في ال اﻻت ال ال ة‪:‬‬ ‫ما إذا ان ال ام )*‪ (A,‬ش ه زم ة‪ ،‬م ن‬ ‫‪ -١‬ب‬

‫أ( ‪A  , a * b  a, a, b  A‬‬
‫ب( ‪A   \ {1}, a * b  ab  a  b, ab  A‬‬
‫ج( ‪A  , a * b  a  b  3, a, b  A‬‬
‫د( ‪A   \ {1}, a * b  a  b  ab, a, b  A‬‬
‫ك لـ ‪ a‬و لـ ‪A  , a * b  ( b‬‬ ‫هـ( )ال اعف اﻷدنى ال‬
‫‪ab‬‬
‫‪A  , a * b ‬‬ ‫و( ‪, a, b  A‬‬
‫‪5‬‬
‫ال اب إب ال ة؟‬ ‫‪ -٢‬أ الع ل ات ال ائ ة ال اردة في ال‬
‫اﻷول فــي ــل‬ ‫ما هي الع اص القابلة لﻼنع اس في )*‪ (A,‬في ال ـ‬ ‫‪ -٣‬ب‬
‫حالة‪.‬‬
‫‪ a‬و ‪ b‬أع ـ ـ اد‬ ‫عـ ــة ــل اﻷزواج ال ت ـ ــة )‪ (a,b‬ح ـ ـ‬ ‫‪ M‬هـــي م‬ ‫‪ -٤‬ل ـ ـ‬
‫ـ ـ ـ ـ ـ ـ ـة و ‪ b‬ﻻ ت ـ ـ ـ ـ ـ ــاو ال ـ ـ ـ ـ ـ ــف ‪ .‬عـ ـ ـ ـ ـ ـ ـ ف ع ل ـ ـ ـ ـ ـ ــة عل ـ ـ ـ ـ ـ ــى ‪ M‬ال ـ ـ ـ ـ ـ ــالي‬ ‫ح‬
‫‪.  a, b    c,d    a  bc, bd ‬‬
‫‪ 1 1 ‬‬
‫‪. 1, 2    ,  ,  3, 2    0,1 ,  2, 1   3,1‬‬ ‫أ( اح‬
‫‪ 4 2‬‬
‫أن ‪  M, ‬م ن ‪.‬‬ ‫ب( أث‬
‫ج( هل ‪ ‬إب ال ة؟‬
‫ما هي الع اص القابلة لﻼنع اس في ‪.M‬‬ ‫د( ب‬

‫‪٧‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ال اب ال اني‬
‫ال م و ال م ال ئ ة‬
‫‪Groups and Subgroups‬‬

‫ـه قابــل‬ ‫ـ‬ ‫ى زم ة )‪ (Group‬إذا ــان ــل ع‬ ‫‪G‬‬ ‫‪ :‬ال ن‬ ‫‪ ١-٢‬تع‬

‫لﻼنع ــاس‪ .‬ع ــى أن ش ـ و ال م ـ ة أر عــة وهــي أن ت ـ ن الع ل ــة ال ع فــة علــى‬
‫ـ مع ـ س‪ .‬ال مـ ة ‪G‬‬ ‫ـ م ايـ ول ــل ع‬ ‫ــة ولهــا ع‬ ‫عة ث ائ ة وت‬ ‫ال‬
‫الع ل ة ال ع فة عل ها إب ال ة‪.‬‬ ‫ت ى زم ة إب ال ة )‪ (Abelian group‬إذا ان‬
‫‪ ٢-٢‬أم لة‪:‬‬
‫ع ـ ـ ـ ــات ‪ , , ‬م ـ ـ ـ ــع ع ل ـ ـ ـ ــة ال ـ ـ ـ ــع اﻻع اد ـ ـ ـ ــة ت ـ ـ ـ ـ ـ ل زمـ ـ ـ ـ ـ‬ ‫‪ -١‬ال‬
‫إب ال ة‪).‬ت ق (‬
‫ــارة‬ ‫‪ , i  1‬ــل م هــا‬ ‫عات }‪ {1,-1, i, -i} ,{1,-1} ,{1‬ح‬ ‫‪ -٢‬ال‬
‫ب‪).‬ت ق (‬ ‫ع زم ة إب ال ة مع ع ل ة ال‬
‫ــارة ع ـ زم ـ ة إب ال ــة‬ ‫عــات }‪  \ {0},  \{0},  \ {0‬ــل م هــا‬ ‫‪ -٣‬ال‬
‫‪1‬‬
‫‪. a 1 ‬‬
‫ب‪).‬ت ق (‪ .‬ﻻح في ه ه ال الة ال ات‬ ‫مع ع ل ة ال‬
‫‪a‬‬
‫عة }‪ .  n  {0,1, 2,3,..., n  1‬ع ِّ ف ع ل ي ضـ ب وج ــع‬ ‫ال‬ ‫‪ -٤‬اع‬
‫كال الي‪:‬‬
‫) اقي ق ة ‪ a+b‬على ‪a+b= ( n‬‬
‫) اقي ق ة ‪ ab‬على ‪ab= ( n‬‬
‫ـ ت ــل ع ل ــة ال ــع علــى ‪ 4‬‬ ‫عــة }‪.  4  {0,1, 2,3‬‬ ‫مـ ﻼً اع ـ ال‬
‫ال ول ال الي‪:‬‬

‫‪٨‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫‪ 0 1 2 3‬‬
‫‪0 0 1 2 3‬‬
‫‪1 1 2 3 0‬‬
‫‪2 2 3 0 1‬‬
‫‪3 3 0 1 2‬‬
‫واضــح أن ‪  4‬ت ـ ل زم ـ ة إب ال ــة مــع ع ل ــة ال ع‪).‬ت ق ـ (‪ .‬أمــا ج ـ ول ع ل ــة‬
‫ن ال الي‪:‬‬ ‫ب لـ ‪  4‬ف‬ ‫ال‬
‫‪ 0 1 2 3‬‬
‫‪0 0 0 0 0‬‬
‫‪1 0 1 2 3‬‬
‫‪2 0 2 0 2‬‬
‫‪3 0 3 2 1‬‬
‫ب‪).‬ل اذ؟(‪.‬‬ ‫واضح أن ‪  4‬ﻻ ت ل زم ة مع ع ل ة ال‬
‫ع ــة }‪  5  {0,1, 2,3, 4‬وع ل ــة ال ـ ـ ب ال ع ف ــة ال ـ ـ ول‬ ‫اﻵن اع ـ ـ ال‬
‫ال الي‪:‬‬
‫‪‬‬ ‫‪0 1 2 3 4‬‬
‫‪0 0 0 0 0 0‬‬
‫‪1 0 1 2 3 4‬‬
‫‪2 0 2 4 1 3‬‬
‫‪3 0 3 1 4 2‬‬
‫‪4 0 4 3 2 1‬‬
‫ب)ت ق (‪.‬‬ ‫واضح أن }‪  5 \ {0‬زم ة مع ع ل ة ال‬
‫‪ n  0‬ت ـ ل زمـ ة مــع ع ل ــة ال ــع‬ ‫إث ات أن ل ‪  n‬ح ـ‬ ‫قة‬ ‫في ال‬
‫ال ع ف ــة أع ــﻼه‪ .‬وذا ــان ‪ n‬عـ ـ د أول ــي ف ــإن }‪  n \ {0‬ت ـ ـ ل زمـ ـ ة م ــع ع ل ــة‬
‫ب ال ع فة أعﻼه‪.‬‬ ‫ال‬

‫‪٩‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫عـــة }‪ K  {1, a, b,c‬مـ ــع ع ل ـ ــة ال ـ ـ ب ال ع ف ــة ال ـ ـ ول‬ ‫‪ -٥‬اع ـ ـ ال‬

‫ال الي‪:‬‬
‫‪‬‬ ‫‪1 a‬‬ ‫‪b c‬‬
‫‪1 1 a b c‬‬
‫‪a a 1 c b‬‬
‫‪b b c 1 a‬‬
‫‪c‬‬ ‫‪c b a‬‬ ‫‪1‬‬
‫مـ الع اصـ ‪ a, b, c‬ع ــي ال الـ ‪ ,‬وأن‬ ‫ـ‬ ‫ﻻحـ أن حاصــل ضـ ب أ ع‬
‫ـ مع ـ س‬ ‫ل ‪ a 2  b 2  c 2  1‬و ال الي ــل ع‬ ‫ال اي ه ‪,1‬‬ ‫الع‬
‫عــة مــع‬ ‫ع إث ات اﻹدماج ب اسـ ة مقارنــة جـ ول ال ـ ب لهـ ه ال‬ ‫نف ه‪ .‬ن‬
‫‪ a‬و ‪b ،3‬‬ ‫بـ ـ‬ ‫نـ ـ‬ ‫ال مـ ـ ة }‪ ) *8  {1,3,5, 7‬ارج ــع ال ــال ‪ (٣-٤-٢‬ح ـ ـ‬
‫و‪ .7 c ،5‬إذن ‪ K 4‬ت ـ ـ ل زم ـ ـ ة مـ ــع ع ل ـ ــة ال ـ ـ ب ال ع فـ ــة ال ـ ـ ول أعـ ــﻼه‬
‫وت ى ه ه ال م ة زم ة ﻼي )‪.(Klein group‬‬
‫ــل‬ ‫عــة *‪ M‬وال ــي ت ـ‬ ‫أن ال‬ ‫‪ M‬م ن ـ ‪ ،‬فأث ـ‬ ‫‪ :‬إذا ان ـ‬ ‫‪ ٣-٢‬ت ـ‬
‫الع اصـ ـ القابلـ ـة لﻼنع ــاس ف ــي ‪ M‬ت ـ ـ ل زمـ ـ ة م ــع الع ل ــة ال ع ف ــة عل ــى ‪.M‬‬
‫ت ى ه ه ال م ة زم ة الع اص القابلة لﻼنع اس في ‪.M‬‬
‫‪ ٤-٢‬أم لة‪:‬‬
‫ب‪.‬‬ ‫‪ -١‬واضح أن *‪ * , * , * , * , ‬زم مع ع ل ة ال‬
‫عــة *‪ M‬ت ـ ن مـ ج ــع‬ ‫عــة ‪ M‬فــي ال ــال ‪ .٤-٦-١‬ال‬ ‫‪ -٢‬اع ـ ال‬
‫ال اب ‪.‬‬ ‫ال‬ ‫في ‪ M‬وهي ت ل زم ة على ح‬ ‫ال واس أحاد ة ال ا‬
‫إث ات أن‪:‬‬ ‫‪  n‬فإنه م ال‬ ‫‪ -٣‬إذا اع نا ال ن‬
‫او ‪*n ={ a   n : 1‬‬ ‫‪ a‬و‪n‬‬ ‫ك اﻷعلى ب‬ ‫} القاس ال‬
‫و ال الي واضح أن }‪ *p   p  {0‬إذا ان ‪ p‬ع د أولــي )ل ــاذا؟(‪ .‬ومـ أم لــة‬
‫ه ه ال م ة‬

‫‪١٠‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫}‪*9  {1, 2, 4,5,7,8} , *8  {1,3,5,7}, *6  {1,5} , *4  {1,3‬‬

‫ب ال ع فة على ‪(  n‬‬ ‫ج اول ع ل ة ال‬ ‫نها زم ع‬ ‫)ت ق م‬
‫‪ R‬ت م ــ ﻷ م ــ‬ ‫‪ -٤‬اع ـ ـ ال ن ـ ـ )‪ M 2 (R‬م ـ ــع ع ل ـ ــة ال ـ ـ ب‪ ،‬ح ــ ـ‬
‫عــات ال ال ــة ‪ . , , , ,  n‬زمـ ة الع اصـ القابلــة لﻼنع ــاس فــي هـ ا‬ ‫ال‬
‫ــاو‬ ‫ــف فات ال ائ ــة ال ــي م ـ دها ع ـ د ح قــي ﻻ‬ ‫ج ــع ال‬ ‫ال ن ـ ت ـ‬
‫وج د ال ع س( ون م لها ال م )‪. GL 2 (R‬‬ ‫ال ف ) ش‬
‫‪ G1 , G 2 ,...,G n‬م عـ ــة م ـ ـ ال م ـ ـ ‪ .‬نع ـ ـِّ ف ال ـ ـ ب‬ ‫‪ ٥-٢‬تع ــــ ‪ :‬ل ـ ـ‬
‫عــة ‪G1  G 2  ...  G n‬‬ ‫ال اش )‪ (Direct product‬لهـ ه ال مـ علــى أنـه ال‬
‫‪ a i  G i‬ل ــل‬ ‫ــل اﻷقـ اس ال ن ــة ال ت ــة ) ‪، (a1 ,a 2 ,...,a n‬ح ـ‬ ‫وال ي ت‬
‫‪ ،1  i  n‬مع الع ل ة ال ع فة ال الي‪:‬‬
‫‪(a1 ,a 2 ,..., a n )(a1 ,a 2 ,...,a n )  (a1a 1 ,a 2a 2 ,...,a n a n ),‬‬
‫ب ‪ a i a i‬هي الع ل ة ال ع فة على ‪ ، G i‬ل ل ‪.1  i  n‬‬ ‫ع ل ة ال‬ ‫ح‬
‫أن ال ـ ـ ب ال اش ـ ـ ‪ G1  G 2  ...  G n‬فـ ــي ال ع ـ ـ‬ ‫‪ :‬أث ـ ـ‬ ‫‪ ٦-٢‬ت ـــ‬
‫ـ ل زمـ ة مــع الع ل ــة ال ع فــة أعــﻼه‪ .‬م ــى ـ ن ال ـ ب ال اشـ زمـ ة‬ ‫ال اب‬
‫إب ال ة؟‬
‫ـب‬ ‫ـ ‪. ab  ac‬‬ ‫‪ c, b, a‬ع اصـ فــي ال مـ ة ‪،G‬‬ ‫‪ ٧-٢‬مﻼح ة‪ :‬لـ‬
‫ه ـ ه ال ــاواة فــي ‪ a 1‬م ـ ال ــار ي ـ ج أن ‪ b=c‬وه ـ ا مــا ن ـ ه قــان ن ال ـ‬
‫‪ a‬مـ ال ــار(‪ .‬ال ــل‬ ‫اﻷ ـ )‪ ) ( Left cancellation law‬اسـ ع ا شـ‬
‫اﻷ ـ )‪ .(Right cancellation law‬واضــح ان‬ ‫قــان ن ال ـ‬ ‫ـ تع ـ‬
‫م ققان دوما في أ زم ة‪.‬‬ ‫اﻷ‬ ‫و قان ن ال‬ ‫اﻷ‬ ‫قان ن ال‬
‫‪ G‬زم ـ ـ ة م ه ــة )‪ (Finite group‬و ــان ‪، a  G‬‬ ‫‪ ٩-٢‬م ـــألة‪ :‬إذا انـ ـ‬
‫أن ‪. a n  1G‬‬ ‫‪n‬‬ ‫أنه ي ج ع د ص ح م ج‬ ‫فأث‬
‫ال ــل‪ :‬ل أخ ـ ال ال ــة ‪ a 0  1G ,a,a 2 , a 3 ,a 4 ,...‬م ـ ع اص ـ ‪ .G‬واضــح أن‬
‫ه ـ ه الع اص ـ لـ ت ـ ن لهــا م لفــة ﻷن ال م ـ ة ‪ G‬م ه ــة‪ .‬إذن ﻻ ب ـ أن ـ ن‬

‫‪١١‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ال ـ ـ ـ ـ ـ ـ ـ ـ ـ ‪ m  0‬و ‪ . n  1‬واض ـ ـ ـ ـ ـ ـ ـ ــح إذن أن‬ ‫لـ ـ ـ ـ ـ ـ ـ ـ ـ ي ا ‪ a m  a m  n‬ل ـ ـ ـ ـ ـ ـ ـ ـ ـ ع‬

‫اﻷ ـ ي ـ ج ‪ 1  a n‬وه ـ‬ ‫ام قــان ن ال ـ‬ ‫‪) a m1M  a m a n‬ل ــاذا؟(‪ .‬اس ـ‬
‫ال ل ب‪.‬‬

‫مـ ـ ال مـ ـ ة ‪ G‬ت ـ ـ ى زمـ ـ ة ج ئ ــة‬ ‫ع ــة ال ئ ــة ‪H‬‬ ‫‪ :‬ال‬ ‫‪ ١٠-٢‬تع ـــ‬
‫‪ H‬نف ــها ت قـ ـ شـ ـ و ال مـ ـ ة م ــع الع ل ــة‬ ‫إذا انـ ـ‬ ‫)‪ (Subgroup‬مـ ـ ‪G‬‬
‫ﻼ واض ــح أن )‪ (  ،+‬زمـ ـ ة ج ئ ــة مـ ـ‬
‫‪ . H  G‬مـ ـ ً‬ ‫ال ع ف ــة عل ــى ‪ .G‬ون ـ ـ‬
‫زم ة ج ئ ة م ) ‪ (, ‬مع أن ‪.   ‬‬ ‫)‪ (,‬ل‬ ‫)‪ ، (, ‬ول‬
‫‪ ١١-٢‬أم له ‪:‬‬
‫‪ G‬زمـ ة ‪ ،‬فــإن ‪ 1G ‬و ‪ G‬كﻼه ــا زمـ ة ج ئ ــة مـ ‪ G‬وت ـ ى‬ ‫‪ -١‬إذا انـ‬
‫زمـ ـ ج ئ ــة غ ـ ـ فعل ــة )‪ ،(Trivial subgroups‬و أ زمـ ـ ة ج ئ ــة سـ ـ اه ا‬
‫ت ى زم ة ج ئ ة فعل ة )‪.(Non-trivial subgroups‬‬
‫عـــة ‪ H  1,  1‬تع ـ ـ زمـ ـ ة‬ ‫‪ G  1,  1,i ,  i‬فـ ــإن ال‬ ‫‪ -٢‬إذا ان ـ ـ‬
‫جئة م ‪. G‬‬

‫عــة ج ئ ــة مـ ال مـ ة ‪ ،G‬فــإن ‪ H‬ت ـ ن زمـ ة‬ ‫‪H‬م‬ ‫ــة‪ :‬إذا انـ‬ ‫‪ ١٢-٢‬ن‬
‫‪َ a‬و ‪b‬‬ ‫ـ‬ ‫خال ــة‪ ،‬ول ــل ع‬ ‫ج ئ ة م ال م ة ‪ G‬إذا وفق إذا ان ‪ H‬غ‬
‫اً في ‪. H‬‬ ‫في ‪ H‬فإن ‪ ab 1‬أ‬
‫ـ ‪a‬‬ ‫‪ .‬ــا أن ‪ H‬غ ـ خال ــة إذن ي جـ ع‬ ‫ال هــان ‪ :‬أوﻻً نفـ ض ت قـ ال ـ‬
‫ــح أن‬ ‫ـ ‪ a‬ي ـ ج أن ‪ aa 1‬فــي ‪ H‬وم ــه ي‬ ‫علــى الع‬ ‫ال ـ‬ ‫في ‪ .H‬ب‬
‫ـ ـ م ايـ ـ هـ ـ نف ــه ال ايـ ـ ف ــي ‪ . G‬اﻵن‬ ‫ع‬ ‫‪ 1G‬ف ــي ‪ .H‬أ أن ‪ H‬ت ـ ـ‬
‫ي ـ ج أن ‪ 1G a 1‬فــي ‪ H‬وم ــه‬ ‫ـ ال ـ‬ ‫ـ ان ‪ 1G‬و ‪ a‬فــي ‪ H‬ب‬ ‫لـ ي ا الع‬
‫ـ ًا فــي‬ ‫ـ ‪a‬أ‬ ‫ح أن ‪ a 1‬في ‪ .H‬أ إذا ان ‪ a‬فــي ‪ H‬فــإن مع ـ س الع‬ ‫ي‬
‫‪َ a‬و ‪ b‬فــي ‪ . H‬ــا أن ‪ b‬فــي ‪ H‬إذن ‪ b 1‬فــي‬ ‫ـ‬ ‫‪ . H‬افـ ض اﻵن الع‬

‫‪١٢‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫‪ a  b 1 ‬فــي ‪ H‬وم ــه ‪ ab‬فــي ‪ ،H‬أ أن ‪ H‬مغلقــه ت ـ‬

‫‪1‬‬
‫الع ل ــة‬ ‫‪ H‬و ال ــالي‬
‫ال ع فـ ــة علـ ــى ‪ . G‬نﻼح ـ ـ أن اﻹدمـ ــاج م ق ـ ـ فـ ــي ‪ H‬ﻷنـ ــه م ق ـ ـ فـ ــي ‪.G‬‬
‫و ال الي ‪ H‬ت ق ج ع ش و ال م ة مع الع ل ة ال ع فة على ‪ . G‬إذن ‪ H‬زم ة‬
‫جئة م ‪. G‬‬
‫ثان اً‪ :‬ت‬

‫‪ ١٣-٢‬أم لة ‪:‬‬
‫عة ‪. H a  1,a‬‬ ‫ال‬ ‫زم ة ﻼي ‪ K  1,a , b ,c‬واع‬ ‫‪ -١‬اع‬
‫فــإن ‪ x y 1‬فــي ‪ H a‬و ال ــالي ‪ H a‬زم ـ ة‬ ‫واضــح أنــه ل ــل ‪ x‬و ‪ y‬فــي ‪H a‬‬
‫ـ إث ــات أن ‪ H c 1, c ، H b 1, b‬زم ـ ج ئ ــة‬ ‫ج ئ ــة مـ ‪ . K‬ـ ل‬
‫م ‪.K‬‬
‫عـ ــة }‪ n  {nm : m  ‬ح ـ ـ‬ ‫‪ – ٢‬اع ـ ـ ال م ـ ـ ة ‪  , ‬واع ـ ـ ال‬
‫ـ ـ ان فـ ــي ‪ n‬إذن ‪َ a  nk‬و ‪ b  nm‬ح ـ ـ‬ ‫‪ . n  0‬افـ ـ ض أن ‪َ a‬و ‪ b‬ع‬
‫‪ . m , k‬اﻵن اع الع‬
‫‪a   b   a  b  n k  n m  n  k  m ‬‬
‫خال ه إذن م‬ ‫‪ n‬ل‬ ‫ل‬ ‫‪ a   b ‬ي ي لـ ‪. n‬‬ ‫واضح أن الع‬
‫ة ال ا قة ‪ n‬زم ة ج ئ ة م ‪. ‬‬ ‫ال‬

‫عة ‪ Z  G ‬وال ع فة ال الي‬ ‫‪ G‬زم ة ‪ .‬ال‬ ‫‪:‬ل‬ ‫‪ ١٤-٢‬تع‬

‫‪Z  G   x G:x a  a x ،  a G‬‬
‫ال م ة ‪.(Center of the group) G‬‬ ‫ت ىم‬

‫‪١٣‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫‪ ١٥-٢‬أم له‪:‬‬
‫‪ 1 2 3  ‬‬
‫‪ ) Z(G)  ‬ان ـ ـ ـ ـ ال ـ ـ ـ ــاب‬ ‫‪ G  S3‬فـ ـ ـ ــإن ‪ ‬‬ ‫‪ -١‬إذا ان ـ ـ ـ ـ‬
‫‪‬‬‫‪‬‬ ‫‪1‬‬ ‫‪2‬‬ ‫‪3‬‬ ‫‪‬‬
‫ال ال (‪.‬‬
‫‪ a 0 ‬‬ ‫‪‬‬
‫‪. Z(G)  ‬‬ ‫‪‬‬ ‫‪:‬‬ ‫‪0‬‬ ‫‪‬‬ ‫‪a‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪-٢‬إذا ان ‪ G  G L 2  ‬فإن ‪‬‬
‫‪‬‬ ‫‪0‬‬ ‫‪a‬‬ ‫‪‬‬ ‫‪‬‬
‫ال م ة ‪ G‬زم ة ج ئ ة م ‪. G‬‬ ‫‪ ١٦-٢‬م ألة ‪ :‬م‬
‫ال لـ ب ﻻبـ أن‬ ‫‪ x‬و ‪ y‬فــي ‪ ) Z G ‬ل ــي ن ـ‬ ‫ـ‬ ‫ال ل ‪ :‬افـ ض أن الع‬
‫اً في ‪ .( Z G ‬اﻵن ا أن ‪ y‬في )‪Z(G‬‬ ‫أن ‪ x y 1‬أ‬ ‫ن‬
‫إذن‬
‫‪ya a y‬‬ ‫‪, a G‬‬
‫ل على‬ ‫وال ار ن‬ ‫ب العﻼقة ال ا قة في ‪ y 1‬م ال‬
‫‪ay 1y 1a‬‬
‫ـ‬ ‫‪a‬أ ع‬ ‫ـ ‪ xy 1‬ولـ‬ ‫أ أن ‪ y 1‬ت ــي لـ ـ )‪ .Z(G‬اﻵن اع ـ الع‬
‫في ‪ . G‬ل ي ا‬
‫‪ x y  a  x y a   x  ay    x a y   a x  y‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪ a  x y 1 ‬‬
‫أ أن ‪ xy 1‬ي ـ ـ ل م ــع ج ــع ع اصـ ـ ‪ G‬و ال ــالي ‪ x y 1‬ت ــي ل ـ ـ )‪.Z(G‬‬
‫إذن )‪ Z(G‬زم ة ج ئ ة م ‪ ) . G‬هل هي زم ة ج ئ ة إب ال ة ؟(‬
‫مﻼح ه ‪ :‬م ى ت ن ‪ Z  G   G‬؟‬

‫م ‪ . G‬إذن تقا عه ــا ‪H  K‬‬ ‫جئ‬ ‫‪ :‬ل ‪َ H‬و ‪ K‬زم ت‬ ‫‪ ١٧-٢‬ت‬

‫أ اً زم ة ج ئ ة م ‪. G‬‬
‫فهـ ــل اﻹت ـ ــاد ‪H  K‬‬ ‫جــ ئ‬
‫إذا ان ـ ـ ‪ G‬زم ـ ـ ة و ان ـ ـ ‪َ H‬و ‪ K‬زم ـ ـ ت‬
‫ن زم ة ج ئ ة م ‪ G‬؟ اﻹجا ة هي ﻻ على وجه الع م ‪.‬‬

‫‪١٤‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ال ئ‬ ‫ال م ت‬ ‫زم ة ﻼي ‪ K  1, a , b,c‬واع‬ ‫‪ ١٨-٢‬م ال‪ :‬اع‬

‫زمـ ة‬ ‫‪َ H a  1 ,a‬و ‪ H b  1, b‬واضــح ان ‪ H a  H b  1, a , b‬ل ـ‬
‫ج ئ ة م ‪ G‬ﻷن ‪ a‬و‪ b‬ع اص في ‪ H a  H b‬ب ا‬
‫عة ‪. H a  H b‬‬ ‫‪ ab  c‬ﻻ ي ي إلى ال‬
‫مـ ال مـ ة ‪ G‬فــإن اﻻت ــاد‬ ‫جـ ئ‬
‫ــة ‪ :‬إذا انـ ‪َ H‬و ‪ K‬زمـ ت‬ ‫‪ ١٩-٢‬ن‬
‫ن زم ة ج ئ ة م ‪ G‬إذا وفق إذا ان ‪ H  K‬أو ‪. K  H‬‬ ‫‪HK‬‬
‫ال هـــان ‪ :‬أوﻻً ‪ :‬إذا ــان ‪ H  K‬أو ‪ K  H‬ف ـ ال اضــح أن ‪ H  K‬زم ـ ة‬
‫ج ئ ة م ‪ ) G‬ﻷن ‪ H  K  K‬أو ‪.( H  K  H‬‬
‫ثان ـاً ‪ :‬ل ف ـ ض أن ‪ HK‬زم ـ ة ج ئ ــة م ـ ‪ . G‬ل ف ـ ض ج ـ ﻻً أن ‪ H  K‬و‬
‫‪ K  H‬أ ي ج ‪ a H  K‬و ‪ bK  H‬واضــح أن ‪ a‬و ‪ b‬فــي ‪. H  K‬‬
‫و ال ــالي ‪ . a bH  K‬ل ف ـ ض أن ‪ . a bH‬ــا أن ‪ H‬زم ـ ة ج ئ ــة و ‪ a‬فــي‬
‫‪ H‬أذن‬
‫‪a 1 a b H‬‬
‫‪ 1b H‬‬
‫‪ bH‬‬
‫‪ ،‬إذن ‪a bH‬‬ ‫وه ا ت اق‬
‫ا أن ‪ K‬زم ة ج ئ ة و ‪ b‬في ‪ K‬إذن‬ ‫ل ف ض إذن أن ‪a bK‬‬
‫‪ a b b 1  K‬‬
‫‪ a1  K‬‬
‫‪ a  K‬‬
‫‪ ،‬إذن ‪a bK‬‬ ‫وه ا ت اق‬
‫‪ a‬و ‪ b‬ف ـ ــي ‪ H  K‬وحاص ـ ــل ال ـ ـ ـ ب ‪ ab‬ﻻ‬ ‫ــ ـ‬ ‫اﻵن وص ـ ــل ا إل ـ ــى أن الع‬
‫ـ ن ‪ H  K‬زم ـ ة ‪ .‬إذن ﻻب ـ أن ‪H  K‬‬ ‫ي ــي إلــى ‪ . H  K‬وهـ ا ي ــاق‬
‫أو ‪ . K  H‬وه ال ل ب ‪.‬‬

‫‪١٥‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫م ـ ال م ـ ة ‪ ,G‬نع ـ ِّ ف‬ ‫غ ـ خــال‬ ‫‪H‬و‪K‬م ـع‬ ‫‪ ٢٠-٢‬تع ـــ ‪ :‬ل ـ‬

‫ب ال ي على ال ل‬ ‫عة ل ح اصل ال‬ ‫حاصل ض ه ا ‪ HK‬على أنه م‬
‫‪ h H‬و ‪ k K‬أ أن ‪. HK  hk: h  H , k  K‬‬ ‫‪ hk‬ح‬
‫‪ H  a , b , K  1, c‬إذن‬ ‫زم ة ﻼي واع‬ ‫م ﻼً اع‬
‫‪HK  a , b 1, c  a .1,a.c, b.1, b.c  a , b‬‬
‫عـ ـ ـ ـ ــة ‪H‬‬ ‫عـ ـ ـ ـ ــة ال ف ـ ـ ـ ـ ـ ده ‪ a‬مـ ـ ـ ـ ــع ال‬ ‫ﻻح ـ ـ ـ ـ ـ أن حاصـ ـ ـ ـ ــل ض ـ ـ ـ ـ ـ ب ال‬
‫‪H‬‬ ‫‪ Ha‬و ـ ل ‪ . aH‬إذا انـ‬ ‫ــار ن ـ‬ ‫ه ‪ H a  ha:h  H‬ولﻼخ‬
‫ع‬ ‫ع ــات غ ـ ـ خال ــة وج ئ ــة مـ ـ ال مـ ـ ة ‪ G‬فإن ــا ن ـ ـ‬ ‫و ‪ K‬و ‪ J‬ث ــﻼث م‬
‫ــه له إث ــات أن ‪ .  HK  J  H  KJ   hkj:h  H, k  K, j  J‬ﻻحـ‬
‫عـ ـ ـ ـ ـ ـ ـ ــات ‪  H a  ، HaK ، aHb‬ب ـ ـ ـ ـ ـ ـ ـ ـ ف‬ ‫ال‬ ‫ـ ـ ـ ـ ـ ـ ـ ــا تع ـ ـ ـ ـ ـ ـ ـ ـ‬ ‫أنـ ـ ـ ـ ـ ـ ـ ــه‬
‫‪2‬‬

‫اﻷسل ب‪).‬ت ق (‬
‫ـ فــي ‪.G‬‬ ‫‪x‬ع‬ ‫‪ H‬زم ـ ة ج ئ ــة م ـ ال مـ ة ‪ G‬ولـ‬ ‫‪ ٢١-٢‬م ــألة‪ :‬لـ‬
‫عة ‪ xHx 1  xh x 1 :h H ‬زم ة ج ئ ة م ‪. G‬‬ ‫إذن ال‬
‫‪ x b x 1،x a x 1‬في ‪ x H x 1‬اﻵن ل ي ا‬ ‫ال ل ‪ :‬ل أخ ع‬
‫‪ xbx 1    x 1  b 1x 1  xb1x 1‬‬
‫‪1‬‬ ‫‪1‬‬

‫و ال الي‬
‫‪ xax  xbx ‬‬
‫‪1‬‬ ‫‪1 1‬‬
‫‪ xax 1xb 1x 1‬‬
‫‪ xa1b 1x 1‬‬
‫‪ xab 1x 1‬‬
‫ا أن ‪ a b 1‬في ‪ H‬إذن‬
‫‪ xax  xbx ‬‬
‫‪1‬‬ ‫‪1 1‬‬
‫‪ xHx 1‬‬
‫ال ل ب ‪.‬‬ ‫وه ا ي‬

‫‪١٦‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫م ـ ال مـ ة ‪ .G‬حاصــل ال ـ ب‬ ‫جـ ئ‬ ‫‪ H‬و ‪ K‬زم ـ ت‬ ‫ــة‪ :‬ل ـ‬ ‫‪ ٢٢-٢‬ن‬

‫ل زم ة ج ئ ة م ‪ G‬إذا وفق إذا ان ‪.HK = KH‬‬ ‫‪HK‬‬

‫‪١٧‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ت ار ال اب ال اني‬
‫عات ال اردة فــي ال ــار ‪ ٢،١‬مـ ت ــار ال ــاب‬ ‫ال‬ ‫ما إذا ان‬ ‫‪ -١‬ب‬
‫اﻷول مع الع ل ات ال ع فة عل ها ت ل زم إب ال ة‪.‬‬
‫أن ‪ G‬زمـ ـ ة م ــع‬ ‫‪‬‬
‫ع ــة ‪ . G  a  b 2:a, b  ‬أث ـ ـ‬ ‫‪‬‬ ‫‪ -٢‬اع ـ ـ ال‬
‫أن }‪ G\{0‬زم ـ ة مــع ع ل ــة ض ـ ب‬ ‫ــة‪ .‬أث ـ‬ ‫ع ل ــة ج ــع اﻷع ـ اد ال‬
‫ة‪.‬‬ ‫اﻷع اد ال‬
‫ــا زمـ ـ ة‬ ‫أن ‪ G  H‬أ‬ ‫ف ــ‬ ‫إبـ ـ ال‬ ‫‪ H‬و زمـ ـ ت‬ ‫‪G‬و‬ ‫‪ -٣‬إذا انـ ـ‬
‫إب ال ة‪.‬‬
‫أن ــه إذا ــان ‪ g 2  g‬ف ــإن‬ ‫ـ ـ اً ف ه ــا‪ .‬أث ـ ـ‬ ‫‪g‬ع‬ ‫‪ G‬زمـ ـ ة ولـ ـ‬ ‫‪ -٤‬لـ ـ‬
‫‪. g  1G‬‬
‫ال ــال‬ ‫‪ g, h, k‬ع اصـ ـ ف ه ــا‪ .‬أ ال ــارت‬ ‫‪ G‬زم ـ ة ولــ‬ ‫‪ -٥‬لـ ـ‬
‫ص ح؟‬
‫‪(i) If ghg = gkg,‬‬ ‫‪then h = k.‬‬
‫‪(ii) If hgh = kg,‬‬ ‫‪then h = k.‬‬

‫‪ xy ‬‬ ‫ــان ‪ x 2 y 2‬‬ ‫أنهــا إب ال ــة إذا و إذا فق ـ‬ ‫‪ G‬زم ـ ة‪ .‬أث ـ‬ ‫‪ -٦‬ل ـ‬
‫‪2‬‬

‫ل ل ‪ x‬و ‪ y‬في ‪.G‬‬

‫أن‬ ‫أن ‪ g 2  1G‬ل ل ‪ g‬في ‪ ,G‬فأث‬ ‫‪ G‬زم ة‬ ‫‪ -٧‬إذا ان‬
‫مع س نف ه‪.‬‬ ‫كل ع‬ ‫)أ(‬
‫)ب( ‪ G‬زم ة إب ال ة‪.‬‬
‫‪ H‬زم ة ج ئ ة م ‪ G‬في ل م ا يلي‪:‬‬ ‫ما إذا ان‬ ‫‪ -٨‬ب‬
‫‪ 1 a ‬‬ ‫‪‬‬
‫‪G   GL 2    ,  ,‬‬ ‫‪H  ‬‬ ‫‪‬‬ ‫‪:a‬‬ ‫‪‬‬ ‫‪‬‬ ‫أ( ‪‬‬
‫‪‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪‬‬ ‫‪‬‬
‫‪G    \ 0 , ‬‬ ‫‪,‬‬ ‫ب( ‪H  2n : n  ‬‬

‫‪١٨‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ــــ ع‬ ‫‪ G‬و ‪ H‬زمـ ـ ـ ـ ت ‪ .‬اع ـ ـ ـ ـ ال مـ ـ ـ ـ ة ‪ G  H‬واع ـ ـ ـ ـ ال‬ ‫‪ -٩‬لـ ـ ـ ـ‬

‫أن ـﻼً م ـ‬ ‫‪‬‬
‫‪ . H  1g , h  :h  H‬أث ـ‬ ‫‪‬‬ ‫‪ G   g,1H  :g  G‬و‬
‫‪ G‬و ‪ H‬ت ل زم ة ج ئ ة م ‪. G  H‬‬
‫عــة ‪H  g  G :g 2  1G ‬‬ ‫أن ال‬ ‫‪ G‬زم ـ ة إب ال ــة‪ .‬أث ـ‬ ‫‪ -١٠‬ل ـ‬
‫ت ل زم ة ج ئ ة م ‪.G‬‬
‫عــة ‪ D   g,g  : g  G‬ت ـ ل‬ ‫أن ال‬ ‫‪ G‬زم ـ ة‪ .‬أث ـ‬ ‫‪ -١١‬ل ـ‬
‫ة م ‪(G  G‬‬ ‫زم ة ج ئ ة م ‪ ) . G  G‬ت ى ه ه ال م ة ال م ة الق‬
‫عـ ـ ـ ـ ـ ـ ــة‬ ‫أن ال‬ ‫ـ ـ ـ ـ ـ ـ ـ ـ م ـ ـ ـ ـ ـ ـ ـ ‪ G‬أث ــ ـ ـ ـ ـ ـ ـ‬ ‫‪ G‬زمـ ـ ـ ـ ـ ـ ـ ـ ة و ‪ g‬ع‬ ‫‪ -١٢‬ل ـ ـ ـ ـ ـ ـ ـ‬
‫‪ H  x  G :xg  gx‬ت ل زم ة ج ئ ة م ‪.G‬‬

‫‪١٩‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ال اب ال ال‬
‫زم ال اديل‬
‫‪Permutations Group‬‬

‫عـ ـ ـ ـ ـ ـ ـ ـ ــة }‪ . X n  {1, 2,3,..., n‬ال يلـ ـ ـ ـ ـ ـ ـ ـ ــة‬ ‫‪ ١-٣‬تع ـ ـ ـ ـ ـ ـ ــــ ‪ :‬اع ـ ـ ـ ـ ـ ـ ـ ـ ـ ال‬
‫‪(One to‬‬ ‫عــة ‪ X n‬هــي ارسـ أحــاد ال ــا‬ ‫)‪ f (Permutation‬علــى ال‬
‫عــة‬ ‫)‪ one correspondence mapping‬مـ ‪ X n‬إلــى نف ــها‪ .‬ن مـ لل‬
‫ـ ــة علـ ــى ‪ X n‬ـ ــال م ‪ . Sn‬ن م ـ ـ ل ـ ــل ت يلـ ــة‬ ‫ـ ــل ال ـ ـ ﻼت ال‬ ‫ال ـ ــي ت ـ ـ‬
‫ال ــف اﻷول ع اصـ ‪ X n‬وال ــف ال ــاني صـ ر هـ ه‬ ‫ـ‬ ‫ــف فة ‪، 2  n‬‬
‫ـ ـ ت ــه‪ ،‬أ عل ــى‬ ‫ـ ـ ن صـ ـ رة ــل ع‬ ‫الع اصـ ـ ب اسـ ـ ة ال اسـ ـ ‪ ،f‬ـ ـ‬
‫‪ 1‬‬ ‫‪2‬‬ ‫‪3 ... n ‬‬
‫‪.f  ‬‬ ‫ال ل ‪‬‬
‫‪‬‬ ‫‪f‬‬ ‫)‪(1‬‬ ‫‪f‬‬ ‫)‪(2‬‬ ‫‪f‬‬ ‫)‪(3‬‬ ‫‪...‬‬ ‫‪f‬‬ ‫)‪(n‬‬ ‫‪‬‬

‫عة }‪ . X 3  {1, 2,3‬إذن‬ ‫ال‬ ‫‪ ٢-٣‬م ال‪ :‬اع‬

‫‪ 1‬‬ ‫‪2‬‬ ‫‪3  1 2 3  1 2 3  ‬‬
‫‪ 1‬‬ ‫‪,‬‬ ‫‪,‬‬ ‫‪,‬‬
‫‪‬‬ ‫‪2‬‬ ‫‪3   2 3 1   3 1 2  ‬‬
‫‪S3  ‬‬ ‫‪‬‬
‫‪ 1‬‬ ‫‪2‬‬ ‫‪3   1 2 3  1 2 3  ‬‬
‫‪,‬‬ ‫‪,‬‬
‫‪ 2‬‬ ‫‪1‬‬ ‫‪3   3 2 1   1 3 2  ‬‬

‫ع د !‪) n‬م وب ‪ (n‬م الع اص ‪.‬‬ ‫عة ‪ Sn‬ت‬ ‫‪ ٣-٣‬م ألة‪ :‬ال‬
‫‪ 1‬‬ ‫‪2‬‬ ‫‪3 ... n ‬‬
‫‪f ‬‬
‫‪f‬‬ ‫)‪(1‬‬ ‫‪f‬‬ ‫)‪(2‬‬ ‫‪f‬‬ ‫)‪(3‬‬ ‫‪...‬‬ ‫‪f‬‬ ‫)‪(n‬‬ ‫ال ــل‪ :‬ﻻح ـ أنــه ع ـ ب ــاء ال يلــة ‪‬‬
‫‪‬‬ ‫‪‬‬
‫عـ ــة ‪ X n‬وه ـ ـ ه ال ـ ـ ر‬ ‫فإن ـ ــا ن ـ ــار ال ـ ـ ر )‪ f (n),...,f (2), f (1‬م ـ ـ ال‬
‫أن ت ـ ن لهــا م لفــة )ل ــاذا؟(‪ .‬أ أنــه ل ـ ي ا ‪ n‬م ـ ال ــارات لـ ـ )‪ f (1‬و‬ ‫ـ‬
‫ل ي ا ‪ n-1‬مـ ال ــارات ل ـ )‪ f (2‬و لـ ي ا ‪ n-2‬مـ ال ــارات ل ـ )‪ f (3‬وه ـ ا‪ .‬أ‬
‫‪٢٠‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫أنه ل ي ا فــي ال ها ــة عـ د ‪ n!=n(n-1)(n-2)(n-3)…3.2.1‬مـ ال ــارات ل ــاء‬

‫ال يلة ‪ f‬وه ا ع ي أن ع د ع اص ‪ Sn‬ه !‪.n‬‬
‫ـ ـ ل ال واس ـ ـ‬ ‫ع ل ـ ــة ت‬ ‫ـ ــا تع ـ ـ‬ ‫رواس ـ ـ‬ ‫عـ ــة ‪ Sn‬ت ـ ـ‬ ‫ـ ــا أن ال‬
‫عل ها‪.‬‬
‫‪1 2 3 4‬‬
‫‪ f ‬و‬ ‫‪‬‬ ‫ـ‬ ‫عــة ‪ S4‬واع ـ الع‬ ‫‪ ٤-٣‬م ــال‪ :‬اع ـ ال‬
‫‪3 4 1 2‬‬
‫‪1 2 3 4‬‬
‫ــا تعل ــا ســا قا فــي ع ل ــة‬ ‫ـ ح ــاب ‪f  g‬‬ ‫‪ . g  ‬اﻵن‬ ‫‪‬‬
‫‪2 4 3 1‬‬
‫ل ال واس ال الي‬ ‫ت‬
‫‪f  g (1) = f(g(1) = f(2) = 4‬‬
‫‪f  g (2) = f(g(2) = f(4) = 2‬‬
‫‪f  g (3) = f(g(3) = f(3) = 1‬‬
‫‪f  g (4) = f(g(4) = f(1) = 3‬‬
‫‪ 1 2 3 4‬‬
‫ﻻ عـ ـ‬
‫م ال مـ ـ ‪ fg‬بـ ـ ً‬ ‫‪ . f  g  ‬س ــ‬ ‫‪‬‬ ‫وه ــا ـ ـ ح لـ ـ ي ا‬
‫‪ 4 2 1 3‬‬
‫ل ‪.g‬‬ ‫ال م ‪ f  g‬اخ ارا‪ ،‬ونق ل ‪ f‬ض ب ‪) g‬أو ‪ f‬في ‪ (g‬ب ﻻً ع ‪ f‬ت‬

‫ل ال واس ت ل زم ة‪.‬‬ ‫عة ‪ Sn‬مع ع ل ة ت‬ ‫‪ ٥-٣‬م ألة ‪ :‬ال‬

‫مـ ـ ـ‬ ‫ع ـ ــة ‪ Sn‬ه ـ ــي ال واسـ ـ ـ أحاد ـ ــة ال ـ ــا‬ ‫ال ـ ــل‪ :‬معلـ ـ ـ م أن ع اصـ ـ ـ ال‬
‫هـ ارسـ‬ ‫أحــاديي ال ــا‬ ‫ـ ل أ ارسـ‬ ‫عــة ‪ X n‬إلــى نف ــها‪ .‬اﻵن ت‬ ‫ال‬
‫عــة ‪Sn‬‬ ‫مـ ال‬ ‫ـ ل أ ت ـ يل‬ ‫ــا هـ معل ـ م‪ ،‬أ أن ت‬ ‫أحــاد ال ــا‬
‫ـل‬ ‫عــة ‪ ، Sn‬و ه ـ ا ي ق ـ ش ـ اﻹغــﻼق‪ .‬ـ ل ع ل ــة ت‬ ‫ي ــي إلــى ال‬
‫‪1 2 3 ... n ‬‬
‫‪ f  ‬ت ــل‬ ‫ــة‪ .‬واضــح أن ال يلــة ‪‬‬ ‫ال واس ـ ع ل ــة ت‬
‫‪‬‬ ‫‪1‬‬ ‫‪2‬‬ ‫‪3‬‬ ‫‪...‬‬ ‫‪n‬‬ ‫‪‬‬
‫عــة ‪ X n‬إلــى نف ــها وم ـ ال عل ـ م ان ه ـ ا ال اس ـ ه ـ‬ ‫ال اس ـ ال اي ـ م ـ ال‬
‫‪ ، Sn‬ــا‬ ‫ـ ل ال واسـ ‪ .‬ل أخـ ال يلــة ‪ f‬مـ‬ ‫ـ ال ايـ ال ـ ة لع ل ــة ت‬ ‫الع‬

‫‪٢١‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ا ه معل م وه ا ال ع س أحــاد‬ ‫إذن له مع س‬ ‫أن ‪ f‬راس أحاد ال ا‬

‫ا و ال الي ي ي لـ ‪ . Sn‬هل ه ه ال م ة إب ال ة؟ ل اذا؟‪.‬‬ ‫أ‬ ‫ال ا‬
‫ل ال واس ت ـ ى زم ة ال اديل ) ‪Permutations‬‬ ‫ال م ة ‪ Sn‬مع ع ل ة ت‬
‫ة م ال ت ــة ‪(Symmetric group of degree n‬‬ ‫‪ (Group‬أو ال م ة ال ا‬
‫)‪.n‬‬

‫مع س ل م ال ﻼت ال ال ة‪:‬‬ ‫‪ :‬اح‬ ‫‪ ٦-٣‬ت‬

‫‪1 2 3 4  1 2 3 4 1 2 3 4 5‬‬
‫‪3 4 2 1 ,  2 3 4 1 , 5 3 2 4 1‬‬
‫‪‬‬ ‫‪ ‬‬ ‫‪ ‬‬ ‫‪‬‬

‫‪ ٧-٣‬م ال‪ :‬اع ال م ة ‪ . S3‬ل‬

‫‪1 2 3 ‬‬ ‫‪ 1 2 3‬‬ ‫‪ 1 2 3‬‬
‫‪e‬‬ ‫‪‬‬ ‫‪,‬‬ ‫‪f‬‬ ‫‪‬‬ ‫‪ 2 3 1,‬‬ ‫‪g‬‬ ‫‪‬‬
‫‪‬‬ ‫‪1‬‬ ‫‪2‬‬ ‫‪3‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪ 2 1 3‬‬
‫ال أك م ص ة ما يلي‬ ‫إذن ه لة‬
‫‪ 1 2 3‬‬ ‫‪1 2 3  2  1 2 3 ‬‬
‫‪gf 2  ‬‬ ‫‪‬‬ ‫‪,‬‬ ‫‪gf‬‬ ‫‪‬‬ ‫‪1 3 2  , f   3 1 2 ‬‬
‫‪‬‬ ‫‪3‬‬ ‫‪2‬‬ ‫‪1‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫ـ‬ ‫ــا ا ــة ‪ S3‬ال ــالي } ‪ S3  {e,f ,f 2 ,g,gf ,gf 2‬و ـ ل‬ ‫و ال ــالي‬
‫ب على ‪S3‬‬ ‫ك ا ة ج ول ع ل ة ال‬
‫‪e‬‬ ‫‪f‬‬ ‫‪f2‬‬ ‫‪g‬‬ ‫‪gf‬‬ ‫‪gf 2‬‬
‫‪e‬‬ ‫‪e‬‬ ‫‪f‬‬ ‫‪f2‬‬ ‫‪g‬‬ ‫‪gf‬‬ ‫‪gf 2‬‬
‫‪f‬‬ ‫‪f‬‬ ‫‪f2‬‬ ‫‪e‬‬ ‫‪gf 2‬‬ ‫‪g‬‬ ‫‪gf‬‬
‫‪f2‬‬ ‫‪f2‬‬ ‫‪e‬‬ ‫‪f‬‬ ‫‪gf‬‬ ‫‪gf 2‬‬ ‫‪g‬‬
‫‪g‬‬ ‫‪g‬‬ ‫‪gf‬‬ ‫‪gf 2‬‬ ‫‪e‬‬ ‫‪f‬‬ ‫‪f2‬‬
‫‪gf‬‬ ‫‪gf‬‬ ‫‪gf 2‬‬ ‫‪g‬‬ ‫‪f2‬‬ ‫‪e‬‬ ‫‪f‬‬
‫‪gf 2‬‬ ‫‪gf 2‬‬ ‫‪g‬‬ ‫‪gf‬‬ ‫‪f‬‬ ‫‪f2‬‬ ‫‪e‬‬

‫‪٢٢‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ال ورة )‪(Cycle‬‬

‫قـــة‬ ‫ه ـ ـ ال‬ ‫ام رمـ ـ م ـ ــف فة ‪ 2  n‬لل ع ـ ـ ع ـ ـ ت يلـ ــة مـ ــا‪ ،‬لـ ـ‬ ‫إن اسـ ـ‬
‫ّ‬
‫ام رم ـ ـ م ـ ــف فة صـ ــف ‪1 n‬‬ ‫ـ ـ اس ـ ـ‬ ‫ال ح ـ ـ ة لل ﻻلـ ــة علـ ــى ال يلـ ــة‪ .‬إذ‬
‫ال ـ ـ ـ ﻼت وع ـ ـ ـ ها نقـ ـ ـ ل عـ ـ ـ هـ ـ ـ ه ال ـ ـ ـ ﻼت أنه ـ ــا دورة‬ ‫عـ ـ ـ‬ ‫لل ع ـ ـ ـ عـ ـ ـ‬
‫اصــل ضـ ب‬ ‫أ ـاً ــا سـ ﻻحقــا ال ع ـ عـ أ ت يلــة‬ ‫)‪.(Cycle‬‬
‫‪1 2 3 4‬‬
‫‪ . f  ‬نﻼحـ أن ‪ f‬ت ســل ‪1‬‬ ‫عـ ة دورات‪ .‬مـ ﻼً اع ـ ال يلــة ‪‬‬
‫‪‬‬ ‫‪2‬‬ ‫‪3‬‬ ‫‪4‬‬ ‫‪1‬‬ ‫‪‬‬
‫ام‬ ‫ـ اس ـ‬ ‫إلــى ‪ 2‬وت ســل ‪ 2‬إلــى ‪ 3‬وت ســل ‪ 3‬إلــى ‪ 4‬وت ســل ‪ 4‬إلــى ‪ ،1‬وه ــا‬
‫ع ‪.f‬‬ ‫ال ل ال الي )‪ f = (1 2 3 4‬لل ع‬

‫‪ . k  n‬لـ ـ‬ ‫ــ‬ ‫مـ ـ ج‬ ‫‪ n‬و ‪ k‬عـ ـ دي صـ ـ‬ ‫‪ ٨-٣‬تع ـــ ‪ :‬لـ ـ‬

‫عــة }‪ .{1,2,…,n‬ال يلــة ‪ f‬مـ ‪Sn‬‬ ‫‪ a1 , a 2 ,..., a k‬ع اص م لفة مـ ال‬
‫وال ي ت ق ما يلي‪:‬‬
‫‪f  a1   a 2 , f  a 2   a 3 ,...,f  a k 1   a k ,f  a k   a 1‬‬
‫الع اص ‪ ، a1 ,a 2 ,..., a k‬ت ي دورة ذات ـ ل‬ ‫ك ل ‪ f(a) = a‬ل ل ‪ a‬م غ‬
‫على ال ل ) ‪ . (a1 a 2 ...a k 1 a k‬ل ي ا م ﻼ في ‪S7‬‬ ‫)‪ k (Length‬وت‬
‫‪1 2 3 4 5 6 7‬‬
‫‪1 3 5 7 2   ‬‬ ‫‪‬‬
‫‪3 1 5 4 7 6 2‬‬
‫ﻻح أن ‪ 4‬و ‪ 6‬ﻻ ه ان في ال ورة ﻷن ل م ه ا ُي سل إلى نف ه ب اس ة ‪.f‬‬

‫ال ورات‬ ‫خ ائ‬ ‫‪ : ٩-٣‬ع‬

‫قة م ﻼ‬ ‫م‬ ‫أك‬ ‫ان ت‬ ‫‪ -١‬ال ورة ذات ال ل ‪k‬‬
‫‪(4173) = (1734) = (7341) = (3417) .‬‬
‫في ل م ة‪.‬‬ ‫ال ت‬ ‫ﻻح ان الع اص ت قى ب ف‬

‫‪٢٣‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ﻻن‬ ‫‪ -٢‬اع ـ ـ الـ ـ ورة ) ‪ f  (a1 ,a 2 ,..., a k‬ذات ال ـ ـ ل ‪ k‬اذن ‪f k  1Sn‬‬

‫ـ ـ ف ــي ال ـ ورة ‪ k‬م ـ ال ـ ات ح ــى ع ـ د ل ف ــه‪ .‬واض ــح أن‬ ‫‪ f k‬ت ـ ـ ك ــل ع‬
‫‪ f j  1Sn‬ل ل ‪ j‬اصغ م ‪.k‬‬
‫‪f‬‬ ‫‪ -٣‬لـ ـ م ل ــا ع اصـ ـ الـ ـ ورة ) ‪ f  (a1 ,a 2 ,...,a k‬عل ــى شـ ـ ل دائـ ـ ة ل انـ ـ‬
‫خانة واح ة مع ات اه ح ة عقارب ال اعة و ال الي مع ـ س ‪f‬‬ ‫ت ك لع‬
‫ـ ـ خانـ ــة واح ـ ـ ة ض ـ ـ ح ـ ــة عقـ ــارب ال ـ ــاعة أ أن‬ ‫ـ ـ ك ـ ــل ع‬ ‫أن‬ ‫ــ‬
‫) ‪. f 1  (a k , a k 1 ,...a 2 ,a1‬‬
‫ــل ع ـ د س ـ اه‬ ‫‪ -٤‬ال ـ ورة )‪ (a‬ذات ال ـ ل ‪ 1‬ت ســل الع ـ د ‪ a‬إلــى نف ــه و ـ ل‬
‫ال اي ‪.‬‬ ‫ل ‪ 1‬هي الع‬ ‫إلى نف ه‪ .‬أ أن ل دورة ذات‬

‫‪:‬‬ ‫‪ ١٠-٣‬ت‬
‫ل م ا يلي في ص رة م ف فة ‪: 2  n‬‬ ‫‪ -١‬اك‬
‫أ( )‪ (1 2 3‬و )‪ (2 3 1‬في ‪ S3‬ث في ‪. S5‬‬
‫ب( )‪ (1 2 3 5‬و )‪ (4 3 1 6‬في ‪ S6‬ث في ‪. S7‬‬
‫‪, fg , gf‬‬ ‫)‪ f = (1 2 4 5‬و )‪ .g = (4 5 1 6‬اح ـ‬ ‫‪ -٢‬فــي ‪ S6‬لـ‬
‫‪., g 1 f 1‬‬

‫‪ f‬و ‪ g‬أنه ـ ــا م ف ـ ــل ان )‪ (Disjoint‬إذا‬ ‫‪ :‬قـ ــال ع ـ ـ دورت ـ ـ‬ ‫‪ ١١-٣‬تع ــــ‬
‫ﻼ الـ ورت )‪ f = ( 1 3 4 6‬و = ‪g‬‬
‫عـ د م ـ ك ب ه ــا‪ .‬مـ ً‬ ‫ــان أ‬ ‫كان ــا ﻻ ت‬
‫)‪ (2 5 7 8‬م ف ــل ان ب ــا )‪ f = ( 1 3 4 6‬و)‪ g = (2 3 7 8‬غ ـ‬
‫مف ل ‪.‬‬
‫‪f‬‬ ‫فــي ‪ Sn‬فــﻸ عـ د ‪ n‬إذا انـ‬ ‫م ف ــل‬ ‫‪ f‬و ‪ g‬دورتـ‬ ‫مﻼح ــة‪ :‬إذا انـ‬
‫‪.‬‬ ‫الع‬ ‫ت سل ‪ n‬إلى ع د آخ فإن ‪ g‬ت سل ‪ n‬إلى نف ه والع‬

‫‪٢٤‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫)‪(Cycle Decomposition‬‬ ‫ال ل ل ال ور‬

‫‪ 1 2 3‬و ‪  4 5 ‬ع ا ال يلة‬ ‫إن حاصل ض ب ال ورت‬ ‫ّ‬
‫‪1 2 3 4 5‬‬
‫) ت ق (‪ 2 3 1 5 4  .‬‬
‫‪‬‬ ‫‪‬‬
‫و حاصـ ـ ـ ــل ض ـ ـ ـ ـ ب ال ـ ـ ـ ـ ورت ‪  2 4 8 6 ‬و ‪ 1 7 9 3‬ع ـ ـ ـ ــا‬
‫ال يلة‬
‫‪1 2 3 4 5 6 7 8 9‬‬
‫) ت ق (‪ 7 4 1 8 5 2 9 6 3  .‬‬
‫‪‬‬ ‫‪‬‬
‫ا يلى أن ل ت يلة ـ اب هــا علــى أنهــا حاصــل ضـ ب عـ ة دورات‬ ‫س‬
‫ه ال ل ل ال ور )‪.(Cycle Decomposition‬‬ ‫م ف لة وه ا ما ن‬

‫قة ح اب ال ل ل ال ور ل يلة‪:‬‬ ‫‪١٢-٣‬‬

‫‪ Sn‬ك اصــل ضـ ب‬ ‫ال قة ال ال ة تع ي خ ات ال ع ع أ ت يلــة ‪ f‬مـ‬
‫‪ 1‬‬ ‫‪2‬‬ ‫‪3 ... n ‬‬
‫‪،f  ‬‬ ‫‪‬‬ ‫دورات م ف لة‪ .‬ل‬
‫‪ f (1) f (2) f (3) ... f (n) ‬‬
‫ــل‬ ‫ال ال ــة ‪ 1, f (1), f 2 (1),f 3 (1),...‬ح ــى ن‬ ‫‪ -١‬ل أخ الع د ‪ 1‬ول ـ‬
‫‪. f1  1‬‬ ‫‪f (1) f 2 (1) ... f k11 (1) ‬‬ ‫علــ ــى ‪ . f k1 (1)  1‬ل ـ ـ ـ‬
‫إذا ه ت ل اﻷع اد ‪ 1, 2, 3, … , n‬في ‪ f1‬إذن ‪ f  f1‬وه ــا ت قــف‬
‫ة رق ‪.٢‬‬ ‫الع ل ة و هي ال ل ل‪ .‬وﻻ ن قل لل‬
‫ه ـ فــي ‪f1‬‬ ‫‪ -٢‬ل أخـ أصــغ عـ د ‪ i‬مـ اﻷعـ اد ‪ 1, 2, 3, … , n‬لـ‬
‫ـ ـ ـ ـ ــل علـ ـ ـ ـ ــى‬ ‫ال ال ـ ـ ـ ـ ــة ‪ i,f (i),f 2 (i),f 3 (i),...‬ح ـ ـ ـ ـ ــى ن‬ ‫ول ـ ـ ـ ـ ـ‬
‫‪ . f 2   i‬إذا‬ ‫‪f (i) f 2 (i) ... f k 2 1 (i) ‬‬ ‫‪ . f k 2 (i)  i‬ل ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ‬
‫هـ ت ــل اﻷعـ اد ‪ 1, 2, 3, … , n‬فــي ‪ f1‬أو ‪ f 2‬إذن ‪ f  f1f 2‬وه ــا‬
‫ة رق ‪.٣‬‬ ‫ت قف الع ل ة و هي ال ل ل‪ .‬وﻻ ن قل لل‬

‫‪٢٥‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫نأخـ أصــغ عـ د ‪ j‬مـ اﻷعـ اد ‪1, 2, 3, … , n‬‬ ‫ـة ‪ ٢‬حـ‬ ‫‪ -٣‬ن ـ ر ال‬
‫ــل عـ‬ ‫ــل علــى ‪ . f 3‬وه ـ ا ح ــى ن‬ ‫ه فــي ‪ f1‬أو ‪ f 2‬ح ــى ن‬ ‫ل‬
‫ـ ات علــى أن ‪ ، f  f1f 2f 3 ...f r‬وهـ ا هـ ال ل ــل الـ ور ل ـ‬ ‫‪ r‬مـ ال‬
‫‪.f‬‬

‫‪ ١٣-٣‬م ال‪ :‬اع ال يلة‬

‫‪ 1 2 3 4 5 6 7 8 9 10 11 12 ‬‬
‫‪f ‬‬ ‫‪‬‬
‫‪ 8 6 1 9 10 2 7 3 12 5 4 11 ‬‬
‫نأخ الع د ‪ ,1‬ل ي ا‬
‫‪f (1)  8‬‬
‫‪f 2 (1)  f  f (1)   f (8)  3‬‬
‫‪f 3 (1)  f  f 2 (1)   f (3)  1‬‬
‫إذن )‪ . f1  (1 8 3‬نﻼح ـ أن أصــغ عـ د لـ ي ـ د فــي ‪ f1‬هـ ‪ 2‬وه ــا نق ـ م‬
‫اب ما يلي‪:‬‬
‫‪f (2)  6‬‬
‫‪f 2 (2)  f  f (2)   f (6)  2‬‬
‫إذن )‪ . f 2  (2 6‬نﻼح أن أصغ ع د ل ي د في ‪ f1‬أو ‪ f 2‬ه ‪ 4‬وع ها‬
‫‪f (4)  9‬‬
‫‪f 2 (4)  f (9)  12‬‬
‫‪f 3 (4)  f  f 2 (4)   f (12)  11‬‬
‫‪f 4 (4)  f  f 3 (4)   f (11)  4‬‬
‫وم ذل ي ج أن ‪ . f3   4 9 12 11‬نﻼح أن أصغ ع د ل يـ د فــي‬
‫‪ f1‬أو ‪ f 2‬أو ‪ f 3‬ه ‪ 5‬و ال الي ن‬
‫‪f (5)  10‬‬

‫‪٢٦‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫‪f 2 (5)  f  f (5)   f (10)  5‬‬

‫أ أن ‪ . f 4   5 10 ‬نﻼحـ أن أصــغ عـ د لـ يـ د فــي ‪ f1‬أو ‪ f 2‬أو ‪ f 3‬أو‬
‫‪ f 4‬ه ‪ 7‬ول‬
‫‪f (7)  7‬‬
‫وم ـه )‪ . f5  (7‬نﻼح ـ أن ج ــع اﻷرقــام م ـ ‪ 1‬إلــى ‪ 12‬ق ـ وردت فــي ‪ f1‬أو‬
‫‪ f 2‬أو ‪ f 3‬أو ‪ f 4‬أو ‪ ، f 5‬وه ا ن قف و ن ل ي ا‬
‫‪f  1 8 3 2 6  4 9 12 11 5 10  7  .‬‬
‫وه ا يـ د ت ــاؤل ع ــا إذا ــان ال ل ــل الـ ور لل يلــة وح ـ أم ﻻ‪ .‬لـ ق ــا بـ ف‬
‫عـ د فــي ال يلــة ثـ أخـ‬ ‫ال ـ ء ــأك‬ ‫ال يلــة ول ـ‬ ‫ات ال ا قة علــى نفـ‬ ‫ال‬
‫ل ا على ال ل ل ال الي‬ ‫ع د ل ي د في ‪ f1‬وه ا‪ ...‬ل‬ ‫أك‬
‫‪f  12 11 4 9 10 5  8 3 1 7  6 2  .‬‬
‫قــة‬ ‫وال ــي ي ـ و ﻷول وهلــة أنــه م لــف عـ مــا ح ــل ا عل ــه ســا قا ول ـ فــي ال‬
‫ــح مـ ـ‬ ‫ي‬ ‫ال ــا ق‬ ‫ال ل ــل ال ــاب )ت قـ ـ (‪ .‬إن ت ــاو ال ل لـ ـ‬ ‫ه ـ ـ نف ـ ـ‬
‫ع ال ورات‪:‬‬ ‫ال ال‬ ‫ق‬ ‫ال‬
‫ـ ـ ال ـ ـ يل بـ ـ‬ ‫إبـ ـ الي‪ .‬و ال ــالي‬ ‫م ف ــل‬ ‫‪ -١‬حاص ــل ضـ ـ ب دورتـ ـ‬
‫ال ورات ال ف لة في أ ت ل ل‪.‬‬
‫ت ت ــ‬ ‫ال فـــا عل ــى نفـ ـ‬ ‫ــ‬ ‫اب اه ــا عـ ـ ة أشـ ـ ال‬ ‫ــ‬ ‫‪ -٢‬أ دورة‬
‫الع اص في ه ه ال ورة‪.‬‬
‫اه ـاً م ـ ش ـ ل ال ل ــل ال ـ ور ﻷ ت يلــة‬ ‫ـ أن تغ ـ‬ ‫ه ــاك ح قــة ثال ــة‬
‫ـ ح ـ فها م ـ‬ ‫وهــي أن ال ـ ورة ذات ال ـ ل ‪ 1‬هــي ال يلــة ال اي ـ ة و ال ــالي‬
‫ــ‬ ‫حاص ــل ضـ ـ ب الـ ـ ورات ال ف ــلة‪ ،‬مـ ـ ﻼً الـ ـ ورة )‪ (7‬ف ــي ال ــال ال ــاب‬
‫اب ها في ال ل ل ال ور ‪.‬‬ ‫اﻻس غ اء ع‬

‫‪٢٧‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫م ال ﻼت ال ال ة‪:‬‬ ‫‪ :‬اك ال ل ل ال ور ل ل‬ ‫‪ ١٤-٣‬ت‬

‫‪1 2 3 4 5 6 7‬‬ ‫‪8 9 10 ‬‬
‫‪f ‬‬
‫‪2 5 9 7 1 3 6‬‬ ‫‪8 4 10 ‬‬
‫‪1 2 3 4 5 6 7‬‬ ‫‪8 9 10 11‬‬
‫‪g‬‬
‫‪1 6 4 3 10 5 9‬‬ ‫‪7 8 11 2 ‬‬

‫اصــل‬ ‫اﻷح ــان ل ا ــة حاصــل ض ـ ب دورات غ ـ ـ م ف ــلة‬ ‫ق ـ ن ــاج ع ـ‬

‫ــاب‬ ‫ـ ات الـ اردة فــي اﻷعلــى ل‬ ‫ال‬ ‫م نفـ‬ ‫ضـ ب دورات م ف ــلة وه ــا ن ـ‬
‫ال ل ل ال ور ل يلة مع مﻼح ة أنه ﻻ حاجة ﻹعادة ا ــة ال يلــة علــى شـ ل‬
‫ال ل ب‪.‬‬ ‫م ف فة ‪ . 2  2‬وال ال ال الي ي‬

‫ال يلة‬ ‫‪ ١٥-٣‬م ال‪ :‬اع‬

‫‪f  1 5 3 3 1 6  2 4 5 1 2 3‬‬
‫ــا قل ــا‪.‬‬ ‫ـارة عـ حاصــل ضـ ب دورات غ ـ م ف ــلة‬ ‫وال ي م ال اضــح أنهــا‬
‫ـ ـ ات الـ ـ اردة فـ ــي‬ ‫ال‬ ‫م نف ـ ـ‬ ‫اصـ ــل ض ـ ـ ب دورات م ف ـــلة ن ـ ـ‬ ‫ل اب هـــا‬
‫أن ‪) f(1) = 4‬ت ق ( ال ــل‬ ‫ح اب ال ل ل ال ور ل يلة ون أ الع د ‪ 1‬ل‬
‫ـاً ‪ f(6) = 1‬إذاً ‪. f1  1 4 3 6 ‬‬ ‫ـاً ‪ f(3) = 6‬أ‬ ‫‪ f(4) = 3‬أ‬
‫ــل عل ــى أن ‪ f  1 4 3 6  2 5 ‬وهـ ـ‬ ‫ق ــة ن‬ ‫ال‬ ‫اﻹك ــال بـ ـ ف‬
‫حاصل ض ب دورات م ف لة‪.‬‬
‫‪ :‬أوجـ ال ل ــل الـ ور ل ــل مـ ح اصــل ضـ ب الـ ورات الغ ـ‬ ‫‪ ١٦-٣‬ت ـ‬
‫م ف لة ال ال ة‪:‬‬
‫‪1‬‬ ‫‪2 3 2 3 4  3 4 5 ‬‬ ‫أ(‬
‫‪1 2  2 3 3 4  4 5‬‬ ‫ب(‬
‫‪1 5 1 4 1 31 3‬‬ ‫ج(‬

‫‪٢٨‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ت ار ال اب ال ال‬

‫ب لل م ة ‪. S2‬‬ ‫ج ول ال‬ ‫‪ -١‬اك‬

‫‪ -٢‬اع ال ﻼت ال ال ة‪:‬‬
‫‪ 1 2 3 4‬‬ ‫‪1 2 3 4‬‬ ‫‪1 2 3 4‬‬
‫‪h ‬‬ ‫‪‬‬ ‫‪،‬‬ ‫‪g‬‬ ‫‪‬‬ ‫‪3 1 2 4‬‬ ‫‪،‬‬ ‫‪f‬‬ ‫‪‬‬ ‫‪3 4 1 2‬‬
‫‪2 3 4 1‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫ل م ا يلي‪.fg, gh, h 1g, hgf , g 1hf 1 :‬‬ ‫اح‬
‫ال ورات‬ ‫‪ -٣‬اع‬
‫‪h  1 2 4 6  , g   4 5 1 , f   2 1 4 3 5 ‬‬
‫ل م ا يلي‪.fg, gh, h 1g, hgf , g 1hf 1 :‬‬ ‫اح‬
‫ال ل ل ال ور ل ٍل م ال ورات ال ال ة‬ ‫‪ -٤‬اك‬
‫‪1‬‬ ‫‪2‬‬ ‫‪3‬‬ ‫‪4‬‬ ‫‪5‬‬ ‫‪6‬‬ ‫‪7 8 9‬‬
‫‪2‬‬ ‫‪4‬‬ ‫‪7‬‬ ‫‪8‬‬ ‫‪5‬‬ ‫‪1‬‬ ‫‪9 3 6 ‬‬
‫‪‬‬
‫‪1‬‬ ‫‪2‬‬ ‫‪3‬‬ ‫‪4‬‬ ‫‪5‬‬ ‫‪6‬‬ ‫‪7 8 9 10 ‬‬
‫‪4‬‬ ‫‪5‬‬ ‫‪2‬‬ ‫‪3‬‬ ‫‪1‬‬ ‫‪6‬‬ ‫‪7 9 10 8 ‬‬
‫‪‬‬
‫‪1 2 3 4 5 6‬‬ ‫‪7 8 9 10 11 ‬‬
‫‪1 2 3 4 9 8‬‬ ‫‪5 7 6 11 10 ‬‬
‫‪‬‬
‫ح اص ــل ضـ ـ ب الـ ـ ورات الغ ـ ـ م ف ــلة ال ال ــة عل ــى شـ ـ ل ح اص ــل‬ ‫‪ -٥‬اك ــ‬
‫ض ب دورات م ف لة‪:‬‬
‫‪1‬‬ ‫‪5 3 2 3 4  3 6 4 ‬‬ ‫أ(‬
‫‪1 2  2 3 3 4  4 5‬‬ ‫ب(‬
‫‪1 2 1 4 1 5 1 3‬‬ ‫ج(‬

‫‪٢٩‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ال اب ال ا ع‬
‫ال م ال ائ ة ورت ة الع‬
‫‪Cyclic Groups and Order of element‬‬

‫عة ‪، a   a n :n ‬‬ ‫في ال م ة ‪ ، G‬ال‬ ‫‪a‬ع‬ ‫‪ ١-٤‬م ألة ‪ :‬ل‬

‫‪ ،a‬ت ل زم ة ج ئ ة م ‪. G‬‬ ‫الع‬ ‫لق‬ ‫وال ي ت‬
‫ـ ‪.a‬‬ ‫خال ــة ﻷن ف هــا ال اي ـ والع‬ ‫عــة ‪  a ‬ل ـ‬ ‫ال ــل ‪ :‬واضــح أن ال‬
‫‪َ n‬و ‪ m‬ف ــي ‪. ‬‬ ‫‪َ x‬و ‪ y‬ف ــي ‪ ، a ‬إذن ‪ y  a m ، x  a n‬ح ـ ـ‬ ‫ــ‬ ‫خـ ـ ع‬
‫اﻵن ل ي ا‬
‫‪x y 1  a n  a m ‬‬
‫‪1‬‬

‫‪ a n a  m  a n m‬‬
‫عــة ‪  a ‬و ال ــالي ‪ a ‬‬ ‫ــا أن ‪ n  m‬ت ــي لـ ـ ‪ ، ‬إذن ‪ x y 1‬ي ــي لل‬
‫زم ة ج ئ ة م ‪. G‬‬

‫ـ فــي ال مـ ة ‪ ،G‬ال مـ ة ال ئ ــة ‪  a ‬ت ـ ى ال مـ ة‬ ‫‪ a‬ع‬ ‫‪ ٣-٤‬تع ـ ‪ :‬لـ‬

‫ـ ‪(Cyclic subgroup generated by a) a‬‬ ‫ال ئ ــة ال ائ ــة ال لـ ة الع‬
‫ال مـ ة ‪ G‬م لـ ة أحـ ع اصـ ها ‪ ،‬ع ــى‬ ‫ا ار )مﱠ ل ‪ .(a‬إذا انـ‬ ‫وق نق ل اخ‬
‫ـ ـ واحـ ـ ‪ a‬مـ ـ ع اصـ ـ ال مـ ـ ة ‪ G‬فإنه ــا ت ـ ـ ى زمـ ـ ة دائ ــة‬ ‫أن ‪ G   a ‬لع‬
‫‪ a‬م ل ال م ة ‪.(Generator of G) G‬‬ ‫)‪ ، (Cyclic group‬ون ى الع‬

‫‪ ٤-٤‬أم لة ‪:‬‬
‫‪ G‬أ زم ة ‪ ،‬واضح أن ‪ 1  1‬زم ة ج ئ ة دائ ة ‪.‬‬ ‫‪ -١‬ل‬
‫ال م ة ‪G  1,  1,i ,  i‬‬ ‫‪ -٢‬اع‬
‫‪ . i‬نﻼح أن‬ ‫الع‬ ‫اع‬

‫‪٣٠‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫‪i‬‬ ‫‪ i,  i    1,  i    i,  i  1,‬‬

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

‫ـ ‪.i‬‬ ‫و ال الي ‪ ،  i  1,  1,i ,  i  G‬أ أن ‪ G‬زم ة دائ ة م ل ة الع‬

‫م ل ـ لل م ـ ة ‪ G‬ﻷن‬ ‫ـاً ‪) G    i‬ت ق ـ (‪ .‬ﻻح ـ أن ‪ -1‬ل ـ‬ ‫قــة أ‬ ‫فــي ال‬
‫‪. 1  1 ,  1  G‬‬

‫دائ ة ‪.‬‬ ‫أن ال م ة ‪ 8  1,3,5,7‬ل‬ ‫‪ ٥-٤‬م ألة ‪ :‬أث‬

‫‪ 3‬واضح أن‬ ‫الع‬ ‫ال ل ‪:‬واضح أن ‪ . 1  1‬اﻵن اع‬
‫‪32  3.3  9  1‬‬
‫‪33  32 3 1.3  3‬‬
‫‪34  33 .3  3.3  1‬‬
‫كل‬
‫‪3 1  3‬‬
‫‪32   31   3.3 1‬‬
‫‪2‬‬

‫ـ ـ ــح أن ‪ 3k‬إمـ ـ ــا ت ـ ـ ــاو ‪ 3‬أو ‪ 1‬ت ع ـ ـ ـاً ل ـ ـ ـ ن ‪ K‬زوج ـ ـ ــي أو ف ـ ـ ـ د ل ـ ـ ـ ل‬ ‫ي‬
‫قــه أن ‪.  7  1،7 ، 5  1,5‬‬ ‫ال‬ ‫ـ اﻹث ــات بـ ف‬ ‫‪. 3  1,3‬‬
‫ال ل ب‪.‬‬ ‫في ‪ *8‬وه ا ي‬ ‫إذن ‪  x   *8‬ﻷ ع‬
‫ـ ح رمـ ه‬ ‫م ا ال مـ ال عــي للع ل ــة ال ائ ــة فــإن ال ايـ‬ ‫ﻻحـ أنــه إذا اسـ‬
‫ـ ـ ـ ـ ـ ـ ـ ـ ـ ‪ ، –a‬والق ـ ـ ـ ـ ـ ـ ـ ـ ـ ه ‪a n‬‬ ‫ـ ـ ـ ـ ـ ـ ـ ـ ـ ‪ a‬هــ ـ ـ ـ ـ ـ ـ ـ ـ الع‬ ‫ه ـ ـ ـ ـ ـ ـ ـ ـ ـ ‪ 0‬وال ع ـ ـ ـ ـ ـ ـ ـ ـ ـ س للع‬
‫ح ‪ . na  a  a ...  a‬اﻵن نأخ هاذي ال ال‬ ‫ت‬
‫‪ ٦-٤‬أم لة ‪:‬‬
‫ـ ‪ .-1‬افـ ض‬ ‫ـ ‪ 1‬و ـ ل م لـ ة الع‬ ‫‪   ,   -١‬زمـ ة دائ ــة م لـ ة الع‬
‫أن ‪ a‬إذن‬

‫‪٣١‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫‪a 1  1  1 ...  1  a11‬‬

‫‪   1‬‬
‫إث ات أن ‪.   1‬‬ ‫ال ل‬
‫إث ات أن ‪.  n  1‬‬ ‫‪n , ‬‬ ‫‪ -٢‬في ال م ة‬

‫‪ G   a ‬فإن ‪. G   a 1 ‬‬ ‫‪ G‬زم ة دائ ة و ان‬ ‫‪ ٧-٤‬م ألة ‪ :‬إذا ان‬

‫ال ل ‪:‬‬
‫‪Let x G‬‬ ‫‪ x  a n , n ‬‬
‫‪1‬‬
‫‪ x   a n  ‬‬
‫‪1‬‬

‫‪‬‬ ‫‪‬‬
‫‪1‬‬
‫‪ x   a 1  ‬‬
‫‪n‬‬

‫‪‬‬ ‫‪‬‬
‫‪ x   a 1 ‬‬
‫‪n‬‬

‫ـ ــا أن ‪  n ‬إذن ‪ x  a 1 ‬و ال ـ ــالي ‪ G  a 1 ‬ول ـ ـ ن ـ ـ نعل ـ ـ أن‬

‫‪ a 1   G‬إذن ‪ . G   a 1 ‬وه ال ل ب ‪.‬‬

‫‪ ٨-٤‬م ألة ‪ :‬كل زم ة دائ ة ت ن إب ال ة ‪.‬‬

‫‪َ x‬و ‪ y‬فــي ‪ .G‬إذن‬ ‫ـ‬ ‫‪ . G   a ‬خـ ع‬ ‫‪ G‬زمـ ة دائ ــة ح ـ‬ ‫ال ــل‪ :‬لـ‬
‫‪َ n‬و ‪ m‬في ‪ . ‬اﻵن ل ي ا‬ ‫‪ y  am ، x  an‬ح‬
‫‪x y  a n a m  a n m  a mn  a m a n  yx‬‬
‫إذن ‪ G‬إب ال ة‪.‬‬
‫ال ــألة ال ــا قة م ق ـ ؟ ال ـ اب علــى وجــه الع ـ م ﻻ‪ ،‬ف ـ ﻼً ال م ـ ة‬ ‫هــل ع ـ‬
‫ا رأي ا سا قا‪.‬‬ ‫دائ ة‬ ‫ل‬ ‫‪ *8‬إب ال ة ول‬

‫‪٣٢‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫دائ ة‪.‬‬ ‫ة‪ :‬ل زم ة ج ئ ة م زم ة دائ ة ت ن هي اﻷخ‬ ‫‪ ٩-٤‬ن‬

‫ـ ـ ـ ‪ ،a‬أ أن ‪، G  a‬‬ ‫ال هـ ـ ــان‪ :‬اف ـ ـ ـ ض أن ‪ G‬زم ـ ـ ـ ة دائ ـ ـ ــة م ل ـ ـ ـ ة الع‬
‫}‪ H  {1‬فــإن ‪ H  1‬و ال ــالي‬ ‫واف ض أن ‪ H‬زم ة ج ئ ــة مـ ‪ .G‬إذا انـ‬
‫ال اي فل ف ض أن ‪ a k‬ي ي ل ـ‬ ‫ع اص غ‬ ‫‪H‬ت‬ ‫ت ن دائ ة‪ .‬إذا ان‬
‫‪  a k ‬ي ــي لـ ـ ‪ H‬وم ــه ‪a  k‬‬
‫‪1‬‬
‫‪ . k  0‬ــا أن ‪ H‬زم ـ ة ج ئ ــة إذن‬ ‫‪H‬حـ‬
‫ـ ــا دائ ـ ــا اف ـ ـ اض أن ‪ . k  0‬اﻵن ل فـ ـ ض أن ‪ m‬ه ـ ـ‬ ‫ي ــي لـ ـ ـ ‪ .H‬وه ـ ــا‬
‫أن ‪ a m‬ي ي لـ ‪ .H‬إذن ل ي ا‬ ‫أصغ ع د ص ح م ج‬
‫)‪a m  H ................. (I‬‬
‫ــة الق ـ ـ ة عل ــى اﻷعـ ـ اد‬ ‫ام ن‬ ‫ــا ف ضـ ـ ا‪ .‬إذن اسـ ـ‬ ‫ﻻحـ ـ أن ‪k > m‬‬
‫ة ل يا‬ ‫ال‬
‫‪k  mq  r ,‬‬ ‫‪0rm‬‬
‫‪ r  0‬إذن‬ ‫ل ف ض أن‬
‫‪k  qm  r‬‬
‫‪ a r  a k mq  a k a  mq  a k (a m )  q‬‬
‫ــا أن ‪َ a k‬و ‪ (a m )  q‬ف ــي ‪) H‬ل ــاذا؟(‪ ،‬إذن مـ ـ اﻹغ ــﻼق ‪ a r‬ي ــي ل ـ ـ ‪،H‬‬
‫ـ أن ‪ a m‬ي ــي ل ـ ‪H‬‬ ‫ن ‪ m‬هي أصغ ع د ص ح م ج‬ ‫وه ا ي اق‬
‫ن ‪ r = 0‬و ال الي ‪ k  qm‬و ج م ذل أن‬ ‫ﻷن ‪ .r < m‬إذن ﻻ ب أن‬
‫‪a k  a mq  (a m )q  a m‬‬
‫أ أن‬
‫‪H  am‬‬ ‫)‪.................(II‬‬
‫)‪ (I‬و )‪ (II‬ي ج أن ‪ ، H  a m‬أ أن ‪ H‬دائ ة‪.‬‬ ‫م‬

‫‪٣٣‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫‪( Order of element) :‬‬ ‫رت ة الع‬

‫ـ )‪ a (Order of element‬فــي ال مـ ة ‪ G‬هــي‬ ‫‪ ١٠-٤‬تع ـ ‪ :‬رت ــة الع‬
‫ـ ـ ــال م‬ ‫أن ‪ a n  1G‬ون م ـ ـ ـ ل ـ ـ ـ ل‬ ‫ـــ‬ ‫‪n‬‬ ‫أصـ ـ ــغ ع ـ ـ ـ د ص ـ ـ ـ ح م ج ـ ـ ـ‬
‫‪ . a  n‬إذا لـ ـ ي جـ ـ م ــل هـ ـ ا العـ ـ د ‪ n‬فإن ــا نقـ ـ ل عـ ـ رت ــة ‪ a‬أنه ــا ﻻنهائ ــة‬
‫م ال م ال عي في ال م ة‬ ‫‪ . a  ‬ﻻح أنه إذا ا ن‬ ‫)‪ (Infinite‬ون‬
‫أن‬ ‫ـــ‬ ‫‪n‬‬ ‫ـ ـ ـ ح ه ـ ــي أصـ ـ ــغ عـ ـ ـ د صـ ـ ـ ح م جـ ـ ـ‬ ‫ال ت ـ ــة‬ ‫فـ ـ ــإن تع ـ ـ ـ‬
‫‪. na  0G‬‬

‫‪ ١١-٤‬أم لة‪:‬‬
‫ح واح ‪.‬‬ ‫ال اي ‪ 1G‬في ال م ة ‪ G‬رت ه دائ ا هي الع د ال‬ ‫‪ -١‬الع‬
‫‪ -٢‬فــي ال مـ ة }‪ G={1, -1, i, -i‬واضــح أن ‪i  4 , i  4 , 1  2‬‬
‫)ت ق (‬
‫‪ r‬ما ع ا ‪ 1‬و ‪ -1‬فإن ‪. r  ‬‬ ‫‪ -٣‬في ال م ة *‪ ، ‬ﻷ ع‬
‫‪ -٤‬في ال م ة ‪ *13‬واضح أن ‪) 2  12 , 4  6 , 8  4 ,‬ت ق (‬
‫‪1 1‬‬
‫‪ A  ‬فـ ــي ال م ـ ـ ة ) ‪ GL 2 ( ‬رت ـ ــه ﻻ نهائ ـ ــة‪ .‬ن ـ ـ ع‬ ‫‪ -٥‬الع ـ ـ ‪‬‬
‫‪‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪‬‬
‫‪ 1 3‬‬ ‫‪1 2 ‬‬
‫‪A3  ‬‬ ‫‪‬‬ ‫ل‬ ‫ـ‬ ‫ـ‬ ‫ـ‬ ‫و‬ ‫‪A‬‬ ‫‪2‬‬
‫‪‬‬ ‫ـ ــا يل ـ ــي‪ ،‬واض ـ ــح أن ‪ 0 1 ‬‬ ‫إث ـ ــات ذلـ ـ ـ‬
‫‪‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬
‫‪1 k ‬‬
‫‪ A k  ‬ل ــل ‪ . k  1‬أ أن‬ ‫و اﻻس ـ اج ال اضــي ن ـ ع إث ــات أن ‪‬‬
‫‪‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪‬‬
‫‪ Ak  I‬ل ل ‪. k  1‬‬

‫ل الع اص في ال م ال ال ة‪:‬‬ ‫رت‬ ‫‪ :‬أح‬ ‫‪ ١٢-٤‬ت‬

‫‪6 , ,‬‬ ‫‪  ,  , S ,  ‬‬
‫*‬
‫‪7‬‬ ‫‪3‬‬

‫‪٣٤‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ـ ى رت ــة ال مـ ة‬ ‫‪ G‬زم ة م ه ــة فــإن عـ د ع اصـ ها‬ ‫‪ :‬إذا ان‬ ‫‪ ١٣-٤‬تع‬

‫‪.G‬‬ ‫ال م‬ ‫‪ G‬ون م ل ل‬

‫أن ‪ . a  n‬إذن‬ ‫ــــ‬ ‫ـ ـ ـ ـ فـ ـ ـ ــي ال م ـ ـ ـ ـ ة ‪G‬‬ ‫‪a‬ع‬ ‫‪ ١٤-٤‬م ــــ ـــألة‪ :‬ل ـ ـ ـ ـ‬
‫‪.k‬‬ ‫‪ a k  1G‬إذا وفق إذا ان ‪ n‬ق‬
‫ح ل يا‬ ‫‪ k‬إذن ‪ k  nq‬و‬ ‫ال ل‪ :‬أوﻻ ل ف ض أن ‪ n‬ق‬
‫‪a k  a nq   a n   1qG  1G‬‬
‫‪q‬‬

‫ــة الق ـ ة علــى العـ دي ‪ n‬و ‪ k‬ن ـ أن‬ ‫ـ ن‬ ‫ثان ا ل فـ ض أن ‪ . a k  1G‬ب‬

‫‪ . 0  r  n‬ل ف ض أن ‪ r  0‬إذن ل ي ا‬ ‫‪ k  nq  r‬ح‬
‫‪a r  a k nq  a k a  nq  1G  a n ‬‬
‫‪q‬‬
‫‪ 1G q  1G‬‬
‫ـ ‪ ،a‬إذن ﻻب ـ أن ـ ن ‪r = 0‬‬ ‫مــع ـ ن ‪ n‬رت ــة الع‬ ‫ول ـ ه ـ ا ت ــاق‬
‫‪.k‬‬ ‫و ال الي ‪ k  nq‬أ أن ‪ n‬ق‬

‫أن ‪ . a  n‬إذن‬ ‫ــــ‬ ‫ـ ـ ـ ـ فـ ـ ـ ــي ال م ـ ـ ـ ـ ة ‪G‬‬ ‫‪a‬ع‬ ‫ـ ــــــة‪ :‬ل ـ ـ ـ ـ‬ ‫‪ ١٥-٤‬ن‬

‫ج ع ه ه الع اص ‪ 1, a,a 2 ,..., a n 1‬م لفة‪،‬‬ ‫‪ a  1, a,a 2 ,...,a n 1‬ح‬
‫ن ‪. a  a n‬‬ ‫و ال الي‬
‫ال هان‪ :‬واضح أن ‪.1, a, a 2 ,..., a n 1  a‬‬
‫ــا ا ــة‬ ‫ــة الق ـ ة‬ ‫ـ ‪ a k‬فــي ‪ a‬ح ـ ‪ . k  0‬م ـ ن‬ ‫اﻵن خ ـ الع‬
‫‪ 0  r  n‬وم ذل‬ ‫‪ k  qn  r‬ح‬
‫‪a k  a qn r  a qn a r   a n  a r  1qG a r  a r‬‬
‫‪q‬‬

‫و ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ــا أن ‪ r  n‬إذن ‪ a k  1,a,a 2 ,...,a n 1‬و ال ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ــالي‬

‫‪ a  1, a, a 2 ,..., a n 1‬وم ـ ــه ي ـ ـ ـ ج أن ‪ . a  1, a,a 2 ,...,a n 1‬ل ـ ــي‬
‫ـ ـ ان ‪a m‬‬ ‫وهـ ـ أن ه ــاك ع‬ ‫أن هـ ـ ه الع اصـ ـ م لف ــة سـ ـ ف ض الع ـ ـ‬ ‫ن ــ‬

‫‪٣٥‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ــ ب‬ ‫‪.0  k  m  n‬‬ ‫و ‪ a k‬ل ـ ــا م لف ـ ـ ‪ ،‬ع ـ ــى أن ‪ ، a k  a m‬ح ـ ـ‬

‫ــا ان ‪ m  k  n‬إذن ﻻبـ ـ أن‬ ‫ال ــاواة ف ــي ‪ a  k‬ن ـ ـ أن ‪ a mk  1G‬ول ـ ـ‬
‫)ل ــاذا؟(‪ .‬و ال ــالي ‪ . m  k‬إذن ج ــع‬ ‫‪ m  k  0‬وﻻ ح ــل ا علــى ت ــاق‬
‫ن ‪. a n‬‬ ‫الع اص ‪ 1, a,a 2 ,..., a n 1‬م لفة‪ ،‬و ال الي‬

‫ـ ‪ a‬فــي ‪G‬‬ ‫أن ‪ . G  n‬إذا ُوج ع‬ ‫‪ G‬زم ة‬ ‫‪ :‬ل‬ ‫‪ ١٦-٤‬ت‬

‫أن ‪ a  n‬فإن ‪. G  a‬‬

‫أن‬ ‫أن ‪ ، a  n‬فأث ـ‬ ‫ـ‬ ‫ـ فــي ال م ـ ة ‪G‬‬ ‫‪ :‬إذا ــان ‪ a‬ع‬ ‫‪١٧-٤‬ت ـــ‬
‫‪ a‬زم ة دائ ة م ال ت ة ‪.n‬‬

‫في ال م ة ‪ G‬فإن ‪. a  a 1‬‬ ‫أنه ﻷ ‪ a‬ع‬ ‫‪ ١٨-٤‬م ألة‪ :‬أث‬

‫‪:a‬‬ ‫ال ل ه اك حال ان ل ت ة الع‬
‫‪ . n  ‬إذن ل ي ا‬ ‫أوﻻً ل ف ض أن ‪ . a  ‬ل ف ض أن ‪ a 1  n‬ح‬

‫‪a   1‬‬
‫‪1 n‬‬
‫‪G‬‬

‫‪ a   1‬‬
‫‪n 1‬‬
‫‪G‬‬

‫ي ج‬ ‫أخ ال ع س لل ف‬
‫‪a n  1G‬‬
‫‪ a n‬‬
‫‪ .‬إذن ﻻ ب أن ‪. a 1  ‬‬ ‫وه ا ت اق‬
‫ثان ا‪ :‬ل ف ض أن ‪ . a  n‬اﻵن ل ي ا‬
‫‪a   a ‬‬
‫‪1 n‬‬ ‫‪n 1‬‬
‫‪ 1G 1  1G‬‬

‫‪٣٦‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ال ت ــة ‪ . m  n‬ل ـ ـ‬ ‫‪ m‬و ال ــالي مـ ـ تع ـ ـ‬ ‫إذن ‪ a 1‬لــه رت ــة م ه ــة ولـ ـ‬
‫ﻻح أن‬
‫‪m‬‬ ‫‪1‬‬
‫‪a   a 1     a 1    1G   1G‬‬
‫‪m‬‬ ‫‪1‬‬ ‫‪m‬‬ ‫‪1‬‬

‫‪‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪‬‬

‫رت ـ ــة الع ـ ـ و ـ ــا أن رت ـ ــة ‪ a‬هـ ــي ‪ n‬ن ـ ـ ج أن ‪n  m‬‬ ‫إذن م ـ ـ تع ـ ـ‬
‫و ال الي ‪ n  m‬أ أن ‪ a  a 1‬وه ال ل ب‪.‬‬

‫‪٣٧‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ال اب ال ا ع‬ ‫ت ار‬
‫‪ g‬ع ـ فــي ال مـ ة ‪ . G‬فــي ــل مـ ال ــاﻻت ال ال ــة بـ مــا إذا‬ ‫‪ -١‬لـ‬
‫كانـ ال م ـ ة ال ئ ــة ‪ g‬م ه ــة أم غ ـ م ه ــة‪ .‬وذا انـ م ه ــة فع ـ ِّ د‬
‫ع اص ها أما إذا ان غ م ه ة فأع ال رة العامة لع اص ها‪:‬‬
‫‪G  S4 ,‬‬ ‫أ( ‪g  1 2 3 4 ‬‬
‫‪0 1‬‬
‫‪G  GL 2 (), g  ‬‬
‫‪1‬‬ ‫‪0‬‬ ‫ب( ‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪ 1 1‬‬
‫‪G  GL 2 (), g  ‬‬
‫‪0‬‬ ‫‪1‬‬ ‫ج( ‪‬‬
‫‪‬‬ ‫‪‬‬
‫‪ g‬ال م ة ‪ G‬في ل م ا يلي‪:‬‬ ‫رت ة الع‬ ‫‪ -٢‬اح‬
‫‪G  S6 ,‬‬ ‫أ( ‪g   2 4 3 5 ‬‬
‫‪G  S7 ,‬‬ ‫ب( ‪g   2 4 5 6 7 ‬‬
‫‪G  9 , ,‬‬ ‫ج( ‪g  4‬‬
‫‪G   *11 ,  ,‬‬ ‫د( ‪g  5‬‬
‫ما يلي‪:‬‬ ‫أن ‪ . g  n‬أث‬ ‫في ال م ة ‪G‬‬ ‫‪ g‬ع‬ ‫‪ -٣‬ل‬
‫‪ r‬ه ـ ــاقي ق ـ ة ‪ m‬علــى‬ ‫أ( ل ــل ع ـ د ص ـ ح ‪ m‬فــإن ‪ g m  g r‬ح ـ‬
‫‪.n‬‬
‫‪ m‬م اعف لـ ‪. n‬‬ ‫ب( ‪ g m  1G‬إذا وفق إذا ان‬
‫‪ m  k‬م اعف لـ ‪. n‬‬ ‫ج( ‪ g m  g k‬إذا وفق إذا ان‬
‫‪. a  b 1ab‬‬ ‫أن‬ ‫ان ف ها‪ .‬أث‬ ‫‪ a‬و‪ b‬ع‬ ‫‪ G‬زم ة ول‬ ‫‪ -٤‬ل‬
‫أن ‪ G‬م لـ ة ــل الع اصـ ال ــي لهــا نفـ‬ ‫‪ G‬زمـ ة م ه ــة‪ .‬أث ـ‬ ‫‪ -٥‬لـ‬
‫رت ة ‪.G‬‬

‫‪٣٨‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ال اب ال ام‬
‫عات ال افقة وزم الق ة‬ ‫ال‬
‫‪Cosets and Quotient Groups‬‬

‫ـ ان فــي ‪.G‬‬ ‫‪a‬و‪b‬ع‬ ‫‪ H‬زمـ ة ج ئ ــة مـ ‪ .G‬ولـ‬ ‫‪ :‬لـ‬ ‫‪ ١-٥‬تع‬

‫نع ِّ ف العﻼقة ال ال ة ب‬
‫‪ a‬و ‪ b‬ال الي‪:‬‬
‫‪a  b  mod H   ab 1  H‬‬
‫ة‪:‬‬ ‫‪ ٢-٥‬ن‬
‫‪ -١‬العﻼقة ‪   ‬ال ع فة أعﻼه‪ ،‬عﻼقة ت اف )‪.(Equivalence relation‬‬
‫ـ ‪ a‬ب اس ـ ة‬ ‫‪ -٢‬ف ل ال اف )‪ C(a) (Equivalence class‬ال ـ ة للع‬
‫‪. Ha  ha : h  H‬‬ ‫عة‬ ‫ه ه العﻼقة ه ال‬
‫ال هان‪:‬‬
‫عات‪.‬‬ ‫ة ال‬ ‫ه لة ع ال ج ع إلى مق ر ن‬ ‫إث ات ه ا ال ء‬ ‫‪-١‬‬
‫ف ل ال اف واضح أن‬ ‫‪ - ٢‬م تع‬
‫‪C  a   x  G :x  a  mod H ‬‬
‫‪ x  G :xa 1  H‬‬
‫‪ x  G :xa 1a  Ha‬‬
‫‪ x  G :x  Ha‬‬
‫‪ Ha‬‬

‫ـ فــي ‪ .G‬ف ـل‬ ‫‪a‬ع‬ ‫‪ H‬زم ة ج ئ ة مـ ‪ .G‬ولـ‬ ‫‪:‬ل‬ ‫‪ ٣-٥‬تع‬

‫عة ال افقة ال ــى )‪ (Right coset‬لل مـ ة ال ئ ــة‬ ‫ى ال‬ ‫ال اف ‪Ha‬‬
‫عــة ال افقــة‬ ‫ـ ى ال‬ ‫ـ ‪ .a‬ال ــل ف ــل ال ــاف ‪aH‬‬ ‫‪ H‬ب اس ـ ة الع‬

‫‪٣٩‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ـ ‪ ) .a‬ﻻح ـ أن‬ ‫)‪ (Left coset‬لل م ـ ة ال ئ ــة ‪ H‬ب اس ـ ة الع‬ ‫ال ـ‬

‫ف ل ال اف ‪ aH‬ي أ م العﻼقة ‪.( a  b  mod H   a 1b  H‬‬

‫عــات ال افقــة‬ ‫ال‬ ‫م ال مـ ال عــي لل مـ ة فإن ــا ن ـ‬ ‫مﻼح ة‪ :‬إذا ا ن‬

‫كال الي‪ H + a ={h+a:h  H} :‬و ال ل ‪.a + H‬‬

‫‪ ٤-٥‬أم لة‪:‬‬
‫ـ ال ايـ ـ ‪ 1G‬فــي ال مـ ـ ة ‪ G‬واع ــ ال مــ ة ال ئ ــة م هــا ‪.H‬‬ ‫‪ -١‬اع ـ ـ الع‬
‫واضح أن‬
‫‪H1  h1: h  H  H  1h : h  H  1H‬‬
‫ال اي ‪.‬‬ ‫ل ف ها ب اس ة الع‬ ‫ىو‬ ‫عة م افقة‬ ‫أ أن ‪ H‬م‬
‫‪ -٢‬اع ـ زمـ ة ﻼيـ }‪ K={1, a, b, c‬واع ـ ال مـ ة ال ئ ــة ‪. H  1, a‬‬
‫عات ال افقة ال ى لـ ‪ H‬ب اس ة ع اص ‪ K‬هي‬ ‫ال‬
‫‪Hc  c, b , Hb  b,c , Ha  a,1 , H1  H‬‬
‫ب اس ة ع اص ‪ K‬ه ا ‪.{b,c}, H‬‬ ‫م افق‬ ‫ع‬ ‫أ أن ‪ H‬لها م‬
‫‪ -٣‬اع ـ ـ ال م ـ ـ ة ‪ S3  e,f , f 2 , g,gf ,gf 2 ‬واع ـ ـ ال م ـ ـ ة ال ئ ـ ــة م هـ ــا‬
‫ع ــات ال افق ــة ال ــى‬ ‫ال‬ ‫ــ‬ ‫}‪ ) H={e , g‬ارج ــع ال ــال ‪ .(٧-٣‬س‬
‫كال الي‪:‬‬
‫‪He  H, Hf  ef ,gf   f ,gf  , Hf 2  ef 2 , gf 2   f 2 ,gf 2 ‬‬
‫‪Hg  eg,gg  g,e , Hgf  egf ,ggf   gf ,f  ,‬‬
‫‪Hgf 2  egf 2 , ggf 2   gf 2 , f 2 ‬‬
‫لفة ال ى لـ ‪ H‬هي‬ ‫عات ال افقة ال‬ ‫و ال الي ال‬
‫‪H, f ,gf  , f 2 , gf 2 ‬‬
‫ال الي‪:‬‬ ‫عات ال افقة ال‬ ‫ح اب ال‬ ‫ال ل‬
‫‪٤٠‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫‪eH  H, fH  f ,gf 2  , f 2 H  f 2 ,gf ‬‬

‫ل ـ ‪ H‬هــي‬ ‫لفــة ال ـ‬ ‫عات ال افقة ال‬ ‫ة الع اص و ال الي ال‬ ‫وه ا مع‬
‫)ت ق (‪:‬‬
‫‪H, f ,gf 2  , f 2 ,gf ‬‬
‫ش ـ ـ ـ اً أن ت ـ ـ ــاو‬ ‫‪ Hf 2  f 2 H‬أ أنـ ـ ــه ل ـ ـ ـ‬ ‫ﻻح ـ ـ ـ أن ‪ Hf  fH‬ـ ـ ـ ل‬
‫ب اس ـ ة ن ف ـ‬ ‫عــة ال افقــة ال ـ‬ ‫ـ مــع ال‬ ‫عــة ال افقــة ال ــى ع‬ ‫ال‬
‫عــات ال افقــة ال ــى مــع‬ ‫ه ـ ا الع ـ ‪ .‬و ال ــالي ل ـ ش ـ اً أن ت ــاو ال‬
‫عات م او ة؟‬ ‫‪ .‬م ى ت ن ه ه ال‬ ‫عات ال افقة ال‬ ‫ال‬
‫عــات ال افقــة ال ــى لل م ـ ة‬ ‫ج ــع ال‬ ‫ـ‬ ‫‪ -٤‬اع ـ ال م ـ ة ‪ .  ,  ‬س‬
‫عــة ال افقــة‬ ‫ال‬ ‫ـ‬ ‫ال ئ ــة م هــا ‪ . 4‬ــا أن الع ـ د ‪ 1‬ﻻ ي ــي لـ ـ ‪ 4‬ن‬
‫ب اس ه ال الي‪:‬‬
‫‪4  1  4k  1: k  ‬‬
‫ع ـ ــة ال افق ـ ــة‬ ‫ال‬ ‫ـــ‬ ‫ـ ــا العـ ـ ـ د ‪ 2‬ﻻ ي ـ ــي ل ـ ـ ـ ‪ 4‬وﻻ إل ـ ــى ‪ 4  1‬ن‬
‫ب اس ه ال الي‪:‬‬
‫‪4  2  4k  2 : k  ‬‬
‫ع ــة‬ ‫ال‬ ‫ـ‬ ‫ــا العـ ـ د ‪ 3‬ﻻ ي ــي لـ ـ ‪ 4‬وﻻ إلــى ‪ 4  1‬أو ‪ 4  2‬ن‬
‫ال افقة ب اس ه ال الي‪:‬‬
‫‪4  3  4k  3 : k  ‬‬
‫عات ال افقة ال ــي ح ـ اها‬ ‫ة وردت في ال‬ ‫نﻼح أن ج ع اﻷع اد ال‬
‫عـ ـ ــة م افقـ ـ ــة ـ ـ ــأ ع ـ ـ ـ د س ـ ـ ـ ن م ـ ـ ــاو ة ﻷح ـ ـ ـ ه ـ ـ ـ ه‬ ‫إلـ ـ ــى اﻵن‪ ،‬ل ـ ـ ـ ا أ م‬
‫ــة لـ ـ ‪4‬‬ ‫عــات ال افقــة ال‬ ‫عــات ال افقــة‪ .‬إذن ه ـ ه هــي ج ــع ال‬ ‫ال‬
‫ع ــات ال افق ــة‬ ‫ب اسـ ـ ة ع اصـ ـ ‪ . ‬ﻻحـ ـ أن ‪  ,  ‬إب ال ــة و ال ــالي ال‬
‫‪.‬‬ ‫عات ال افقة ال‬ ‫ال ى هي نف ها ال‬

‫‪٤١‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫عـ ــات ال افقـ ــة ال ـ ــى‬ ‫مﻼح ــــة‪ :‬نﻼح ـ ـ فـ ــي اﻷم لـ ــة ال ـ ــا قة أن ع ـ ـ د ال‬
‫لف ــة‪ .‬وهـ ـ ا م ــا سـ ـ ه‬ ‫ال‬ ‫ع ــات ال افق ــة ال ـ ـ‬ ‫ــاو عـ ـ د ال‬ ‫لف ــة‬ ‫ال‬
‫ﻻحقاً‪.‬‬

‫ان في ‪.G‬‬ ‫‪a‬و‪b‬ع‬ ‫‪ H‬زم ة ج ئ ة م ‪ ،G‬ول‬ ‫ة‪ :‬ل‬ ‫‪ ٥-٥‬ن‬

‫‪ Ha = H -١‬إذا وفق إذا ان ‪. a  H‬‬
‫‪ Ha = Hb -٢‬إذا وفق إذا ان ‪. ab 1  H‬‬
‫ن ‪ Ha = Hb‬أو ‪. Ha  Hb  ‬‬ ‫‪ -٣‬إما أن‬
‫ال هان‪:‬‬
‫‪ -١‬اف ض أن ‪.Ha = H‬‬
‫‪1G  H‬‬
‫‪ 1G a  Ha‬‬
‫‪ a  Ha‬‬
‫‪ aH‬‬
‫ﻹث ات اﻻت اه اﻵخ ل فـ ض أن ‪ a‬فــي ‪ .H‬واضــح أن ‪) Ha  H‬ل ــاذا؟(‪ .‬ــا‬
‫‪ x‬في ‪ ،H‬مـ اﻹغــﻼق علــى ‪H‬‬ ‫أن ‪ a‬في ‪ H‬إذن ‪ a 1‬في ‪ .H‬اﻵن خ ع‬
‫ل يا‬
‫‪xa 1  H‬‬
‫‪  xa 1  a  Ha‬‬
‫‪ x  a 1a   Ha‬‬
‫‪ x  Ha‬‬
‫‪ H  Ha‬‬
‫‪. Ha‬‬ ‫و ال الي ‪ H‬‬
‫ــ ب‬ ‫‪ -٢‬ل فــ ض أن ‪ ab 1‬ي ــي لـ ـ ‪ .H‬إذن مـ ـ )‪ (١‬لــ ي ا ‪، Hab 1  H‬‬
‫ه لة‪.‬‬ ‫إث ات اﻻت اه ال عاك‬ ‫في ‪ b‬ي ج أن ‪. Ha = Hb‬‬ ‫ال ف‬
‫‪٤٢‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ال ج ع إلى إث اتها في مق ر‬ ‫ل ال اف و‬ ‫‪ -٣‬ه ه ال اص ة م خ اص ف‬

‫عات‪.‬‬ ‫ة ال‬ ‫ن‬

‫‪ H‬زمـ ـ ـ ـ ـ ة ج ئ ـ ـ ـ ــة م ه ـ ـ ـ ــة مـ ـ ـ ـ ـ ال مـ ـ ـ ـ ـ ة ‪ ،G‬ف ـ ـ ـ ــإن‬ ‫‪ ٦-٥‬م ـــ ـ ــألة‪ :‬إذا انـ ـ ـ ـ ـ‬
‫‪ H  Ha  aH‬ل ل ‪ a‬في ‪.G‬‬
‫ـ‬ ‫‪   h   ha‬ل ــل ‪ h‬فــي ‪.H‬‬ ‫ال ــل‪ :‬ع ـ ِّ ف ال اس ـ ‪  : H  Ha‬ح ـ‬
‫العـ د‬ ‫إث ات أن ه ا ال اس أحــاد ال ــا )أث ـ ( و ال ــالي ‪ H‬و ‪ Ha‬به ــا نفـ‬
‫الع د م الع اص ‪.‬‬ ‫إث ات أن ‪ H‬و ‪ aH‬به ا نف‬ ‫م الع اص ‪ .‬ال ل‬

‫‪ H‬زم ـ ة ج ئ ــة م ـ ال مـ ة ال ه ــة‬ ‫ــة ﻻقـ انج( ‪ :‬إذا انـ‬ ‫ــة ) ن‬ ‫‪ ٧-٥‬ن‬
‫‪.G‬‬ ‫‪ .G‬إذن ‪ H‬تق‬
‫ع ـ ـات ال افقـ ــة ال ـ ــى‬ ‫ال هـ ــان‪ :‬ل ف ـ ـ ض أن ‪ Ha1 , Ha 2 ,..., Ha k‬هـ ــي ال‬
‫ل ال اف ي ج‬ ‫لفة لـ ‪ H‬ع اص ‪ .G‬اذن م خ اص ف‬ ‫ال‬
‫‪G  Ha1  Ha 2  ...  Ha k‬‬
‫ة ‪ (٣-٥-٥‬إذن‬ ‫عات م ف لة ) ن‬ ‫و ا أن ه ه ال‬
‫‪G  Ha1  Ha 2  ...  Ha k‬‬
‫‪ H  H  ...  H‬‬ ‫)‪(k times‬‬
‫‪kH‬‬
‫‪ G‬وه ال ل ب‪.‬‬ ‫إذن ‪ H‬ق‬

‫‪.G‬‬ ‫في ال م ة ال ه ة ‪ G‬فإن ‪ a‬تق‬ ‫ة‪ :‬إذا ان ‪ a‬ع‬ ‫‪ ٨-٥‬ن‬

‫ــة ﻻقـ انج ‪ a‬تق ـ‬ ‫ــة ‪ ١٥-٤‬لـ ي ا ‪ a  a‬وم ـ ن‬ ‫ال هــان ‪ :‬مـ ال‬
‫‪.G‬‬

‫‪٤٣‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ـ ‪ a‬فــي‬ ‫‪ G  n‬إذن ‪ a n  1G‬ل ــل ع‬ ‫ـ‬ ‫‪ G‬زمـ ه‬ ‫ة ‪ :‬لـ‬ ‫‪ ٩-٥‬ن‬

‫‪.G‬‬
‫رت ة ال م ة ‪ G‬أ تق ـ العـ د‬ ‫‪ a‬تق‬ ‫ة ال ا قة رت ة الع‬ ‫ال هان‪ :‬م ال‬
‫ل على ال ل ب‪.‬‬ ‫‪ .n‬م ال ألة ‪ ١٤-٤‬ن‬

‫‪ G‬زم ه رت ها ع د أولي‪ .‬إذن ‪ G‬زم ة دائ ة‪.‬‬ ‫ة‪ :‬ل‬ ‫‪ ١٠-٥‬ن‬

‫ـ ‪ a‬غ ـ ال ايـ‬ ‫‪ p‬عـ د أولــي‪ .‬ل أخـ ع‬ ‫ال هان‪ :‬ل ف ض أن ‪ G  p‬ح‬
‫رت ة الـ ‪ G‬و ا أن رت ة الـ ‪ G‬ع د أولي‪ ،‬إذن إمــا‬ ‫في ‪ .G‬ا أن رت ة الـ ‪ a‬تق‬
‫ـاء‬
‫‪ a  1‬أو ‪ . a  p‬واضـ ـ ــح أن ‪ a  1‬ﻷن ‪ . a  1‬و ال ـ ـ ــالي ‪ a  p‬و ـ ـ ـ ً‬
‫على ذل ت ن ‪ . a  p‬اﻵن ال م ة ال ئ ة ‪ a‬بها ‪ p‬م الع اص وال مـ ة‬
‫‪ G‬بها ‪ p‬م الع اص ‪ ،‬إذن ‪ G  a‬أ أن ‪ G‬دائ ة‪.‬‬

‫أن ‪ G‬ت ـ ن م لـ ة ــل‬ ‫‪ G‬زمـ ه رت هــا عـ د أولــي‪ .‬أث ـ‬ ‫‪ :‬لـ‬ ‫‪ ١١-٥‬ت ـ‬

‫ال اي ‪.‬‬ ‫ف ها غ‬ ‫ع‬

‫عــات ال افقــة‬ ‫‪ H‬زم ـ ة ج ئ ــة م ـ ال م ـ ة ‪ .G‬ع ـ د ال‬ ‫‪ ١٢-٥‬تع ـ ‪ :‬ل ـ‬

‫ـ ى دل ــل ‪ H‬فــي ‪ G‬و مـ لــه‬ ‫لفة ال ــى )أو ال ـ ( ل ـ ‪ H‬ع اصـ ‪g‬‬ ‫ال‬
‫ال م ‪. G : H‬‬

‫‪ H‬زمـ ـ ـ ـ ـ ـ ة ج ئ ـ ـ ـ ـ ــة مـ ـ ـ ـ ـ ـ ال مـ ـ ـ ـ ـ ـ ة ال ه ـ ـ ـ ـ ــة ‪ .G‬إذن‬ ‫ـ ـ ــــــة‪ :‬لـ ـ ـ ـ ـ ـ‬ ‫‪ ١٣-٥‬ن‬

‫‪. G  H.G:H‬‬
‫قة ‪. G : H‬‬ ‫ة ﻻق انج الع د ‪ k‬ه في ال‬ ‫ال هان‪ :‬في ب هان ن‬

‫‪٤٤‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ال م ال ئ ة ال اس ة )‪(Normal Subgroups‬‬

‫‪ ١٤-٥‬تع ـ ‪ :‬ال م ـ ة ال ئ ــة ‪ H‬م ـ ال م ـ ة ‪ G‬ت ـ ى زم ـ ة ج ئ ــة اس ـ ة‬

‫ـ ـ ‪ a‬فـ ــي ‪) G‬‬ ‫‪ (Normal‬إذا ـ ــان ‪ aH  Ha‬ل ـ ــل ع‬ ‫)‪Subgroup‬‬
‫ـ مـ‬ ‫ــأ ع‬ ‫عــة ال افقــة ال ـ‬ ‫عة ال افقة ال ــى ت ــاو ال‬ ‫ال‬
‫ال م ‪. H  G‬‬ ‫ال م ة ‪ .(G‬ون م ل ل‬

‫‪ ١٥-٥‬أم لة‪:‬‬
‫‪1G ‬‬ ‫‪ G‬أ زمـ ـ ة‪ .‬واض ــح أن ال مـ ـ ال ئ ــة الغ ـ ـ فعل ــة ‪ G‬و‬ ‫‪ -١‬ل ـ ـ‬
‫ت ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ل زمـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ج ئ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ــة اسـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ة ﻷن ‪ aG  G  Ga‬و‬
‫‪ a‬في ‪.G‬‬ ‫‪ a 1G   a  1G  a‬ل ل ع‬
‫‪ -٢‬اع ـ ال م ـ ة ‪ S3‬واع ـ ال م ـ ة ال ئ ــة م هــا ‪ . H  e,f ,f 2 ‬ﻻح ـ‬
‫‪ x‬م ‪ .H‬اﻵن ل ي ا‬ ‫أن ‪ Hx = xH‬ل ل ع‬
‫‪gH  g, gf ,gf   Hg‬‬
‫‪ . Hgf 2  gf 2 H‬ال ــالي‬ ‫ـ ال أكـ مـ أن ‪ Hgf  gfH‬و ـ ل‬ ‫ال ل‬
‫‪ H‬ت ل زم ة ج ئ ة اس ة م ‪.G‬‬
‫‪ G‬زم ة إب ال ة فإن أ زم ة ج ئ ة م ها ت ن اس ة‪.‬‬ ‫‪ -٣‬إذا ان‬

‫اس ـ ة‬ ‫ـ ل زمـ ة ج ئ ــة‬ ‫أن م هــا‬ ‫‪ G‬زمـ ة‪ ،‬فأث ـ‬ ‫‪ :‬إذا ان‬ ‫‪ ١٦-٥‬ت‬
‫م ها‪.‬‬
‫‪ H‬زمـ ة ج ئ ــة مـ ال مـ ة ‪ ،G‬فإنهــا ت ـ ن زمـ ة ج ئ ــة‬ ‫ــة‪ :‬إذا انـ‬ ‫‪ ١٧-٥‬ن‬
‫اس ة إذا وفق إذا ان ‪ aHa 1  H‬ل ل ‪ a‬في ‪.G‬‬

‫‪٤٥‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫‪ Ha = aH‬ل ــل ‪a‬‬ ‫ال هان‪ :‬أوﻻً ل ف ض أن ‪ H‬زمـ ة ج ئ ــة اسـ ة‪ .‬مـ ال ع ـ‬
‫ــح أن‬ ‫ف ــي ‪ a 1‬ي ـ ـ ج أن ‪ aHa 1  H‬ومـ ـ ذلـ ـ ي‬ ‫ـ ـ ب ال ـ ـ ف‬ ‫فــي ‪.G‬‬
‫‪. aHa 1  H‬‬
‫ثان اً ل ف ض أن ‪ aHa 1  H‬ل ل ‪ a‬في ‪ .G‬أ أن‬
‫‪aha 1  H, a  G, h  H‬‬
‫ي ج‬ ‫ب في ‪ a‬م ال‬ ‫ال‬
‫‪aha 1a  Ha‬‬
‫‪ ah  Ha‬‬
‫‪ aH  Ha‬‬ ‫)‪..............(I‬‬
‫عل ه ي ج أن‬ ‫ال‬ ‫‪ a 1‬م ‪ .G‬ب‬ ‫الع‬ ‫اﻵن اع‬
‫‪a 1h  a 1   H‬‬
‫‪1‬‬

‫‪ a 1ha  H‬‬

‫ب في ‪ a‬م ال ار ي ج‬ ‫ال‬
‫‪aa 1ha  aH‬‬
‫‪ ha  aH‬‬
‫‪ Ha  aH‬‬ ‫)‪..............(II‬‬
‫ال ل ب‪.‬‬ ‫)‪ (I‬و )‪ (II‬ي ج ان ‪ Ha = aH‬وم ه ي‬ ‫م‬

‫‪، G:H  2‬‬ ‫‪ H‬زمـ ـ ة ج ئ ــة م ـ ال مــ ة ‪ ،G‬ح ـ ـ‬ ‫‪ ١٨-٥‬م ــألة‪ :‬إذا انـ ـ‬
‫فإنها ت ن زم ة ج ئ ة اس ة‪.‬‬
‫ــى‬ ‫ع ــان م افق ــان‬ ‫او اث ــان إذن ‪ H‬لهــا م‬ ‫ال ل‪ :‬ا أن دل ل ‪ H‬في ‪G‬‬
‫ـع‬ ‫ال‬ ‫ع ــة أخ ـ ‪ .‬ــا أن ات ــاد ه ــات‬ ‫ـ ( وهــي ‪ H‬نف ــها وم‬ ‫)أو‬
‫ﻻب أن ت ـ ن ‪ .G – H‬اﻵن‬ ‫عة ال افقة اﻷخ‬ ‫ع ي ‪ G‬إذن ال‬ ‫ال افق‬
‫‪ g‬فــي ‪ .G‬إذن إمــا أن ‪ g‬ي ــي ل ـ ‪ H‬ومـ ذلـ ي ـ ج أن ‪Hg = gH‬‬ ‫خ ع‬
‫ال لـ ب‪ ،‬أو أن ‪ g‬ي ــي ل ـ ‪ G – H‬و ال ــالي ﻻ ي ــي ل ـ ‪ H‬ومـ‬ ‫وهـ ا ي ـ‬
‫‪٤٦‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ـ ـاً ال ــل ‪ gH  H‬أ‬ ‫ذلـ ـ ي ـ ـ ج أن ‪ Hg  H‬أ أن ‪ Hg  G  H‬وأ‬

‫‪H‬‬ ‫أن‬ ‫أن ‪ gH  G  H‬وه ــا واضــح أن ‪ gH  G  H  Hg‬وه ـ ا ي ـ‬
‫زم ة ج ئ ة اس ة‪.‬‬

‫)‪(Quotient Group‬‬ ‫ة‬ ‫زم ة الق‬

‫عــات ال افقــة‬ ‫ال‬ ‫ال م ـ ة ال ئ ــة ال اسـ ة أنــه ﻻ فـ ق بـ‬ ‫واضــح مـ تع ـ‬

‫م م ـ ـ لح‬ ‫ع ــات ال افق ــة ال ـ ـ ‪ ،‬لـ ـ ا ف ــي هـ ـ ا ال ـ ـ ء س ـ ـ‬ ‫ال ــى وال‬
‫‪.‬‬ ‫عات ال افقة ونع ي ه س اء ال ى أو ال‬ ‫ال‬

‫عـ ـ ــة‬ ‫‪ H‬زم ـ ـ ـ ة ج ئ ـ ـ ــة اس ـ ـ ـ ة م ـ ـ ـ ال م ـ ـ ـ ة ‪ .G‬ال‬ ‫‪ ١٩-٥‬تع ــ ـــ ‪ :‬ل ـ ـ ـ‬

‫عــات ال افقــة ل ـ ‪ H‬ع اصـ‬ ‫عــة ــل ال‬ ‫‪ G / H  Ha : a  G‬هــي م‬
‫‪.(G quotient H) H‬‬ ‫ها ‪ G‬تق‬ ‫‪ ،G‬ون‬
‫عة ‪ G/H‬ال الي‪ ،‬ل ــل ‪ Ha‬و ‪ Hb‬فــي ‪G/H‬‬ ‫س ع ف ع ل ة ض ب على ال‬
‫‪.(Ha)(Hb) = Hab‬‬ ‫فإن‬

‫عــة‬ ‫‪ H‬زم ـ ة ج ئ ــة اس ـ ة م ـ ال م ـ ة ‪ G‬فــإن ال‬ ‫ـــة‪ :‬إذا ان ـ‬ ‫‪ ٢٠-٥‬ن‬

‫ب ال ع فة أعﻼه ت ل زم ة‪.‬‬ ‫‪ G/H‬مع ع ل ة ال‬
‫ب ع ل ة ث ائ ة‪.‬‬ ‫ال هان‪ :‬أوﻻ‪ :‬واضح أن ع ل ة ال‬
‫ثان ا‪ :‬ع ل ة اﻹدماج م ققة ﻷنها م ققة في ‪ ).G‬ت ق (‬
‫ال اي في ‪ G/H‬ه ‪ H‬وذل لل الي‬ ‫ثال ا‪ :‬واضح أن الع‬
‫‪ H  Ha    H1G  Ha   H 1G a   Ha‬‬
‫ال ل ‪.  Ha  H   Ha‬‬
‫‪ Ha‬في ‪ G/H‬فإن ال ع س ه ‪ Ha 1‬وذل لل الي‬ ‫ار عا‪ :‬ﻷ ع‬

‫‪٤٧‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫‪ Ha   Ha   H  a a   H 1   H‬‬
‫‪1‬‬ ‫‪1‬‬
‫‪G‬‬

‫ال ل ب‪.‬‬ ‫ال ل ‪ .  Ha   Ha 1   H‬وه ا ي‬

‫ت ـ ـ ى ال مـ ـ ة ‪ G/H‬زمـ ـ ة الق ـ ـ ة ) أو زمـ ـ ة ال ــاقي( )‪.(Quotient Group‬‬
‫اً‪).‬ت ق (‬ ‫‪ G‬إب ال ة فإن ‪ G/H‬ت ن إب ال ة أ‬ ‫ﻻح أنه إذا ان‬

‫أن‬ ‫‪ H‬زمـ ـ ة ج ئ ــة اسـ ـ ة م ـ ال م ـ ة ال ه ــة ‪ .G‬أث ـ‬ ‫‪ :‬لـ‬

‫‪ ٢١-٥‬ت ـــ‬
‫‪G‬‬
‫‪ ) . G / H ‬ارجع لـ ن ة ‪(١٣-٥‬‬
‫‪H‬‬

‫‪٤٨‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ال اب ال ام‬ ‫ت ار‬

‫أنــه ﻻ ي جـ زمـ ج ئ ــة فعل ــة مـ‬ ‫‪ G‬زم ه رت هــا عـ د أولــي‪ .‬أث ـ‬ ‫‪ -١‬ل‬
‫‪.G‬‬
‫عــات ال افقــة ال ــى‬ ‫ال‬ ‫‪ H‬زم ـ ة ج ئ ــة م ـ ال مـ ة ‪ .G‬اح ـ‬ ‫‪ -١‬ل ـ‬
‫لفة لـ ‪ H‬ع اص ‪ .G‬في ل م ا يلي‪:‬‬ ‫ال‬
‫‪H   0,0  ,  0,1 ,  0, 2 ‬‬ ‫‪, G  2  3, ‬‬ ‫أ(‬
‫ب( ‪H  5 , G   ,  ‬‬
‫ج( ‪H  3 , G   *11 , ‬‬
‫ال اب ‪.‬‬ ‫‪ G : H‬في ل ال اﻻت في ال‬ ‫‪ -٣‬اح‬
‫أن ‪ . H  K‬إذا‬ ‫ــ‬ ‫‪ H‬و ‪ K‬زم ت ــان ج ئ ــان مـ ـ ال مـ ـ ة ‪G‬‬ ‫‪ -٤‬لـ ـ‬
‫أن‬ ‫ـ ـ ـ ــارة عـ ـ ـ ـ ـ عـ ـ ـ ـ ـ د أولـ ـ ـ ــي فأث ـ ـ ـ ـ ـ‬ ‫رت ه ـ ـ ـ ــا م ـ ـ ـ ــاو ان وه ـ ـ ـ ــي‬ ‫كانـ ـ ـ ـ ـ‬
‫‪. H  K  1G‬‬
‫أن ال م ـ ة‬ ‫م ـ ال م ـ ة ‪ .G‬أث ـ‬ ‫اس ـ‬ ‫جـ ئ‬ ‫‪ H‬و‪ K‬زم ـ ت‬ ‫‪ -٥‬ل ـ‬
‫‪ HK‬زم ة ج ئ ة اس ة م ال م ة ‪.G‬‬
‫‪ -٦‬أوج ‪ G/H‬في ل م ا يلي‪:‬‬
‫‪. G   10 ,   , H  2‬‬ ‫أ(‬
‫‪. G   *13 ,  , H  4‬‬ ‫ب(‬
‫ج( }‪. G  1,  1,i,  i , H  {1, 1‬‬
‫د( ‪. G  (,  ), H  5‬‬
‫أن ‪ . H  K‬إذا‬ ‫ـ‬ ‫م ـ ال م ـ ة ‪G‬‬ ‫جـ ئ‬ ‫‪ H‬و ‪ K‬زم ـ ت‬ ‫‪ -٧‬ل ـ‬
‫أنهــا زمـ ة ج ئ ــة اسـ ة مـ‬ ‫‪ H‬زم ة ج ئ ة اس ة م ال مـ ة ‪ G‬فأث ـ‬ ‫كان‬
‫ال م ة ‪.K‬‬
‫مـ ال مـ ة ‪ .G‬هــل ‪ H  K‬زمـ ة ج ئ ــة‬ ‫جـ ئ‬ ‫‪ H‬و ‪ K‬زمـ ت‬ ‫‪ -٨‬لـ‬
‫اس ة م ال م ة ‪. G  G‬‬
‫‪٤٩‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫أن ‪G/H‬‬ ‫‪ H‬زم ـ ة ج ئ ــة اس ـ ة م ـ ال م ـ ة ال ائ ــة ‪ G‬فأث ـ‬ ‫‪ -٩‬إذا ان ـ‬

‫زم ة دائ ة‪.‬‬
‫أن‬ ‫عــة ‪ . H  g 2 : g  G‬أث ـ‬ ‫ال‬ ‫‪ G‬زم ة إب ال ة‪ .‬اع‬ ‫‪ -١٠‬ل‬
‫‪ H‬زم ة ج ئ ة اس ة م ال م ة ‪.G‬‬
‫ه زم ة ج ئ ة اس ة‪.‬‬ ‫اس‬ ‫جئ‬ ‫أن تقا ع زم ت‬ ‫‪ -١١‬أث‬

‫‪٥٠‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ال اب ال ادس‬
‫رواس اله م رف م‬
‫‪Homomorphisms‬‬
‫‪ G1‬و ‪ G 2‬زمـ ت و ــان ‪ f : G1  G 2‬ارسـ فــإن ‪f‬‬ ‫‪ ١-٦‬تع ـ ‪ :‬إذا انـ‬
‫ـ ى ه م ـ رف م )‪ (Homomorphism‬إذا ــان ‪ f  ab   f  a  f  b ‬ل ــل‬
‫شـ ا ان ت ـ ن الع ل ــة ال ع فــة علــى ‪ G1‬هــي‬ ‫‪ a‬و ‪ b‬فــي ‪) .G‬ﻻح ـ انــه لـ‬
‫نف ها ال ع فة على ‪.( G 2‬‬

‫‪ ٢-٦‬أم لة‪:‬‬
‫ال اس ‪ f :  ,     * , ‬وال عـ ف ــاﻷتي ‪ f  a   ea‬ل ــل ‪a‬‬ ‫‪ -١‬اع‬
‫‪ a‬و ‪ b‬في ‪ ، ‬ل ي ا‬ ‫الع‬ ‫في ‪ . ‬اع‬
‫‪f  a  b   ea b  e a e b  f  a  f  b ‬‬
‫إذن ‪ f‬ه م رف م‪.‬‬
‫‪ -٢‬اع ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ال اس ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ‪ f : GL 2      * , ‬وال ع ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ف ـ ـ ـ ـ ـ ـ ـ ـ ـ ـ ــاﻷتي‬
‫‪ A‬و ‪ B‬ف ـ ـ ــي‬ ‫ــــ‬ ‫‪ f  A   det A‬ل ـ ـ ــل ‪ A‬ف ـ ـ ــي ‪ . GL 2   ‬اع ـ ـ ـ ـ الع‬
‫‪ ، GL 2   ‬ل ي ا‬
‫‪f  AB   det AB   det A  det B   f  A  f  B ‬‬
‫إذن ‪ f‬ه م رف م‪.‬‬
‫‪ -٣‬اع ـ ـ ـ ـ ال م ـ ـ ـ ة ‪  ,  ‬و اع ـ ـ ـ ـ ال اسـ ـ ـ ـ ‪ f :   ‬وال ع ـ ـ ـ ف ـ ـ ــاﻷتي‬
‫‪ a‬و ‪ b‬في ‪ ، ‬إذن‬ ‫الع‬ ‫‪ f  a   2a‬ل ل ‪ a‬في ‪ . ‬اع‬
‫‪f  a  b   2  a  b   2a  2b  f  a   f  b ‬‬
‫و ال الي ‪ f‬ه م رف م‪.‬‬
‫‪ -٤‬اع ـ ال اس ـ ‪ f :  * ,    * , ‬وال ع ـ ف ــاﻷتي ‪ f  a   2a‬ل ــل‬
‫ان في *‪ ، ‬ل ي ا‬ ‫‪a‬و‪b‬ع‬ ‫‪ a‬في *‪ . ‬ل‬

‫‪٥١‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫‪f  ab   2ab  f  a  f  b ‬‬

‫ه م رف م‪.‬‬ ‫إذن ‪ f‬ل‬

‫‪:‬‬ ‫‪ ٣-٦‬ت‬
‫‪ H‬زمـ ـ ة ج ئ ــة اسـ ـ ة مـ ـ ال مـ ـ ة ‪ .G‬عـ ـ ف ال اسـ ـ ‪ : G  G / H‬‬ ‫لـ ـ‬
‫أن ‪ ‬ه م رف م‪.‬‬ ‫كال الي ‪   a   Ha‬ل ل ‪ a‬في ‪ .G‬أث‬
‫‪Natural‬‬ ‫ع ــي )‬ ‫ــاله م رف م ال‬ ‫ال ــاب‬ ‫ـ ـ ى اله مـ ـ رف م ف ــي ال ـ ـ‬
‫‪.(homomorphism‬‬

‫ى م ن م رف م‬ ‫‪ f : G1  G 2‬ه م رف م‪f .‬‬ ‫‪ :‬ل‬ ‫‪ ٤-٦‬تع‬

‫ى إب رف م )‪(Epimorphism‬‬ ‫)‪ (Monomorphism‬إذا ان أحاد ا و‬
‫إذا ان ف ا‪ ،‬وفي ه ه ال الة اﻷخ ة ت ى ‪ G 2‬ص رة ه م ر ة‬
‫)‪ (Epimorphic image‬لـ ‪. G1‬‬

‫‪a‬و‬ ‫‪ -١‬اع ـ اله م ـ رف م ‪ f :  * ,    * , ‬فــي م ــال ‪ ١-٢-٨‬ل ـ‬
‫‪f a   f b‬‬
‫‪ ea  e b‬‬
‫‪a b‬‬
‫ف ـ ـًا و ال ــالي لـ ـ‬
‫ال م ة ‪.  ,  ‬‬
‫‪ ٥-٦‬أم لة‪:‬‬
‫أن‬ ‫‪ b‬في *‪ . ‬ح‬
‫‪ f‬لـ ـ‬ ‫إذن ال اسـ ـ ‪ f‬أح ــاد و ال ــالي م ن مـ ـ رف م‪ .‬ل ـ ـ‬
‫إب رف م‪.‬‬
‫ب ال ع ادة واع‬ ‫ال م ة ‪ G 1, 1‬مع ع ل ة ال‬ ‫‪ -٢‬اع‬
‫ال اس ‪ f :   G‬وال ع ف اﻷتي‬ ‫اع‬

‫‪٥٢‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫‪ 1 if a is even‬‬
‫‪f a   ‬‬
‫‪ 1 if a is odd‬‬
‫ان في ‪ ، ‬ل ي ا ال اﻻت ال ﻼث ال ال ة‪:‬‬ ‫‪a‬و‪b‬ع‬ ‫ل ل ‪ a‬في ‪. ‬ل‬
‫ــا عـ ـ د زوج ــي‬ ‫‪ -I‬أن ـ ـ ن ‪ a‬و ‪ b‬عـ ـ دان زوج ــان‪ .‬إذن حاص ــل ج عه ــا أ‬
‫و ال الي‬
‫‪f  a  b   1  11  f  a  f  b ‬‬
‫ن ‪ a‬و ‪ b‬ع دان ف د ان‪ .‬إذن حاصل ج عه ا ع د زوجي و ال الي‬ ‫‪ -II‬أن‬
‫‪f  a  b   1   1 1  f  a  f  b ‬‬
‫‪ -III‬أن ـ ن ‪ a‬عـ د زوجــي و ‪ b‬عـ د فـ د ‪ .‬إذن حاصــل ج عه ــا عـ د فـ د‬
‫و ال الي‬
‫‪f  a  b   1  1 1  f  a  f  b ‬‬
‫إذن ف ــي ج ــع ال ــاﻻت ـ ـ ن ‪ . f  a  b   f  a  f  b ‬إذن ‪ f‬ه مـ ـ رف م‪.‬‬
‫م ن م رف م‪.‬‬ ‫أحاد اً و ال الي ل‬ ‫ل‬ ‫واضح أن ‪ f‬ف قي و ال الي إب رف م ول‬

‫‪ f : G1  G 2‬ه م رف م‪ .‬إذن‬ ‫ة‪ :‬ل‬ ‫‪ ٦-٦‬ن‬

‫اف على ال اي (‪.‬‬ ‫‪) f 1G1   1G 2 -١‬أ أن ‪f‬‬
‫اف على ال ع س(‪.‬‬ ‫‪ f  a 1   f  a ‬ل ل ‪ a‬في ‪) . G1‬أ أن ‪f‬‬ ‫‪-٢‬‬
‫‪1‬‬

‫ـ ــاف عل ـ ــى‬ ‫‪ f  a k   f  a  -٣‬ل ـ ــل ‪ a‬ف ـ ــي ‪ G1‬و ‪ k‬ف ـ ــي ‪) . ‬أ أن ‪f‬‬
‫‪k‬‬

‫الق ة(‪.‬‬
‫ال هان‪:‬‬
‫‪ -١‬واضح أن‬
‫‪f 1G1  f 1G1   f 1G11G1   f 1G1 ‬‬
‫ال ب في ‪ f 1G1  ‬م ال ار ي ج أن ‪ . f 1G1   1G 2‬وه ال ل ب‪.‬‬
‫‪1‬‬

‫‪ -٢‬ل ي ا ل ل ‪ a‬في ‪G‬‬

‫‪٥٣‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫‪f  a  f  a 1   f  aa 1   f 1G1   1G 2‬‬

‫ال ــل ‪ f  a 1  f  a   1G 2‬وه ـ ا ي ـ ل علــى أن ‪ f  a 1 ‬ه ـ مع ـ س ‪f  a ‬‬
‫في ‪ ، G 2‬وه ال ل ب‪.‬‬
‫‪.‬‬ ‫‪ -٣‬ت‬

‫‪ f : G1  G 2‬ه م ـ ـ ـ ـ ـ ـ رف م‪ .‬نعـ ـ ـ ـ ـ ـ ِّ ف ال‬

‫عـ ـ ـ ـ ـ ـة‬ ‫‪ ٧-٦‬تع ــ ـ ـ ـــ ‪ :‬لـ ـ ـ ـ ـ ـ‬
‫‪ Im f  f  G1   f  a  : a  G1‬وت ى ص رة ‪) f‬أو م ‪Range ) (f‬‬
‫ال اسـ ـ ‪f‬‬ ‫ع ــة ‪ Kerf  a  G1 : f  a   1G 2 ‬وت ـ ـ ى قلـ ـ‬ ‫‪ (of f‬وال‬
‫ـ‬ ‫خال ــة ﻷن بهــا علــى اﻷقــل الع‬ ‫)‪ .(Kernel of f‬ﻻح ـ أن ‪ Kerf‬ل ـ‬
‫ال اي ‪.‬‬

‫‪ f : G1  G 2‬ه م رف م‪ .‬إذن‪:‬‬ ‫ة‪ :‬ل‬ ‫‪ ٨-٦‬ن‬

‫‪ Imf -١‬زم ة ج ئ ة م ‪. G 2‬‬
‫‪ Kerf -٢‬زم ة ج ئ ة اس ة م ‪. G1‬‬
‫ال هان‪:‬‬
‫‪a‬‬ ‫‪ x‬و‪ y‬فــي ‪ .Imf‬إذن ‪ x  f  a ‬و ‪ y  f  b ‬ح ـ‬ ‫ـ‬ ‫‪ -١‬ل أخ ـ الع‬
‫و‪ b‬في ‪ . G1‬اﻵن ل ي ا‬
‫‪xy 1  f  a  f  b   f  a  f  b 1   f  ab 1 ‬‬
‫‪1‬‬

‫ال ل ب‪.‬‬ ‫ا أن ‪ ab 1‬في ‪ G1‬إذن ‪ xy 1‬في ‪ Imf‬وه ا ي‬

‫‪ a‬و‪ b‬فــي ‪ .Kerf‬إذن ‪ f  a   1G 2‬و ‪ f  b   1G 2‬اﻵن‬ ‫ـ‬ ‫‪ -٢‬ل أخـ الع‬
‫ل يا‬
‫‪f  ab 1   f  a  f  b 1   f  a  f  b   1G 2 1G 2‬‬ ‫‪ ‬‬
‫‪1‬‬ ‫‪1‬‬
‫‪ 1G 2‬‬

‫‪٥٤‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫وه ا ع ي أن ‪ ab 1‬ي ي لـ ‪ Kerf‬و ال الي هي زم ة ج ئ ة م ‪. G1‬‬

‫ـ ـ ‪ . xax -1‬إذن‬ ‫ـ ـ ‪ a‬فـ ــي ‪ Kerf‬و ‪ x‬ف ــي ‪ . G1‬اع ـ ـ الع‬ ‫اﻵن ل أخ ـ ـ الع‬
‫ل يا‬
‫‪f  xax -1  =f  x  f  a  f  x -1  =f  x 1G 2 f  x -1  =f  x  f  x  =1G 2‬‬
‫‪-1‬‬

‫‪ xax -1‬في ‪ Kerf‬و ال الي ‪ Kerf‬زم ة ج ئ ة اس ة في ‪. G1‬‬ ‫إذن الع‬

‫ن أحــاد )م ن مـ رف م( إذا‬ ‫‪ f:G1  G 2‬ه م رف م‪f .‬‬ ‫‪ ٩-٦‬م ألة‪ :‬ل‬

‫وفق إذا ان ‪. Kerf =1G1‬‬
‫ـ ‪ a‬فــي ‪ .Kerf‬إذن ‪ . f  a   1G 2‬ــا‬ ‫ال ل‪ :‬افـ ض أن ‪ f‬أحــاد ‪ .‬خـ الع‬
‫أن ‪ ، f 1G1   1G 2‬إذن ‪ . f  a   f 1G1 ‬ل ـ ـ ـ ـ ـ ـ ـ ـ ـ ‪ f‬أحـ ـ ـ ـ ـ ـ ـ ـ ــاد إذن ‪a  1G1‬‬
‫و ال الي ‪. Kerf =1G1‬‬
‫أن‬ ‫‪ a‬و‪ b‬في ‪G1‬‬ ‫اﻵن ل ف ض أن ‪ . Kerf =1G1‬ل أخ الع‬
‫‪f a   f  b‬‬
‫ب في ‪ f  b ‬م ال‬ ‫ال‬
‫‪1‬‬

‫‪ f  a  f  b   1G 2‬‬
‫‪1‬‬

‫‪ f  a  f  b 1   1G 2‬‬
‫‪ f  ab 1   1G 2‬‬
‫ـ ـ ـ ‪ ab 1‬ي ـ ــي ل ـ ـ ـ ‪ .Kerf‬ل ـ ـ ـ ‪ Kerf =1G1‬مـ ـ ـ الفـ ـ ـ ض‪ ،‬إذن‬ ‫أ أن الع‬
‫‪ ab-1  1G1‬وم ه ي ج أن ‪ .a = b‬و ال الي ‪ f‬أحاد ‪.‬‬
‫ام ه ه ال ألة ل ع فة ما إذا ان اله مـ رف م أحــاد‬ ‫ع اس‬ ‫واضح أن ا ن‬
‫ح اب ‪ .Kerf‬وه ا ما س اه في اﻷم لة ال ال ة‪.‬‬ ‫أم ﻻ ع‬

‫‪٥٥‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫‪ ١٠-٦‬أم لة‪:‬‬
‫ال اس في ال ال ‪ . ١-٢-٦‬إذن‬ ‫‪ -١‬اع‬
‫‪Kerf  a   : f  a   1‬‬
‫‪ a   : ea  1‬‬
‫‪ a   : ln ea  ln1‬‬
‫‪ a   : a  0  0‬‬
‫ال اي في ال ال إذن ‪ f‬أحاد ‪.‬‬ ‫أن ‪ 0‬ه الع‬ ‫وح‬
‫ال اس في ال ال ‪ . ١-٥-٦‬إذن‬ ‫‪ -٢‬اع‬
‫‪Kerf  a   : f  a   1‬‬
‫‪ a   : a is even  0‬‬
‫أحاد اً‪.‬‬ ‫ج ع اﻷع اد ال وج ة و ال الي ‪ f‬ل‬ ‫واضح أن ‪ Kerf‬ت‬

‫‪ f : G1  G 2‬ه مـ ـ رف م مـ ـ ال مـ ـ ة ‪ G1‬إلـ ــى ال مـ ـ ة‬ ‫‪ ١١-٦‬تع ـــ ‪ :‬لـ ـ‬

‫‪ ،‬وف ــي‬ ‫ـ ـ ى أ ـ ـ م رف م )‪ (Isomorphism‬إذا ــان أحـــاد ال ــا‬ ‫‪f . G2‬‬
‫‪ G 2‬صـ رة آ ـ م ر ة )‪ (Isomorphic image‬ل ـ ‪) G1‬‬ ‫ه ه ال الة نق ل أن‬
‫‪. G1  G 2‬‬ ‫)‪ (Isomorphic‬لـ ‪ ( G1‬ون‬ ‫مر‬ ‫أو نق ل أن ‪ G 2‬آ‬
‫ــائ‬ ‫فــإن ه ــاك ال ـ م ـ ال‬ ‫زم ـ ت‬ ‫إذا ــان ه ــاك ارس ـ أ ـ م رف م ب ـ‬
‫اف عل ها ه ا ال اس ‪.‬‬ ‫ة ال ي‬ ‫ال‬

‫‪ ١٢-٦‬أم لة‪:‬‬
‫‪ 1 n ‬‬ ‫‪‬‬
‫ــف فات و‬ ‫‪ G   ‬مــع ع ل ــة ضـ ـ ب ال‬ ‫‪‬‬ ‫‪:n‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪ -١‬اع ـ ـ ال مـ ـ ة ‪‬‬
‫‪‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪‬‬ ‫‪‬‬
‫اع ال م ة ‪ .  ,  ‬ع ف ال اس ‪ f :   G‬ال الي‪:‬‬

‫‪٥٦‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫‪1 n ‬‬
‫‪f n  ‬‬
‫‪0‬‬ ‫‪1‬‬ ‫‪ , n  .‬‬
‫‪‬‬ ‫‪‬‬
‫‪ n‬و ‪ m‬في ‪ . ‬إذن‬ ‫اﻵن خ ع‬
‫‪ 1 n  m  1 n   1 m ‬‬
‫‪f n  m  ‬‬ ‫‪  0 1  0 1   f  n  f  m ‬‬
‫‪‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪ ‬‬ ‫‪‬‬ ‫‪‬‬
‫إذن ال اس ‪ f‬ه م رف م‪ .‬اﻵن‬
‫‪Kerf  n   : f  n   1G ‬‬
‫‪‬‬ ‫‪1 n  1 0  ‬‬
‫‪ n   : ‬‬ ‫‪  0 1  ‬‬
‫‪‬‬ ‫‪‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪ ‬‬ ‫‪‬‬
‫‪ n   :n  0  0‬‬
‫‪1 n ‬‬
‫‪ ‬فــي ‪ .G‬واضــح أنــه ي ج ـ‬ ‫إذن ‪ f‬أحــاد ‪ .‬اﻵن خ ـ ع ـ اخ ــار ‪‬‬
‫‪‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪‬‬
‫‪1 n ‬‬
‫‪ ، f  n   ‬أ أن ‪ f‬ف ـ ـ ـ ـ ـ قي و ال ـ ـ ـ ـ ــالي‬ ‫ع ـ ـ ـ ـ ـ د ص ـ ـ ـ ـ ـ ح ‪ n‬ـ ـ ـ ـ ـ أن ‪‬‬
‫‪‬‬ ‫‪0‬‬ ‫‪1‬‬ ‫‪‬‬
‫م رف م‪.‬‬ ‫أ‬
‫‪ -٢‬اع ـ ـ زمـ ـ ة ﻼيـ ـ ‪ K‬وال مـ ـ ة ‪ . *8‬عـ ـ ف ال اسـ ـ ‪ f : K  *8‬ال ــالي‪:‬‬
‫ه لة مـ خــﻼل جـ ولي‬ ‫‪. f  c   7, f  b   5, f  a   3, f 1  e‬‬
‫ـــ ل‬ ‫ال مـ ـ ـ ت ‪ ،‬ال قـ ـ ـ مـ ـ ـ أن ‪f‬‬ ‫عل ـ ــى ه ـ ــات‬ ‫ع ل ـ ــي ال ـ ـ ـ ب ال عـ ـ ـ ف‬
‫م رف م‪ .‬أ أن ‪. K  *8‬‬ ‫و ال الي أ‬ ‫ه م رف م‪ .‬واضح أن ‪ f‬أحاد ال ا‬

‫رف م عﻼقة ت اف ء‪ ،‬أ أنها ت ق ‪:‬‬ ‫‪ :‬عﻼقة اﻵ‬ ‫‪ ١٣-٦‬ت‬

‫‪ G  G -١‬ﻷ زم ة ‪.G‬‬
‫‪ G1  G 2‬فإن ‪. G 2  G1‬‬ ‫‪ -٢‬إذا ان‬
‫‪.‬‬ ‫‪ G1  G 2‬و ‪ G 2  G 3‬فإن ‪G1  G 3‬‬ ‫‪ -٣‬إذا ان‬

‫‪٥٧‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫‪f : G1  G 2‬‬ ‫ـ ـ ـ ــة اﻷولـ ـ ـ ــى لﻸ ـ ـ ـ ـ م رف م(‪ .‬لـ ـ ـ ـ ـ‬ ‫ـ ـ ــــة ‪) :‬ال‬ ‫‪ ١٤-٦‬ن‬
‫ه م رف م م ال م ة ‪ G1‬إلى ال م ة ‪. G 2‬إذن ‪. G1 K er f  Im f‬‬

‫عــة ‪ K er f‬ــال م ‪ . K‬اﻵن نعـ ـ ِّ ف ال اسـ ـ‬ ‫ال ه ــان ‪ :‬لل ــه ل سـ ـ م لل‬
‫‪ g : G1 K  Im f‬ح ‪ g  Ka   f  a ‬ل ل ‪. Ka  G1 K‬‬

‫‪َ Ka‬و ‪ Kb‬في ‪ G1 / K‬إذن‬ ‫‪ -١‬خ ع‬

‫‪g  Ka  Kb    g  K  ab  ‬‬

‫‪ f  ab ‬‬
‫‪ f a  f b‬‬
‫‪ g  Ka  g  Kb ‬‬

‫إذن ‪ g‬ه م رف م‪.‬‬

‫أن‬ ‫‪ Ka‬و ‪ Kb‬في ‪G1 / K‬‬

‫َ‬ ‫‪ -٢‬خ ع‬

‫‪g  Ka   g  Kb ‬‬
‫‪ f a   f b‬‬
‫‪ f  a   f  b    1G‬‬
‫‪1‬‬

‫‪ f  ab 1   1G‬‬
‫‪ ab 1  K‬‬
‫‪ Ka  Kb‬‬

‫إذن ‪ g‬أحاد ‪.‬‬

‫‪٥٨‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ـ‬ ‫ـ ‪ a‬فــي ‪G1‬‬ ‫ـ اﻻخ ــار ‪ y‬فــي ‪ ،Imf‬إذن ي جـ ع‬ ‫‪ -٣‬ل أخ ـ الع‬

‫أن‬ ‫ـــــــــ‬ ‫ـ ـ ـ ـ ـ ـ ـ ـ ـ ‪ Ka‬ف ـ ـ ـ ـ ـ ـ ـ ــي ‪G1 / K‬‬ ‫أن ‪ f  a   y‬وم ـ ـ ـ ـ ـ ـ ـ ــه ي جـ ـ ـ ـ ـ ـ ـ ـ ـ ع‬
‫‪ g  Ka   f  a   y‬أ أن ‪ g‬ف ـ ـ ـ ـ ـ قي‪ ،‬و ال ـ ـ ـ ـ ــالي ‪ g‬أ ـ ـ ـ ـ ـ م رف م‪ .‬أ أن‬
‫‪. G1 K er f  Im f‬‬
‫مﻼح ات‪:‬‬

‫ام ال ألة ‪ ٩-٦‬ال الي‬ ‫اس‬ ‫إث ات أن ‪ g‬أحاد‬ ‫‪ -١‬كان م ال‬

‫‪‬‬
‫‪K er g  Ka  G1 K : g  Ka   1G 2‬‬ ‫‪‬‬
‫‪‬‬
‫‪ Ka  G1 K : f  a   1G 2‬‬ ‫‪‬‬
‫‪ Ka  G1 K : a  K‬‬
‫‪ K  1G1‬‬ ‫‪‬‬ ‫‪K‬‬ ‫‪‬‬
‫إذن ‪ g‬أحاد ‪.‬‬

‫عـ ـ ــي ‪ ‬أ‬ ‫ـ ـ ـ ل ال اس ـ ـ ـ ‪ g‬مـ ـ ــع ال اس ـ ـ ـ ال‬ ‫‪ -٢‬ﻻح ـ ـ ـ أن ال اس ـ ـ ـ ‪ f‬ه ـ ـ ـ ت‬

‫أن ‪ . f  g  ‬ﻻح ال ل ال الي‪:‬‬
‫‪G1‬‬ ‫‪‬‬
‫‪f‬‬
‫‪ Im f‬‬
‫‪‬‬ ‫‪g‬‬
‫‪‬‬
‫‪G1 / Kerf‬‬
‫ة ال ا قة إب رف م فإن ‪. G1 / Kerf  G 2‬‬ ‫‪ -٣‬إذا ان ال اس ‪ f‬في ال‬

‫‪ K‬زمـ ـ ة ج ئ ــة‬ ‫‪ H‬زمـ ـ ة ج ئ ــة مـ ـ ال م ـ ـ ة ‪ ،G‬ولـ ـ‬ ‫‪ ١٥-٦‬م ـــألة ‪ :‬لـ ـ‬

‫أن ‪ H  K‬زم ة ج ئ ة اس ة م ال م ة ‪.H‬‬ ‫اس ة م ال م ة ‪ .G‬أث‬
‫‪ ١٧-٢‬واضــح أن ‪ H  K‬زم ـ ة ج ئ ــة م ـ ال م ـ ة ‪ .H‬خ ـ‬ ‫ال ــل‪ :‬م ـ ال ـ‬
‫ـ ـ ‪ x‬م ـ ـ ‪) H  K‬أ أن ‪ x‬ي ـ ــي إلـ ــى ـ ــل م ـ ـ ‪ H‬و ‪ .(K‬اﻵن ﻷ‬ ‫الع‬
‫‪٥٩‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ـ ‪ hxh 1‬ي ــي إلــى ‪ .H‬ـ ل‬ ‫ــا الع‬ ‫‪ h‬مـ ‪ ،H‬ف ـ اﻹغــﻼق أ‬ ‫ـ‬ ‫ع‬
‫ـ ـ ـ ــا أن ‪ K‬زمـ ـ ـ ـ ـ ة ج ئ ـ ـ ـ ــة اسـ ـ ـ ـ ـ ة مـ ـ ـ ـ ـ ال مـ ـ ـ ـ ـ ة ‪G‬‬ ‫ــ ـ ـ ـ ‪ h‬مـ ـ ـ ـ ـ ‪H‬‬ ‫ﻷ ع‬
‫ـ ‪ hxh 1‬ي ــي إلــى ‪، H  K‬‬ ‫ـ ‪ hxh 1‬ي ــي إلــى ‪ ،K‬و ال ــالي الع‬ ‫فالع‬
‫ال ل ب‪.‬‬ ‫وه ا ي‬

‫‪ K‬زمـ ـ ة ج ئ ــة‬ ‫‪ H‬زمـ ـ ة ج ئ ــة مـ ـ ال م ـ ـ ة ‪ ،G‬ولـ ـ‬ ‫‪ ١٦-٦‬م ـــألة ‪ :‬لـ ـ‬

‫أن ‪ HK  KH‬زم ة ج ئ ة م ال م ة ‪.G‬‬ ‫اس ة م ال م ة ‪ .G‬أث‬
‫‪ kh‬م ‪ . KH‬اﻵن ل ي ا‬ ‫ال او ‪ .‬نأخ الع‬ ‫ال ل‪ :‬أوﻻ ن‬
‫)‪kh  1G (kh)  (hh 1 )(kh)  h(h 1 kh‬‬
‫ـ ـ ‪ h 1kh‬ي ــي إل ــى ‪،K‬‬ ‫ــا أن ‪ K‬زمـ ـ ة ج ئ ــة اسـ ـ ة مـ ـ ال مـ ـ ة ‪ G‬فالع‬
‫ـ إث ــات‬ ‫‪ kh‬ي ي إلى ‪ HK‬أ أن ‪ . KH  HK‬ال ل‬ ‫و ال الي الع‬
‫أن ‪ HK‬زم ة ج ئ ــة‬ ‫ال او ال ل ب‪ .‬ثان ًا ن‬ ‫أن ‪ HK  KH‬وه ا ي‬
‫‪ . HK‬اﻵن‬ ‫‪ h1k1 ،h 2 k 2‬م‬ ‫م ال م ة ‪ .G‬خ الع‬
‫‪h1k1 (h 2 k 2 ) 1  h1k 1 (k 2 1h 2 1 )  h1 (k1k 2 1 )h 2 1‬‬
‫‪ (k1k 2 )h 2‬ي ي إلى ‪ KH‬و ال الي م ال او ي ي‬ ‫واضح أن الع‬
‫‪1‬‬ ‫‪1‬‬

‫إلى ‪ .HK‬إذن ‪ (k1k 2 )h 2  kh‬و ال الي ‪، h1k1 (h 2 k 2 )  h1hk‬‬

‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬

‫في ‪ ،HK‬فإن ) ‪ h1k1 (h 2 k 2‬ي ي إلى ‪ HK‬وه ا‬ ‫أن ‪ h1hk‬ع‬ ‫وح‬

‫‪1‬‬

‫ال ل ب‪.‬‬ ‫ي‬

‫‪ H‬زمـ ة ج ئ ــة مـ ال مـ ة‬ ‫ــة ال ان ــة لﻸ ـ م رف م(‪ :‬لـ‬ ‫ــة )ال‬ ‫‪ ١٧-٦‬ن‬

‫‪ K‬زم ة ج ئ ة اس ة م ال م ة ‪ .G‬إذن‬ ‫‪G‬ول‬
‫‪HK / K  H /  H  K ‬‬

‫‪f : HK  H /  H  K ‬‬ ‫راس‬ ‫عف‬ ‫ال هان‪:‬‬

‫ل ج وذل ﻷنه ﻷ‬ ‫كال الي‪ . f  hk   h  H  K  ،‬ه ا ال اس مع ف‬
‫‪٦٠‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ب في‬ ‫ ال‬. h1k1  h 2 k 2 ‫ ل ف ض أن‬، HK ‫ م‬h1k1 ،h 2 k 2 ‫ع‬

‫ و ال الي‬، h 2 1h1  k 2 k11 ‫ م ال ار ي ج أن‬h 2 1 ‫وفي‬ ‫ م ال‬k11
‫وم ه‬ HK ‫إلى‬ ‫ي ي‬ ‫إذن‬ K ‫إلى‬ ‫ي ي‬ h 2 h11
‫ اﻵن ﻷ‬. f (k1h1 )  f (k 2 h 2 ) ‫أن‬ ‫ أ‬h1 (H  K)  h 2 (H  K)
‫ ل ي ا‬HK ‫ م‬h1k1 ،h 2 k 2 ‫ع‬

f  (h1k1 )(h 2 k 2 ) 
 f  h1 k1 h 2 k 2 
 f  h1 (h 2 h 2 1 )k1h 2 k 2 
 f  h1h 2 (h 2 1k1h 2 )k 2 
 f  h1h 2 (kk 2 )  , k  h 2 1k1h 2
 h1h 2 (H  K)
 h1 (H  K)h 2 (H  K)
 f (h1k1 )f (h 2 k 2 )

‫ فـ ـ ــإن‬H /  H  K  ‫ف ـ ـ ــي‬ h  H  K  ‫ـــ‬ ‫ ﻷ ع‬.‫ ه م ـ ـ ـ رف م‬f ‫إذن‬

‫ـ ــة اﻷول ـ ــى‬ ‫ مـ ـ ـ ال‬.‫ إب ـ ـ ـ رف م‬f ‫ و ال ـ ــالي‬h  H  K   f (hk), k  K
‫ اﻵن‬. HK / ker f  H /  H  K  ‫رف م ي ج ل ي ا‬ ‫لﻸ‬

ker f  {hk  HK : f (hk)  1H/( HK ) }

 {hk  HK : h(H  K)  (H  K)}
 {hk  HK : h  (H  K)}

. ker f  K ‫ إذن‬hk  K ‫ وم ه‬h  K ‫ فإن‬h  (H  K) ‫اﻵن إذا ان‬

‫ إذن‬1G  H  K ‫ و ا أن‬k  1G k ‫أن‬ ‫ ﻻح‬. k  K ‫اﻵن خ ع‬
.‫ال ل ب‬ ‫ وه ا ي‬ker f  K ‫ أ أن‬K  ker f ‫ إذن‬. k  ker f

٦١
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫أن‬ ‫ــ‬ ‫فـ ــي ‪G‬‬ ‫اس ـ ـ‬ ‫جــ ئ‬

‫‪ ١٨-٦‬م ـــألة ‪ :‬ل ـ ـ ‪َ H‬و ‪ K‬زم ـ ـ ت‬
‫‪ . K  H‬أث أن ‪ H K‬زم ة ج ئ ة اس ة في ‪. G K‬‬

‫ال ــل ‪ :‬واضــح أن ‪ H K‬م ـ اه فــي ‪) G K‬ل ــاذ؟(‪ .‬اﻵن ل ــل ‪َ Ka‬و ‪Kb‬‬
‫في ‪َ H K‬و ‪ Kg‬في ‪ G K‬فإن‬

‫‪(i)  Ka  Kb   K(ab 1 )  H K‬‬

‫‪1‬‬

‫‪(ii)  Kg  Ka  Kg   K(g ag 1 )  H K‬‬

‫‪1‬‬

‫إذن ‪ H K‬زم ة ج ئ ة اس ة في ‪. G K‬‬

‫‪ H‬و ‪ K‬زم تــان ج ئ ــان‬ ‫ــة ال ال ــة لﻸ ـ م رف م(‪ :‬لـ‬ ‫ــة )ال‬ ‫‪ ١٩-٦‬ن‬
‫‪ . H  K‬إذن‬ ‫اس ان م ال م ة ‪ ،G‬ح‬

‫‪G K  H K   G‬‬ ‫‪H‬‬

‫ال هـ ـــان ‪ :‬م ـ ـ ال ـ ــألة ال ـ ــا قة ي ـ ــح أن حلقـ ــة الق ــ ـ ة ‪ G K   H K ‬‬
‫م ج ـ دة‪ .‬اﻵن نع ـ ف ارس ـ ‪ f : G K  G H‬ال ــالي‪ . f  Ka   Ha ،‬ه ـ ا‬
‫‪ Ka‬و ‪ Kb‬فــي ‪، G K‬‬ ‫ـ‬ ‫ـ ل ج ـ وذل ـ ﻷنــه ﻷ ع‬ ‫ال اس ـ مع ـ ف‬
‫ل ف ض أن ‪  Ka    Kb ‬إذن ل ي ا‬

‫‪Let  Ka    Kb ‬‬
‫‪ ab 1  K‬‬
‫‪ ab 1  H‬‬
‫‪  Ha    Hb ‬‬
‫‪ f  Ka   f  Kb ‬‬

‫‪ Ka‬و ‪ Kb‬في ‪ ، G K‬فإن‬ ‫اﻵن ﻷ ع‬

‫‪٦٢‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

f  Ka  Kb    f  K(ab) 
 H(ab)
  Ha  Hb 
 f  Ka  f  Kb 

‫ في‬Ka ‫ واضح أنه ي ج‬، G H ‫ م‬Ha ‫ ل أخ ع‬.‫ ه م رف م‬f ‫إذن‬

‫ اﻵن م‬.‫ ف قي و ال الي إب رف م‬f ‫ إذن‬. f  Ka   Ha ‫أن‬ G K
‫ ل‬.  G K  ker f  G H ‫م ف م‬ ‫ة اﻷولى لﻸ‬ ‫ال‬

ker f  Ka  G K:f  Ka   1G H 

 Ka  G K :Ha  H
 Ka  G K:a  H
H K

‫إذن‬
.G K   H K   G H

(Automorphisms) ‫رواس اﻷوت م رف م‬

‫ـى‬ f ‫ أ ـ م رف م فــإن‬f:G  G ‫ إذا ــان‬.‫ زم ـ ة‬G ‫ ل ـ‬: ‫ تع ـ‬٢٠-٦

.(Automorphism) ‫أوت م رف م‬

‫ وال ع ف ــاﻷتي‬f:G  G ‫ال اس‬ ‫ اع‬.‫ زم ة إب ال ة‬G ‫ ل‬:‫ م ال‬٢١-٦

‫ ل ي ا‬، G ‫ في‬b ‫ و‬a ‫الع‬ ‫ اع‬.G ‫ في‬a ‫ ل ل‬f(a)=a -1
f  ab  =  ab  =b -1a -1 =a -1b -1 =f  a  f  b 
-1

٦٣
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫إذن ‪ f‬ه م رف م‪.‬‬

‫‪ a‬في ‪ G‬فإن‬ ‫إذا أخ نا أ ع‬
‫‪a   a 1 ‬‬
‫‪-1‬‬

‫‪ a  f  a -1 ‬‬

‫‪ a‬و ‪ b‬ف ــي ‪G‬‬
‫‪a 1  b 1‬‬
‫‪  a 1    b 1 ‬‬
‫‪1‬‬
‫ــ‬ ‫أ أن ‪ a‬صـ ـ رة ﻷحـ ـ ع اصـ ـ ‪ .G‬إذن ‪ f‬فـ ـ قي‪ .‬خـ ـ ع‬
‫أن ‪ ، f  a   f  b ‬إذن‬
‫‪1‬‬

‫‪ab‬‬
‫إذن ‪ f‬أحاد ‪ .‬إذن ‪ f‬أوت م رف م‪.‬‬

‫‪ ٢٢-٦‬م ـ ـ ـ ـــال‪ :‬ال اسـ ـ ـ ـ ـ ‪ f :    0     0‬وال عـ ـ ـ ـ ـ ﱠ ف ال ـ ـ ـ ــالي‪:‬‬

‫ل أوت م رف م‪) .‬ت ق (‬ ‫‪ f  a   a 2‬ل ل ‪ a‬في ‪،    0‬‬

‫ج ــع رواسـ اﻷوت مـ رف م علــى‬ ‫عــة ‪ autG‬وال ــي ت ـ‬ ‫ــة‪ :‬ال‬ ‫‪ ٢٣-٦‬ن‬
‫ل ال واس ‪.‬‬ ‫ال م ة ‪ G‬ت ل زم ة مع ع ل ة ت‬
‫ال هان‪:‬‬
‫أوت م رف م‪ .‬ا أن ل م ه ا أحــاد ال ــا‬ ‫‪ f‬و ‪ g‬راس‬ ‫‪ -١‬اﻹغﻼق‪ :‬ل‬
‫‪.‬‬ ‫ـ ــا أح ـ ــاد ال ـ ــا‬ ‫ـ ـ ـ له ا ‪ f  g‬أ‬ ‫إذن نعلـ ـ ـ مـ ـ ـ د ارسـ ـ ـ ا ال ـ ــا قة أن ت‬
‫‪ a‬و ‪ b‬فــي‬ ‫ـ‬ ‫ـ ل ه مـ رف م‪ .‬خـ الع‬ ‫و ال ــالي ي قــى عل ــا إث ــات أن ال‬
‫‪ G‬ل يا‬

‫‪٦٤‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫‪ f  g  ab   f g  ab ‬‬

‫‪ f g  a  g  b  ‬‬
‫‪ f g  a   f g  b  ‬‬
‫‪  f  g  a  f  g  b ‬‬
‫أن ‪ f  g‬ه م رف م و ال الي أوت م رف م‪.‬‬ ‫وه ا ي‬
‫ل ال واس دام ة ‪.‬‬ ‫‪ -٢‬اﻹدماج م ق ﻷن ع ل ة ت‬
‫أن ال اسـ ـ ـ ـ ال ايـ ـ ـ ـ ‪ 1G : G  G‬وال عـ ـ ـ ـ ف ال ـ ـ ــالي‬ ‫‪ -٣‬ال ايـ ـ ـ ـ ‪ :‬سـ ـ ـ ـ‬
‫عــة ‪ .autG‬واضــح أن ‪1G‬‬ ‫ل أوت م رف م و ال الي ي ــي لل‬ ‫‪1G  a   a‬‬
‫‪ a‬و ‪ b‬في ‪ G‬فإن‬ ‫ل ﻷ ع‬ ‫‪.‬‬ ‫أحاد ال ا‬
‫‪1G  ab   ab  1G  a 1G  b ‬‬
‫عة ‪.autG‬‬ ‫إذن ‪ 1G‬ه م رف م و ال الي أوت م رف م‪ ،‬وه ال اي في ال‬
‫‪ f‬أوت م ـ ـ ـ رف م علـ ـ ــى ال م ـ ـ ـ ة ‪ .G‬إذن ‪ f‬أحـ ـ ــاد ال ـ ـ ــا‬ ‫‪ -٤‬ال ع ـ ـ ـ س‪ :‬ل ـ ـ ـ‬
‫‪ .‬اﻵن خ ـ ـ‬ ‫ـ ــا أحـ ــاد ال ـ ــا‬ ‫و ال ـ ـالي ال اس ـ ـ الع ـ ــي ‪ f 1‬م ج ـ ـ د وه ـ ـ أ‬
‫‪x‬‬ ‫‪ a‬و ‪ b‬في ‪ G‬ا أن ‪ f‬ف قي إذن ‪ a  f  x ‬و ‪ b  f  y ‬ح ـ‬ ‫ع‬
‫ال اسـ ـ ـ ـ الع ـ ـ ــي ‪ x  f 1  a ‬و ‪، y  f 1  b ‬‬ ‫و ‪ y‬ف ـ ـ ــي ‪ .G‬مـ ـ ـ ـ تع ـ ـ ـ ـ‬
‫و ال الي ل ي ا‬
‫‪f 1  ab   f 1  f  x  f  y  ‬‬
‫‪ f 1  f  xy  ‬‬
‫‪ xy‬‬
‫‪ f  1  a  f 1  b ‬‬

‫ـ ـ فـ ــي ‪ autG‬لـ ــه‬ ‫إذن ‪ f 1‬ه م ـ ـ رف م و ال ـ ــالي أوت م ـ ـ رف م‪ .‬أ أن ـ ــل ع‬

‫ل ال واس ‪.‬‬ ‫مع س في ‪ .autG‬إذن ‪ autG‬زم ة مع ع ل ة ت‬

‫‪٦٥‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ال مـ ة ‪ autG‬ت ـ ى زمـ ة رواسـ اﻷوت مـ رف م )‪(Automorphism group‬‬

‫على ال م ة ‪.G‬‬

‫ـ ـ فـ ــي ‪ .G‬ع ـ ـ ف ال اس ـ ـ‬ ‫‪ G‬زم ـ ـ ة‪ ،‬و ـ ــان ‪ x‬ع‬ ‫‪ ٢٤-٦‬م ــــألة‪ :‬إذا ان ـ ـ‬

‫‪ f x : G  G‬ال الي‬
‫‪f x  a   xax 1 , a  G‬‬
‫أن ‪ f x‬أوت م رف م‪.‬‬ ‫أث‬
‫‪ a‬و ‪ b‬في ‪ ،G‬إذن‬ ‫ال ل‪ :‬خ ع‬
‫‪f x  ab   xabx 1‬‬
‫‪ xa  x 1x  bx 1‬‬
‫‪  xax 1  xbx 1 ‬‬
‫‪ fx a  fx  b ‬‬
‫إذن ‪ f x‬ه م رف م‪ .‬اﻵن‬
‫‪Kerf x  a  G : f x  a   1G ‬‬
‫‪ a  G : xax 1  1G ‬‬
‫‪ a  G : a  x 11G x‬‬
‫‪ a  G : a  1G   1G ‬‬
‫ا ة ما يلي‬ ‫‪ a‬في ال ال ال قابل ‪،G‬‬ ‫إذن ‪ f x‬أحاد ‪ .‬اﻵن خ الع‬
‫‪a  1a1  xx 1axx 1  x  x 1ax  x 1  f x  x 1ax ‬‬
‫‪ x 1ax‬م ال ال ‪ .G‬و ال الي ‪ f‬فـ قي‪ .‬إذن‬ ‫‪ a‬ص رة للع‬ ‫أ أن الع‬
‫‪ f x‬أوت م رف م‪.‬‬
‫‪Inner‬‬ ‫ـ ـ ى اﻷوت مــــ رف م ال ـــ اخلي )‬ ‫اﻷوت مـ ـ رف م فـــي ال ـــألة ال ـ ــا قة‬
‫‪.x‬‬ ‫‪ (automorphisms‬لل م ة ‪ G‬ب اس ة الع‬

‫‪٦٦‬‬
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ج ـ ــع رواسـ ـ ـ اﻷوت مـ ـ ـ رف م‬ ‫ وال ـ ــي ت ـ ـ ـ‬innG ‫ع ـ ــة‬ ‫ ال‬:‫ـ ـــة‬ ‫ ن‬٢٥-٦
.autG ‫ ت ل زم ة ج ئ ة م ال م ة‬G ‫ال اخل ة لل م ة‬
‫ ل ي ا‬f y1 ‫اﻷوت م رف م‬ ‫ اع‬.G ‫ أوت م رف م داخلي لل م ة‬f y ‫ ل‬:‫ال هان‬

f y 
 f y1  a   f y  f y1  a  
 
 f y  y 1a  y 1  
1

 
 f y  y 1ay 
 y  y 1ay  y 1
a
‫ و‬fx  
‫ اﻵن خـ ال اسـ‬. f y ‫ مع س لـ‬f y1 ‫ إذن‬. f y1  f y  a   a ‫ال ل‬
‫ ل ي ا‬،innG ‫ م‬f y

y  x 
 f   f 1   a   f  f 1  a 
 x y 
 f x  f y 1  a  
 
 f x  y 1a  y 1  
1

 
 f x  y 1ay 
 x  y 1ay  x 1
  xy 1  a  yx 1 

  xy 1  a  xy 1 
1

 f xy1  a 
.‫ال ل ب‬ ‫ وه ا ي‬innG ‫ ي ي لـ‬f xy1 ‫واضح أن‬

٦٧
 ‫سلسلة محاضرات في مبادئ نظرية الزمر‬

‫ال اب ال ادس‬ ‫ت ار‬

‫ما إذا ــان ‪f‬‬ ‫‪ f : G1  G 2‬راس م ال م ة ‪ G1‬إلى ال م ة ‪ . G 2‬ب‬ ‫‪ -١‬ل‬
‫‪ Kerf‬و ‪ Imf‬فـ ــي ـ ــل مــ ـ‬ ‫ه م ـ ـ رف م‪ ،‬م ن م ـ ـ رف م‪ ،‬إب مــ ـ رف م‪ ،‬واح ـ ـ‬
‫ال اﻻت ال ال ة‪:‬‬
‫أ( ‪. f  a   a 2 , G 2   * ,  , G1   * , ‬‬
‫ب( ‪. f  a   a 2 , G 2   ,   , G1   ,  ‬‬
‫ج( ‪. f  a   2a  1, G 2   ,   , G1   ,  ‬‬
‫‪f  a   1, G 2   ,   , G1   ,  ‬‬ ‫د(‬
‫ا دائ ة‪.‬‬ ‫رة اله م ر ة ل م ة دائ ة ت ن أ‬ ‫أن ال‬ ‫‪ -٢‬أث‬
‫عي‪.‬‬ ‫ن اة اله م رف م ال‬ ‫‪ -٣‬اح‬
‫‪ ‬ه ـ ــي‬ ‫‪ ،  /   G‬ح ــ ـ‬ ‫أن‬ ‫أث ـ ـ ـ‬ ‫‪ -٤‬اع ـ ـ ال مـ ـ ـ ة ‪G  1, 1‬‬
‫م ال ال ‪(١-٥-٦‬‬ ‫عة اﻷع اد ال وج ة‪ ).‬تل ح‪ :‬اس‬ ‫م‬
‫‪ f : G1  G 2‬إب ـ رف م مـ ال مـ ة ال ه ــة ‪ G1‬إلــى ال مـ ة ال ه ــة‬ ‫‪ -٥‬لـ‬
‫ـ ــة اﻷول ـ ــى‬ ‫م ال‬ ‫أن رت ـ ــة ‪ G 2‬تق ـ ـ ـ رت ـ ــة ‪) . G1‬تل ـ ـ ـ ح اسـ ـ ـ‬ ‫‪ . G 2‬أث ـ ـ ـ‬
‫م رف م(‬ ‫لﻸ‬

‫‪٦٨‬‬