Ero sivun ”Kokonaisalue” versioiden välillä
[arvioimaton versio] | [arvioimaton versio] |
Ei muokkausyhteenvetoa |
p Otsikon pienennys, tynkä |
||
Rivi 1: | Rivi 1: | ||
[[Rengas]]ta <math>R</math> kutsutaan '''kokonaisalueeksi''', jos <math>R</math> on kommutatiivinen eikä <math>R</math>:ssä ole [[nollanjakaja|nollanjakajia]].Monet kiinnostavat renkaat ovat kokonaisalueita, muun muassa kokonais- ja reaaliluvut sekä [[jäännösluokkarengas|jäännösluokkarenkaat]] <math>\mathbb Z_m</math>, missä ''m'' on [[alkuluku]]. Kokonaisalueet käyttäytyvät monessa suhteessa samankaltaisesti kuin kokonaisluvut, joita voidaan pitää kokonaisalueiden arkkityyppinä. Muun muassa kokonaisalueen ''n''-asteisella [[polynomi]]lla on korkeintaan ''n'' juurta ja kokonaisalueissa on voimassa supistamislaki <math>ab = ac \Rightarrow b = c</math>. |
[[Rengas]]ta <math>R</math> kutsutaan '''kokonaisalueeksi''', jos <math>R</math> on kommutatiivinen eikä <math>R</math>:ssä ole [[nollanjakaja|nollanjakajia]]. Monet kiinnostavat renkaat ovat kokonaisalueita, muun muassa kokonais- ja reaaliluvut sekä [[jäännösluokkarengas|jäännösluokkarenkaat]] <math>\mathbb Z_m</math>, missä ''m'' on [[alkuluku]]. Kokonaisalueet käyttäytyvät monessa suhteessa samankaltaisesti kuin kokonaisluvut, joita voidaan pitää kokonaisalueiden arkkityyppinä. Muun muassa kokonaisalueen ''n''-asteisella [[polynomi]]lla on korkeintaan ''n'' juurta ja kokonaisalueissa on voimassa supistamislaki <math>ab = ac \Rightarrow b = c</math>. |
||
=Karakteristika= |
==Karakteristika== |
||
Alkion <math>a</math> monikerta <math>na=a+a+ \cdots +a</math>, missä yhteenalskettavia on ''n'' kappaletta. Jos kokonaisalueen ''D'' alkion ''a'' monikerta <math>na = 0</math> jollakin kokonaisluvulla ''n'', kun ''n'' ja ''a'' ovat nollasta poikkeavia, niin jokaisella ''D'':n alkiolla ''b'' <math>nb = 0</math>, mikä nähdään seuraavasti: <math>na = a + \cdots + a = a \cdot 1 + \cdots + a \cdot 1 = a \cdot (1 + \cdots + 1) = a \cdot (n1)</math>, joten jos <math>a \neq 0</math>, niin koska kokonaisalueessa ei ole nollanjakajia, täytyy olla <math>n1 = 0</math>. Kertomalla tämä ''b'':llä ja kirjoittamalla lauseke vastaavalla tavalla auki päädytään yhtälöön <math>nb = 0</math>. |
Alkion <math>a</math> monikerta <math>na=a+a+ \cdots +a</math>, missä yhteenalskettavia on ''n'' kappaletta. Jos kokonaisalueen ''D'' alkion ''a'' monikerta <math>na = 0</math> jollakin kokonaisluvulla ''n'', kun ''n'' ja ''a'' ovat nollasta poikkeavia, niin jokaisella ''D'':n alkiolla ''b'' <math>nb = 0</math>, mikä nähdään seuraavasti: <math>na = a + \cdots + a = a \cdot 1 + \cdots + a \cdot 1 = a \cdot (1 + \cdots + 1) = a \cdot (n1)</math>, joten jos <math>a \neq 0</math>, niin koska kokonaisalueessa ei ole nollanjakajia, täytyy olla <math>n1 = 0</math>. Kertomalla tämä ''b'':llä ja kirjoittamalla lauseke vastaavalla tavalla auki päädytään yhtälöön <math>nb = 0</math>. |
||
Rivi 8: | Rivi 8: | ||
Luokittelu eri karakteristikan mukaan on tärkeä tapa jaotella kokonaisalueita. Erityisen suuri ero on niiden kokonaisalueiden välillä, joiden char(''D'') = 0 (äärettömien) ja char(''D'') > 0 (äärettömien tai äärellisten). Ero tulee esimerkiksi näkyviin [[kuntalaajennus]]ten yhteydessä. |
Luokittelu eri karakteristikan mukaan on tärkeä tapa jaotella kokonaisalueita. Erityisen suuri ero on niiden kokonaisalueiden välillä, joiden char(''D'') = 0 (äärettömien) ja char(''D'') > 0 (äärettömien tai äärellisten). Ero tulee esimerkiksi näkyviin [[kuntalaajennus]]ten yhteydessä. |
||
{{tynkä/Matematiikka}} |
Versio 16. toukokuuta 2006 kello 00.59
Rengasta kutsutaan kokonaisalueeksi, jos on kommutatiivinen eikä :ssä ole nollanjakajia. Monet kiinnostavat renkaat ovat kokonaisalueita, muun muassa kokonais- ja reaaliluvut sekä jäännösluokkarenkaat , missä m on alkuluku. Kokonaisalueet käyttäytyvät monessa suhteessa samankaltaisesti kuin kokonaisluvut, joita voidaan pitää kokonaisalueiden arkkityyppinä. Muun muassa kokonaisalueen n-asteisella polynomilla on korkeintaan n juurta ja kokonaisalueissa on voimassa supistamislaki .
Karakteristika
Alkion monikerta , missä yhteenalskettavia on n kappaletta. Jos kokonaisalueen D alkion a monikerta jollakin kokonaisluvulla n, kun n ja a ovat nollasta poikkeavia, niin jokaisella D:n alkiolla b , mikä nähdään seuraavasti: , joten jos , niin koska kokonaisalueessa ei ole nollanjakajia, täytyy olla . Kertomalla tämä b:llä ja kirjoittamalla lauseke vastaavalla tavalla auki päädytään yhtälöön .
Pienintä edellä mainitun kaltaista lukua n sanotaan kokonaisalueen karakteristikaksi ja merkitään char(D) = n. Jos tällaista lukua ei ole, merkitään char(D) = 0. Karakteristika on aina joko nolla tai alkuluku, mikä nähdään seuraavasti: Oletetaan, että char(D) = n, . . Tällöin ja siis nollanjakajien puuttuessa tai . Tarvittaessa muuttujat uudelleen nimeämällä saadaan . Luku n on kuitenkin karakteristikan määritelmän mukaan pienin tällaisen ehdon toteuttava luku, eli . Siispä luvulla n ei voi olla epätriviaaleja tekijöitä.
Luokittelu eri karakteristikan mukaan on tärkeä tapa jaotella kokonaisalueita. Erityisen suuri ero on niiden kokonaisalueiden välillä, joiden char(D) = 0 (äärettömien) ja char(D) > 0 (äärettömien tai äärellisten). Ero tulee esimerkiksi näkyviin kuntalaajennusten yhteydessä.