Feladat: B.3721 Korcsoport: 16-17 Nehézségi fok: nehéz
Füzet: 2004/március, 167. oldal  PDF file
Témakör(ök): Halmazalgebra, Feladat
Hivatkozás(ok):Feladatok megoldásai: 2005/február: B.3721

A szöveg csak Firefox böngészőben jelenik meg helyesen. Használja a fenti PDF file-ra mutató link-et a letöltésre.

Tekintsünk egy S halmazt és a halmazon egy kétváltozós * műveletet (tehát bármely két S-beli a, b esetén a*b is S-beli). Tegyük föl, hogy (a*b)*a=b teljesül minden S-beli a, b-re. Bizonyítsuk be, hogy ekkor a*(b*a)=b is teljesül minden S-beli a, b-re.