Asocieco

Asocieco estas eco de duargumenta matematika operacio. Duvalenta operacio estas asocia, se la ordo de kalkulado ne gravas se la operacio aperas pli ol unufoje en esprimo. Oni do ne bezonas krampojn, kiam oni kalkulas per unu asocia operacio. Ekzemple, (7+5)+1 = 7+(5+1), kaj oni do simple povas skribi 7+5+1.

Venn-a diagramo pri la relativaj komplementoj (A\B)\C kaj A\(B\C) , por kiuj asocieco ne validas

Formala difino

Se ${\displaystyle \star }$ estas duargumenta operacio sur la aro ${\displaystyle A}$, ĝi estas asocia se

${\displaystyle (x\star y)\star z=x\star (y\star z)\ \ \ \ \forall x,y,z\in A}$

Aro kun asocia operacio ${\displaystyle (A,\star )}$ nomiĝas duongrupo.

Vidu ankaŭ

• Duongrupo (algebro)
• Komuteco
• Distribueco

Ĉi tiu artikolo ankoraŭ estas ĝermo pri matematiko. Helpu al Vikipedio plilongigi ĝin. Se jam ekzistas alilingva samtema artikolo pli disvolvita, traduku kaj aldonu el ĝi (menciante la fonton).