KokonaisalueMääritelmä. Renkaan (R, +, . ) alkiota a sanotaan nollanjakajaksi (zero divisor), jos a0 R ja on olemassa sellainen b R, b0R, että (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 D ja a0 D. Silloin kaikilla b,c D, 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) = n0. Kirjoitetaan luku n kahden luvun n1 ja n2 tulona n = n1n2, missä 0 < n1 < n ja 0 < n2 < n. Silloin 0D = n . 1 D = (n1 . n 2) . 1 D = (n1 . 1 D)(n2 . 1 D). Koska kokonaisalueessa D ei ole nollanjakajia, on ainakin toinen tulon tekijöistä 0D. Voidaan olettaa, että n1 . 1 D = 0D. Määritelmän mukaan n = char(D) on pienin luku, jolle n . 1 D = 0D. Täten n1 = n. Luvun n ainoa tekijöihinjako on siis n = n . 1, joten n on alkuluku.
Linkit:
|