TEOREMA. Agar A tщplamda ~ ekvivalentlik munosabati aniqlangan bo'lsa, uni o'zaro kesishmaydigan ekvivalentlik sinflarga ajratish mumkin.
Bu ekvivalentlik sinflarining to’plamini A to'plamni ~ ekvivalentlik munosabatiga ko'ra faktor-tщplami deyiladi va uni A/~ ko'rinishda belgilaymiz, yaoni A/ = . .
MISOL. yoki a-b=5n, nZ. Bu holda Z da ekvivalentlik munosabati bo'ladi.
Bu τ ekvivalentlik munosabati Z to'plamni o'zaro kesishmaydigan qism to'plamlarga ajratadi.
Adabiyot.
1.R.N. Nazarov, B.G. Toshpщlatov, A.D. Dщsimbetov "Algebra va sonlar nazariyasi" T. 1993 I ы.
2.L.Ya. Kulikov "Algebra i teoriya chisel" M. 1979-559b.
3.T.A. Azlarov ta’lili ostida "Matematikadan ыщllanma" Iы T. 1979y. 448 b.
4. Ы.Sarimsoыov, ‘. Ma’mudov "Algebra va sonlar nazariyasidan amaliy mashulotlar" Iы. Farona 1990-59b.
Do'stlaringiz bilan baham: |