kongruencia hálók és a szegedi acta
DESCRIPTION
Kongruencia hálók és a szegedi ACTA. 2008 . december 17. Szőkefalvi-Nagy Gyula feleségével. Szőkefalvi-Nagy Béla átveszi a König Gyula érmét, 1942. AZ ELS Ő DOLGOZAT:. A kongruenciahálók jellemzése, 1963. Ekvivalenciaháló, Eq (H) - PowerPoint PPT PresentationTRANSCRIPT
![Page 1: Kongruencia hálók és a szegedi ACTA](https://reader036.vdocuments.site/reader036/viewer/2022062718/56812bb7550346895d8ffa1b/html5/thumbnails/1.jpg)
Kongruenciahálók és a
szegedi ACTA
2008. december 17.
![Page 2: Kongruencia hálók és a szegedi ACTA](https://reader036.vdocuments.site/reader036/viewer/2022062718/56812bb7550346895d8ffa1b/html5/thumbnails/2.jpg)
Szőkefalvi-Nagy Gyula feleségével
![Page 3: Kongruencia hálók és a szegedi ACTA](https://reader036.vdocuments.site/reader036/viewer/2022062718/56812bb7550346895d8ffa1b/html5/thumbnails/3.jpg)
Szőkefalvi-Nagy Béla átveszi a König Gyula érmét, 1942.
![Page 4: Kongruencia hálók és a szegedi ACTA](https://reader036.vdocuments.site/reader036/viewer/2022062718/56812bb7550346895d8ffa1b/html5/thumbnails/4.jpg)
AZ ELSŐ DOLGOZAT:
• A kongruenciahálók jellemzése, 1963.
![Page 5: Kongruencia hálók és a szegedi ACTA](https://reader036.vdocuments.site/reader036/viewer/2022062718/56812bb7550346895d8ffa1b/html5/thumbnails/5.jpg)
ELŐZMÉNYEK
• Ekvivalenciaháló, Eq(H)
• Whitman (1946): Minden L háló részhálója egy Eq(H) ekvivalencia-hálónak
• Pudlák-Tuma (1976): Ha L véges, úgy H választható végesnek
• Szimmetrikus csoport, SH
• Cayley tétel: Minden csoport részcsoportja egy szimmetrikus csoportnak
• Ha G véges akkor H választható végesnek
![Page 6: Kongruencia hálók és a szegedi ACTA](https://reader036.vdocuments.site/reader036/viewer/2022062718/56812bb7550346895d8ffa1b/html5/thumbnails/6.jpg)
ALGEBRAI HÁLÓK
L algebrai háló, ha • teljes,• minden eleme kompakt elemek szupremuma
Ekvivalens feltétel: • S = Comp L, az L háló kompakt kongruenciáinak a félhálója. L az S félhálóideálhálója: I(S)
Garrett Birkhoff (1911-1996)
![Page 7: Kongruencia hálók és a szegedi ACTA](https://reader036.vdocuments.site/reader036/viewer/2022062718/56812bb7550346895d8ffa1b/html5/thumbnails/7.jpg)
1963. az Acta-ban:
Characterizations of congruence lattices of abstract algebras, Acta Sci. Math. (Szeged), 24, 34-59
Tétel (Grätzer-Schmidt). Minden algebrai háló izomorf egy algebra kongruenciahálójával.
![Page 8: Kongruencia hálók és a szegedi ACTA](https://reader036.vdocuments.site/reader036/viewer/2022062718/56812bb7550346895d8ffa1b/html5/thumbnails/8.jpg)
Egy híres probléma
• Igaz-e, hogy minden véges háló egy véges algebra kongruenciahálója ?
Mindmáig megoldatlan
Pálfy-Pudlák (1980) kimutatták hogy ez a kérdés ekvivalens egy csoportelméleti problémával.
![Page 9: Kongruencia hálók és a szegedi ACTA](https://reader036.vdocuments.site/reader036/viewer/2022062718/56812bb7550346895d8ffa1b/html5/thumbnails/9.jpg)
A MÁSODIK DOLGOZAT
• Hálók kongruenciahálói, 1981.
![Page 10: Kongruencia hálók és a szegedi ACTA](https://reader036.vdocuments.site/reader036/viewer/2022062718/56812bb7550346895d8ffa1b/html5/thumbnails/10.jpg)
Disztributiv hálók kongruenciahálói
Hálók kongruenciahálói disztributív hálók
• Comp L, az L háló kompakt kongruenciáinak a félhálója.
Probléma: Mely disztributív S félháló áll elő Comp L formában ?
Ha előáll, úgy azt mondjuk, hogy S reprezentálható..
![Page 11: Kongruencia hálók és a szegedi ACTA](https://reader036.vdocuments.site/reader036/viewer/2022062718/56812bb7550346895d8ffa1b/html5/thumbnails/11.jpg)
1981. az Acta-ban:
The ideal lattice of a distributive lattice with 0 is the congruence lattice of a lattice, Acta Sci. Math. (Szeged) 43 (1981), 153-168
• Tétel. Minden disztributív háló izomorf egy háló kompakt kongruenciáinak félhálójához.
![Page 12: Kongruencia hálók és a szegedi ACTA](https://reader036.vdocuments.site/reader036/viewer/2022062718/56812bb7550346895d8ffa1b/html5/thumbnails/12.jpg)
A TÖRTÉNET FOLYTATÁSA
REPREZENTÁLHATÓ DISZTRIBUTÍV FÉLHÁLÓK
Az S disztributív félháló reprezentálható, ha
• S egy háló
Schmidt, 1981.; késöbb más bizonyítást adott Pavel Pudlák, 1985.
![Page 13: Kongruencia hálók és a szegedi ACTA](https://reader036.vdocuments.site/reader036/viewer/2022062718/56812bb7550346895d8ffa1b/html5/thumbnails/13.jpg)
• S lokálisan megszámlálható
azaz minden s eleme
S-re, (s] megszámlálható, Huhn András, 1983,
függetlenül H. Dobbertin,
• |S| ≤ Җ1
Huhn András, 1989. az Acta-ban
Huhn András (1947-1985)
![Page 14: Kongruencia hálók és a szegedi ACTA](https://reader036.vdocuments.site/reader036/viewer/2022062718/56812bb7550346895d8ffa1b/html5/thumbnails/14.jpg)
ÉS VÉGÜL A MEGOLDÁS
A problémát 60 év után oldották meg !
Fridrich Wehrung, 2005.
• Tétel. Létezik olyan disztributív algebrai háló, amelyik nem izomorf valamely háló kongruenciahálójához.
Ennek א ω+1 kompakt eleme van.
![Page 15: Kongruencia hálók és a szegedi ACTA](https://reader036.vdocuments.site/reader036/viewer/2022062718/56812bb7550346895d8ffa1b/html5/thumbnails/15.jpg)
Pavel Růzička, 2006.
• Tétel. Létezik egy 2א számosságú disztributív félháló, amelyik nem izomorf valamely háló kompakt kongruenciáinak félhálójához.
![Page 16: Kongruencia hálók és a szegedi ACTA](https://reader036.vdocuments.site/reader036/viewer/2022062718/56812bb7550346895d8ffa1b/html5/thumbnails/16.jpg)
![Page 17: Kongruencia hálók és a szegedi ACTA](https://reader036.vdocuments.site/reader036/viewer/2022062718/56812bb7550346895d8ffa1b/html5/thumbnails/17.jpg)