See discussions, stats, and author profiles for this publication at: https://www.researchgate.

net/publication/336134195

Group Theory

Book · September 2001

CITATIONS READS

0 63

1 author:

Falih Aldosray
Umm Al-Qura University
37 PUBLICATIONS   46 CITATIONS   

SEE PROFILE

All content following this page was uploaded by Falih Aldosray on 30 September 2019.

The user has requested enhancement of the downloaded file.

 In 1770, the French mathematician Lagrange (1736--1813) studied the

group related to the second, third, and fourth degree equations.

In 1824, the Norwegian Mathematician Abel (1802-1829) proved the

impossibility of finding a general law to solve the fifth degree equations.

Galois (1811 - 1832) study the work s of Lagrange and Abel , then he

associate in 1832, the algebraic equations with groups (a closed finite set of

permutations), and he discovered the required conditions that an equation of

a degree greater or equal to five in order to have an algebraic solution, and

between 1844 and 1846 the French mathematician Cauchy (1789 -1857)

developed the theory of permutations. He proved that "if G is a group of

order mp, where p is a prime number, then G contains a subgroup of order p.

In 1854, the British mathematician Cayley (1821--1895) used the

associative property and the identity element in his definition of the group. In

1870, the French mathematician Jordan (1838-1922) study infinite groups,

and he define Solvable groups.

In 1872, the Norwegian mathematician Sylow (1832--1918) expanded the

n
work of Galois and Cauchy to the groups of order mp . In 1882, Weber

published the exact definition of the group we are currently using.

‫ج‬
 ‫بسم هللا الرحمن الرحيم‬

‫الحمد هلل الذي علم بالقلم علم االنسان ما لم يعلم والصالة والسالم على خير‬
‫خلقه أجمعين المبعوث رحمة للعالمين نبينا محمد (صلى هللا عليه وسلم) القائل ‪( :‬من‬
‫سلك طريقا ً يطلب به علما ً سهل هللا له به طريقا ً الى الجنّة) وبعد فقد نشأت نظرية‬
‫الزمر مقترنةً بايجاد الحلول الجبرية لكثيرات الحدود ‪ ،‬ففي عام ‪1770‬م درس‬
‫الفرنسي الجرانج (‪1736‬م‪1813-‬م) الزمر ‪ s4 , s3 , s2‬لعالقتها بحلول معادالت الدرجة‬
‫الثانية والثالثة والرابعة ‪ ،‬وفي عام ‪1824‬م أثبت النرويجي آبل (‪1802‬م‪1829-‬م)‬
‫استحالة ايجاد قانون عام لحل معادالت الدرجة الخامسة ‪ ،‬وبعد دراسة الفرنسي جالوا‬
‫(‪1811‬م‪ 1832-‬م) أعمال كل من الجرانج وآبل قرن عام ‪1832‬م المعادالت الجبرية‬
‫بالزمر (مجموعة منتهية مغلقة من التباديل) ‪ .‬وأكتشف الشروط التي يجب توفرها في‬
‫معادلة درجتها أكبر أو تساوي خمسة لكي يكون لها حالً جبريا ً ‪ ،‬وفيما بين ‪1844‬م‪-‬‬
‫طور الفرنسي كوشي (‪1789‬م‪1857-‬م) نظرية التباديل وأثبت أنّه "اذا كانت‬ ‫‪1846‬م ّ‬
‫‪ G‬زمرة منتهية رتبتها ‪ mp‬حيث ‪ p‬عددا ّأوليا ً فان ‪ G‬تحوي زمرة جزئية رتبتها‬
‫صية التجميعية‬‫‪ p‬وفي عام ‪1854‬م استخدم االنجليزي كيلي (‪1821‬م‪1895-‬م) الخا ّ‬
‫والعنصر المحايد في تعريفه للزمرة وفي عام ‪1867‬م تعامل جوردن (‪1838‬م‪-‬‬
‫عرف الزمر القابلة للحل ‪ ،‬وفي عام ‪1870‬م نشر‬ ‫‪1921‬م) مع الزمر الغير منتهية كما ّ‬
‫جوردن كتابة الموسوم (التباديل والمعادالت الجبريّة) الذي عرض فيه ما عرف عن‬
‫زمر التباديل وعالقتها بنظريّة جالوا اضافة للعديد من النتائج الجديدة في التشاكل‬
‫سع النرويجي سيلو (‪1832‬م‪1918-‬م) أعمال جالوا‬ ‫الزمري ‪ ،‬وفي عام ‪1872‬م و ّ‬
‫وكوشي الى الزمر المنتهية من الرتبة ‪ mp‬وفي نفس العام استخدم االلماني كالين‬
‫‪n‬‬

‫(‪1849‬م‪1925-‬م) نظرية الزمر لتعريف علم الهندسة تعريفا ً دقيقا ً وشامالً ‪ ،‬وفي عام‬
‫‪1882‬م نشر االلماني ويبر التعريف الدقيق للزمرة الذي نستخدمه حاليا ً ‪.‬‬

‫المؤلفان‬

‫ح‬
 ‫المحتــــــــوى‬
‫صفحة‬
‫‪1‬‬ ‫الفصل األول ‪ :‬مفهوم الزمرة‬
‫‪1‬‬ ‫‪ 1-1‬تعاريف وأمثلة‬
‫‪12‬‬ ‫‪ 2-1‬خواص أساسية‬
‫‪14‬‬ ‫تمارين‬

‫‪19‬‬ ‫الفصل الثاني ‪ :‬الزمر الجزئية والزمر الدائرية‬

‫‪19‬‬ ‫‪ 1-2‬الزمر الجزئية‬
‫‪28‬‬ ‫‪ 2-2‬الزمر الدائرية‬
‫‪33‬‬ ‫تمارين‬

‫‪39‬‬ ‫الفصل الثالث ‪ :‬زمر التباديل‬

‫‪39‬‬ ‫‪ 1-3‬تعاريف وأمثلة‬
‫‪42‬‬ ‫‪ 2-3‬التباديل الدائرية‬
‫‪50‬‬ ‫‪ 3-3‬التباديل الفردية والتباديل الزوجية‬
‫‪56‬‬ ‫تمارين‬

‫‪59‬‬ ‫الفصل الرابع ‪ :‬حساب رتب الزمر المنتهية‬

‫‪59‬‬ ‫‪ 1-4‬صفوف التجاور ونظرية الجرانج‬
‫‪66‬‬ ‫معادلة الفصول‬ ‫‪2-4‬‬
‫‪73‬‬ ‫تمارين‬
‫‪79‬‬ ‫الفصل الخامس ‪ :‬الزمر الجزئية الناظمية وزمر الباقي‬
‫‪79‬‬ ‫الزمر الجزئية الناظمية‬ ‫‪1-5‬‬
‫‪86‬‬ ‫زمر الباقي‬ ‫‪2-5‬‬
‫تمارين‬
‫‪90‬‬

‫خ‬
 ‫‪95‬‬ ‫الفصل السادس ‪ :‬التشاكل الزمري‬
