|
|
|
|
|
|
|
|
Év szerint | Hónap szerint | Ugrás a hónaphoz | |
|
Waldhauser Tamás: Speciális unér algebrák kongruenciahálói |
|
|
|
Szerda, 17. Szeptember 2025, 10:10 - 11:10
|
|
Grätzer és Schmidt 1963-as eredménye szerint minden véges háló izomorf egy algebra kongruenciahálójával. Azt azonban azóta sem tudjuk, hogy minden véges háló izomorf-e egy *véges* algebra kongruenciahálójával. Ez az absztrakt reprezentációs probléma az univerzális algebra egyik legismertebb nyitott problémája. A megfelelő konkrét reprezentációs probléma így szól: adott véges A halmaz esetén jellemezzük az A-n értelmezett ekvivalenciarelációk Eq(A) hálójának azon részhálóit, amelyek kongruenciahálói valamely (A;F) algebrának. Közismert (és könnyen belátható), hogy itt az általánosság megszorítása nélkül feltehető, hogy F csak egyváltozós műveleteket tartalmaz. Azt a speciális esetet fogjuk tekinteni, amikor minden F-beli művelet értékkészlete kételemű, és ebben az esetben karakterizáljuk a megfelelő kongruenciahálókat. |
Vissza
JEvents v3.1.8 Stable
Copyright © 2006-2013