Korpo (algebro): Malsamoj inter versioj
[nekontrolita versio] | [nekontrolita versio] |
Enhavo forigita Enhavo aldonita
Marcos (diskuto | kontribuoj) Neniu resumo de redakto |
Marcos (diskuto | kontribuoj) Neniu resumo de redakto |
||
Linio 16:
# Por ajnaj nombroj '''a, b, c''' ∈ '''K''', '''a · (b · c)=(a · b) · c''' (asocieco)
# Ekzistas nombro '''1''' ∈ '''K''' tia, ke '''a · 1=a''' por ajna '''a''' ∈ '''K'''. La nombro '''1''' nomiĝas '''unu'''.
# Por ajna nombro '''a''' ∈ '''K''', '''a''' ≠ '''0''', ekzistas nombro '''b''' ∈ '''K''' tia, ke '''a · b=1'''. ('''b''' nomiĝas ''la multiplika inverso'' de '''a''', oni kutime skribas '''a<sup>-1</sup>''' aŭ '''1/a''').
===Aksiomo de distribueco===
# Por ajnaj nombroj '''a, b, c''' ∈ '''K''', '''a · (b+c)=a · b + a · c''' (distribueco)
----
Do korpo estas strukturo '''(K,+,·)''' tiel, ke '''(K,+)''' estas [[komuta grupo]],
'''(K,·)''' estas [[duongrupo]], '''(K\{0},·)''' estas ankaŭ komuta grupo, kaj
|