Ero sivun ”Kunta (matematiikka)” versioiden välillä
| [katsottu versio] | [katsottu versio] |
Poistettu sisältö Lisätty sisältö
p →Formaali määritelmä: Linkkifix: rengas -> rengas (matematiikka) using AWB |
|||
Rivi 5:
Joukko <math>K(+,\cdot)</math> on '''kunta''', jos se täyttää seuraavat ehdot:
# Kaikilla <math>x, y, z</math> on <math>x+(y+z)=(x+y)+z</math> (summan liitäntälaki)
# <math>K</math>:ssa on nolla-alkio <math>0</math> niin, että kaikilla <math>x</math> on <math>x+0=x</math> (summan neutraalialkio)
# Kaikilla <math>x</math> on <math>K</math>:ssa ''vasta-alkio'' <math>-x</math> siten, että <math>x+(-x)=0</math>
# Kaikilla <math>x, y</math> on <math>x + y = y + x</math> (summan vaihdantalaki)
# Kaikilla <math>x, y, z</math> on <math>x \cdot (y + z) = x \cdot y + x \cdot z</math> (osittelulaki 1)
# Kaikilla <math>x, y, z</math> on <math>x \cdot (y \cdot z) = (x \cdot y) \cdot z</math> (tulon liitäntälaki)
# <math>K</math>:ssa on ykkösalkio <math>1</math> siten, että kaikilla <math>x</math> on <math>1 \cdot x = x</math> (tulon neutraalialkio)
| |||