Separation of \(O_n\) from its proper subsemigroups by a single identity. (Q896241)

For each \(n\geq 2\), the authors constructs an identity which fails in the semigroup \(O_n\) of all order-preserving maps on an \(n\)-element chain but holds in each proper subsemigroup of \(O_n\). The identity is \(R\approx S\), where \(R=(V^{n-2}W^{n-1}V^{n-2})^2\), \(S=(V^{n-1}W^{n-1}V^{n-1})^2\), \(W=x_mx_{m-1}\cdots x_1\) and \[ V=x_1^2x_2^2\cdots x_m^2y^2x_m^2x_{m-1}^2\cdots x_1^2y^2x_1^2x_2^2\cdots x_m^2, \] with \(m=2n-2\).