English

Hereditarily rigid relations

Combinatorics 2015-05-12 v1 Logic

Abstract

An hh-ary relation \r on a finite set AA is said to be \emph{hereditarily rigid} if the unary partial functions on AA that preserve \r are the subfunctions of the identity map or of constant maps. A family of relations F{\mathcal F} is said to be \emph{hereditarily strongly rigid} if the partial functions on AA that preserve every ˚F\r \in {\mathcal F} are the subfunctions of projections or constant functions. In this paper we show that hereditarily rigid relations exist and we give a lower bound on their arities. We also prove that no finite hereditarily strongly rigid families of relations exist and we also construct an infinite hereditarily strongly rigid family of relations.

Cite

@article{arxiv.1505.02691,
  title  = {Hereditarily rigid relations},
  author = {Miguel Couceiro and Lucien Haddad and Maurice Pouzet and Karsten Schölzel},
  journal= {arXiv preprint arXiv:1505.02691},
  year   = {2015}
}

Comments

15pages, to be presented at ISMVL 2015

R2 v1 2026-06-22T09:31:58.166Z