‫‪95‬‬ ‫تعاريف وخواص أساسية‬ ‫‪1-6‬‬
‫‪100‬‬ ‫التماثل ونظرية كيلي‬ ‫‪2-6‬‬
‫‪104‬‬ ‫النظريات األساسية‬ ‫‪3-6‬‬
‫تمارين‬
‫‪107‬‬

‫‪113‬‬ ‫الفصل السابع ‪ :‬التماثالت الذاتية‬

‫‪113‬‬ ‫تعاريف وخواص أساسية‬ ‫‪1-7‬‬
‫‪118‬‬ ‫الزمر الجزئية المميزة‬ ‫‪2-7‬‬
‫‪120‬‬ ‫التماثالت الذاتية للزمر الدائرية‬ ‫‪3-7‬‬
‫تمارين‬
‫‪123‬‬

‫‪127‬‬ ‫الفصل الثامن ‪ :‬الضرب المباشر‬

‫‪127‬‬ ‫الضرب المباشر الخارجي‬ ‫‪1-8‬‬
‫‪131‬‬ ‫الضرب المباشر الداخلي‬ ‫‪2-8‬‬
‫‪136‬‬ ‫تمارين‬
‫‪141‬‬ ‫الفصل التاسع ‪ :‬الزمر االبدالية‬
‫‪141‬‬ ‫مقدمة في الزمر الدورية وغير الدورية‬ ‫‪1-9‬‬
‫‪143‬‬ ‫الزمر االبدالية ذات المولدات المنتهية‬ ‫‪2-9‬‬
‫‪151‬‬ ‫أنماط الزمر االبدالية‬ ‫‪3-9‬‬
‫‪154‬‬ ‫تمارين‬

‫‪157‬‬ ‫الفصل العاشر ‪ :‬الزمر البسيطة وزمر سيلو‬

‫‪157‬‬ ‫الزمر البسيطة‬ ‫‪1-10‬‬
‫‪160‬‬ ‫نظريات سيلو‬ ‫‪2-10‬‬
‫بعض التطبيقات‬ ‫‪3-10‬‬
‫‪166‬‬
‫تمارين‬
‫‪168‬‬

‫‪171‬‬ ‫الفصل الحادي عشر ‪ :‬المتسلسالت‬

‫د‬
‫‪171‬‬ ‫المتسلسالت شبه الناظمية ونظرية شراير‬ ‫‪1-11‬‬
‫‪175‬‬ ‫المتسلسالت المركبة‬ ‫‪2-11‬‬
‫‪178‬‬ ‫تمارين‬

‫‪181‬‬ ‫الفصل الثاني عشر ‪ :‬الزمر القابلة للحل والزمر المتالشية‬

‫‪181‬‬ ‫الزمر القابلة للحل‬ ‫‪1-12‬‬
‫‪186‬‬ ‫الزمر المتالشية‬ ‫‪2-12‬‬
‫‪192‬‬ ‫تمارين‬

‫‪195‬‬ ‫المراجع‬
‫‪197‬‬ ‫رموز ومصطلحات‬
‫‪200‬‬ ‫الدليـــــل‪ :‬عربــي ‪ -‬انجليزي‬

‫ذ‬
 ‫الفصل األول‬
‫مفهوم الزمرة‬

‫ي الجمع والضرب ‪ ،‬وفي‬ ‫درسنا في الحساب العمليات العددية األساسية كعمليت ّ‬

‫كل من هاتين العمليتين يقابل كل زوج من األعداد عددا ً آخر هو حاصل جمعهما في‬
‫حالة الجمع وحاصل ضربهما في حالة الضرب ‪ ،‬وبعد ظهور نظرية المجموعات‬
‫وعرف نمط أع ّم من العمليات الثنائية على مجموعات قد ال تكون عناصرها‬ ‫ّ‬ ‫عمم ذلك‬
‫أعدادا ً فعملية تركيب التطبيقات على مجموعة التطبيقات لمجموعة ما عملية ثنائية‬
‫على تلك المجموعة ألنها تقرن كل زوج من التطبيقات بتطبيق واحد هو تركيبهما ‪.‬‬
‫وبصورة عامة يقال عن ‪ ‬أنها عملية ثنائية على مجموعة غير خالية ‪ G‬اذا كانت ‪‬‬
‫تطبيقا ً من ‪ G  G‬الى ‪ ، G‬وتسمى أي مجموعة غير خالية وعملية ثنائية أو أكثر‬
‫معرفة عليها نظاما ً رياضيا ً وبعض األنظمة الرياضية يحقق خواص التجميع أو وجود‬
‫عنصر محايد أو وجود معكوس لكل عنصرمن عناصر النظام فمجموعة األعداد‬
‫الصحيحة وعمليتي الجمع والضرب نظام رياضي ذو عمليتين يحقق بعض تلك‬
‫الخواص أما مجموعة التقابالت على مجموعة وعملية تركيب التطبيقات فهي نظام‬
‫رياضي ذو عملية واحدة يحقق جميع تلك الخواص وتحقق مثل تلك الخواص في نظام‬
‫رياضي مفيد جدا ً اذ لو لم تكن مجموعة األعداد الصحيحة وعملية الجمع نظاما ً‬
‫رياضيا ً يحقق تلك الخواص لما أمكننا حل معادلة بسيطة مثل ‪ x  2  6‬وفي هذا‬
‫الفصل سندرس األنظمة الرياضية ذات العملية الواحدة (الزمرة) التي تحقق جميع تلك‬
‫الخواص ‪ ،‬ويضم هذا الفصل بندين عرفنا في األول منها الزمرة مع أمثلة متنوعة ‪،‬‬
‫أما الثاني فضم الخواص األساسية للزمرة ‪.‬‬

‫‪ 1-1‬تعاريف وأمثله ‪:‬‬

