“Олий математика” фанининг катта модуллари, улардан кўзланган мақсадлари ва таркибидаги ўрта модуллар сони

Kóplikler ústinde ámellerdiń qásiyetleri
1-qásiyet. Qálegen eki hám kópliklerdiń kesispesi hám birikpesi komutativ boladı, yaǵnıy

(1)

(2)

2-qásiyet. Birikpe hám kesispe ámelleri associativ boladı, yaǵnıy

(3)

(4)

3-qásiyet. Úsh hám kóplikler ústinde orınlanatuǵın kesispe hám birikpe ámelleri distributiv nızamǵa boysınadı, yaǵnıy

(5)

(6)

4-qásiyet. Idempotentlik nızamları orınlı boladı, yaǵnıy

(7)

(8)

5-qásiyet. Jutılıw nızamları orınlı boladı, yaǵnıy

(9)

(10)

6-qásiyet. De-Morgan nızamları orınlı boladı, yaǵnıy



7-qásiyet. (13)

8- qásiyet. (14)

9- qásiyet. Involyaciya nızamı orınlı boladı, yaǵnıy

(15)