- Artikulu hau matematika-terminoari buruzkoa da; beste esanahietarako, ikus «Eraztun».
Aljebra abstraktuan
eraztuna da
multzorako
(gehiketa) eragiketak elkartze eta trukatze propietatea eta elementu alderantzizko eta neutroaren existentzia betetzen dituen, eta
(biderketa edo produktua) elkartze propietatea eta banatze propietateak betetzen dituen egitura aljebraikoa.
Definizioa:
Eraztuna da baldin:
eragiketa
-ko elementuentzako elkartze propietatea betetzen du, hau da: ![{\displaystyle \forall a,b,c\in A:(a+b)+c=a+(b+c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b45f92eea76da0b1a2252d746c7159a52a30b523)
Propietate trukakorra betetzen du, hau da: ![{\displaystyle \forall a,b\in A:a+b=b+a}](https://wikimedia.org/api/rest_v1/media/math/render/svg/5d8c1ca453ff556d73efbf7fb19de7a396eb5bce)
- Existitzen da
non
. ![{\displaystyle 0_{A}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7f46a6800def90dad603f493f25d2f103e071808)
eragiketarekiko elementu neutroa moduan denotatuko dugu.
-ko edozein elementurako existitzen da elementu alderantzizkoa (simetrikoa), hau da: ![{\displaystyle \forall a\in A,\exists a'\in A:a+a'=0_{A}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8790e427757ee080b45766b4f63bc2af8af787f5)
eragiketa
-ko elementuentzako elkartze propietatea betetzen du, hau da: ![{\displaystyle \forall a,b,c\in A:(a\cdot b)\cdot c=a\cdot (b\cdot c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f86bcd7573c464cbd0addb9fc3910f3c09c7d047)
eragiketa banatze propietatea betetzen du, hau da: ![{\displaystyle \forall a,b,c\in A:a\cdot (b+c)=a\cdot b+a\cdot c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b8fe3b8ea45a894add3c9445da03186f5ccb4d5)
Eraztunak definitzeko era sinpleagoa existitzen da:
Eraztuna da baldin:
talde abeldarra da.
eragiketa
-ko elementuentzako elkartze propietatea betetzen du, hau da: ![{\displaystyle \forall a,b,c\in A:(a\cdot b)\cdot c=a\cdot (b\cdot c)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f86bcd7573c464cbd0addb9fc3910f3c09c7d047)
eragiketa banatze propietatea betetzen du, hau da: ![{\displaystyle \forall a,b,c\in A:a\cdot (b+c)=a\cdot b+a\cdot c}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3b8fe3b8ea45a894add3c9445da03186f5ccb4d5)
Adibideak:
Eraztuna da, gehiketa eta biderketarekin:
![{\displaystyle (i)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/2114fa9ad4fe17a7e5e3a23ff1f2852d3fbfd115)
Talde abeldarra da.
Biderketa propietate elkarkorra betetzen du.
Biderketa propietate banakorra betetzen du.
Beraz
eraztuna da.
ez da eraztuna
ez delako talde abeldarra.
Eraztunak:
Eraztun tribialak:
Eraztun mota berezi bat existitzen da, eraztun tribiala deiturikoa, non multzoaren elementu bakarra elementu neutroa den (elementu bakarreko multzoa):
Eraztun bat da,
elementu bakarra duen multzoarekin.
gehiketak elkartze propietatea betetzen du.
gehiketak trukatze propietatea betetzen du. - Elementu neutroa existitzen da,
non ![{\displaystyle \forall a\in \{0\},a=0:0+0=0}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f479ca58707a7e088486d70b5c12c8d94405ee22)
elementuaren alderantzizkoa
bera da.
biderketak elkartze propietatea betetzen du.
biderketak banatze propietatea betetzen du.
Beraz
eraztuna da, gainera tribiala elementu bakarreko multzoa eratzen duelako.
Kanpo estekak