to‘plamga tegishli va b*x=a shartni
qanoatlantiruvchi ixtiyoriy
(a,b) juftliklar to ‘plamini Y bilan belgilaylik.
Har bir (a,b)
juftlikda x bir qiymatli aniqlangandir.
Faraz qilaylik,
x bir qiymatli aniqlanmagan, ya’ni b*x=a;
b*y=a boMsin, u holda * algebraik operatsiyaning qisqaruvchanlik
xossasidan x=y ekanligi kelib chiqadi.
Demak, Y dan olingan har bir (a,b) juftga A to‘plamdan bitta x
ni mos qo‘yish orqali * algebraik operatsiyaga
teskari boMgan T
qisman algebraik operatsiyasi A to'plamda aniqlandi.
9-ta’rif. Agar x eA , (a;b)eY , Y c A uchun x=aTb
operatsiya
faqat va faqat b*x=a o'rinli boMganda bajarilsa, T operatsiyaga *
operatsiyasiga teskari boMgan algebraik operatsiya deyiladi.
3.3. Neytral, yutuvchi va simmetrik elementlar
Binar operatsiyalarining ba’zi eiementlari.
Dostları ilə paylaş: