arXiv++ Combinatorics

We consider partitions of n-dimensional boxes in R^n, n>1, into a finite number of boxes with pairwise disjoint interiors. We study sets X \subseteq (0,\infty) with the Property (W_n): for every n-dimensional box P and every partition of P, if each constituent box has one side with the length belonging to X, then the length of one side of P belongs to X. We prove that the set X \subseteq (0,\infty) has Property (W_n) if and only if X is closed with respect to the operations: x+y and x+y+z-2min(x,y,z).

On every set A there is a rigid binary relation i.e. such a relation R \subseteq A \times A that there is no homomorphism (A,R) \rightarrow (A,R) except the identity (Vop{ě}nka et al. [1965]). We prove that for each infinite cardinal number κif card A \leq 2^κ, then there exists a relation R \subseteq A \times A with the following property: \forall (x \in A) \exists ({x} \subseteq A(x) \subseteq A, card A(x) \leq κ) \forall (f: A(x) \rightarrow A, f \neq id_A(x)) f is not a homomorphism of R. The above property implies that R is rigid. If a relation R \subseteq A \times A has the above property, then card A \leq 2^κ.

On every set A there is a rigid binary relation, i.e. such a relation R that there is no homomorphism (A,R)->(A,R) except the identity (Vopenka et al. [1965]). We state two conjectures which strengthen this theorem. We prove these conjectures for some cardinalities.