Приказ основних података о дисертацији
Lokalno konačni varijeteti sa polu-distributivnom mrežom kongruencija
Locally finite varieties with semi{distributive congruence lattice.
dc.contributor.advisor | Tanović, Predrag | |
dc.contributor.other | Marković, Petar | |
dc.contributor.other | Mijajlović, Žarko | |
dc.contributor.other | Ikodinović, Nebojša | |
dc.contributor.other | Tanović, Predrag | |
dc.creator | Jovanović, Jelena | |
dc.date.accessioned | 2017-04-10T14:00:13Z | |
dc.date.available | 2017-04-10T14:00:13Z | |
dc.date.available | 2020-07-03T08:38:38Z | |
dc.date.issued | 2016-07-15 | |
dc.identifier.uri | https://nardus.mpn.gov.rs/handle/123456789/7871 | |
dc.identifier.uri | http://eteze.bg.ac.rs/application/showtheses?thesesId=4721 | |
dc.identifier.uri | https://fedorabg.bg.ac.rs/fedora/get/o:14969/bdef:Content/download | |
dc.identifier.uri | http://vbs.rs/scripts/cobiss?command=DISPLAY&base=70036&RID=48818191 | |
dc.description.abstract | Predmet ove disertacije je sintaksna karakterizacija kongruencijske polu{distributiv- nosti (u odnosu na inmum) lokalno konacnih varijeteta Maljcevljevim uslovima (posmatramo varijetete idempotentnih algebri). Dokazujemo da takva karakteri- zacija nije moguca sistemom identiteta koji koriste jedan ternarni i proizvoljan broj binarnih operacijskih simbola. Prvu karakterizaciju dobijamo jakim Maljcevljevim uslovom koji ukljucuje dva ternarna simbola: Lokalno konacan varijetet V zadovo- ljava uslov kongruencijske polu{distributivnosti (u odnosu na inmum) ako i samo ako postoje ternarni termi p i q (koji indukuju idempotentne term operacije) takvi da V zadovoljava: p(x; x; y) p(x; y; y) p(x; y; x) q(x; y; x) q(x; x; y) q(y; x; x). Ovaj uslov je optimalan u smislu da su broj terma, njihove visestrukosti i broj identiteta najmanji moguci. Druga karakterizacija koju dobijamo koristi jedan 4- arni simbol i data je jakim Maljcevljevim uslovom 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) : Treca karakterizacija je data kompletnim Maljcevljevim uslovom: Postoje binarni term t(x; y) i wnu-termi !n(x1; : : : ; xn) varijeteta V tako za sve n > 3 vazi sledece: V j= !n(x; x; : : : ; x; y) t(x; y). | sr |
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 satises congruence meet{semidistributivity if and only if there exist ternary terms p and q (inducing idempotent term operations) such that V satises 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 |
dc.format | application/pdf | |
dc.language | sr | |
dc.publisher | Универзитет у Београду, Математички факултет | sr |
dc.rights | openAccess | en |
dc.rights.uri | https://creativecommons.org/licenses/by-sa/4.0/ | |
dc.source | Универзитет у Београду | sr |
dc.subject | lokalno konacan varijetet | sr |
dc.subject | locally nite variety | en |
dc.subject | congruence lattice | en |
dc.subject | meet{semidistributivity | en |
dc.subject | wnu{ term | en |
dc.subject | Mal'cev condition | en |
dc.subject | CSP problem | en |
dc.subject | relational width | en |
dc.subject | (2 | en |
dc.subject | 3){consistency | en |
dc.subject | mreza kongruencija | sr |
dc.subject | polu{distributivnost | sr |
dc.subject | wnu{term | sr |
dc.subject | Maljcevljev uslov | sr |
dc.subject | CSP problem | sr |
dc.subject | relaciona sirina | sr |
dc.subject | (2 | sr |
dc.subject | 3){konzistentnost | sr |
dc.title | Lokalno konačni varijeteti sa polu-distributivnom mrežom kongruencija | sr |
dc.title.alternative | Locally finite varieties with semi{distributive congruence lattice. | en |
dc.type | doctoralThesis | en |
dc.rights.license | BY-SA | |
dcterms.abstract | Тановић, Предраг; Мијајловић, Жарко; Икодиновић, Небојша; Тановић, Предраг; Марковић, Петар; Јовановић, Јелена; Локално коначни варијетети са полу-дистрибутивном мрежом конгруенција; Локално коначни варијетети са полу-дистрибутивном мрежом конгруенција; | |
dc.identifier.fulltext | https://nardus.mpn.gov.rs/bitstream/id/6536/Disertacija.pdf | |
dc.identifier.fulltext | http://nardus.mpn.gov.rs/bitstream/id/6537/IzvestajKomisije8125.pdf | |
dc.identifier.fulltext | https://nardus.mpn.gov.rs/bitstream/id/6537/IzvestajKomisije8125.pdf | |
dc.identifier.fulltext | http://nardus.mpn.gov.rs/bitstream/id/6536/Disertacija.pdf | |
dc.identifier.rcub | https://hdl.handle.net/21.15107/rcub_nardus_7871 |