Ero sivun ”Äärellinen kunta” versioiden välillä
| [arvioimaton versio] | [arvioimaton versio] |
Poistettu sisältö Lisätty sisältö
Ei muokkausyhteenvetoa |
Ei muokkausyhteenvetoa |
||
Rivi 37:
helppo osoittaa, että <math>(\mathbb{Z}_p,+,\cdot )</math> muodostaa kunnan.
Kertalukua <math>q=p^k</math>, missä <math>k</math> on suurempi kuin <math>1</math>,
muodostaminen on jo hiukan vaikeampaa. Tällaisten kuntien muodostamiseen käytetään yleisesti polynomialgebraa. Matemaattisesti voidaan osoittaa, että kaikki yhtä monta alkiota sisältävät äärelliset kunnat ovat keskenään rakenneyhtäläisiä eli isomorfisia. Polynomialgebran avulla voidaan siis muodostaa kaikki mahdolliset äärelliset kunnat.
| |||