Doğrudan da G-nin A normal böləninə nəzərən bütün yanaşı siniflər çoxluğunu G/A ilə işarə edək.
qrupdur. Ona G qrupunun A normal böləninə nəzərən faktor-qrupu deyilir.
Teorem. Homomorfizmin nüvəsi G-nin normal bölənidir.
İsbatı. Asanlıqla yoxlamaq olar ki, H altqrupdur.
,
olarsa,
assosiativlik xassəsi, e
olması
aydındır. Həmçinin =
göstərir ki,
= [
]
-1
.
Deməli H altqrupdur.
Digər tərəfdən
üçün
, yəni
yəni H-ın
hər bir elementi ilə yanaşı onun qoşması da H-a daxildir. Deməli, H normal böləndir.
Indi hər bir
elementinə onun durduğu aH sinfini qarşı qoyan
inikası düzəldək. Bu
inikas homomorfizmdir, çünki
olduqda
olar.
Bu homomorfizmə G qrupunun təbii homomorfizmi deyilir.
Teorem. G qrupunun qrupu
üzərinə
varsa və H bu
nüvəsidirsə, G/H faktor-qrupu ilə qrupu izomorfdur.
Isbatı.
(aH) =
qaydası ilə : G/H
inikasını quraq. Asanlıqla yoxlamaq olar ki, bu inikas
biyektivdir. : G/H
.
Doğrudan da vasitəsilə aH-a yeganə bir və tərsinə qoyulur və
(aH
) = (a
) =
=
= (aH)
(
).
Qeyd edək ki,
, çünki,
=
olur.
Ədəbiyyat: [1], [2],[4], [8].
Dostları ilə paylaş: