„Asszociativitás” változatai közötti eltérés
[ellenőrzött változat] | [ellenőrzött változat] |
Tartalom törölve Tartalom hozzáadva
a r2.6.4) (Bot: következő hozzáadása: et:Assotsiatiivsus |
a clean up, replaced: *[ → * [ (2), removed: <big> (4), </big> (4) AWB |
||
18. sor:
** Az A halmazon értelmezett * kétváltozós művelet asszociatív;
** Tetszőleges n db. (nem felt. különböző) a<sub>1</sub>, a<sub>2</sub>, …, a<sub>n</sub>∈A elemekre az a<sub>1</sub>*a<sub>2</sub>*…*a<sub>n</sub> :=c∈A műveletsorozat bármilyen [[szabályos zárójelezés]]sel ugyanazt a rögzített c elemet adja; ttt n∈'''[[Természetes számok|N]]'''<sup>+</sup> értelemszerűen nemnegatív [[természetes számok]].<ref>E tétel az n≥3 kikötés nélkül is értelmes, és – a lehetséges nem-triviális szabályos zárójelezések kisszámú (1) volta miatt n≤2 esetében – automatikusan igaz.</ref>
** Legyenek A<sub>1</sub>, A<sub>2</sub>, …, A<sub>k</sub> tetszőleges A-beli [[véges sorozat]]ok, ekkor Π(A<sub>1</sub>
[[neutrális elem|Egységelemes]] félcsoportban megengedhetjük azt is, hogy a fent említett sorozatok üresek legyenek, azaz nulla db. taguk legyen.
33. sor:
==Lásd még==
* [[Kommutativitás]]
* [[Disztributivitás]]
== Jegyzetek ==
|