Show simple item record

dc.contributor.authorCouceiro, Miguel
dc.date.accessioned2012-09-25T14:12:34Z
dc.date.available2012-09-25T14:12:34Z
dc.date.issued2006
dc.identifier.urihttps://basepub.dauphine.fr/handle/123456789/10172
dc.language.isoenen
dc.subjectoperators decompositionsen
dc.subjectarity restrictionsen
dc.subjectminorsen
dc.subjectconstraint satisfactionen
dc.subjectpreservationen
dc.subjectconstraintsen
dc.subjectrelationsen
dc.subjectclonesen
dc.subjectfunction classen
dc.subjectexternal functionsen
dc.subjectGalois Connectionsen
dc.subject.ddc512en
dc.titleOn Galois connections between external functions and relational constraints: arity restrictions and operator decompositionsen
dc.typeArticle accepté pour publication ou publié
dc.description.abstractenWe study the basic Galois connection induced by the ``satisfaction" relation between external operations AnB defined on a set A and valued in a possibly different set B on the one hand, and ordered pairs (RS) of relations RAm and SBm, called relational constraints, on the other hand. We decompose the closure maps associated with this Galois connection, in terms of closure operators corresponding to simple closure conditions describing the corresponding Galois closed sets of functions and constraints. We consider further Galois correspondences by restricting the sets of primal and dual objects to fixed arities. We describe the restricted Galois closure systems by means of parametrized analogues of the simple closure conditions, and present factorizations of the corresponding Galois closure maps into simpler closure operators.en
dc.relation.isversionofjnlnameActa Scientiarum Mathematicarum
dc.relation.isversionofjnlvol72en
dc.relation.isversionofjnldate2006
dc.relation.isversionofjnlpages15-35en
dc.relation.isversionofjnlpublisherUniversitatis Szegediensisen
dc.subject.ddclabelAlgèbreen
dc.relation.forthcomingnonen
dc.relation.forthcomingprintnonen


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record