Reference : Galois theory for sets of operations closed under permutation, cylindrification and c...
Scientific journals : Article
Physical, chemical, mathematical & earth Sciences : Mathematics
http://hdl.handle.net/10993/4462
Galois theory for sets of operations closed under permutation, cylindrification and composition
English
Couceiro, Miguel mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Mathematics Research Unit >]
Lehtonen, Erkko mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
2012
Algebra Universalis
Birkhäuser
67
3
273-297
Yes (verified by ORBilu)
International
0002-5240
[en] linear term operation ; read-once function ; function algebra ; Galois connection ; system of pointed multisets ; permutation of variables ; cylindrification ; composition
[en] A set of operations on A is shown to be the set of linear term operations of some algebra on A if and only if it is closed under permutation of variables, addition of inessential variables, and composition, and if it contains all projections. A Galois framework is introduced to describe the sets of operations that are closed under the operations mentioned above, not necessarily containing all projections. The dual objects of this Galois connection are systems of pointed multisets, and the Galois closed sets of dual objects are described accordingly. Moreover, the closure systems associated with this Galois connection are shown to be uncountable (even if the closed sets of operations are assumed to contain all projections).
http://hdl.handle.net/10993/4462
10.1007/s00012-012-0184-1
The final publication is available at www.springerlink.com.

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
GTFSOOCUP.pdfAuthor postprint377.11 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.