| 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 |