Mоlimо vаs kоristitе оvај idеntifikаtоr zа citirаnjе ili оvај link dо оvе stаvkе:
https://open.uns.ac.rs/handle/123456789/20518
Nаziv: | Poludistributivnost, Problem zadovoljenja uslova i jaki Maljcevljevi uslovi Semidistributivity, Constraint Satisfaction Problem and strong Mal’cev conditions |
Аutоri: | Uljarević Vlado | Ključnе rеči: | Maljcevljev uslov, kongruencijska poludistributivnost, varijetet, Problem zadovoljenja uslova, Remzijeva teorija;Mal’cev condition, congruence semidistributivity, variety, Constraint Satisfaction Problem, Ramsey theory | Dаtum izdаvаnjа: | 26-окт-2020 | Izdаvаč: | Univerzitet u Novom Sadu, Prirodno-matematički fakultet u Novom Sadu University of Novi Sad, Faculty of Sciences at Novi Sad |
Sažetak: | <p>U ovoj tezi opisujemo linearne, idempotentne, jake Maljcevljeve uslove za kongruencijsku ^-poludistributivnost u lokalno konačnim varijetetima. U [40] je predstavljen jedan takav jak Maljcevljev uslov i tehnika koju su autori koristili je uopštenje jednog od glavnih rezultata iz [46]. Glavna razlika je u tome što jednostavna primjena Dirihleovog principa u [46] postaje dosta komplikovaniji argument Remzijevskog tipa u [40]. Mi ovdje dodatno uopštavamo taj argument i prezentujemo dokaz pomenute karakterizacije. Svi ovi radovi koriste snažan rezultat [4] L. Barta o rješivosti Problema zadovoljenja uslova metodama provjere lokalne konzistencije uslova, pa je treća glava teze posvećena detaljnoj prezentaciji tog rada. Takođe, dokazujemo da neki jak Maljcevljev uslov karakteriše kongruencijsku ^-poludistributivnost u lokalno konačnim varijetetima ako i samo ako je realizovan u određenoj četvoroelementnoj algebri. Na kraju, bavimo se i problemom pronalaženja optimalnog jakog Maljcevljevog uslova koji karakteriše egzistenciju Tejlorovog terma u opštem slučaju. U [53] M. Olšak predstavio je iznenađujući rezultat da je egzistencija Tejlorovog terma jako Maljcevljevo svojstvo. Term iz prvobitne verzije [53] ima arnost 12, dok mi ovdje prezentujemo dokaz da se arnost može redukovati na 9.</p> <p>In this thesis we describe linear, idempotent, strong Mal’cev conditions for congruence ^-semidistributivity in locally finite varieties. In [40] authors presented one such Mal’cev condition and technique they used is generalization of one result from [46]. Main difference is that simple application of Pigeonhole prinicple from [46] becomes much more complicated Ramsey style argument in [40]. Here we dditionaly generalize that argument and we present the proof of above mentioned characterization. All these papers use deep result [4] by L. Barto on solvability of Constraint Satisfaction Problem by local consistency checking methods, so third chapter of this thesis is dedicated to detailed presentation of [4]. Also, we prove that some strong Mal’cev condition characterizes congruence ^-semidistributivity in locally finite varieties if and only if it is realized in certain four element algebra. Finally, we work on the problem of finding optimal strong Mal’cev condition for existence of Taylor term in general case. In [53] M. Olsak presented suprising result that exisstence of Taylor term is strong Malcev property. The term from first version of [53] has arity 12,<br />but here we prove that arity can be reduced to 9.</p> |
URI: | https://open.uns.ac.rs/handle/123456789/20518 |
Nаlаzi sе u kоlеkciјаmа: | PMF Teze/Theses |
Prikаzаti cеlоkupаn zаpis stаvki
Prеglеd/i stаnicа
16
Prоtеklа nеdеljа
7
7
Prоtеkli mеsеc
0
0
prоvеrеnо 10.05.2024.
Google ScholarTM
Prоvеritе
Stаvkе nа DSpace-u su zаštićеnе аutоrskim prаvimа, sа svim prаvimа zаdržаnim, оsim аkо nije drugačije naznačeno.