Univerzális algebra ea. (MSc 2009-2016)

Tanszék: Algebra és Számelmélet Tanszék

Tematika:
Algebra, kifejezésfüggvény, polinomfüggvény. Részalgebra. Izomorfizmus, homomorfizmus. Kongruenciareláció, faktoralgebra. Homomorfiatétel, általános izomorfiatételek. Direkt szorzat, további szorzatfajták. Szubdirekt fölbontás, Birkhoff tétele. Lezárási operátorok, lezárási rendszerek. Kísérő struktúrák (endomorfizmus-monoidok, automorfizmus-csoportok, részalgebra-hálók, kongruenciaháló). Szóalgebra, szabad algebra. A H, S, P lezárási operátorok algebraosztályokon. Varietások, Birkhoff varietástétele, s kapcsolat a szóalgebrák teljesen invariáns kongruenciáival. Birkhoff-féle teljességi tétel. Magari tétele. Varietások ekvivalenciája. Azonosságokkal jellemezhető tulajdonságok varietásokon. Malcev és Pixley tétele. A modulusvarietások jellemzése. Elsőrendű nyelvek és struktúrák. Ultraszorzat, kompaktsági tétel. Speciális varietások (pl. monounáris varietások, minimális varietások, diszkriminátorvarietások).

Előfeltétel: