Conjointness as a derived property (Q584115)

The author investigates the question of which conditions imposed on a weak order (A,\(\preccurlyeq)\) allow for a representation of (A,\(\preccurlyeq)\) as a Cartesian product structure \((X_ 1,X_ 2,\preccurlyeq ')\) with independent components \(X_ 1\), \(X_ 2\) and a weak order \(\preccurlyeq '\) on \(X_ 1\times X_ 2\). Two possibilities are analyzed: first, two weak orders on A are supposed to exist in addition to \(\preccurlyeq\) and a compatibility condition between all three is shown to yield the decomposition; second, one additional weak order, together with a relation which reflects the compensatory trade-off components typically exhibit in an additive representation, is demonstrated to give essentially the same result. Furthermore, this paper deals with the automorphism groups of these structures and relates them to the important concept of a factorizable automorphism of a conjoint structure. A generalization to more than two components is presented and it is shown that the compatibility between the weak orders gives rise to a partial order or, if additional assumptions are met, even to a lattice. An application is also discussed of one of the theorems to the theory of psychological tests.