Stationary subsets and stabilizers of restrictive Menger \(P\)-algebras of multiplace functions (Q1866834): Difference between revisions

A restrictive Menger \(P\)-algebra of \(n\)-place functions is any subset \(F\) of partial mappings \(f:A^n\rightarrow A\) which is closed under set-theoretical intersection, composition of functions and the so-called restrictive multiplication. For \(a\in A\), \(F_a\) denotes the subset of all \(f\in F\) with \(f(a,\ldots ,a)=a\), and \(F_{st}\) is the union of all \(F_a\) where \(a\) runs over \(A\). These subsets \(F_{st}\) or \(F_a\) are called a stationary subset or a stabilizer of \(a\), respectively. Such subsets were abstractly characterized by B. M. Schein for semigroups of transformations and by the author in the class of ordered Menger algebras. In this paper these sets are described in the class of all restrictive Menger \(P\)-algebras.