Erinevus lehekülje "Korpus (matemaatika)" redaktsioonide vahel

 
: '''[[Ühikelemendiga assotsiatiivne kommutatiivne ring|Ühikelemendiga assotsiatiivsed kommutatiivsed ringid]]''' ⊃ [[Integriteetkond|'''Integriteetkonnad''']] ⊃ '''[[Faktoriaalring]]id''' ⊃ '''[[Peaideaaliring|Peaideaaliring]]id''' ⊃ '''[[Eukleidiline ring|Eukleidilised ringid]]''' ⊃ '''Korpused.'''
 
== Seotud definitsioonid ==
Korpuse [[alamkorpus]] on korpuse [[alamhulk]], mis on põhikorpuse tehete [[ahend]]ite suhtes korpus. Põhikorpus on oma alamkorpuse [[korpuse laiend|laiend]].
 
[[Korpuste homomorfism]] on niisugune [[kujutus]] <math>f</math> ühest korpusest teise, et <math>f(a+b)=f(a)+f(b)</math>, <math>f(ab)=f(a)\cdot f(b)</math> ja <math>f(1)=1</math>. Ükski [[pööratav element]] ei saa kujutuda nullelemendiks, sest <math>f(a)\cdot f(a^{-1})=f(a\cdot a^{-1})=1</math>, järelikult iga homomorfismi [[tuum (algebra)|tuum]] koosneb nullelemendist, seega korpuste homomorfism on [[sisestus]].
 
[[Korpuse karakteristik]] on sama mis [[ringi karakteristik]], nimelt vähim niisugune [[positiivne täisarv]] <math>n</math>, et ühikelemendi <math>n</math>-kordne summa iseendaga on nullelement:
: <math>\underbrace{1 + \dots + 1}_n = n 1 = 0.</math> Kui niisugust arvu ei ole, siis korpuse karakteristikuks loetakse 0.
 
[[Galois' korpus]]ed on korpused, millel on lõplik arv elemente. Need on nime saanud [[Évariste Galois]]' järgi, kes neid esimesena uuris.
 
==Ajalugu==