KokonaisalueMääritelmä. Renkaan (R, +, . ) alkiota a sanotaan nollanjakajaksi (zero divisor), jos a ![]() (Tällöin myös alkio b on nollanjakaja.)
Määritelmä. Rengasta (R, +, . ) sanotaan kokonaisalueeksi (integral domain),
jos
Kokonaisalueessa (D, +, . ) on voimassa supistamislaki: Olkoon a ![]() Nimittäin vasemmanpuoleinen yhtälö on ekvivalentti sen kanssa, että a(b-c) = 0D. Koska a ei ole nollanjakaja on oltava b - c = 0D. Määritelmä. Kokonaisalueen (D, +, . ) karakteristika (characteristic) ![]()
Toisin sanoen char(D) on kokonaisalueen (D, +, . ) ykkösalkion 1 D kertaluku ryhmässä (D, +), paitsi jos kertaluku on ääretön, jolloin char(D) = 0. Kokonaisalueen (D, +, . ) kaikilla nollasta eroavilla alkioilla a on sama kertaluku ryhmässä (D, +). Nimittäin yhtälö n . a = 0 D voidaan kirjoittaa muodossa (n . 1 D) . a = 0 D (katso sivu Renkaan aritmetiikkaa). Koska kokonaisalueessa D ei ole nollanjakajia, niin saatu yhtälö on yhtäpitävä yhtälön n . 1 D = 0D kanssa. Lause. Kokonaisalueen (D, +, . ) karakteristika char(D) on joko 0 tai alkuluku.
Todistus. Oletetaan, että char(D) = n
Linkit:
|