Název: Parkova domněnka
Překlad názvu: Park's conjecture
Autoři: Lauschmannová, Anna ; Stanovský, David (vedoucí práce) ; Ježek, Jaroslav (oponent)
Typ dokumentu: Diplomové práce
Rok: 2009
Jazyk: eng
Abstrakt: A finite algebra of finite type (i.e. in a finite language) is finitely based iff the variety it generates can be axiomatized by finitely many equations. Park's conjecture states that if a finite algebra of finite type generates a variety in which all subdirectly irreducible members are finite and of bounded size, then the algebra is finitely based. In this thesis, I reproduce some of the finite basis results of this millennium, and give a taster of older ones. The main results fall into two categories: applications of Jonsson's theorem from 1979 (Baker's theorem in the congruence distributive setting, and its extension by Willard to congruence meet-semidistributive varieties), whilst other proofs are syntactical in nature (Lyndon's theorem on two element algebras, Je·zek's on poor signatures, Perkins's on commutative semigroups and the theorem on regularisation). The text is self-contained, assuming only basic knowledge of logic and universal algebra, and stating the results we build upon without proof.

Instituce: Fakulty UK (VŠKP) (web)
Informace o dostupnosti dokumentu: Dostupné v digitálním repozitáři UK.
Původní záznam: http://hdl.handle.net/20.500.11956/22012

Trvalý odkaz NUŠL: http://www.nusl.cz/ntk/nusl-489509


Záznam je zařazen do těchto sbírek:
Školství > Veřejné vysoké školy > Univerzita Karlova > Fakulty UK (VŠKP)
Vysokoškolské kvalifikační práce > Diplomové práce