Korpo (algebro): Malsamoj inter versioj

===Aksiomoj de adicio===

# Por ajnaj nombroj '''a, b''' ∈ '''K''', estas difinita unusola nombro '''a+b''' ∈ '''K''', nomata '''sumo''' de la nombroj '''a''' kaj '''b'''.

# Ekzistas nombro '''0''' ∈ '''K''' tia, ke '''a+0=a''' por ajna '''a''' ∈ '''K'''. La nombro '''0''' nomiĝas '''nulo'''.

# Por ajna nombro '''a''' ∈ '''K''', ekzistas nombro '''b''' ∈ '''K''' tia, ke '''a+b=0'''. ('''b''' nomiĝas la ''adicia inverso'' de '''a''', oni kutime skribas '''-a''').

===Aksiomoj de multiplikado===

# Por ajnaj nombroj '''a, b''' ∈ '''K''', estas difinita unusola nombro '''a · b''' ∈ '''K''', nomata '''produto''' de la nombroj '''a''' kaj '''b'''.

# 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^-1''' aŭ '''1/a'''.

 

===Aksiomo de distribueco===

 

Do korpo estas strukturo '''(K,+,·)''' tiel, ke '''(K,+)''' estas [[komuta grupo]],

* la [[racionalaj nombroj]]

 

[[da:Legeme (matematik)]]

[[de:Körper (Algebra)]]

[[es:Cuerpo (matemáticas)]]

[[et:Korpus (matemaatika)]]