LOKALNI VARIJETETI SA POLU-DISTRIBUTIVNOM MREŽOM KONGRUENCIJA

eLibrary

 
 

LOKALNI VARIJETETI SA POLU-DISTRIBUTIVNOM MREŽOM KONGRUENCIJA

Show simple item record

dc.contributor.advisor Tanović, Predrag
dc.contributor.author Jovanović, Jelena
dc.date.accessioned 2017-04-10T16:54:32Z
dc.date.available 2017-04-10T16:54:32Z
dc.date.issued 2016
dc.identifier.uri http://hdl.handle.net/123456789/4450
dc.description.abstract The subject of this dissertation is a syntactic characterization of congruence ^{ semidistributivity in locally nite varieties by Mal'cev conditions (we consider va- rieties of idempotent algebras). We prove that no such characterization is possible by a system of identities including one ternary and any number of binary opera- tion symbols. The rst characterization is obtained by a strong Mal'cev condition involving two ternary term symbols: A locally nite variety V satis es congruence meet{semidistributivity if and only if there exist ternary terms p and q (inducing idempotent term operations) such that V satis es p(x; x; y) p(x; y; y) p(x; y; x) q(x; y; x) q(x; x; y) q(y; x; x). This condition is optimal in the sense that the number of terms, their arities and the number of identities are the least possible. The second characterization that we nd uses a single 4-ary term symbol and is given by the following strong Mal'cev condition t(y; x; x; x) t(x; y; x; x) t(x; x; y; x) t(x; x; x; y) t(y; y; x; x) t(y; x; y; x) t(x; y; y; x) : The third characterization is given by a complete Mal'cev condition: There exist a binary term t(x; y) and wnu-terms !n(x1; : : : ; xn) of variety V such that for all n > 3 the following holds: V j= !n(x; x; : : : ; x; y) t(x; y). en_US
dc.description.provenance Submitted by Slavisha Milisavljevic (slavisha) on 2017-04-10T16:54:32Z No. of bitstreams: 1 disertacijaJelenaJovanovic.pdf: 1956478 bytes, checksum: 1be4e5d76b3d248a8275e371b7e0440c (MD5) en
dc.description.provenance Made available in DSpace on 2017-04-10T16:54:32Z (GMT). No. of bitstreams: 1 disertacijaJelenaJovanovic.pdf: 1956478 bytes, checksum: 1be4e5d76b3d248a8275e371b7e0440c (MD5) Previous issue date: 2016 en
dc.language.iso sr en_US
dc.publisher Beograd en_US
dc.title LOKALNI VARIJETETI SA POLU-DISTRIBUTIVNOM MREŽOM KONGRUENCIJA en_US
mf.author.birth-date 1975-03-14
mf.author.birth-place Niš en_US
mf.author.birth-country Srbija en_US
mf.author.residence-state Srbija en_US
mf.author.citizenship Srpsko en_US
mf.author.nationality Srpkinja en_US
mf.subject.area Mathematics en_US
mf.subject.keywords locally nite variety; congruence lattice; meet{semidistributivity; wnu{ term; Mal'cev condition; CSP problem; relational width; (2; 3){consistency. en_US
mf.subject.subarea Algebra en_US
mf.contributor.committee Marković, Predrag
mf.contributor.committee Mijajlović, Žarko
mf.contributor.committee Ikodinović, Nebojša
mf.contributor.committee Tanović, Predrag
mf.university.faculty Mathematical Faculty en_US
mf.document.references 50 en_US
mf.document.pages 204 en_US
mf.document.location Beograd en_US
mf.document.genealogy-project No en_US
mf.university Belgrade University en_US

Files in this item

Files Size Format View
disertacijaJelenaJovanovic.pdf 1.956Mb PDF View/Open

This item appears in the following Collection(s)

Show simple item record