Article (Scientific journals)
Galois theory for sets of operations closed under permutation, cylindrification and composition
Couceiro, Miguel; Lehtonen, Erkko
2012In Algebra Universalis, 67 (3), p. 273-297
Peer reviewed
 

Files


Full Text
GTFSOOCUP.pdf
Author postprint (386.16 kB)
Download

The final publication is available at www.springerlink.com.


All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
linear term operation; read-once function; function algebra; Galois connection; system of pointed multisets; permutation of variables; cylindrification; composition
Abstract :
[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).
Disciplines :
Mathematics
Identifiers :
UNILU:UL-ARTICLE-2012-381
Author, co-author :
Couceiro, Miguel ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Mathematics Research Unit
Lehtonen, Erkko ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
Galois theory for sets of operations closed under permutation, cylindrification and composition
Publication date :
2012
Journal title :
Algebra Universalis
ISSN :
0002-5240
Publisher :
Birkhäuser
Volume :
67
Issue :
3
Pages :
273-297
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 29 July 2013

Statistics


Number of views
62 (1 by Unilu)
Number of downloads
146 (3 by Unilu)

Scopus citations®
 
18
Scopus citations®
without self-citations
16
OpenCitations
 
13
WoS citations
 
16

Bibliography


Similar publications



Contact ORBilu