Subring Pembagian

Definisi 2.22
Misalkan D suatu ring pembagian, S D dan S ≠ ø. Jika
S merupakan ring pembagian terhadap operasi yang
sama di D, maka S dinamakan subring pembagian
 Subfield
Definisi 2.23
Misalkan F suatu field, S F dan S ≠ ø. S
dinamakan subfield dari F jika S merupakan
field terhadap operasi yang sama di F.
 Subring Pembagian
Teorema 2.24
Jika D suatu ring pembagian, S D dan S ≠ ø,
maka S merupakan subring pembagian dari D jika
dan hanya jika:
(i) |S|≥ 2
(ii) Untuk setiap a, b Є S → a – b Є S
(iii)Untuk setiap a, b Є S → ab-1 Є S
Teorema 2.25
Jika S suatu subring dari R, dan S memiliki unsur kesatuan 1S ≠ 1R
(dalam hal R memiliki unsur kesatuan 1R ) atau R tidak memiliki
unsur kesatuan, maka 1S merupakan pembagi nol sejati.
Bukti:
Contoh.