Constrained abstract representation problems in semigroups and partial groupoids
A subset \(T\) of a poset \(S\) is called a \(\mu\)-subset iff 1) \(T\) contains all \(x\in S\) which for all \(y\in S\) satisfy \(x\leq y\) or \(x \parallel y\), and 2) \(\forall x\in S \exists y\in T\) with \(y\leq x\). A poset \(S\) is here called partially well-ordered (PWO) iff every subset of \(S\) has a finite \(\mu\)-subset iff for every infinite sequence \((x_n)\) in \(S\) there exist \(i\), \(j\) with \(i< j\) and \(x_i\leq x_j\). A poset \((S,\leq)\) with difference is defined as a partial algebraic system with a binary partial operation \(-\) satisfying \((x\leq y\Rightarrow y- x\leq y)\); \((x\leq y\Rightarrow y-(y- x)= x)\); \((x\leq y\leq z\Rightarrow(z- y)\leq(z- x))\); \(((z- x)- (z- y)= (y- x))\). A difference poset is a poset with difference which has a least and a greatest element. Let \(P:= \text{Proj}(\bigcup_{\alpha\geq\omega} S^\alpha, S)\) denote the set of all projection functions \(U:= \bigcup_{\alpha\geq\omega} S^\alpha\to S\). Then a \(V\)-perspective on a poset \(S\) is a subset \(V\) of the union \(U\) which satisfies \(\forall x\in V \exists e_k\), \(e_{k'}\in P\) with \(e_k x> e_{k'} x\), \(k> k'\). Posets with \(V\)-perspectives will be called V-PWO posets. From the author's abstract: In this paper, we generalize the notion of partial well-orderability and consider its relation to partial difference operations possibly definable. Results on these and generalized PWO-posets with systems of invariants for V-PWO posets are also formulated.
This page was built for publication: Constrained abstract representation problems in semigroups and partial groupoids
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4805427)
