Singular points in generalized concatenation structures that otherwise are homogeneous (Q1197635)

Let \(X\) denote a set, \(\succeq\) a binary relation on \(X\), \(F\) a function from \(X^ n\) to \(X\) with \(n\geq 2\), \(J\) an index set, and \(R_ j\), \(j\in J\), relations of finite order on \(X\). Then the relational structure \({\mathcal X}=\langle X,\succeq,F,R_ j\rangle_{j\in J}\) is a closed generalized concatenation structure if and only if \(\succeq\) is a total ordering, \(\exists x,y\in X\) such that \(x\succ y\), and \(F\) is monotone. A point \(e\in X\) is said to be singular iff \(e\) is a fixed point of every automorphism of \(X\). \(\mathcal X\) is order dense iff for each \(x,y\in X\) with \(x\succ y\) there exists \(z\in X\) such that \(x\succ z\succ y\). \(\mathcal X\) is homogeneous if for every pair \(x\), \(y\) of non-singular points not separated by a singular point there is an automorphism \(\tau\) with no non-singular fixed points such that \(\tau (x)=y\). The main results of the paper are that for an order dense, generalized concatenation structure \(\mathcal X\) there are at most three singular points. These being a maximum, a minimum and an interior point. If \(\mathcal X\) is homogeneous then the interior singular point is a generalized zero in a sense made precise.