Shunday qilib, maydon qo'shimcha sifatida ko'rsatilgan ikkita operatsiya va ko'paytma
bilan
jihozlangan F to'plami sifatida aniqlanishi mumkin , chunki
F - qo'shilish ostida
abeliya guruhi,
F \ {0 } - ko'paytiriladigan abeliya guruhi (bu erda 0
- identifikatsiya
elementi ko'paytma), va ko'paytma qo'shimcha ustiga
taqsimlovchi hisoblanadi
.
[nb
2]
Shuning uchun dalalar haqidagi ba'zi
bir oddiy bayonotlarni
guruhlarning
umumiy
dalillarini qo'llash orqali olish mumkin . Masalan, qo'shimchalar va ko'paytma teskari
tomonlari -
a va
a-
1
noyob tarzda
a bilan aniqlanadi .
1 ≠ 0 talabidan kelib chiqadi, chunki 1 - bu 0 ga ega bo'lmagan guruhning
identifikatsiya elementi.
[10]
Shunday qilib, bitta elementdan iborat
ahamiyatsiz
halqa
maydon emas.
Maydonning multiplikativ guruhining har bir
cheklangan kichik guruhi
tsiklikdir
.
Dostları ilə paylaş: