Professional Documents
Culture Documents
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
لممدرس المساعد
عباس كريم وناس عبادي الشريفي
قسم الرياضيات
كمية عموم الحاسوب والرياضيات
جامعة القادسية
الديوانية – العراق
2014 / 12 / 22
1
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
2
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
لتكن 𝐺 مجموعة غير خالية فان الد الة 𝐺 ⟶ 𝐺 × 𝐺 ∶ ∗ تسمى عممية ثنائية ( Binary تعريف :
)operationعمى 𝐺
لتكن 𝐺 ⊆ 𝐴 ولتكن ∗ عممية ثنائية عمى 𝐺 تسمى المجموعة 𝐴 مغمقة بفعل العممية ∗ إذا كان تعريف :
𝐴 ∈ 𝑏 𝑎 ∗ 𝑏 ∈ 𝐴 ∀ 𝑎,
مجموعة األعداد الطبيعية ℕتكون مغمقة بفعل عممية الجمع ( ) +وذلك ألنو مثال :
𝑎 + 𝑏 ∈ ℕ ∀ 𝑎, 𝑏 ∈ ℕ
ولكنيا ليست مغمقة بفعل عممية الطرح ( ) −وذلك ألنو
1,2 ∈ ℕ
ولكن
1 − 2 = −1 ∉ ℕ
لتكن 𝐺 مجموعة غير خالية ∗ ,عممية ثنائية معرفة عمى 𝐺 فيقال لمزوج المرتب )∗ (𝐺,زمرة تعريف :
( ) Groupإذا تحققت الشروط اآلتية :
𝑎 ∗ 𝑏 ∈ 𝐺 - 1لكل 𝐺 ∈ 𝑏 . 𝑎,
𝑎 ∗ 𝑏 ∗ 𝑐 = 𝑎 ∗ (𝑏 ∗ 𝑐) - 2لكل 𝐺 ∈ 𝑐 . 𝑎, 𝑏,
ٌ - 3وجد 𝐺 ∈ 𝑒 بحٌث ان 𝑎 = 𝑎 ∗ 𝑒 = 𝑒 ∗ 𝑎 لكل 𝐺 ∈ 𝑎 .
(ٌسمى 𝑒 العنصر المحاٌد)
−1 −1 −1
- 4لكل 𝐺 ∈ 𝑎 ٌوجد 𝐺 ∈ 𝑎 بحٌث ان 𝑒 = 𝑎 ∗ 𝑎 = 𝑎 ∗ 𝑎 .
(ٌسمى 𝑎−1العنصر النظٌر للعنصر 𝑎)
3
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
إذا كانت 𝑋 مجموعة غير خالية .فان الزوج المرتب )∪ (𝑃 𝑋 ,يكون شبو زمرة ذات عنصر مثال :
محايد
}𝑋 ⊆ 𝐴 ∶ 𝐴{ = 𝑋 𝑃
- 1لٌكن )𝑋(𝑃 ∈ 𝐵 𝐴,
𝑋⊆𝐵 𝐴⊆𝑋,
𝑋⊆ 𝐵∪𝐴
𝑋 𝑃∈ 𝐵∪𝐴
- 2لٌكن )𝑋(𝑃 ∈ 𝐶 𝐴, 𝐵,
𝑋 𝑃∈∅
𝐴= 𝐴∪∅=∅∪𝐴
∴ العنصر المحاٌد هو ∅
- 4لٌكن )𝑋(𝑃 ∈ 𝐴
الٌوجد نظٌر بحٌث ان
∅ = 𝐴 ∪ 𝐴 ∪ 𝐴−1 = 𝐴−1
∴ )∪ (𝑃 𝑋 ,لٌس زمرة لكن شبه زمرة ذات عنصر محاٌد .
يقال لمزمرة )∗ (𝐺,بانيا زمرة ابدالية اذا وفقط اذا كان تعريف :
𝑎∗𝑏= 𝑏∗𝑎 𝐺 ∈ 𝑏 ∀ 𝑎,
) (𝑍, +زمرة ابدالية مثال :
لتكن )∗ (𝐺,زمرة فان مبرهنة : 1
- 1العنصر المحاٌد وحٌد .
- 2العنصر النظٌر وحٌد .
𝑎−1 −1 = 𝑎 - 3لكل 𝐺 ∈ 𝑎 .
4
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
البرهان :
- 1لٌكن كل من 𝑒2 , 𝑒1عنصر محاٌد
𝑎 = 𝑎 ∗ 𝑒1
𝑎 = 𝑎 ∗ 𝑒2 𝐺∈ 𝑎∀
𝑎 ∗ 𝑒1 = 𝑎 ∗ 𝑒2
𝑎 ∗ 𝑎 ∗ 𝑒1 = 𝑎−1 ∗ 𝑎 ∗ 𝑒2
−1
𝑒 = 𝑎 ∗ 𝑎1−1
𝑒 = 𝑎 ∗ 𝑎2−1 𝐺∈ 𝑎∀
بما ان العنصر المحايد وحيد
𝑎 ∗ 𝑎1−1 ∗𝑎= 𝑎2−1
−1
∗ 𝑎 𝑎 ∗ 𝑎1−1 = 𝑎−1 ∗ 𝑎 ∗ 𝑎2−1
∗ 𝑎−1 𝑎 ∗ 𝑎1−1 = 𝑎−1 ∗ 𝑎 ∗ 𝑎2−1
𝑒 ∗ 𝑎1−1 = 𝑒 ∗ 𝑎2−1
𝑎1−1 = 𝑎2−1
∴ العنصر النظير وحيد
-3
𝑒 = 𝑎 ∗ 𝑎−1
𝑒 = 𝑎−1 −1 ∗ 𝑎−1
𝑎 ∗ 𝑎−1 = 𝑎−1 −1 ∗ 𝑎−1
𝑎 ∗ 𝑎 ∗ 𝑎−1 ∗ 𝑎 = 𝑎−1 −1 ∗ 𝑎−1
𝑎 ∗ 𝑎 ∗ 𝑎−1 ∗ 𝑎 = 𝑎−1 −1 ∗ 𝑎−1
𝑒 ∗ 𝑒 ∗ 𝑎 = 𝑎−1 −1
𝑎 = 𝑎−1 −1
لتكن )∗ (𝐺,زمرة فان مبرهنة : 2
−1
𝑏∗𝑎 = 𝑏 −1 ∗ 𝑎−1 𝐺 ∈ 𝑏 ∀ 𝑎,
5
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑏 ∗ 𝑎 ∗ 𝑏 −1 ∗ 𝑎−1 ∗ 𝑎 ∗ 𝑏 = 𝑏 −1 ∗ 𝑎−1
𝑒 = 𝑏 ∗ = 𝑏 −1 ∗ 𝑒 ∗ 𝑏 = 𝑏 −1
∴ 𝑏 −1 ∗ 𝑎−1ىو نظير العنصر 𝑏 ∗ 𝑎
𝑏 ∗ 𝑎 ىو نظير العنصر 𝑏 ∗ 𝑎 −1
ولكن
وبما ان العنصر النظير وحيد
∴ 𝑎 ∗ 𝑏 −1 = 𝑏 −1 ∗ 𝑎−1
لتكن )∗ (𝐺,زمرة 𝑎 ∗ 𝑏 = 𝑎 ∗ 𝑐 ,فان 𝑐 = 𝑏 لكل 𝐺 ∈ 𝑐 𝑎, 𝑏, مبرهنة : 3
ليكن 𝐺 ∈ 𝑐 𝑎, 𝑏, البرهان :
𝑐∗𝑎= 𝑏∗𝑎
𝑐 ∗ 𝑎 ∗ 𝑎 ∗ 𝑎 ∗ 𝑏 = 𝑎−1
−1
𝑐 ∗ 𝑎 ∗ 𝑎−1 ∗ 𝑎 ∗ 𝑏 = 𝑎−1
𝑐∗𝑒=𝑏∗𝑒
𝑐=𝑏
لتكن )∗ (𝐺,زمرة 𝑎 ∈ 𝐺 ,فان القوى العددية لمعنصر ىي كاآلتي : تعريف :
𝑎𝑘 = 𝑎 ∗ 𝑎 ∗ 𝑎 ∗ … ∗ 𝑎 - 1حٌث ان 𝑍 ∈ 𝑘 .
𝑘 من المرات
. 𝑎0 = 𝑒 - 2
𝑘 من المرات
6
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
البرهان :
-1
𝑎 ∗ … ∗ 𝑎 ∗ 𝑎 ∗ 𝑎 ∗ … ∗ 𝑎 ∗ 𝑎 = 𝑚𝑎 ∗ 𝑛𝑎
𝑛 من المرات 𝑚 من المرات
𝑚= 𝑎 ∗ 𝑎 ∗ 𝑎 ∗ … ∗ 𝑎 = 𝑎𝑛+
𝑚 𝑛 +من المرات
-2
𝑛𝑎 𝑚
𝑛𝑎 ∗ … ∗ 𝑛𝑎 ∗ 𝑛𝑎 =
𝑚 من المرات
𝑚 𝑛𝑎 = 𝑎 ∗ … ∗ 𝑎 ∗ 𝑎 ∗ 𝑎 =
𝑚 𝑛 .من المرات
-3
𝑒 = 𝑒 ∗ … ∗ 𝑒 ∗ 𝑒 == 𝑛 𝑒
𝑛 من المرات
-4
𝑛 من المرات
7
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
−1
𝑛𝑎 −1
𝑎 ∗… ∗ 𝑎 ∗ 𝑎 ∗ 𝑎 = = 𝑎−1 ∗ 𝑎−1 ∗ … ∗ 𝑎−1 = 𝑎−1 𝑛
𝑛 من المرات 𝑛 من المرات
لتكن )∗ (𝐺,زمرة بحيث ان 𝐺 ∈ 𝑎 ∀ 𝑒 = 𝑎2فان )∗ (𝐺,زمرة ابدالية . مبرهنة : 5
ليكن 𝐺 ∈ 𝑏 𝑎, البرهان :
𝑒 = 𝑎2 = 𝑒 , 𝑏2
𝐺∈ 𝑏∗𝑎
𝑎 ∗ 𝑏 = 𝑒 = 𝑒 ∗ 𝑒 = 𝑎2 ∗ 𝑏 2
2
إذا كانت )∗ (𝐺,زمرة فيقال انيا زمرة منتيية اذا كانت 𝐺 مجموعة منتيية وتسمى زمرة غير تعريف :
منتيية اذا كانت 𝐺 مجموعة غير منتيية .
فان )∗ (𝐺,تشكل زمرة وتكون ابدالية وتسمى زمرة كالين الرباعية حيث ان . 𝑂 𝐺 = 4
8
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
يقال لمزمرة )∗ (𝐺,زمرة دائرية إذا وجد عنصر 𝐺 ∈ 𝑎 بحيث كل عنصر ينتمي الى 𝐺 يمكن تعريف :
كتابتو بالشكل 𝑍 ∈ 𝑘 𝑎𝑘 ,ويسمى العنصر 𝑎 مولد لمزمرة 𝐺 وتكتب الزمرة بالشكل > 𝑎 <= 𝐺 .
كل زم رة دائرية ليا عمى األقل مولد واحد . مالحظة :
ليكن 𝑍 ∈ 𝑚
- 1إذا كان 𝑚 ∈ 𝑍 +
𝑚𝑚 = 1 + 1 + ⋯ + 1 = 1
𝑚 من المرات
- 2إذا كان 𝑚 = 0
0 = 10 = 0
نفرض ان 𝐺 ∈ 𝑦 𝑥,
9
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑥 = 𝑎𝑘 1 , 𝑦 = 𝑎𝑘 2
𝑥 ∗ 𝑦 = 𝑎𝑘 1 𝑥 ∗ 𝑦 = ∗ 𝑎𝑘 2 = 𝑎𝑘 1 +𝑘 2 = 𝑎𝑘 2 +𝑘 1 = 𝑎𝑘 2 ∗ 𝑎𝑘 1
ليكن 𝑛 عدد صحيح موجب ثابت يقال لمعددان الصحيحان 𝑏 𝑎,متكافئان (متطابقان) معيار 𝑛 تعريف :
اذا وفقط اذا كان ( 𝑍 ∈ 𝑘 ) 𝑎 − 𝑏 = 𝑘𝑛 ,ويرمز ليما بالرمز )𝑛 𝑑𝑜𝑚( 𝑏 ≡ 𝑎 .
ألنو 8 − 4 = 4 = 2 . 2
ألنو 𝑍 ∈ 𝑘 ∀ 5 − 2 = 3 ≠ 𝑘 . 2
عالقة التطابق ( 𝑑𝑜𝑚 ) عالقة تكافؤ عمى مجموعة األعداد الصحيحة . مبرهنة : 7
ليكن 𝑍 ∈ 𝑐 𝑎, 𝑏, البرهان :
10
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
-1
)𝑜 = 𝑘( 𝑛 𝑎 − 𝑎 = 0 = 0 .
)𝑛 𝑑𝑜𝑚( 𝑎 ≡ 𝑎
∴ ≡ انعكاسية
- 2نفرض ان )𝑛 𝑑𝑜𝑚( 𝑏 ≡ 𝑎
𝑍 ∈ 𝑘 𝑎 − 𝑏 = 𝑘 .𝑛 ,
𝑍 ∈ 𝑘 𝑏 − 𝑎 = − 𝑘 .𝑛 , −
)𝑛 𝑑𝑜𝑚( 𝑎 ≡ 𝑏
∴ ≡ متناظرة
- 3نفرض ان )𝑛 𝑑𝑜𝑚( 𝑏 ≡ 𝑎 𝑏 ≡ 𝑐 (𝑚𝑜𝑑 𝑛) ,
𝑍 ∈ 𝑎 − 𝑏 = 𝑘1 . 𝑛 , 𝑘1
𝑍 ∈ 𝑏 − 𝑐 = 𝑘2 . 𝑛 , 𝑘2
𝑐𝑎−𝑐 =𝑎−𝑏+𝑏−
𝑐= 𝑎−𝑏 + 𝑏−
𝑛 = 𝑘1 . 𝑛 + 𝑘2 . 𝑛 = 𝑘1 + 𝑘2 . 𝑛 = 𝑘3 .
𝑍 ∈ 𝑘3 = 𝑘1 + 𝑘2 حيث ان
)𝑛 𝑑𝑜𝑚( 𝑐 ≡ 𝑎
∴ ≡ متعدٌة
11
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
)𝑛 𝑑𝑜𝑚( 𝑏 ≡ 𝑎 ∵
𝑍 ∈ 𝑎 − 𝑏 = 𝑘1 . 𝑛 , 𝑘1
)𝑛 𝑑𝑜𝑚( 𝑑 ≡ 𝑐 ∵
𝑍 ∈ 𝑐 − 𝑑 = 𝑘2 . 𝑛 , 𝑘2
𝑛 𝑎 − 𝑏 + 𝑐 − 𝑑 = 𝑘1 . 𝑛 + 𝑘2 .
𝑛 𝑎 + 𝑐 − 𝑏 + 𝑑 = 𝑘1 + 𝑘2 . 𝑛 = 𝑘3 .
𝑍 ∈ 𝑘3 = 𝑘1 + 𝑘2 حيث ان
)𝑛 𝑑𝑜𝑚( 𝑑 ∴ 𝑎 + 𝑐 ≡ 𝑏 +
كذلك وببساطة يمكننا اثبات )𝑛 𝑑𝑜𝑚( 𝑑 . 𝑎 . 𝑐 ≡ 𝑏 .
𝑍 ∈ 𝑘 𝑎 − 𝑏 = 𝑘 .𝑛 ,
𝑐𝑎 − 𝑏 .𝑐 = 𝑘 .𝑛 .
𝑍 ∈ 𝑐𝑎 .𝑐 – 𝑏 .𝑐 = 𝑘 .𝑐 .𝑛 , 𝑘 .
)𝑛 𝑑𝑜𝑚( 𝑐𝑏 ≡ 𝑐𝑎
12
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
ليكن 𝑛 عدد صحيح موجب فتسمى مجموعة صفوف التكافؤ المختمفة معيار 𝑛 مجموعة األعداد تعريف :
الصحيحة معيار 𝑛 ويرمز ليا بالرمز 𝑛𝑍
𝑍𝑛 = 0 , 1 , … , 𝑛 − 1
ولمسيولة تكتب بالشكل
𝑍𝑛 = 0, 1, … , 𝑛 − 1
مثال :
𝑍1 = 0
𝑍3 = 0, 1, 2
𝑍8 = 0, 1,2,3,4,5,6,7
𝑏 𝑎 +𝑛 𝑏 = 𝑎 +
𝑏 𝑎 +𝑛 𝑏 = 𝑎 +
13
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑏𝑎 .𝑛 𝑏 = 𝑎 .
𝑏𝑎 .𝑛 𝑏 = 𝑎 .
مثال :
3 +4 4 = 7 = 3
3 . 4 4 = 12 = 0
الزوج المرتب ) 𝑛 (𝑍𝑛 , +يشكل زمرة ابدالية وتسمى زمرة األعداد الصحيحة معيار 𝑛 . مبرهنة : 9
- 1
𝑛𝑍 ∈ 𝑏 𝑎 +𝑛 𝑏 = 𝑎 +
- 2
= 𝑐 𝑛𝑎 +𝑛 𝑏 + 𝑐 𝑛𝑎 + 𝑏 +
= 𝑐𝑎+𝑏 +
= 𝑐𝑎+ 𝑏+
= 𝑐 𝑎 +𝑛 𝑏 +
= 𝑐 𝑛𝑎 +𝑛 𝑏 +
- 3
𝑎 = 𝑎 +𝑛 0 = 𝑎 + 0
𝑎 = 𝑎 0 +𝑛 𝑎 = 0 +
14
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑛 − 𝑎 +𝑛 𝑎 = 𝑛 − 𝑎 + 𝑎 = 𝑛 = 0
−1
𝑎 𝑎= 𝑛− ∴
زمرة األعداد الصحيحة معيار 𝑛 ) 𝑛 (𝑍𝑛 , +تكون دائرية ومولدىا . 1 مبرهنة : 10
ليكن 𝑛𝑍 ∈ 𝑚 البرهان :
0≤𝑚 ≤𝑛−1
𝑛𝑚 = 1 + 1 + ⋯ + 1 = 1 + 𝑍 ∈ 𝑚 1 +𝑛 … +𝑛 1 = 1 𝑚 ,
𝑚 من المرات 𝑚 من المرات
فان 𝑎 يولد الزمرة ) 𝑛 (𝑍𝑛 , +اذا وفقط اذا كان القاسم المشترك األكبر اذا كان 𝑛𝑍 ∈ 𝑎 مالحظة :
بين 𝑎 و 𝑛 يساوي ) 𝑔𝑐𝑑 𝑎, 𝑛 = 1 ( 1
𝑛=4
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑍6 = 0,1,2,3,4,5
𝑛=6
لتكن 𝑆 مجموعة غير خالية ولتكن 𝑆 ⟶ 𝑆 ∶ 𝑓 فيقال بان 𝑓 تبديل عمى 𝑆 اذا كانت الدالة 𝑓 تعريف :
دالة متقابمة .
اذا كان 𝑆 مجموعة منتيية تحتوي عمى 𝑛 من العناصر فسوف نرمز لمجموعة التباديل عمى مالحظة :
المجموعة 𝑆 بالرمز 𝑛𝑆 .كذلك المجموعة 𝑛𝑆 مع عممية تركيب الدوال )∘ (𝑆𝑛 ,تشكل زمرة وتسمى الزمرة
التناظرية ذات الدرجة 𝑛 .
اذا كانت } 𝑛𝑥 𝑆 = {𝑥1 , 𝑥2 , … ,فسوف نقوم بكتابتيا بالشكل } 𝑆 = {1 , 2 , … , 3لمسيولة فيعرف التبديل
𝑓 كاآلتي :
16
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
فان
فان
17
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
مالحظات :
1 𝑛 … 2
. 1 𝑛 … 2
)∘ (𝑆𝑛 ,هو - 1العنصر المحاٌد فً الزمرة
𝑓 1 𝑓 2 … 𝑛 𝑓 1 2 … 𝑛
. 1 2 … 𝑛
هو 𝑓 1 𝑓 2 𝑛 𝑓 …
- 2العنصر النظٌر للعنصر
- 3الزمرة )∘ (𝑆𝑛 ,تكون غٌر ابدالٌة عندما . 𝑛 ≥ 3
مثال :
1 2 3
)= (123
2 3 1
مالحظات :
- 1كل دورة طولها 2تسمى مناقلة .
- 2العنصر النظٌر للدورة ) 𝑛𝑥 (𝑥1 , 𝑥2 , … ,هو ) . (𝑥1 , 𝑥𝑛 , 𝑥𝑛 −1 , . . . , 𝑥2
- 3كل تبدٌل ٌمكن كتابته ب شكل وحٌد بصٌغة جداء دورات لٌس فً أي اثنٌن منهما عنصر مشترك
وٌكون هذا التعبٌر ابدالً .
18
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
مثال :
−1
13254 = 14523
−1
12 )= (12
مثال :
1 2 3 4
= 12 ∘ 34 = 34 ∘ 12
2 1 4 3
يسمى التبديل فردي ا ذا امكن التعبير عنو كحاصل جداء عدد فردي من المناقالت أو اذا كان تعريف :
طول الدورة عدد زوجي ويسمى التبديل زوجي اذا امكن التعبير عنو كحاصل جداء عدد زوجي من المناقالت أو
اذا كان طول الدورة عدد فردي .
مالحظات :
- 1تركٌب تبدٌلٌن زوجٌٌن ٌكون تبدٌل زوجً .
- 2تركٌب تبدٌلٌن فردٌٌن ٌكون تبدٌل زوجً .
- 3تركٌب تبدٌل زوجً وتبدٌل فردي ٌكون تبدٌل فردي .
يطمق عمى مجموعة التباديل الزوجية في الزمرة )∘ (𝑆𝑛 ,بزمرة التباديل الزوجية ويرمز ليا بالرمز تعريف :
!𝑛
= 𝑛𝐴 𝑂 . )∘ (𝐴𝑛 ,حيث ان
2
19
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
مثال :
𝑂 𝑆3 = 3! = 6
3! 6
= 𝑂 𝐴3 = =3
2 2
})𝑆3 = {𝑒 , 123 , (132
لتكن )∗ (𝐺,زمرة ∅ ≠ 𝐻 ⊆ 𝐺 ,تسمى )∗ (𝐻,زمرة جزئية من )∗ (𝐺,اذا كانت )∗(𝐻, تعريف :
نفسيا زمرة ويمز ليا بالرمز )∗(𝐻,∗) ≤ (𝐺,
مالحظات :
)∗ ({𝑒},وتسمٌان - 1كل زمرة تحتوي على األقل على زمرتٌن جزئٌتٌن هما الزمرة نفسها والزمرة
بالزمرتان الجزئٌتان التافهتان .
20
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
- 2الزمرة الجزئٌة )∗ (𝐻,من الزمرة )∗ (𝐺,تسمى زمرة جزئٌة فعلٌة اذا كانت 𝐺 ≠ 𝐻 وتسمى زمرة
جزئٌة غٌر تافهة اذا كانت 𝐺 ≠ 𝐻 و }𝑒{ ≠ 𝐻 .
- 3لٌس كل مجموعة جزئٌة من زمرة تكون زمرة جزئٌة .
لتكن )∗ (𝐺,زمرة ∅ ≠ 𝐻 ⊆ 𝐺 ,فان )∗ (𝐻,∗) ≤ (𝐺,اذا وفقط اذا كان مبرهنة : 11
𝐻 ∈ 𝑏 𝑎 ∗ 𝑏 −1 ∈ 𝐻 ∀ 𝑎,
)∘ (𝐴𝑛 , ∘) ≤ (𝑆𝑛 , مثال :
𝑛𝐴 ∈ 𝑒 ⇒ 𝑛𝑆 ⊆ 𝑛𝐴 ≠ ∅
𝑛𝐴 ∈ ∵ 𝑓2
∴ 𝑓2تبديل زوجي
∴ 𝑓1 ∘ 𝑓2−1تبديل زوجي
∴ 𝑛𝐴 ∈ 𝑓1 ∘ 𝑓2−1
مالحظات :
- 1كل زمرة جزئٌة من زمرة ابدالٌة تكون ابدالٌة .
- 2كل زمرة جزئٌة من زمرة غٌر ابدالٌة لٌس من الضروري ان تكون غٌر ابدالٌة .
اذا كانت )∗ (𝐺,زمرة وكل من )∗ (𝐻2 ,∗) , (𝐻1 ,زمرة جزئية من )∗ (𝐺,فان مبرهنة : 12
)∗(𝐻1 ⋂ 𝐻2 ,∗) ≤ (𝐺,
21
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
البرهان :
)∗∵ (𝐻1 ,∗) ≤ (𝐺,
𝐺 ⊆ ∴ 𝑒 ∈ 𝐻1 , 𝐻1
)∗∵ (𝐻2 ,∗) ≤ (𝐺,
𝐺 ⊆ ∴ 𝑒 ∈ 𝐻2 , 𝐻2
𝐺 ⊆ ∴ 𝑒 ∈ 𝐻1 ⋂ 𝐻2 , ∅ ≠ 𝐻1 ⋂ 𝐻2
نفرض ان 𝑎 , 𝑏 ∈ 𝐻1 ⋂ 𝐻2
𝑎 , 𝑏 ∈ 𝐻1 ∧ 𝑎 , 𝑏 ∈ 𝐻2
𝑎 ∗ 𝑏 −1 ∈ 𝐻1 ∧ 𝑎 ∗ 𝑏 −1 ∈ 𝐻2
𝑎 ∗ 𝑏 −1 ∈ 𝐻1 ⋂ 𝐻2
لتكن )∗ (𝐺,زمرة ولتكن 𝑆 مجموعة جزئية غير خالية من 𝐺 فتعرف المجموعة تعريف :
} 𝐻 ⊆ 𝑆 𝑆 = ⋂{𝐻 ∶ (𝐻,∗) ≤ 𝐺,∗ ,
فان الزمرة )∗ ((𝑆) ,تكون زمرة جزئية من ∗ 𝐺,وتسمى بالزمرة الجزئية المتولدة بواسطة المجموعة 𝑆 وىي
اصغر زمرة جزئية تحوي 𝑆 .
اذا كانت )∗ (𝐺,زمرة وكانت 𝐺 ⊆ }𝑎{ = 𝑆 فتسمى الزمرة الجزئية المتولدة بواسطة المجموعة تعريف :
𝑆 وىي زمرة دائرية مولدىا 𝑎 وعناصرىا معرفة كاألتي :
} 𝑍 ∈ 𝑘 ∶ 𝑘𝑎{ = 𝑎
2 ىي زمرة جزئية دائرية متولدة بواسطة العنصر 2 ,+ في الزمرة ) (𝑍, +نالحظ ان مثال :
وعناصرىا ىي كاآلتي :
22
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
… 2 = 2𝑘 ∶ 𝑘 ∈ 𝑍 = … , −6, −4 , −2 , 0 , 2 ,4 ,6 ,
لتكن )∗ (𝐺,زمرة 𝑎 ∈ 𝐺 ,فاذا كان 𝑛 اصغر عدد صحيح موجب يحقق ( 𝑒 = 𝑛𝑎 ) فيسمى تعريف :
رتبة العنصر 𝑎 عدا ذلك يقال بان 𝑎 ذات رتبة غير منتيية .
سوف نجد رتبة العنصر 2في الزمرة ) (𝑍5 , +5 مثال :
𝑍5 = 1 , 2 , 3 , 4
𝑂 2 =5
لتكن )∗ (𝐺,زمرة ,يعرف مركز الزمرة كاآلتي : تعريف :
𝐺 ∈ 𝑦 𝐶𝑒𝑛𝑡 𝐺 = 𝑥 ∈ 𝐺 ∶ 𝑥 ∗ 𝑦 = 𝑦 ∗ 𝑥 ∀ 𝑥,
اذا كانت )∗ (𝐺,زمرة فان 𝐺 = 𝐺 𝑡𝑛𝑒𝐶 اذا وفقط اذا كانت )∗ (𝐺,زمرة ابدالية . مبرهنة : 13
نفرض ان 𝐺 = 𝐺 𝑡𝑛𝑒𝐶
23
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
ليكن 𝐺 ∈ 𝑏 𝑎 ,
في الزمرة ) (𝑍, +نالحظ ان 𝑍 = 𝑍 𝑡𝑛𝑒𝐶 لكون ) (𝑍, +زمرة ابدالية . مثال :
لتكن )∗ (𝐺,زمرة فان )∗. 𝐶𝑒𝑛𝑡 𝐺 ,∗ ≤ (𝐺, مبرهنة : 14
البرهان :
𝐺∈ 𝑦 ∀ 𝑒∗𝑦= 𝑦∗𝑒
𝐺 𝑡𝑛𝑒𝐶 ∈ 𝑒
𝐺 ⊆ 𝐺 𝑡𝑛𝑒𝐶 ≠ ∅
𝑎∗𝑦= 𝑦∗𝑎
𝑦 ∗ 𝑎 ∗ 𝑏 −1 ∗ 𝑦 = 𝑎 ∗ 𝑏 −1
𝑏 ∗ = 𝑎 ∗ 𝑦 −1 −1
= 𝑎 ∗ 𝑦 ∗ 𝑏 −1
= (𝑎 ∗ 𝑦) ∗ 𝑏 −1
= 𝑦 ∗ 𝑎 ∗ 𝑏 −1 = 𝑦 ∗ 𝑎 ∗ 𝑏 −1
24
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝐺 𝑡𝑛𝑒𝐶 ∈ ∴ 𝑎 ∗ 𝑏 −1
لتكن )∗ (𝐺,زمرة 𝑎 ∈ 𝐺 ,يعرف مركز العنصر 𝑎 كاآلتي : تعريف :
𝑥∗𝑎= 𝑎∗𝑥∶ 𝐺∈ 𝑥 = 𝑎 𝐶
ىنالك احتمال ان يكون مركز العنصر أكبر من مركز الزمرة والعكس غير محتمل وقد يتساويان. مالحظة :
𝑒 ∘ 𝑒 ∘ 12 = 12
12 ∘ 12 = 12 ∘ 12
13 ∘ 12 ≠ 12 ∘ 13
23 ∘ 12 ≠ 12 ∘ 23
123 ∘ 12 ≠ 12 ∘ 123
132 ∘ 12 ≠ 12 ∘ 132
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑥∗𝑎= 𝑎∗𝑥
𝑥 ∗ 𝑎 ∗ 𝑥 −1 ∗ 𝑥 ∗ 𝑎 = 𝑥 −1
𝑥 ∗ 𝑎 ∗ 𝑥 −1 ∗ 𝑥 ∗ 𝑎 = 𝑥 −1
𝑥 ∗ 𝑎 ∗ 𝑒 ∗ 𝑎 = 𝑥 −1
𝑥 ∗ 𝑎 ∗ 𝑎 = 𝑥 −1
𝑎 ∗ 𝑥 −1 = 𝑥 −1 ∗ 𝑎 ∗ 𝑥 ∗ 𝑥 −1
𝑒 ∗ 𝑎 ∗ 𝑎 ∗ 𝑥 −1 = 𝑥 −1
𝑎 ∗ 𝑎 ∗ 𝑥 −1 = 𝑥 −1
𝑎 𝐶 ∈ ∴ 𝑥 −1
البرهان :
𝑒∗𝑎= 𝑎∗𝑒
𝑎 𝐶∈𝑒
𝐺⊆ 𝑎 𝐶≠∅
𝑥∗𝑎= 𝑎∗𝑥
𝑦∗𝑎= 𝑎∗𝑦
26
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑦 −1 ∗ 𝑎 = 𝑎 ∗ 𝑦 −1
𝑎 ∗ 𝑥 ∗ 𝑦 −1 ∗ 𝑎 = 𝑥 ∗ 𝑦 −1
= 𝑥 ∗ 𝑎 ∗ 𝑦 −1
= (𝑥 ∗ 𝑎) ∗ 𝑦 −1
= 𝑎 ∗ 𝑥 ∗ 𝑦 −1 = 𝑎 ∗ 𝑥 ∗ 𝑦 −1
𝑎 𝐶 ∈ ∴ 𝑥 ∗ 𝑦 −1
)∗∴ 𝐶 𝑎 ,∗ ≤ (𝐺,
𝑎 𝐶∈𝑥 𝐺∈𝑎 ∀
𝑎 𝐶⋂∈ 𝑥 𝐺∈𝑎 ∀
𝑎 𝐶∈𝑥 𝐺∈𝑎 ∀
𝐺 𝑡𝑛𝑒𝐶 ∈ 𝑥
27
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
- 1لتكن 𝑋 مجموعة غٌر خالٌة بٌن فٌما اذا كانت األزواج المرتبة اآلتٌة تمثل زمرة أم ال ؟
28
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
. 123 ∘, - 17فً الزمرة )∘ (𝑆3 ,جد عناصر الزمرة
−1
. 8 - 18فً الزمرة ) (𝑍21 , +21هل ان = 4
−2 −1
. 132 )∘ (1342 - 19فً الزمرة )∘ (𝑆4 ,جد ناتج ماٌلً :
فهل ان ∗𝐾 ,∗ ≤ 𝐺 , , ∗𝐻 ,∗ ≤ 𝐺 , )∗ (𝐺 ,زمرة حٌث ان - 20إذا كانت
∗ 𝐻 ∪ 𝐾 ,∗ ≤ 𝐺,؟
𝑗 𝑎 = 𝑖𝑎 اذا وفقط اذا كان - 21لتكن )∗ (𝐺,زمرة 𝑎 ∈ 𝐺 ,حٌث ان 𝑎 ذات رتبة 𝑛 .اثبت
𝑛 𝑑𝑜𝑚 𝑗 ≡ 𝑖 .
- 22جد رتبة كل عنصر من عناصر الزمرة . 𝑍, +
- 23جد رتبة العنصر 12فً الزمرة )∘. (𝑆3 ,
- 24فً الزم رة ) (𝑍8 , +8جد رتبة كل عنصر من العناصر اآلتٌة . 2 , 4 , 3 , 2 :
- 25فً الزمرة )∙ (𝐺 ,حٌث ان }𝑖 𝐺 = {1, −1, 𝑖, −جد رتبة كل عنصر من عناصر 𝐺 .
- 26فً الزمرة 𝑍13 , +13جد اآلتً :
−1
𝑂 3 ج- 4 ب- أ8 +13 [11] -
- 27فً الزمرة )∙ (𝑀2×2 (ℝ) ,هل ان ). 𝑐𝑒𝑛𝑡 𝑀2×2 (ℝ) = 𝑀2×2 (ℝ
- 28لتكن )∗ (𝐺,زمرة . 𝑎 ∈ 𝐺 ,اذا كان 𝑎 𝐶 ∈ 𝑥 فهل ان . 𝑥 ∈ 𝐶 𝑎−1
29
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
تسمى المجموعة المشاركة اليسرى لمزمرة الجزئية )∗ (𝐻,في الزمرة )∗ (𝐺,بالنسبة لمعنصر 𝑎 .
}𝐻 ∈ ∶ 𝑎 ∗ { = 𝑎 ∗ 𝐻
تسمى المجموعة المشاركة اليمنى لمزمرة الجزئية )∗ (𝐻,في الزمرة )∗ (𝐺,بالنسبة لمعنصر 𝑎 .
𝐻, +4 ≤ 𝑍4 , +4
0+4 𝐻 = 0 +4 0 , 0 +4 2 = 0 , 2
1+4 𝐻 = 1 +4 0 , 1 +4 2 = 1 , 3
2+4 𝐻 = 2 +4 0 , 2 +4 2 = 2 , 0
3+4 𝐻 = 3 +4 0 , 3 +4 2 = 3 , 1
𝐻+4 0 = 0 +4 0 , 2 +4 0 = 0 , 2
𝐻+4 0 = 0 +4 1 , 2 +4 1 = 1 , 3
𝐻+4 2 = 0 +4 2 , 2 +4 2 = 2 , 0
𝐻+4 3 = 0 +4 3 , 2 +4 3 = 3 , 1
30
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
البرهان :
-1
- 2نفرض ان 𝐻 ∈ 𝑎 ونبرىن ان 𝐻 = 𝐻 ∗ 𝑎
ليكن 𝐻 ∗ 𝑎 ∈ 𝑥
𝐻∈ 𝑥 =𝑎∗,
𝐻∈𝑎 ∵
𝐻∈ ∗𝑎= 𝑥 ∴
𝐻⊆ 𝐻∗𝑎∴
نفرض ان 𝐻 ∈
𝐻∈𝑎 ∵
𝐻 ∈ ∴ 𝑎−1
∗ = 𝑒 ∗ = 𝑎 ∗ 𝑎−1 ∗ = 𝑎 ∗ 𝑎−1
𝐻 ∈ ∗ ∴ 𝑎−1
31
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝐻 ∗ 𝑎 ∈ ∗ = 𝑎 ∗ 𝑎−1
𝐻∗𝑎⊆ 𝐻 ∴
𝐻= 𝐻∗𝑎 ∴
االتجاه اآلخر /
نفرض ان 𝐻 = 𝐻 ∗ 𝑎 ونبرىن ان 𝐻 ∈ 𝑎
𝐻= 𝐻∗𝑎∈ 𝑎 ∵
𝐻∈𝑎 ∴
- 3نفرض ان 𝐻 ∗ 𝑏 = 𝐻 ∗ 𝑎 ونبرىن 𝐻 ∗ 𝑏 ∈ 𝑎
𝐻∗𝑎∈ 𝑎 ∵
𝐻∗𝑏= 𝐻∗𝑎 ∵
𝐻∗𝑏∈ 𝑎 ∴
االتجاه اآلخر /يترك كتمرين لمطالب .
- 4نفرض ان 𝐻 ∈ 𝑏 ∗ 𝑎−1ونبرىن 𝐻 ∗ 𝑏 = 𝐻 ∗ 𝑎
𝐻 ∈ 𝑏 ∗ ∵ 𝑎−1
𝐻 = 𝐻 ∗ 𝑏 ∗ 𝑎−1
𝐻 ∗ 𝑎 = 𝐻 ∗ 𝑏 ∗ ∴ 𝑎 ∗ 𝑎−1
𝐻 ∗ 𝑎 = 𝐻 ∗ 𝑏 ∗ ∴ 𝑎 ∗ 𝑎−1
𝐻∗𝑎= 𝐻∗𝑏∗𝑒 ∴
32
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝐻∗𝑏= 𝐻∗𝑎 ∴
االتجاه اآلخر /نفرض ان 𝐻 ∗ 𝑏 = 𝐻 ∗ 𝑎 ونبرىن 𝐻 ∈ 𝑏 ∗ 𝑎−1
𝐻∗𝑏= 𝐻∗𝑎 ∵
𝐻 ∗ 𝑏 ∗ ∴ 𝑎−1 ∗ 𝑎 ∗ 𝐻 = 𝑎−1
𝐻 ∗ 𝑏 ∗ ∴ 𝑎−1 ∗ 𝑎 ∗ 𝐻 = 𝑎−1
𝐻 ∗ 𝑏 ∗ ∴ 𝑒 ∗ 𝐻 = 𝑎−1
𝐻 ∗ 𝑏 ∗ ∴ 𝐻 = 𝑎−1
𝐻 ∈ 𝑏 ∗ 𝑎−1
- 5نفرض ان ∅ ≠ 𝐻 ∗ 𝑏 ∩ 𝐻 ∗ 𝑎 .
𝐻∗𝑏 ∩ 𝐻∗𝑎 ∈ 𝑥∃ ∴
𝐻∗𝑏 ∈ 𝑥 ∧ 𝐻∗𝑎∈ 𝑥 ∴
∴ 𝑎 ∗ 1 = 𝑏 ∗ 2
33
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑏 ∗ ∴ 1 ∗ 2−1 = 𝑎−1
𝐻 ∈ ∵ 2 𝐻 ∈ ⟹ 2−1
𝐻 ∈ ∴ 1 ∗ 2−1
𝐻 ∈ 𝑏 ∗ ∴ 𝑎−1
اذا كانت )∗ (𝐺,زمرة دائرية مولدىا 𝑎 ورتبتيا 𝑛 فان مبرهنة : 19
كل زمرة جزئية من زمرة دائرية تكون دائرية . مبرهنة : 20
𝑒≠ 𝑥∋ 𝐻∈ 𝑥∃ ∴
𝑍 ∈ 𝑘 𝑥 ∈ 𝐺 ⟹ 𝑥 = 𝑎𝑘 ,
𝑍 ∈ 𝑘 𝑥 −1 = 𝑎−𝑘 ∈ 𝐻 ,
34
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
يجب ان نبرىن 𝑛𝑎 = 𝐻
حسب خوارزمية القسمة يوجد 𝑍 ∈ 𝑞 𝑟 ,بحيث ان
𝐻 ∈ 𝑟∴ 𝑎−
𝐻 ∈ 𝑟𝑎 ∴
𝑞𝑛 = 𝑘
لتكن 𝐻 ∈ 𝑛𝑎
ان أي قوى الى 𝐻 ∈ 𝑛𝑎 ستكون موجودة في 𝐻 فيذا يعني 𝐻 ⊆ 𝑛𝑎
35
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
وبالتالي ستكون 𝑛𝑎 = 𝐻
اذن )∗ (𝐻,زمرة دائرية مولدىا 𝑛𝑎 .
لتكن )∗ (𝐺,زمرة , (𝐻,∗) ≤ (𝐺,∗),فيعرف دليل 𝐻 في 𝐺 عمى انو عدد المجاميع تعريف :
المشاركة اليسرى (اليمنى) المختمفة لمزمرة 𝐻 في 𝐺 ويرمز لو بالرمز 𝐻 ∶ 𝐺 .
𝑍4 = 0,1,2,3
0+4 𝐻 = 0 +4 0 , 0 +4 2 = 0 , 2
1+4 𝐻 = 1 +4 0 , 1 +4 2 = 1 , 3
2+4 𝐻 = 2 +4 0 , 2 +4 2 = 2 , 0
3+4 𝐻 = 3 +4 0 , 3 +4 2 = 3 , 1
𝐻 0+4 𝐻 , 1+4
∴ 𝑍4 ∶ 𝐻 = 2
𝑒𝑍 ∈ ∶ 𝑎 + 𝑍𝑒 = 𝑎 +
36
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑍 ∈ = 2 𝑘1 + 𝑘2 ∶ 𝑘1 , 𝑘2
𝑒𝑍 ∈ ∶ 𝑎 + 𝑍𝑒 = 𝑎 +
𝑍 ∈ = 2 𝑘1 + 𝑘2 + 1 ∶ 𝑘1 , 𝑘2
∴ المجاميع المشاركة اليسرى المختمفة لمزمرة الجزئية 𝐻, +4في الزمرة 𝑍4 , +4ىي 𝑜𝑍 𝑍𝑒 ,
∴ 𝑍 ∶ 𝑍𝑒 = 2
اذا كانت )∗ (𝐺,زمرة (𝐻,∗) ≤ (𝐺,∗) ,فان مجموعة المجاميع المشاركة اليسرى مبرهنة : 21
(اليمنى) المختمفة الى 𝐻 في 𝐺 تكون تجزئة الى 𝐺 .
مبرهنة ( : 22الكرانج )
رتبة ودليل أي زمرة جزئية يقسمان رتبة الزمرة المنتيية .
𝐻 ∗ 𝐺 = 𝐻 ∪ 𝑎1 ∗ 𝐻 ∪ 𝑎2 ∗ 𝐻 ∪ … ∪ 𝑎𝑘−1
𝑗 ≠ 𝑖 ∀ 𝑎𝑖 ∗ 𝐻 ∩ 𝑎𝑗 ∗ 𝐻 ≠ ∅ ,
37
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑂 𝐻 = 𝑂 𝑎𝑖 ∗ 𝐻 , 1 ≤ 𝑖 ≤ 𝑘 − 1
𝐻 𝑂 𝑂 𝐺 = 𝑂 𝐻 + 𝑂 𝐻 + ⋯+
𝐻 𝑂𝑂 𝐺 = 𝑘 .
= 𝐻∶𝐺 .
𝐺 𝑂
𝐻 𝑂
من المبرىنة ( )22نستنتج ان مالحظة :
لتكن )∗ (𝐺,زمرة وكل من )∗ (𝐻,و )∗ (𝐾,زمرة جزئية من الزمرة )∗ (𝐺,فيعرف جداء الزمر تعريف :
الجزئية 𝐻 مع 𝐾 كاآلتي :
𝐾 ∈ 𝑘𝐻 ∗ 𝐾 = ∗ 𝑘 ∶ ∈ 𝐻 ,
لتكن )∗ (𝐺,زمرة (𝐻,∗) ≤ (𝐺,∗) ,فان )∗ (𝐻,تكون ناظمية ( سوية ) اذا حققت الشرط تعريف :
اآلتي:
𝐺∈ 𝑎∀ 𝑎∗𝐻= 𝐻∗𝑎
ويرمز ليا بالرمز )∗. 𝐻,∗ ∆ (𝐺,
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑎 +4 𝐻 = 𝐻 +4 𝑎 ∀ 𝑎 ∈ 𝑍4
كل زمرة تحتوي عمى األقل عمى زمرتا ن جزئيتان ناظميتان ىما الزمرة )∗({e},∗) , (G, مالحظة :
وتسميان بالتافيتان .
كل زمرة جزئية من زمرة ابدالية تكون ناظمية . مبرهنة : 23
نفرض ان )∗ (𝐺,زمرة ابدالية البرهان :
ولتكن ∗𝐻,∗ ≤ 𝐺,
لنبرىن 𝑎 ∗ 𝐻 = 𝐻 ∗ 𝑎 لكل 𝐺 ∈ 𝑎
نفرض ان 𝐻 ∗ 𝑎 ∈ 𝑥
𝐺 ∈ 𝑎 ∴ 𝑥 = 𝑎 ∗ 1 , 1 ∈ 𝐻 ,
𝑎∗𝐻⊆ 𝐻∗𝑎 ∴
نفرض ان 𝑎 ∗ 𝐻 ∈ 𝑦
𝐺 ∈ 𝑎 ∴ 𝑦 = 2 ∗ 𝑎 , 2 ∈ 𝐻 ,
𝐻∗𝑎⊆ 𝑎∗𝐻 ∴
39
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
في الزمرة ) 𝑍𝑒 , + ∆ (𝑍, +الن ) (𝑍, +زمرة ابدالية . مثال :
يقال لمزمرة )∗ (𝐺,بأنيا بسيطة اذا كانت تحتوي عمى زمر جزئية ناظمية تافية فقط . تعريف :
𝑍3 , +3زمرة بسيطة ألنيا تحتوي عمى زمر جزئية ناظمية ىي {𝑒}, +3 , 𝑍3 , +3فقط . مثال :
𝑍, +زمرة غير بسيطة ألنيا تحتوي عمى زمرة جزئية ناظمية غير تافية وىي . 𝑍𝑒 , +
كل زمرة رتبتيا عدد أولي تكون بسيطة . مبرهنة : 24
𝐺 ∈ 𝑎 ∴ 𝑥 = 𝑎 ∗ 1 ∗ 𝑎−1 , 1 ∈ 𝐻 ,
𝐻 ∗ 𝑎 ∈ 𝑎 ∗ 1
40
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑎 ∗ 𝐻 = 𝐻 ∗ 𝑎 ∈ ∴ 𝑎 ∗ 1
∴ يوجد 𝑎 ∗ 𝐻 ∈ 𝑎 ∗ 2بحيث ان 𝑎 ∗ 𝑎 ∗ 1 = 2
𝑥 = 𝑎 ∗ 1 ∗ 𝑎−1
𝐻 ∈ = 2 ∗ 𝑎 ∗ 𝑎−1 = 1
𝐻 ⊆ ∴ 𝑎 ∗ 𝐻 ∗ 𝑎−1
االتجاه اآلخر /نفرض ان 𝐻 ⊆ 𝑎 ∗ 𝐻 ∗ 𝑎−1لكل 𝐺 ∈ 𝑎 ونبرىن ∗ 𝐻,زمرة ناظمية .
لتكن 𝐻 ∗ 𝑎 ∈ 𝑥
𝐺 ∈ 𝑎 ∴ 𝑥 = 𝑎 ∗ 1 , 1 ∈ 𝐻 ,
𝐻 ⊆ ∵ 𝑎 ∗ 𝐻 ∗ 𝑎−1
𝐻 ∈ ∴ 𝑎 ∗ 1 ∗ 𝑎−1
𝐻 ∈ 𝑢 𝑎 ∗ 1 ∗ 𝑎−1 = 𝑢 ,
𝑎 ∗ 𝐻 ∈ 𝑎 ∗ 𝑢 = 𝑎 ∗ 𝑥 = 𝑎 ∗ 1 = 𝑎 ∗ 1 ∗ 𝑎−1
𝑎∗𝐻⊆ 𝐻∗𝑎∴
لتكن 𝑎 ∗ 𝐻 ∈ 𝑦
𝐺 ∈ 𝑎 ∴ 𝑦 = 2 ∗ 𝑎 , 2 ∈ 𝐻 ,
𝐻 ∈ 𝑎 ∗ ∴ 𝑎−1 ∗ 2
𝐻 ∈ 𝑣 𝑎−1 ∗ 2 ∗ 𝑎 = 𝑣 ,
41
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝐻 ∗ 𝑎 ∈ 𝑣 ∗ 𝑎 = 𝑎 ∗ 𝑦 = 2 ∗ 𝑎 = 𝑎 ∗ 𝑎−1 ∗ 2
𝐻∗𝑎⊆ 𝑎∗𝐻∴
𝑎∗𝐻= 𝐻∗𝑎∴
𝑦 = 𝑥 = 𝑦 ∗ 𝑎 ∗ 𝑎−1
𝐺 𝑡𝑛𝑒𝐶 ∈ 𝑥 ∴
𝑜𝑍 𝑍 𝑍𝑒 = 𝑎 + 𝑍𝑒 ∶ 𝑎 ∈ 𝑍 = 𝑍𝑒 ,
42
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
لتكن )∗ (𝐺,زمرة ولتكن )∗ 𝐻,∗ ∆ (𝐺,فتعرف العممية ⊗ عمى مجموعة القسمة 𝐻 ∕ 𝐺 تعريف :
كاآلتي:
لتكن )∗ (𝐺,زمرة 𝐻 ,∗ ∆ 𝐺,∗ ,فان )⊗ (𝐺 𝐻 ,تكون زمرة وتسمى زمرة القسمة. مبرهنة : 27
البرهان :
𝐺∈ 𝑎∶ 𝐻∗𝑎 = 𝐻 𝐺
نفرض ان 𝐻 𝐺 ∈ 𝑧 𝑥, 𝑦 ,حيث ان
𝐺 ∈ 𝑏 ∗ 𝑎 ⟹ 𝐺 ∈ 𝑏 ∵ 𝑎,
𝐻 𝐺∈∴𝑥⊗y
- 2
𝑐∗𝑏 ∗𝑎 = 𝐻∗
𝑧⊗ 𝑦⊗𝑥 =
43
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
- 3
∴ 𝐻 ∗ 𝑒 ىو العنصر المحايد
- 4
𝐻 𝐺 ∈ 𝐻 ∗ ∴ 𝑎−1
𝐻 ∗ 𝑥 ⊗ 𝑎−1 ∗ 𝐻 = 𝑎 ∗ 𝐻 ⊗ 𝑎−1
𝐻 ∗ 𝑒 = 𝐻 ∗ = 𝑎 ∗ 𝑎−1
𝐻 ∗ 𝑎 ⊗ 𝐻 ∗ 𝑎−1 ∗ 𝐻 ⊗ 𝑥 = 𝑎−1
𝐻 ∗ 𝑒 = 𝐻 ∗ 𝑎 ∗ = 𝑎−1
اذا كانت )∗ (𝐺,زمرة ابدالية فان زمرة القسمة )⊗ (𝐺 𝐻 ,تكون ابدالية . مبرهنة : 28
نفرض ان ∗ 𝐺,زمرة ابدالية البرهان :
ليكن 𝐻 𝐺 ∈ 𝑦 𝑥,حيث ان
44
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝐺 ∈ 𝑏 𝑥 = 𝑎 ∗ 𝐻 , 𝑦 = 𝑏 ∗ 𝐻 , 𝑎,
𝐻∗ 𝑎∗𝑏 =
لتكن )∗ (𝐺,زمرة فيعرف المبادل لمعنصرين 𝑎 و 𝑏 في الزمرة )∗ (𝐺,والذي يرمز لو بالرمز تعريف :
𝑏 𝑎 ,كاآلتي :
= 23 ∘ 13 = 123
لتكن )∗ (𝐺,زمرة فتعرف الزمرة الجزئية المشتقة والتي يرمز ليا بالرمز 𝐺 𝐺 ,كاآلتي : تعريف :
𝐺 ∈ 𝑏𝐺 ,𝐺 = ∏ 𝑎 ,𝑏 ∶ 𝑎 ,
اذا كانت )∗ (𝐺,زمرة فان الزمرة الجزئية )∗ ( 𝐺 , 𝐺 ,زمرة ناظمية . مبرهنة : 29
يجب ان نبرىن البرهان :
45
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝐺 ∈ 𝑎 𝑥 = 𝑎 ∗ 𝑐 ∗ 𝑎−1 , 𝑐 ∈ 𝐺 , 𝐺 ,
𝐺 𝑥 = 𝑎 ∗ 𝑐 ∗ 𝑎−1 ∗ 𝑐 −1 ∗ 𝑐 = 𝑎 , 𝑐 ∗ 𝑐 ∈ 𝐺 ,
𝐺∴ 𝑥 ∈ 𝐺 ,
46
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
47
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑏 𝑓∘ 𝑎 𝑓= 𝑏∗𝑎 𝑓 𝐺 ∈ 𝑏 ∀ 𝑎,
∗ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺,المعرفة بالشكل : لتكن ∗ 𝐺,زمرة فان الدالة الذاتية مثال :
𝐺∈ 𝑎∀ 𝑎= 𝑎 𝑓
تكون تشاكل وذلك النو اذا كانت 𝐺 ∈ 𝑏 𝑎,فان
𝑏 𝑓∗ 𝑎 𝑓= 𝑏∗𝑎= 𝑏∗𝑎 𝑓
لتكن كل من ∗ 𝐺 ′ ,∘ , 𝐺,زمرة فان الدالة ∘ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺 ′ ,المعرفة بالشكل : م ثال :
𝐺 ∈ 𝑎 ∀ 𝑓 𝑎 = 𝑒′
حيث ان 𝑒 ′ىو العنصر المحايد لمزمرة ∘ 𝐺 ′ ,تكون تشاكل وذلك النو
اذا كانت 𝐺 ∈ 𝑏 𝑎,فان
𝑏 𝑓 ∘ 𝑎 𝑓 = 𝑓 𝑎 ∗ 𝑏 = 𝑒′ = 𝑒′ ∘ 𝑒′
𝑍∈ 𝑎∀ 𝑓 𝑎 =𝑎+1
ال تمثل تشاكل وذلك ألنو
اذا كانت 𝐺 ∈ 𝑏 𝑎,فان
48
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
مالحظات :
ٌ - 1رمز لمجموعة التشاكالت ∘ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺 ′ ,بالرمز 𝐻𝑜𝑚 𝐺, 𝐺 ′وإذا كانت 𝐺, 𝐺 ′
فٌرمز لها بالرمز 𝐺 𝑚𝑜𝐻 .
ٌ - 2رمز لمجموعة التشاكالت المتقابلة ∗ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺,بالرمز 𝐺 𝐴 .
البرهان :
-1
𝐺 ∈ 𝑎 ∀ 𝑓 𝑎 ∈ 𝐺′
𝑓 𝑎 = 𝑓 𝑎 ∘ 𝑒′
𝑒 𝑓∘ 𝑎 𝑓= 𝑒∗𝑎 𝑓= 𝑎 𝑓
∴ 𝑓 𝑎 ∘ 𝑓 𝑒 = 𝑓 𝑎 ∘ 𝑒′
∴ 𝑓 𝑒 = 𝑒′
49
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
∴ 𝑓 𝑎−1ىو نظير 𝑎 𝑓
−1
𝑎 𝑓 هو نظٌر 𝑎 𝑓 ولكن
بما ان العنصر النظٌر وحٌد
−1
𝑎 𝑓 = ∴ 𝑓 𝑎−1
البرهان :
-1
𝐻∈∶ 𝑓 = 𝐻 𝑓
𝐻∈𝑒 ∵ 𝐻 𝑓 ∈ ⟹ 𝑓 𝑒 = 𝑒′
∅ ≠ 𝑓 𝐻 ⊆ 𝐺′
نفرض ان 𝐻 𝑓 ∈ 𝑘 𝑓 𝑓 ,
𝐻 ∈ 𝑘 ,
∘∴ 𝑓 𝐻 ,∘ ≤ 𝐺 ′ ,
-2
𝑓 −1 𝐻′ = 𝑎 ∈ 𝐺 ∶ 𝑓 𝑎 ∈ 𝐻′
50
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝐺 ⊆ ∅ ≠ 𝑓 −1 𝐻′
نفرض ان 𝑎 , 𝑏 ∈ 𝑓 −1 𝐻′
−1
𝑏 𝑓 ∘ 𝑎 𝑓 = 𝑓 𝑎 ∗ 𝑏 −1 = 𝑓 𝑎 ∘ 𝑓 𝑏 −1
−1
∘∵ 𝐻′ ,∘ ≤ 𝐺 ′ , 𝑏 𝑓 ∘ 𝑎 𝑓 ⟹ ∈ 𝐻′
𝑎 ∗ 𝑏 −1 ∈ 𝑓 −1 𝐻′
∗∴ 𝑓 −1 𝐻′ ,∗ ≤ 𝐺 ,
فان ∗𝐻 ,∗ ∆ 𝐺 , ∘ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺 ′ ,تشاكل شامل وان لتكن مبرهنة : 32
∘. 𝑓 𝐻 ,∘ ∆ 𝐺 ′ ,
𝑏= 𝑎 𝑓 ∋ 𝐺∈𝑎 ∃ ∴
−1
𝑎 𝑓 ∘ 𝑓 ∘ 𝑎 𝑓 = 𝑏 ∘ 𝑓 ∘ 𝑏 −1
∗∵ 𝐻 ,∗ ∆ 𝐺 ,
𝐻 ⊆ ∴ 𝑎 ∗ ∗ 𝑎−1 ∈ 𝑎 ∗ 𝐻 ∗ 𝑎−1
𝐻 𝑓 ∈ ∴ 𝑓 𝑎 ∗ ∗ 𝑎−1
51
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝐻 𝑓 ∈ ∴ 𝑏 ∘ 𝑓 ∘ 𝑏 −1
𝐻 𝑓 ⊆ ∴ 𝑏 ∘ 𝑓 𝐻 ∘ 𝑏 −1
المبرىنة ( )32ال تتحقق اذا لم تكن الدالة 𝑓 شاممة . مالحظة :
فان ∘𝐻′ ,∘ ∆ 𝐺 ′ , تشاكل وان ∘𝑓 ∶ 𝐺,∗ ⟶ 𝐺 ′ , لتكن مبرهنة : 33
∗. 𝑓 −1 𝐻′ ,∗ ∆ 𝐺 ,
∘∵ 𝐻′ ,∘ ∆ 𝐺 ′ ,
−1
𝑎 𝑓 ∘ 𝑥 𝑓∘ 𝑎 𝑓 ∴ ∈ 𝐻′
∗∴ 𝑓 −1 𝐻′ ,∗ ∆ 𝐺 ,
𝑓 𝑟𝑒𝑘 لتكن ∘ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺 ′ ,تشاكل فتعرف نواة التشاكل والتي يرمز ليا بالرمز تعريف :
كاآلتي :
𝑘𝑒𝑟 𝑓 = 𝑎 ∈ 𝐺 ∶ 𝑓 𝑎 = 𝑒 ′
52
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑚 𝑓 𝑓 𝑛 + 𝑚 = 𝑖 𝑛+𝑚 = 𝑖 𝑛 . 𝑖 𝑚 = 𝑓 𝑛 .
∴ 𝑓 تشاكل
1 ∈ 𝐺 ∃ 0 ∈ 𝑍 ∋ 𝑓 0 = 𝑖0 = 1
−1 ∈ 𝐺 ∃ 2 ∈ 𝑍 ∋ 𝑓 2 = 𝑖 2 = −1
𝑖 = 𝑖 ∈ 𝐺 ∃ 1 ∈ 𝑍 ∋ 𝑓 1 = 𝑖1
𝑖−𝑖 ∈ 𝐺 ∃ 3 ∈ 𝑍 ∋ 𝑓 3 = 𝑖 3 = −
∴ 𝑓 تشاكل شامل
كذلك ان نواة التشاكل ىي :
𝑘𝑒𝑟 𝑓 = 𝑛 ∈ 𝑍 ∶ 𝑓 𝑛 = 1
= 𝑛 ∈ 𝑍 ∶ 𝑖𝑛 = 1
𝑍 ∈ 𝑘 = 𝑛 ∈ 𝑍 ∶ 𝑛 = 4𝑘 ,
𝑍 ∈ 𝑘 ∶ 𝑘= 4
𝑒 𝑓 = 𝑓 𝑎 = 𝑒′
53
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑏 𝑓= 𝑎 𝑓
−1 −1
𝑏 𝑓 ∘ 𝑎 𝑓 = 𝑓 𝑎 ∗ 𝑏 −1 = 𝑓 𝑎 ∘ 𝑓 𝑏 −1 𝑎 𝑓 ∘ 𝑎 𝑓= = 𝑒′
𝑓 𝑟𝑒𝑘 ∈ ∴ 𝑎 ∗ 𝑏 −1
𝑒 = 𝑓 𝑟𝑒𝑘 ∵
𝑒 = ∴ 𝑎 ∗ 𝑏 −1
𝑏=𝑎 ∴
∴ 𝑓 متباينة .
𝐺 ⊆ 𝑓 𝑟𝑒𝑘 ≠ ∅
نفرض ان 𝑓 𝑟𝑒𝑘 ∈ 𝑏 𝑎 ,
−1
𝑏 𝑓 ∘ 𝑎 𝑓 = 𝑓 𝑎 ∗ 𝑏 −1 = 𝑓 𝑎 ∘ 𝑓 𝑏 −1 = 𝑒′ ∘ 𝑒′ = 𝑒′
𝑓 𝑟𝑒𝑘 ∈ 𝑎 ∗ 𝑏 −1
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑓 𝑥 = 𝑒′
𝑓 𝑟𝑒𝑘 ∈ ∴ 𝑎 ∗ 𝑥 ∗ 𝑎−1
∴ 𝐻𝑡𝑎𝑛 تشاكل
ليكن 𝐻 𝐺 ∈ 𝐻 ∗ 𝑏
يوجد 𝐺 ∈ 𝑏 بحيث ان 𝐻 ∗ 𝑏 = 𝑏 𝐻𝑡𝑎𝑛
∴ 𝐻𝑡𝑎𝑛 تشاكل شامل .
∗ 𝐺 ′ ,∘ , 𝐺,متشاكمتان تقابمياً ( ) isomorphicويرمز ليما بالرمز يقال لمزمرتان تعريف :
∘. 𝑓 ∶ 𝐺,∗ ⟶ 𝐺 ′ , ∘ 𝐺,∗ ≃ 𝐺 ′ ,اذا وجد تشاكل متقابل
55
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑓 ∶ 𝑍4 , +4 ⟶ 𝐺, .
𝑓 𝑛 = 𝑖 𝑛 ∀ 𝑛 ∈ 𝑍4
ليكن 𝑍 ∈ 𝑚 𝑛 ,
𝑚 𝑓 𝑓 𝑛 +4 𝑚 = 𝑖 𝑛 +4 𝑚 = 𝑖 𝑛 . 𝑖 𝑚 = 𝑓 𝑛 .
∴ 𝑓 تشاكل
نفرض ان
𝑚 𝑓= 𝑛 𝑓
𝑚𝑖 = 𝑛𝑖
𝑚=𝑛
∴ 𝑓 متباينة
1 ∈ 𝐺 ∃ 0 ∈ 𝑍4 ∋ 𝑓 0 = 𝑖 0 = 1
−1 ∈ 𝐺 ∃ 2 ∈ 𝑍4 ∋ 𝑓 2 = 𝑖 2 = −1
𝑖 = 𝑖 ∈ 𝐺 ∃ 1 ∈ 𝑍4 ∋ 𝑓 1 = 𝑖 1
𝑖−𝑖 ∈ 𝐺 ∃ 3 ∈ 𝑍4 ∋ 𝑓 3 = 𝑖 3 = −
∴ 𝑓 شاممة
. 𝑍4 , +4 ≃ 𝐺, . ∴ 𝑓 تشاكل متقابل وبالتالي ستكون
كل زمرة دائرية غير منتيية تكون متشاكمة تقابمياً مع زمرة األعداد الصحيحة . 𝑍, + مبرهنة : 37
نفرض ان ∗ 𝐺,زمرة دائرية مولدىا 𝑎 البرهان :
نفرض ان
56
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑘 = 𝑘𝑎 𝑓 𝑍 ∈ 𝑘 ∀ 𝑎𝑘 ∈ 𝐺 ,
ليكن 𝑍 ∈ 𝑎𝑘 1 , 𝑎𝑘 2حيث ان 𝑍 ∈ 𝑘1 , 𝑘2
𝑓 𝑎𝑘 1 ∗ 𝑎𝑘 2 = 𝑓 𝑎𝑘 1 +𝑘 2 = 𝑘1 + 𝑘2 = 𝑓 𝑎𝑘 1 + 𝑓 𝑎𝑘 2
∴ 𝑓 تشاكل
نفرض ان
𝑓 𝑎𝑘 1 = 𝑓 𝑎𝑘 2
𝑘1 = 𝑘2
𝑎𝑘 1 = 𝑎𝑘 2
∴ 𝑓 متباينة
ليكن 𝑍 ∈ 𝑘
يوجد 𝐺 ∈ 𝑘𝑎 بحيث ان 𝑘 = 𝑘𝑎 𝑓
∴ 𝑓 شامل .
𝐺,∗ ≃ 𝑍, + .
∴ كل زمرة دائرية غير منتيية تكون متشاكمة تقابمياً مع زمرة األعداد الصحيحة . 𝑍, +
كل زمرة دائرية منتيية رتبتيا 𝑛 تكون متشاكمة تقابمياً مع 𝑛. 𝑍𝑛 , + مبرهنة : 38
نفرض ان ∗ 𝐺,زمرة دائرية منتيية رتبتيا 𝑛 ومولدىا 𝑎 البرهان :
} 𝐺 = < 𝑎 > = {𝑒 , 𝑎 , 𝑎2 , 𝑎3 , … , 𝑎𝑛 −1
نفرض ان
𝑘 = 𝑘𝑎 𝑓 ∀ 𝑎𝑘 ∈ 𝐺 , 0 ≤ 𝑘 ≤ 𝑛 − 1
ليكن 𝑍 ∈ 𝑎𝑘 1 , 𝑎𝑘 2حيث ان 𝑍 ∈ 𝑘1 , 𝑘2
57
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑓 𝑎𝑘 1 ∗ 𝑎𝑘 2 = 𝑓 𝑎𝑘 1 +𝑘 2
= 𝑘1 + 𝑘2 = 𝑘1 +𝑛 𝑘2 = 𝑓 𝑎𝑘 1 +𝑛 𝑓 𝑎𝑘 2
∴ 𝑓 تشاكل
نفرض ان
𝑓 𝑎𝑘 1 = 𝑓 𝑎𝑘 2
⟹ 𝑘1 = 𝑘2
𝑍 ∈ 𝑞 ⟹ 𝑘1 = 𝑘2 + 𝑞 . 𝑛 ,
𝑛⟹ 𝑎𝑘 1 = 𝑎𝑘 2 +𝑞 .𝑛 = 𝑎𝑘 2 ∗ 𝑎𝑞 .
⟹ 𝑎𝑘 1 = 𝑎𝑘 2
∴ 𝑓 متباينة .
ليكن 𝑍 ∈ 𝑘
يوجد 𝐺 ∈ 𝑘𝑎 بحيث ان 𝑘 = 𝑘𝑎 𝑓
∴ 𝑓 شامل .
𝑛𝐺,∗ ≃ 𝑍𝑛 , +
∴ كل زمرة دائرية منتيية تكون متشاكمة تقابمياً مع 𝑛. 𝑍𝑛 , +
58
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑛𝐺,∗ ≃ 𝑍𝑛 , +
𝑛𝐺 ′ ,∘ ≃ 𝑍𝑛 , +
∵ ≃ عالقة انعكاسية فنحصل عمى
∘𝑍𝑛 , +𝑛 ≃ 𝐺 ′ ,
∵ ≃ عالقة متعدية فنحصل عمى
∘𝐺,∗ ≃ 𝐺 ′ ,
∴ كل زمرتين دائريتين من نفس الرتبة تكونان متشاكمتان تقابمياً .
𝑦∗𝑎= 𝑥∗𝑎
𝑦 ∗ 𝑎 ∗ 𝑎−1 ∗ 𝑎 ∗ 𝑥 = 𝑎−1
𝑦 ∗ 𝑎 ∗ 𝑎−1 ∗ 𝑎 ∗ 𝑥 = 𝑎−1
𝑦=𝑥
∴ 𝑎𝑓 متباينة
ليكن 𝐺 ∈ 𝑦
⟹ 𝐺 ∈ 𝑎 ∈ 𝐺 ⟹ 𝑎−1 𝐺 ∈ 𝑦 ∗ 𝑎−1
59
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
مبرهنة ( : 41كيمي )
لتكن ∗ 𝐺 ,زمرة فان ∘. 𝐺 ,∗ ≃ 𝐹𝐺 ,
البرهان :
𝐺 ∈ 𝑎 ∶ 𝑎𝑓 = 𝐺𝐹
نفرض ان
𝑎𝑓 = 𝑎 𝑔 𝐺∈𝑎 ∀
ليكن 𝐺 ∈ 𝑏 𝑎,
𝑏 𝑔 ∘ 𝑎 𝑔 = 𝑏𝑓 ∘ 𝑎𝑓 = 𝑏∗𝑎𝑓 = 𝑏 ∗ 𝑎 𝑔
∴ 𝑔 تشاكل
نفرض ان
𝑏 𝑔= 𝑎 𝑔
𝑏𝑓 = 𝑎𝑓
𝑥∗𝑏= 𝑥∗𝑎
60
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑎 ∗ 𝑥 ∗ 𝑥 −1 = 𝑏 ∗ 𝑥 ∗ 𝑥 −1
𝑎 ∗ 𝑥 ∗ 𝑥 −1 = 𝑏 ∗ 𝑥 ∗ 𝑥 −1
𝑏=𝑎
∴ 𝑔 متباينة
ليكن 𝐺𝐹 ∈ 𝑎𝑓
يوجد 𝐺 ∈ 𝑎 بحيث ان 𝑎𝑓 = 𝑎 𝑔
∴ 𝑔 شاممة
∴ 𝑔 تشاكل متقابل
مبرهنة ( : 42التحميل )
𝑓 𝑟𝑒𝑘 ⊆ 𝐻 فانو يوجد لتكن ∘ 𝑓 ∶ 𝐺,∗ ⟶ 𝐺 ′ ,تشاكل شامل 𝐻 ,∗ ∆ 𝐺 ,∗ ,بحيث ان
تشاكل وحيد ∘ 𝑔 ∶ 𝐺 𝐻 ,⊗ ⟶ 𝐺 ′ ,بحيث ان 𝐻𝑡𝑎𝑛 ∘ 𝑔 = 𝑓 .
𝑎 𝑓= 𝐻∗𝑎 𝑔 𝐻 𝐺∈ 𝐻∗𝑎 ∀
اآلن لنبرىن ان 𝑔 معرفة تعريفاً حسناً
ليكن 𝐻 𝐺 ∈ 𝐻 ∗ 𝑏 𝑎 , 𝑏 ∈ 𝐺 , 𝑎 ∗ 𝐻 ,بحيث ان
𝐻∗𝑏= 𝐻∗𝑎
𝐻 ∈ 𝑏 ∗ ∴ 𝑎−1
𝑓 𝑟𝑒𝑘 ⊆ 𝐻 ∵
𝑓 𝑟𝑒𝑘 ∈ 𝑏 ∗ ∴ 𝑎−1
61
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
𝑏 𝑓= 𝑎 𝑓 ∴
𝐻∗𝑏 𝑔= 𝐻∗𝑎 𝑔 ∴
∴ 𝑔 معرفة تعريفاً حسناً .
كذلك نجد ان
نفرض ان 𝐺 ∈ 𝑎
𝐻𝑡𝑎𝑛 ∘ 𝑔 = 𝑓 ∴
=𝑔
التشاكل 𝑔 في مبرىنة التحميل يكون متباين اذا وفقط اذا كان 𝐻 ⊆ 𝑓 𝑟𝑒𝑘 . نتيجة :
62
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
∘𝑔 ∶ 𝐺 𝐻 ,⊗ ⟶ 𝐺 ′ , 𝑓 𝑟𝑒𝑘 ⊆ 𝐻 فانو يوجد تشاكل وحيد ∗ 𝐻 ,∗ ∆ 𝐺 ,بحيث ان
بحيث ان 𝐻𝑡𝑎𝑛 ∘ 𝑔 = 𝑓
𝑓 𝑟𝑒𝑘 ⊆ 𝑓 𝑟𝑒𝑘 = 𝐻
حسب مبرىنة التحليل يوجد تشاكل وحيد ∘ 𝑔 ∶ 𝐺 𝑘𝑒𝑟 𝑓 ,⊗ ⟶ 𝐺 ′ ,بحيث ان 𝐻𝑡𝑎𝑛 ∘ 𝑔 = 𝑓
𝑓 𝑟𝑒𝑘 = 𝐻 ⊆ 𝑓 𝑟𝑒𝑘 ∵
حسب نتيجة مبرىنة التحميل فان 𝑔 تشاكل متباين
نفرض ان 𝑏 ∈ 𝐺 ′
بما ان 𝑓 شاممة اذن يوجد 𝐺 ∈ 𝑎 بحيث ان 𝑏 = 𝑎 𝑓
𝑓 𝑟𝑒𝑘 𝐺 ⊆ 𝑓 𝑟𝑒𝑘 ∗ 𝑎
𝑓 ∶ 𝑍, + ⟶ 𝐺, .
63
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
- 1عندما 𝑒𝑍 ∈ 𝑚 𝑛 + 𝑚 ∈ 𝑍𝑒 ⟸ 𝑛,
𝑚 𝑓𝑓 𝑛 + 𝑚 = 1 = 1 .1 = 𝑓 𝑛 .
𝑚 𝑓 𝑓 𝑛 + 𝑚 = −1 = 1 . −1 = 𝑓 𝑛 .
𝑚 𝑓 𝑓 𝑛 + 𝑚 = −1 = −1 . 1 = 𝑓 𝑛 .
- 4عندما 𝑜𝑍 ∈ 𝑚 𝑛 + 𝑚 ∈ 𝑍𝑒 ⟸ 𝑛,
𝑚 𝑓 𝑓 𝑛 + 𝑚 = −1 = −1 . 1 = 𝑓 𝑛 .
𝑚 𝑓 𝑓 𝑛 + 𝑚 = 1 = −1 . −1 = 𝑓 𝑛 .
−1 ∈ 𝐺 ∃ 3 ∈ 𝑍 ∋ 𝑓 3 = −1
∴ 𝑓 تشاكل شامل
حسب المبرىنة األساسية في التشاكل يكون
64
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
لتكن )∗ (𝐺,زمرة منتيية تسمى الزمرة 𝐺 أولية من النمط 𝑝 حيث ان ( 𝑝 عدد أولي ) اذا كانت تعريف :
𝑂 𝐺 = 𝑝𝑘 , 𝑘 ∈ 𝑍 +
كل زمرة جزئية من زمرة أولية من النمط 𝑝 تكون أولية من النمط 𝑝 . مبرهنة : 44
نفرض ان )∗ (𝐺,زمرة أولية من النمط 𝑝 البرهان :
ولتكن ∗𝐻,∗ ≤ 𝐺,
𝑂 𝐺 = 𝑝𝑘 , 𝑘 ∈ 𝑍 +
حسب مبرىنة الكرانج 𝐻 𝑂 تقسم 𝑘𝑝 = 𝐺 𝑂
𝑘 ≤ 𝑚 ≤ 𝑂 𝐻 = 𝑝𝑚 , 1
∗ 𝐻,زمرة أولية من النمط 𝑝 . ∴
لتكن )∗ (𝐺,زمرة يال لمزمرتان الجزئيتان )∗ (𝐾,∗) , (𝐻,مترافقتان اذا وجد 𝐺 ∈ 𝑎 بحيث ان تعريف :
𝐾 = 𝑎 ∗ 𝐻 ∗ 𝑎−1
65
جاهعة القادسية /كلية علوم احلاسوب والرياضيات /قسن الرياضيات
للودرس املساعد عباس كرين وناس الشريفي حماضرات جرب زهر ( / )1ر223
66