‫تعريف ‪: 1-1-1‬‬
‫اذا كانت ‪ G‬مجموعة غير خالية فيقال عن ) ‪ (G, ‬أنها زمرة اذا كانت ‪:‬‬
‫(أ) ‪ ‬عملية ثنائية على ‪ G‬أي أن ‪ a b  G‬لكل ‪a, b G‬‬
‫(ب) ‪ ‬عملية تجميعية (دامجة))‪ (Associative‬أي أن‬
‫لكل ‪a, b, c G‬‬ ‫)‪(a b) c  a (b c‬‬
‫(جـ) يوجد عنصر ‪ e  G‬يسمى العنصر المحايد )‪ (Identity Element‬بحيث‬
‫‪ a e  e a  a‬لكل ‪a  G‬‬ ‫أن‬
‫‪1‬‬
‫(د) لكل عنصر ‪ a  G‬يوجد معكوس )‪ a  G (Inverse‬بحيث أن‬
‫‪a a 1  a 1  a  e‬‬

‫‪1‬‬
 ‫تعريف‪: 2-1-1‬‬
‫يقال عن زمرة ) ‪ (G, ‬أنها ابدالية )‪ (Commutative‬أو آبلية )‪ (Abelian‬اذا‬
‫كان ‪ a b  b a‬لكل ‪a, b G‬‬
‫مثال ‪: 1-1-1‬‬
‫)‪ (Z,+‬زمرة ابدالية ألن‬
‫(ب) ‪ +‬عملية تجميعية‬ ‫(أ) ‪ +‬عملية ثنائية على ‪Z‬‬
‫على ‪Z‬‬
‫‪ a  0  0  a  a‬لكل ‪a Z‬‬ ‫(جـ) يوجد ‪ 0 Z‬بحيث أن ‪:‬‬
‫العنصر المحايد في ‪. Z‬‬ ‫وعليه فان ‪ 0‬هو‬
‫(د) لكل ‪ a Z‬يوجد ‪ a  Z‬بحيث ان ‪a  (a)  (a)  (a)  0‬‬
‫وعليه لكل عنصر معكوس‪.‬‬
‫(هـ) ‪ +‬عملية ابدالية ألن‪ a  b  b  a :‬لكل ‪a, b Z‬‬
‫)‪، (C,) ، (R,) ، (Q , ‬‬ ‫وبنفس الطريقة يمكن أن نبرهن أن‬
‫)‪ (C  ,) ، ( R  ,‬زمر ابدالية ‪.‬‬ ‫)‪، (Q  ,‬‬
‫مثال ‪: 2-1-1‬‬
‫ولنعرف ‪ ‬على ‪ G‬كاآلتي‬ ‫}‪G  {(a,b) a,b R , a  0‬‬ ‫لتكن‬
‫ي‬
‫‪ . (a, b),(c, d ) G‬حيث ‪  ,‬عمليت ّ‬ ‫لكل‬ ‫) ‪(a, b) (c, d )  (ac, bc  d‬‬
‫الضرب و الجمع االعتيادية على ‪ R‬فان ) ‪ (G, ‬زمرة ليست ابدالية ألن‬
‫‪ a, b, c, d R‬اذن ‪ ac, bc, bc  d R‬ألن ‪ R‬مغلقة‬ ‫(أ) بما أن‬
‫بالنسبة لعمليتي الجمع والضرب وبما أن ‪ a , c  0‬اذن ‪ ac  0‬وعليه فان‬
‫‪ . (a, b) (c, d )  (ac, bc  d ) G‬اذن ‪ G‬مغلقة بالنسبة للعملية ‪. ‬‬
‫(ب) ‪ ‬دامجة على ‪ G‬ألن ) ‪(a, b) (c, d ) (e, f )  (ac, bc  d ) (e, f‬‬
‫‪ (ac)e,(bc  d )e  f ‬‬
‫‪ a (ce), bce  de  f )‬‬
‫‪ a (ce), b(ce)  de  f ‬‬
‫) ‪ (a, b) (ce, de  f‬‬
‫‪ (a , b)(c, d ) (e, f )‬‬
‫(جـ) يوجد ‪ (1,0) G‬بحيث أن‬
‫)‪ (a, b) (1,0)  (1,0) (a, b)  (a, b‬لكل ‪(a, b)  G‬‬
‫وعليه فان )‪ (1,0‬هو العنصر المحايد‬
‫(د) لكل ‪ (a, b)  G‬يوجد ‪ ( a1 , ab )  G‬بحيث أن‬

‫‪2‬‬
 ‫)‪(a , b) ( a1 , ab )  ( a1 , ab ) (a , b)  (1,0‬‬
‫وعليه فان لكل عنصر معكوس ‪.‬‬
‫(هـ) ‪ ‬عملية غير ابدالية ألنه على سبيل المثال‬
‫‪(1,2) (3,4)  (310‬‬
‫)‪, )  (3,6)  (3,4) (1,2‬‬
‫مثال ‪: 3-1-1‬‬
‫حيث‬ ‫‪G   f1 , f 2 , f 3 , f 4 , f 5 , f 6 ‬‬ ‫اذا كانت‬
‫‪1‬‬ ‫‪x 1‬‬
‫‪f 1 ( x)  x‬‬ ‫‪f 2 ( x) ‬‬ ‫‪f 3 ( x)  1  x‬‬ ‫‪f 4 ( x) ‬‬
‫‪x‬‬ ‫‪x‬‬
‫‪x‬‬ ‫‪1‬‬
‫‪f 5 ( x) ‬‬ ‫‪f 6 ( x) ‬‬ ‫‪, x  R  0,1‬‬
‫‪x 1‬‬ ‫‪1 x‬‬
‫‪f , g G‬‬ ‫لكل‬ ‫))‪( f o g)( x)  f ( g( x‬‬ ‫فان )‪ (G,o‬زمرة ليست ابدالية حيث‬
‫نمثل العملية أعاله في الجدول اآلتي‬
‫‪o‬‬ ‫‪f1‬‬ ‫‪f2‬‬ ‫‪f3‬‬ ‫‪f4‬‬ ‫‪f5‬‬ ‫‪f6‬‬
‫‪f1‬‬ ‫‪f1‬‬ ‫‪f2‬‬ ‫‪f3‬‬ ‫‪f4‬‬ ‫‪f5‬‬ ‫‪f6‬‬
‫‪f2‬‬ ‫‪f2‬‬ ‫‪f1‬‬ ‫‪f6‬‬ ‫‪f5‬‬ ‫‪f4‬‬ ‫‪f3‬‬
‫‪f3‬‬ ‫‪f3‬‬ ‫‪f4‬‬ ‫‪f1‬‬ ‫‪f2‬‬ ‫‪f6‬‬ ‫‪f5‬‬
‫‪f4‬‬ ‫‪f4‬‬ ‫‪f3‬‬ ‫‪f5‬‬ ‫‪f6‬‬ ‫‪f2‬‬ ‫‪f1‬‬
‫‪f5‬‬ ‫‪f5‬‬ ‫‪f6‬‬ ‫‪f4‬‬ ‫‪f3‬‬ ‫‪f1‬‬ ‫‪f2‬‬
‫‪f6‬‬ ‫‪f6‬‬ ‫‪f5‬‬ ‫‪f2‬‬ ‫‪f1‬‬ ‫‪f3‬‬ ‫‪f4‬‬
‫(أ) واضح من الجدول أن ‪ o‬عملية ثنائية على ‪. G‬‬
‫(ب) ‪ o‬عملية دامجة ألن ))‪( f o g ) o h( x)  ( f o g)(h( x‬‬
‫)))‪ f ( g(h( x‬‬
‫))‪ f (( g o h)( x‬‬
‫) ‪  f o ( g o h)( x‬‬
‫)‪( f o g) o h  f o ( g o h‬‬ ‫اذن‬
‫(جـ) يوجد ‪ f 1  G‬بحيث أن ‪ ( f o f 1 )  ( f 1 o f )  f‬لكل ‪f  G‬‬
‫(د) من الجدول نجد أن‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪، f2  f2‬‬ ‫‪، f3  f3 ،‬‬ ‫‪f4‬‬ ‫‪ f6‬‬ ‫‪، f 5 1  f 5 ، f 6 1  f 4‬‬
‫‪1‬‬
‫‪f1  f1‬‬
‫وعليه فلكل عنصر يوجد معكوس ‪.‬‬
‫اذن )‪ (G,o‬زمرة‪.‬‬

‫‪3‬‬
 x 1 x
( f 2 o f 4 )( x )  f 2 ( f 4 ( x ))  f 2 ( ) ‫لكن‬
x x 1
1
1
1 x
( f 4 o f 2 )( x )  f 4 ( f 2 ( x ))  f 4 ( )   1 x
x 1
x
‫( زمرة ليست ابدالية‬G,o) ‫ اذن‬. f 2 o f 4  f 4 o f 2 ‫وعليه فان‬
.
: 4-1-1 ‫مثال‬
 x x 

‫زمرة‬ (G, ) ‫فان‬ G   : x  R  ‫اذا كانت‬
 0 0 
 ‫ابدالية حيث‬
. ‫عملية ضرب المصفوفات‬
 x x  y y  xy xy
‫و بما ان‬ ،       ‫(أ) بما ان‬
 0 0  0 0  0 0
 xy xy
.  G ‫اذن‬ ، xy R
 0 0
. ‫(ب) ضرب المصفوفات عملية دامجة‬
 1 1
‫بحيث أن‬   G ‫(جـ) يوجد‬
 0 0
 x x  1 1  1 1  x x  x x
         
 0 0  0 0  0 0  0 0  0 0
 1 1
. ‫هو العنصر المحايد‬   ‫اذن‬
 0 0
1 1   x x
‫بحيث أن‬  x x  G ‫يوجد‬   G ‫(د) لكل‬
 0 0  0 0
 x x  1 1  1 1   x x  1 1
   x x   x x     
 0 0  0 0  0 0   0 0  0 0
. ‫اذن لكل عنصر يوجد معكوس‬
 x x  y y  xy xy
      ‫ عملية ابدالية ألن‬ )‫(هـ‬
 0 0  0 0  0 0

4
  yx yx
  ، )R ‫(ألن عمليه الضرب األعتيادي ابداليه على‬


0 0
 y y  x x
   
 0 0  0 0
.‫( زمرة ابدالية‬G, ) ‫اذن‬
: 5-1-1 ‫مثال‬
 ‫ مجموعة المجموعات الجزئية من‬P( ) ،‫ مجموعة غير خالية‬ ‫لتكن‬
‫ على‬ ‫ولنعرف‬
ّ
‫نجد أن‬ A, B  P( X ) ‫ لكل‬A B  ( A  B) U( B  A) ‫ كالتالي‬P( )
‫ ( زمرة ابدالية ألن‬P( ), )
A, B  P( )  A, B   )‫(أ‬
 A  B, B  A  
 ( A  B) U( B  A)  
 ( A  B) U( B  A)  P( )
 AB  P( )
. G ‫ عملية معرفه على‬ ‫اذن‬
‫ عملية دامجة ألن‬ )‫(ب‬

( AB) C  ( AB)  C UC  ( AB)

 ( A  B) U( B  A)  C UC  ( A  B) U( B  A)
  A  ( B UC) UB  ( A UC) UC  ( A U B) U( A I B I C)
  A  ( B UC)( A I B I C) I B  ( A I C) UC  ( A U B)
  A  ( B  C) U(C  B) U( B  C) U(C  B)  A
  A  ( BC) U( BC)  A
 A( BC)
A  ( A  ) U(  A) ‫ بحيث أن‬  P( ) ‫(جـ) يوجد‬
 A U  A
A  (  A) U( A  )
 U A  A
. ‫ هو العنصر المحايد‬ ‫اذن‬
‫ نجد أن‬A  P( ) ‫(د) لكل‬

5
 ‫‪AA  ( A  A) U( A  A)   U  ‬‬
‫اذن كل عنصر معكوس نفسه ‪.‬‬
‫)‪AB  ( A  B) U( B  A‬‬ ‫(هـ) ‪ ‬عملية ابدالية ألن‬
‫)‪ ( B  A) U( A  B‬‬ ‫"ألن ‪ U‬عملية ابدالية" ‪،‬‬
‫‪ BA‬‬
‫اذن )‪ ( P( ), ‬زمرة ابدالية‪.‬‬

‫تعريف ‪: 3-1-1‬‬
‫يقال عن زمرة ما ) ‪ (G, ‬أنها منتهية )‪ (Finite Groups‬اذا كانت ‪ G‬مجموعة‬
‫منتهية‪ ،‬ويسمى عدد العناصر ‪ G‬رتبة الزمرة‪ .‬ويقال عن ) ‪ (G, ‬أنها زمرة غير‬
‫منتهية )‪ (Infinite Groups‬اذا كانت ‪ G‬مجموعة غير منتهية‪.‬‬
‫مثال ‪: 6-1-1‬‬
‫الزمر المعرفة في األمثلة (‪ )4-1-1( ، )2-1-1( ، )1-1-1‬زمر غير منتهية‬
‫أما الزمرة المعرفة في المثال (‪ )3-1-1‬فهي منتهية ألن ‪. G  6‬‬
‫مثال ‪: 7-1-1‬‬
‫اذا كانت ‪ G   A, B, C, D‬حيث‬
‫‪1 0 ‬‬ ‫‪ 1 0‬‬ ‫‪ 1 0‬‬ ‫‪ 1 0 ‬‬
‫‪C‬‬ ‫‪‬‬ ‫‪B‬‬ ‫‪‬‬ ‫‪A‬‬ ‫‪ D‬‬ ‫‪‬‬
‫‪ 0 1‬‬ ‫‪ 0 1‬‬ ‫‪ 0 1‬‬ ‫‪ 0 1‬‬
‫فان ) ‪ (G, ‬زمرة ابدالية منتهية حيث ‪ ‬عملية ضرب المصفوفات‪ .‬ألن ‪. G  4‬‬
‫من جدول العملية ‪ ‬اآلتي نجد ان ‪-:‬‬
‫‪‬‬ ‫‪A‬‬ ‫‪B‬‬ ‫‪C‬‬ ‫‪D‬‬
‫‪A‬‬ ‫‪A‬‬ ‫‪B‬‬ ‫‪C D‬‬
‫‪B‬‬ ‫‪B‬‬ ‫‪A‬‬ ‫‪D C‬‬
‫‪C C D‬‬ ‫‪A‬‬ ‫‪B‬‬
‫‪D D C‬‬ ‫‪B‬‬ ‫‪A‬‬

‫(أ) كل عنصر من جدول العملية عنصرا في ‪ . G‬اذن ‪ G‬مغلقة بالنسبة للعملية ‪‬‬
‫(ب) ‪ ‬عملية دامجة ألن عملية ضرب المصفوفات دامجة ‪.‬‬
‫(جـ) من الجدول نجد أن ‪ A‬هو العنصر المحايد ألن‬
‫‪ A M  M A  M‬لكل ‪M G‬‬
‫(د) من الجدول نجد أن ‪A  A , B  B , C 1  C , D 1  D‬‬
‫‪1‬‬ ‫‪1‬‬

‫‪6‬‬
‫(هـ) بما أن العناصر المتناظرة بالنسبة للقطر الرئيسي متساوية ‪ .‬اذن ‪‬‬
‫عملية ابدالية ‪.‬‬
‫مثال ‪: 8-1-1‬‬
‫اذا كانت }‪ G  { x Q x  1‬وعرفنا ‪ ‬على ‪ G‬كاآلتي ‪-:‬‬
‫‪ a b  a  b  ab‬لكل ‪a, b G‬‬
‫فان ) ‪ (G, ‬زمرة ابدالية ألن‬
‫(أ) لكي نثبت أن ‪ ab G‬يجب أن نثبت ‪ a  b  ab  1‬وألثبات‬
‫اذن ‪ a  b  ab  1  0‬وعليه فان‬ ‫نفرض أن ‪a  b  ab  1‬‬ ‫ذلك‬
‫و هذا يناقض كون‬ ‫‪ a  1‬أو ‪b  1‬‬ ‫اذن‬ ‫‪(a  1)(1  b)  0‬‬
‫‪ab  G‬‬ ‫‪ ، a  b  ab  1‬وعليه فان‬ ‫‪ a  1‬و ‪ . b  1‬اذن‬
‫‪.‬‬
‫(ب) ‪ ‬عملية دامجة ألن لكل ‪ a, b,c G‬نجد ان‬

‫‪(ab) c  (ab)  c  (ab)c  a  b  ab  c  (a  b  ab)c‬‬

‫)‪ a  b  c  ab ac bc abc a  (b  c  bc)  a(b  c  bc‬‬
‫)‪ a  (b c)  a(b c)  a (b c‬‬
‫(جـ) يوجد ‪ 0 G‬بحيث ان لكل ‪ a  G‬نجد ان‬
‫‪a0  a  0  a  0  a  0 a‬‬
‫اذن ‪ 0‬هو العنصر المحايد ‪.‬‬
‫‪a‬‬
‫بحيث ان ‪-:‬‬ ‫(د) لكل ‪ a  G‬يوجد ‪ G‬‬
‫‪1 a‬‬
‫‪a‬‬ ‫‪a‬‬ ‫‪a2‬‬ ‫‪a2  a  a  a2‬‬ ‫‪a‬‬
‫‪a‬‬ ‫‪ a‬‬ ‫‪‬‬ ‫‪‬‬ ‫‪ 0‬‬ ‫‪a‬‬
‫‪a1‬‬ ‫‪a1 a1‬‬ ‫‪a 1‬‬ ‫‪a 1‬‬
‫(هـ) ‪ ‬عملية ابدالية الن لكل ‪ a,b G‬نجد ان‬
‫‪. ab  a  b  ab b  a  ba  ba‬‬
‫مثال ‪: 9-1-1‬‬
‫})‪ ، Zn  { x x  { b Z:b  x(mod.n‬وكانت ‪ ‬معرفة على‬ ‫اذا كانت‬
‫‪ Zn‬كاآلتي ‪-:‬‬
‫حيث ‪ +‬عملية جمع األعداد الصحيحة ‪ ،‬فان‬ ‫‪x , y  Zn : x  y  x  y‬‬
‫) ‪ ( Z n , ‬زمرة ابدالية ‪.‬‬
‫})‪ ، Zn  { 0, 1, 2,...,(n  1‬كما ان‬ ‫الحظ ان‬

‫‪7‬‬
 ‫‪ x y‬‬ ‫‪x y n‬‬
‫‪xy‬‬ ‫اذا كانت‬
‫‪x  y  n‬‬ ‫‪x y n‬‬
‫(أ) لكي نثبت ان ‪ ‬عملية ثنائية على ‪ Zn‬يجب ان نبرهن على ان‬
‫‪ x  y‬عنصر وحيد في ‪ ، Zn‬وإلثبات ذلك الحظ‬ ‫و‬ ‫‪x  y  Zn‬‬
‫اذن ‪ x  y Z‬لكل ‪ x, y  Z‬وبالتالي فان‬ ‫ان ‪ +‬عملية مغلقة على ‪، Z‬‬
‫قياس ‪ n‬تجزئ المجموعة ‪ . Z‬اذن‬ ‫‪ x  y a  Zn‬ألن العالقة ‪‬‬
‫‪. x  y  Zn‬‬
‫‪ . y  y1 ، x  x1‬اذن )‪ x  x1 (mod n‬و‬ ‫واآلن لنفرض ان‬
‫‪xy‬‬ ‫)‪ . x  y  x1  y1(mod n‬اذن‬ ‫وبالتالي فان‬ ‫)‪y  y1(mod n‬‬
‫عنصر وحيد في ‪Zn‬‬
‫(ب) ‪ ‬عملية ابدالية ألن لكل ‪: x  y  Zn‬‬
‫‪x  y  x y‬‬ ‫حسب تعريف ‪‬‬
‫‪ y x‬‬ ‫ألن ‪ +‬عملية ابدالية في ‪Z‬‬
‫‪ y x‬‬ ‫حسب تعريف ‪‬‬
‫(جـ) ‪ ‬عملية دامجة ألن لكل ‪ x , y, z  Zn‬نجد ان‬
‫‪( x  y)  z  x  y  z‬‬ ‫حسب تعريف ‪‬‬
‫‪ ( x  y)  z‬‬ ‫حسب تعريف ‪‬‬
‫)‪ x  ( y  z‬‬ ‫ألن ‪ +‬دامجة في ‪Z‬‬
‫‪ xyz‬‬ ‫حسب تعريف ‪‬‬
‫)‪= x  ( y  z‬‬ ‫حسب تعريف ‪‬‬
‫(د) العنصر المحايد‬
‫‪ . 0 Zn‬اذن ‪ 0‬هو العنصر‬ ‫و‬ ‫‪x  Zn‬‬ ‫بما ان ‪ 0 x  x‬لكل‬
‫المحايد ‪.‬‬
‫(هـ) وجود المعكوس‬
‫بحيث ان‬ ‫‪n  x  Zn‬‬ ‫يوجد‬ ‫‪x  Zn‬‬ ‫بما انه لكل‬
‫‪ . x  n  x  x  (n  x)  n  0‬اذن لكل عنصر معكوس ‪ .‬اذن‬
‫زمرة ابدالية ‪.‬‬ ‫)‪( Zn , ‬‬
‫مثال ‪: 10-1-1‬‬
‫اذا كانت ‪ R3 ، R 2 ، R1‬تمثل عمليات دوران المثلث المتساوي األضالع ‪abc‬‬
‫الموضح في الشكل اآلتي ‪-:‬‬

‫‪8‬‬
 ‫‪a‬‬

‫‪b1‬‬ ‫‪c1‬‬
‫‪o‬‬
‫‪c‬‬ ‫‪a1‬‬ ‫‪b‬‬

‫حول مركزه ‪ o‬والتي تتم في مستوي المثلث بزواياه ‪ 240o ، 120o ، 360o‬على‬
‫الترتيب وبعكس دوران عقرب الساعه وكانت ‪ R6 ، R5 ، R 4‬عمليات دوران‬
‫‪ cc1 ، bb1 ، aa1‬على الترتيب كل بزاوية مقدارها‬ ‫المثلث ‪ abc‬حول األرتفاعات‬
‫‪ 180o‬فمن الواضح ان كالً من ‪ R6 ، R5 ، R 4 ، R3 ، R 2 ، R1‬تطبيقات منطلقها‬
‫ومستقرها المجموعه }‪ {a,b,c‬وهي معرفة كاآلتي ‪-:‬‬
‫‪ a b c‬‬ ‫‪ a b c‬‬ ‫‪ a b c‬‬
‫‪، R3  ‬‬ ‫‪ ، R2  ‬‬ ‫‪ ، R1  ‬‬ ‫‪‬‬
‫‪ c a b‬‬ ‫‪ b c a‬‬ ‫‪ a b c‬‬
‫‪ a b c‬‬ ‫‪ a b c‬‬ ‫‪ a b c‬‬
‫‪R6  ‬‬ ‫‪ ، R5  ‬‬ ‫‪ ، R4  ‬‬ ‫‪‬‬
‫‪ b a c‬‬ ‫‪ c b a‬‬ ‫‪ a c b‬‬
‫حيث وضعنا صورة كل عنصرتحته في التطبيق المتعلق به ‪ ،‬ولنفرض ان‬
‫}‪ G  { R1 , R 2 , R 3 , R 4 , R5 , R 6‬واصطلحنا على ان ناتج دوران ‪ Ri‬يعقبه دوران‬
‫‪ R j‬هو ‪ R j oR i‬فان ‪ o‬عمليه ثنائيه على ‪ G‬جدولها‬
‫‪o‬‬ ‫‪R1‬‬ ‫‪R2‬‬ ‫‪R3‬‬ ‫‪R4‬‬ ‫‪R5‬‬ ‫‪R6‬‬
‫‪R1‬‬ ‫‪R1‬‬ ‫‪R2‬‬ ‫‪R3‬‬ ‫‪R4‬‬ ‫‪R5‬‬ ‫‪R6‬‬
‫‪R2‬‬ ‫‪R2‬‬ ‫‪R3‬‬ ‫‪R1‬‬ ‫‪R5‬‬ ‫‪R6‬‬ ‫‪R4‬‬
‫‪R3‬‬ ‫‪R3‬‬ ‫‪R1‬‬ ‫‪R2‬‬ ‫‪R6‬‬ ‫‪R4‬‬ ‫‪R5‬‬
‫‪R4‬‬ ‫‪R4‬‬ ‫‪R6‬‬ ‫‪R5‬‬ ‫‪R1‬‬ ‫‪R3‬‬ ‫‪R2‬‬
‫‪R5‬‬ ‫‪R5‬‬ ‫‪R4‬‬ ‫‪R6‬‬ ‫‪R2‬‬ ‫‪R1‬‬ ‫‪R3‬‬
‫‪R6‬‬ ‫‪R6‬‬ ‫‪R5‬‬ ‫‪R4‬‬ ‫‪R3‬‬ ‫‪R2‬‬ ‫‪R1‬‬

‫‪9‬‬
‫لكل‬ ‫‪R k o( R j oR i )  ( R k oR j ) oR i‬‬ ‫كما أن ‪ o‬عملية دامجة ألن‬
‫‪ . R4 oR3  R3 oR4‬اذن ‪ o‬ليست ابداليه ‪ .‬بما ان‬ ‫‪ . i,j,k=1,2,...,6‬لكن‬
‫‪ R1 oRi  Ri oR1  Ri‬لكل ‪ Ri G‬اذن ‪ R1‬هو العنصر المحايد ‪.‬‬
‫‪R 6  R 6 ، R 5  R 5 ، R 4  R 4 ، R 3  R 2 ، R 2  R 3 ، R1  R1‬‬ ‫بما أن‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬

‫وعليه لكل عنصر يوجد معكوس ‪ .‬اذن )‪ ( G, o‬زمرة ليست ابداليه ‪.‬‬
‫مثال ‪: 11-1-1‬‬
‫}‪ . Z p  { Z C Z  1, n Z‬ان )‪( Z p , ‬‬
‫‪‬‬
‫لكل عدد أولي ‪ ، P‬لنعرف‬
‫‪n‬‬
‫‪p‬‬
‫‪‬‬
‫‪‬‬

‫زمرة ابداليه حيث ‪ ‬عملية ضرب األعداد المركبه ألن ‪-:‬‬

‫فان ‪، z1p  1‬‬ ‫(أ) ‪ ‬عملية مغلقة على ‪ Z p‬ألنه اذا كان ‪z1 , z 2  Z p‬‬
‫‪n‬‬
‫‪‬‬
‫‪‬‬

‫‪r‬‬
‫حيث )‪r  max(m, n‬‬ ‫وعليه فان ‪(z 1  z 2 )  1‬‬ ‫‪z 2p  1‬‬
‫‪p‬‬ ‫‪m‬‬

‫‪C‬‬
‫‪‬‬
‫‪ ‬دامجة على‬ ‫(ب) ‪‬‬
‫عملية دامجة على ‪ Z p‬ألن‬
‫(جـ) ‪ ‬عملية ابدالية ألن ضرب األعداد المركبه ابدالي‬
‫‪. 1 z  z  1  z‬‬ ‫‪ z  Z p‬نجد ان‬ ‫‪‬‬ ‫‪ 1 Z p‬وبما ان لكل‬ ‫‪‬‬ ‫(د) بما ان‬
‫العنصر المحايد ‪.‬‬ ‫اذن ‪ 1‬هو‬
‫‪pn‬‬
‫‪1‬‬
‫يعني ان‬ ‫‪z  Z p‬‬ ‫اذن‬ ‫‪( ) 1‬‬ ‫فان‬ ‫‪Zp  1‬‬ ‫(هـ) اذا كان‬
‫‪n‬‬

‫‪z‬‬
‫‪1‬‬ ‫‪1‬‬
‫‪ ، z   1‬اذن لكل عنصر يوجد معكوس ‪.‬‬ ‫لكن‬ ‫‪ Z p‬‬
‫‪z‬‬ ‫‪z‬‬
‫مثال ‪: 12-1-1‬‬
‫ً‬
‫‪ f : X  X‬تقابال قيل عن ‪f‬‬ ‫اذا كانت ‪ X‬مجموعه غير خاليه وكان‬
‫تبديله على ‪ (permutation) X‬ألن تاثيره على عناصر ‪ X‬ال يتعدى المبادله بين‬
‫مواضعها واآلن لتكن ‪ SX‬مجموعة جميع التقابالت على ‪ . X‬أن )‪ ( SX , o‬زمرة‬
‫ليست ابداليه حيث ‪ o‬هي عملية تركيب (تحصيل) التطبيقات ألن ‪-:‬‬
‫(أ) ‪ o‬عملية ثنائيه على ‪ SX‬ألنه اذا كان ‪ f , g  SX‬فان كال من ‪g, f‬‬
‫ً‬
‫‪ X‬وعليه فان ‪ g o f‬تقابل على ‪ X‬وعليه فان ‪. g o f  SX‬‬ ‫تقابل على‬
‫(ب) ‪ o‬عملية تجميعية ألن عملية تركيب التطبيقات تجميعية ‪.‬‬
‫(جـ) بما ان ‪ I : X  X‬حيث ‪ I ( x)  x‬لكل ‪ x  X‬تقابل على ‪X‬‬
‫نجد ان‬ ‫‪f  SX‬‬ ‫لكن لكل‬ ‫‪.‬‬ ‫‪I  SX‬‬ ‫‪ .‬اذن‬
‫لكل‬ ‫)‪( f o I )( x)  f ( I ( x))  f ( x‬‬ ‫)‪ ( I o f )( x)  I ( f ( x))  f ( x‬و‬
‫وعليه فان ‪ I‬هو العنصر المحايد‬ ‫‪ + x  X‬اذن ‪I o f  f o I  f‬‬

‫‪10‬‬
‫‪ f 1: X  X‬تقابل ايضا ً‬ ‫‪ f : X  X‬تقابل ‪ .‬اذن‬ ‫(د) بما ان‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪ . f o f  f o f  I‬اذن لكل ‪ f  SX‬يوجد ‪. f  SX‬‬ ‫‪ .‬لكن‬
‫(هـ) ‪ g o f  f o g‬لكل ‪f , g  SX‬‬
‫مالحظه ‪:‬‬
‫اذا كان ‪ X  n‬سميت ‪ SX‬زمرة التناظر )‪ (symmetric‬من الدرجه ‪n‬‬
‫بالرمز ‪ . Sn‬واذا كان ‪ f , g  Sn‬عبر عنهما بالشكل التالي ‪-:‬‬ ‫ورمز لها‬
‫‪ 1‬‬ ‫‪2‬‬ ‫‪n ‬‬
‫‪...‬‬ ‫‪ 1‬‬ ‫‪2‬‬ ‫‪...‬‬ ‫‪n ‬‬
‫‪g‬‬ ‫‪‬‬ ‫‪،‬‬ ‫‪f ‬‬ ‫‪‬‬
‫)‪ g(1‬‬ ‫‪g(2) ... g(n)‬‬ ‫)‪ f (1‬‬ ‫‪f (2) ...‬‬ ‫‪f (n)‬‬
‫‪ 1‬‬ ‫‪2‬‬ ‫‪...‬‬ ‫‪n‬‬ ‫‪‬‬
‫‪ ، f o g  ‬اما‬ ‫‪‬‬ ‫وكان‬
‫))‪ f ( g(1‬‬ ‫‪f ( g(2)) ...‬‬ ‫‪f ( g(n))‬‬
‫‪1‬‬ ‫‪ f (1) ...‬‬ ‫‪f (n)‬‬
‫‪f‬‬ ‫‪‬‬ ‫‪‬‬
‫‪ 1 ...‬‬ ‫‪n ‬‬
‫‪ 1 2 3‬‬ ‫‪ 1 2 3‬‬
‫‪g‬‬ ‫‪‬‬ ‫‪،‬‬ ‫‪f ‬‬ ‫‪  S3‬‬ ‫فمثال اذا كانت‬
‫‪ 3 2 1‬‬ ‫‪ 2 3 1‬‬
‫‪1 2 3‬‬ ‫‪1‬‬ ‫‪ 2 3 1  1 2 3‬‬
‫‪f og  ‬‬ ‫‪‬‬ ‫‪،‬‬ ‫‪f‬‬ ‫‪‬‬ ‫‪ ‬‬ ‫‪‬‬ ‫فان‬
‫‪1 3 2‬‬ ‫‪ 1 2 3  3 1 2‬‬
‫‪ 1 2 3‬‬
‫‪go f  ‬‬ ‫‪‬‬ ‫‪،‬‬
‫‪ 2 1 3‬‬
‫ومنه ينتج ان ‪ g o f  f o g‬وعليه فان )‪ ( Sn , o‬زمرة ليست ابداليه‬
‫عندما ‪n  3‬‬
‫مثال ‪: 13-1-1‬‬
‫اذا كانت‬
‫‪‬‬ ‫‪ a b‬‬ ‫‪ ‬‬
‫‪ G  G L2 (R )    A  ‬عملية‬ ‫‪ a , b, c, d  R , A  ad  bc  0, ‬‬
‫‪‬‬ ‫‪ c d‬‬ ‫‪ ‬‬
‫حيث ‪ ‬عملية ضرب المصفوفات ‪ ،‬فان ‪ G‬زمرة غير ابدالية ألن ‪-:‬‬
‫فان ‪ AB  A B  0‬وعليه فان‬ ‫(أ) اذا كان ‪A, B G‬‬
‫‪A  B G‬‬
‫)‪( A  B)  C  A  ( B  C‬‬ ‫نجد ان‬ ‫‪A, B, C G‬‬ ‫(ب) لكل‬
‫‪ 1 0‬‬
‫نجد ان‬ ‫‪A G‬‬ ‫بحيث انه لكل‬ ‫‪I ‬‬ ‫‪ G‬‬ ‫(جـ) يوجد‬
‫‪ 0 1‬‬
‫‪ ، A  I  I  A  A‬وعليه فان ‪ I‬هو العنصر المحايد ‪.‬‬

‫‪11‬‬
 ‫‪1  d b‬‬
‫بحيث ان‬ ‫‪A ‬‬
‫‪1‬‬
‫‪‬‬ ‫‪‬‬ ‫يوجد‬ ‫‪A G‬‬ ‫(د) لكل‬
‫‪A  c a ‬‬
‫‪A  A1  A1  A  I‬‬
‫ألنه اذا كانت‬ ‫‪A, B G‬‬ ‫لكل‬ ‫(هـ) ‪A  B  B  A‬‬
‫‪ 1 1‬‬ ‫‪1 1‬‬
‫‪AB  BA‬‬ ‫فان‬ ‫‪B‬‬ ‫‪‬‬ ‫‪، A ‬‬ ‫‪‬‬
‫‪ 1 0‬‬ ‫‪1 0 ‬‬
‫)‪G  G Ln (R )  ({ A  (aij )nn aij  R , A  0}, ‬‬‫وبصورة عامة اذا كانت‬
‫فان ‪ G‬زمرة غير ابدالية ويطلق عليها عادة الزمرة الخطيه العامه ‪(general linear‬‬
‫)‪. group‬‬

‫‪ 2-1‬خواص اساسيه‬

‫نظريه ‪: 1-2-1‬‬
‫اذا كانت ) ‪ (G,‬زمرة فان ‪-:‬‬
‫(أ) العنصر المحايد يكون وحيد ‪.‬‬
‫(ب) لكل عنصر ‪ x  G‬معكوس وحيد ‪.‬‬
‫البرهان ‪:‬‬
‫(أ) نفرض ان ‪ e1 , e2‬عنصران محايدان في ‪ . G‬اذن ‪ e1 e2  e1‬و‬
‫‪. e1  e2‬‬ ‫وعليه فان‬ ‫‪e1 e2  e2‬‬
‫ً‬
‫(ب) نفرض ان كال من ‪ y2 ، y1‬معكوس للعنصر ‪ e ، x‬هو العنصر المحايد‬
‫‪ ، x y2  e‬اذن‬ ‫‪ ، y1  y1 e‬لكن‬ ‫في ‪ . G‬اذن‬
‫‪y1  y1 ( x y2)  ( y1 x) y2  e y2  y2‬‬
‫‪‬‬

‫نظريه ‪: 2-2-1‬‬
‫اذا كانت ) ‪ (G,‬زمرة فان ‪-:‬‬
‫(أ) ‪ (a1)1  a‬لكل ‪. a  G‬‬
‫(ب) ‪ (ab)1  b1 a1‬لكل ‪. a,b G‬‬
‫‪ . e  a1 (a1)1‬اذن‬ ‫و‬ ‫البرهان ‪( :‬أ) بما ان ‪a  a e‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫)‪a  a ( a1 ( a1) )  ( a a1) (a1)  e ( a1)  ( a1‬‬
‫‪1‬‬ ‫‪1‬‬
‫اذن‬ ‫و ‪e  (ab)b1 a1‬‬ ‫(ب) بما ان ‪(ab)  (ab)  e‬‬
‫‪1‬‬ ‫‪1‬‬
‫]‪(ab)  (ab) [(ab)b1 a1‬‬

‫‪12‬‬
 ‫‪ [(ab)1 (ab)]b1 a1‬‬
‫‪ e b1 a1  b1 a1‬‬
‫‪‬‬
‫نتيجه ‪:‬‬
‫فان ‪-:‬‬ ‫‪a1 , a2 ,..., an G‬‬ ‫اذاكانت‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫‪(a1a2 ...an )  a  an1... a2  a1‬‬
‫‪n‬‬

‫نظريه ‪: 3-2-1‬‬
‫اذا كانت ) ‪ (G,‬زمرة و ‪ a,b, c G‬فان ‪-:‬‬
‫‪ab  a c  b  c‬‬ ‫(أ) قانون الحذف األيسر‬
‫‪a c  b c  a  b‬‬ ‫(ب) قانون الحذف األيمن‬
‫(جـ) لكل من ‪ a y  b ، xa  b‬حل وحيد في ‪G‬‬
‫البرهان ‪:‬‬
‫)‪ . a  (ab)  a  (a c‬لكن ‪‬‬
‫‪1‬‬ ‫‪1‬‬
‫‪ ab  ac‬اذن‬ ‫(أ) لتكن‬
‫‪ . (a  a)b  (a  a) c‬وحيث ان ‪a  a  e‬‬
‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫اذن‬ ‫عملية دامجة ‪،‬‬
‫وعليه فان ‪. b  c‬‬ ‫‪eb  ec‬‬ ‫اذن‬
‫وبنفس الطريقه يمكن اثبات قانون الحذف األيمن ‪.‬‬
‫(جـ) لتكن ‪ xa  b‬اذن‬
‫‪( x a ) a 1  ba 1  x (a a 1)  ba 1  x e  b a 1  x  b a 1‬‬
‫اذن ‪ x  b a1‬حل للمعادله ‪ xa  b‬وألثبات انه وحيد نفرض ان‬
‫‪ x  a  b, x1  a  b‬وعليه فان‬ ‫اَخر لنفس المعادله ‪ .‬اذن‬ ‫‪ x1‬حالً‬
‫وبتطبيق قانون الحذف األيمن نجد ان ‪. x  x1‬‬ ‫‪. x  a  x1  a‬‬
‫وبنفس الطريقة يمكن ان نبرهن ان للمعادلة ‪ a y  b‬حل وحيد في ‪. G‬‬

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

‫نتيجه ‪:‬‬
‫اذا كانت ) ‪ ( G,‬زمرة فان الحل الوحيد للمعادلة ‪ x x  x‬هو ‪x  e‬‬

‫نظريه ‪: 4-2-1‬‬
‫حيث ‪ e‬العنصر‬ ‫‪x G‬‬ ‫لكل‬ ‫اذا كانت ) ‪ ( G,‬زمرة ‪x  x x  e ،‬‬
‫‪2‬‬

‫المحايد في ‪ G‬فان ) ‪ (G,‬ابدالية ‪.‬‬

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

‫‪13‬‬
 ‫بما ان ‪ x2  e‬لكل ‪ ، x  G‬اذن ‪ . x  x1‬لكن ‪ G‬زمرة ‪ ،‬اذن‬
‫‪ .‬لكن‬ ‫‪xy  ( xy)1‬‬ ‫‪ x, y G‬نجد ان ‪ . xy  G‬وعليه فان‬ ‫لكل‬
‫حسب نظريه (‪ )2-2-1‬اذن ‪ ، xy  y x  yx‬وعليه‬
‫‪1 1‬‬ ‫‪1‬‬ ‫‪1 1‬‬
‫‪( xy )  y x‬‬
‫فان ‪ G‬زمرة ابداليه ‪.‬‬
‫‪‬‬
‫تعريف ‪: 6-2-1‬‬
‫اذا كانت ‪ G‬زمرة ‪ a  G ،‬فنعرف ‪ a‬كاآلتي ‪-:‬‬
‫‪n‬‬

‫‪a e‬‬
‫‪0‬‬

‫‪n0‬‬ ‫‪ a  a  a...a‬عندما‬
‫‪n‬‬
‫(‪ n‬من المرات )‬
‫‪ a  (a )  a  a ...a‬عندما ‪n  0‬‬
‫‪n‬‬ ‫‪1 n‬‬ ‫‪1‬‬ ‫‪1‬‬ ‫‪1‬‬
‫(‪ n‬من المرات )‬
‫نظريه ‪: 5-2-1‬‬
‫اذا كانت ‪ G‬زمرة ‪ a  G ،‬و ‪ n ، m‬اعداد صحيحه موجبه ‪ ،‬فان‬
‫‪a a  a‬‬
‫‪m‬‬ ‫‪n‬‬ ‫‪m n‬‬
‫(أ)‬
‫‪n 1‬‬
‫‪(a )  a‬‬
‫‪n‬‬
‫(ب)‬
‫) ‪(a )  a  (a‬‬
‫‪m n‬‬ ‫‪mn‬‬ ‫‪n m‬‬
‫(جـ)‬

‫‪14‬‬

‫‪View publication stats‬‬