Ero sivun ”Kokonaisalue” versioiden välillä
[arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
Rivi 18:
Olkoon <math>R</math> äärellinen kokonaisalue, <math>m</math> kokonaisalueen <math>R</math> alkioiden lukumäärä ja <math>a</math> jokin sen nollasta eroava alkio.
Olkoot <math>b_1,b_2, ..., b_m</math> kokonaisalueen ''R'' erisuuret alkiot. Tällöin myös alkiot <math>b_1a, b_2a, ..., b_ma</math> ovat keskenään erisuuria.
Jos nimittäin olisi <math>b_ia=b_ja</math> erisuurilla indeksien <math>i</math> ja <math>j</math> arvoilla, niin olisi <math>(b_i-b_j)a=0</math>. Tällöin <math>b_i-b_j</math> ja <math>a</math> olisivat kokonaisalueen <math>R</math> nollasta eroavia
|