Galois theory for semiclones

Behrisch, Mike

doi:10.1007/s00012-016-0407-y

Record link:

https://resolver.obvsg.at/urn:nbn:at:at-ubtuw:3-2867
http://hdl.handle.net/20.500.12708/333

Title:

Galois theory for semiclones

Citation:

Behrisch, M. (2016). Galois theory for semiclones. Algebra Universalis. https://doi.org/10.1007/s00012-016-0407-y

Publisher DOI:

10.1007/s00012-016-0407-y

CatalogPlus:

AC11361248

Publication Type:

Article - Original Research Article

Artikel - Original Research Article

Language:

English

Authors:

Behrisch, Mike

Organisational Unit:

E104 - Institut für Diskrete Mathematik und Geometrie

Journal:

Algebra Universalis

ISSN:

0002-5240

Date (published):

2016

Publisher:

Birkhäuser

Peer reviewed:

Yes

Keywords:

iterative algebra; semiclone; relation pair clone; Galois theory

Abstract:

We present a Galois theory connecting finitary operations with pairs of finitary relations, one of which is contained in the other. The Galois closed sets on both sides are characterised as locally closed subuniverses of the full iterative function algebra (semiclones) and relation pair clones, respectively. Moreover, we describe the modified closure operators if only functions and relation pairs of a certain bounded arity, respectively, are considered.

License:

CC BY 4.0