pith. sign in

arxiv: 1505.02691 · v1 · pith:QWE5JO2Hnew · submitted 2015-05-11 · 🧮 math.CO · math.LO

Hereditarily rigid relations

classification 🧮 math.CO math.LO
keywords hereditarilyrigidrelationsfunctionsstronglyconstantemphexist
0
0 comments X
read the original abstract

An $h$-ary relation $\r$ on a finite set $A$ is said to be \emph{hereditarily rigid} if the unary partial functions on $A$ that preserve $\r$ are the subfunctions of the identity map or of constant maps. A family of relations ${\mathcal F}$ is said to be \emph{hereditarily strongly rigid} if the partial functions on $A$ that preserve every $\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.

This paper has not been read by Pith yet.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.