在置换、柱化和复合下封闭的运算集合的伽罗瓦联络
环与代数
2016-11-22 v3
摘要
我们考虑集合A上在变量置换、添加哑变量和复合下封闭的运算集合。我们通过运算与带点多重集系统之间的伽罗瓦联络来描述这些封闭集，并利用充分必要的闭包条件来描述对偶对象的封闭集。此外，我们证明，对于至少包含两个元素的任意A，相应的闭包系统是不可数的。
引用
@article{arxiv.0910.5409,
title = {Galois connection for sets of operations closed under permutation, cylindrification and composition},
author = {Miguel Couceiro and Erkko Lehtonen},
journal= {arXiv preprint arXiv:0910.5409},
year = {2016}
}
备注
22 pages; Section 4 added