Mavzu: Algebralar gomomorfizmi. Mundarija kirish

2§ Algebralar gomomorfizimi.

to`plam va A to`plamda aniqlangan yoki bajariladigan algebraik amallar to`plami dan tashkil topgan tartiblangan juftlik algebra deyiladi. Masalan, R-to`plami va bu to`plamda aniqlangan qo`shish , ko`paytirish, 0,1 lar bilan birgalikda to`plam algebradir. Bunda har qanday gruppaoid algebra bo`ladi deyish mumkin. Agar algebra berilgan bo`lsa -to`plamdagi amallarning ranglaridan iborat to`plam algebraning tipi deyiladi. to`plamdagi amallar uchun ushbu sonly ketma-ketlik algebraning tipi bo`ladi. Misol uchun algebraning tipi {2} to`plamdan algebraning tipi esa {2, 0} to`plamdan, algebraning tipi sonli ketma ketlikdan iborat. Bizga va algebralar bir xil tipli bо‘lib berilgan bо‘lsin, bunda bо‘lsin
Agar algebraik amalga dan mos keladigan algebraik amalni orqali belgilasak, u xolda uchun tenglik bajarilsa, algebraik amal algebraik amalning tо‘plam bо‘yicha cheklangani algebra esa algebraning qism algebrasi yoki algebra ostisi deyiladi. Algebra algebraning qism algebrasi bо‘lib, - tо‘plamdagi amallarni - tо‘plam bо‘yicha cheklanganidir. Algebra osti bo’lish munosabati noqatiy tartib munosabatidir.
algebralar berilgan bо‘lsin. - tо‘plamdagi barcha amallarni saqlaydigan akslantirish algebraning algebraga gomomorfizmi deyiladi. Masalan, va algebralar о‘rtasida gomomorfizm mavjud. Bunda ga о‘tkazuvchi funksiya bо‘lsin, u xolda va

1. 
   
   
2. 
   
   
3. 
   
   

akslantirish algebraning algebraga gomomorfizmi bо‘lsin. U xolda agar - akslantirish bо‘lsa, ipimorfizm, agar - bir vaqtda xam inektiv, xam siurektv ya’ni biyeirtiv akslanirish bо‘lsa, u xolda bu akslantirish izomorfizm deyiladi.