Subfunction relations defined by the clones containing all unary operations
Combinatorics
2007-05-23 v1
Abstract
For a class C of operations on a nonempty base set A, an operation f is called a C-subfunction of an operation g, if f = g(h_1, ..., h_n), where all the inner functions h_i are members of C. Two operations are C-equivalent if they are C-subfunctions of each other. The C-subfunction relation is a quasiorder if and only if the defining class C is a clone. The C-subfunction relations defined by clones that contain all unary operations on a finite base set are examined. For each such clone it is determined whether the corresponding partial order satisfies the descending chain condition and whether it contains infinite antichains.
Cite
@article{arxiv.math/0703867,
title = {Subfunction relations defined by the clones containing all unary operations},
author = {Erkko Lehtonen},
journal= {arXiv preprint arXiv:math/0703867},
year = {2007}
}
Comments
15 pages