 Solvability Relations in GroupoidsÁrpád Száz ()
A chapter in Functional Equations and Ulam’s Problem, 2026, pp 451-497 from Springer Abstract: Abstract If X is a groupoid, then for any x , y ∈ X $$x, y\in X$$ we define Φ ( x , y ) = { u ∈ X : u x = y } and Ψ ( x , y ) = { v ∈ X : x v = y } , $$\displaystyle \varPhi \,(x, y)=\big \{u\in X: \ \ u\,x=y\,\big \} \ \qquad \text{and}\qquad \ \varPsi \,(x, y)=\big \{v\in X: \ \ x\,v=y\,\big \}, $$ and moreover φ ( x ) = Φ ( x , x ) $$\varphi \,(x)=\varPhi \,(x, x)$$ and ψ ( x ) = Ψ ( x , x ) $$\psi \,(x)=\varPsi \,(x, x)$$ . In the sequel, φ , ψ $$\varphi , \psi $$ and Φ , Ψ $$\varPhi , \varPsi $$ will be considered as relations on X and X 2 $$X^{2}$$ to X, respectively. And, they will be called the main solvability relations in X. To feel the importance of these relations, note that if u ∈ φ ( x ) $$u\in \varphi \,(x)$$ and v ∈ Ψ ( x , u ) $$v\in \varPsi \,(x, u)$$ , then u x = x $$u\,x=x$$ and x v = u $$x\,v=u$$ . Therefore, u is a left unit for x and v is a right inverse of x relative to u. Thus, the above solvability relations can be used to classify and investigate groupoids. For instance, the groupoid X may be called prefunctional if the restrictions of the relations φ $$\varphi $$ and ψ $$\psi $$ to the set X 0 = X ∖ { 0 } if X has a zero 0 ; X if X does not have a zero $$\displaystyle X_{0}= \left \{ \begin {array}{ll} X\setminus \{0\} \ \ &\text{if }\ \ X\ \text{has a zero 0}; \\ \ \quad X &\text{if }\ \ X\ \text{does not have a zero} \end {array} \right . $$ are functions of X 0 $$X_{0}$$ to X. That is, φ ( x ) $$\varphi \,(x)$$ and ψ ( x ) $$\psi \,(x)$$ are singletons for all x ∈ X 0 $$x\in X_{0}$$ . If X is a prefunctional groupoid, then by identifying singletons with their elements we may also define σ ( x ) = Φ ( x , ψ ( x ) ) and ρ ( x ) = Ψ ( x , φ ( x ) ) $$\displaystyle {\sigma \,(x)=\varPhi \,\big (x, \psi \,(x)\big ) \qquad \qquad \text{and}\qquad \qquad \rho \,(x)=\varPsi \,\big (x, \varphi \,(x)\big )} $$ for all x ∈ X 0 $$x\in X_{0}$$ . Moreover, we may call the prefunctional groupoid X to be semifunctional if the relations σ $$\sigma $$ and ρ $$\rho $$ are also functions of X 0 $$X_{0}$$ to X. Surprisingly, if X is a prefunctional semigroup, then σ = ρ $$\sigma =\rho $$ , and thus ρ $$\rho $$ is not needed. If X is a semifunctional semigroup with zero 0, then X may be called a Brand–Clifford semigroup and X 0 $$X_{0}$$ may be called a Brand partial groupoid. Thus, the difficult definitions and properties of Brandt partial groupoids can be briefly expressed in terms of the solvability relations. The principal task is to determine the solvability relations in a given semigroup X. Unfortunately, this can be done only in some very particular cases. Of course, if X is a group, then the solvability relations in X can be easily computed, and are functions. In this respect it is also worth mentioning that a groupoid X may be called a quasi-group if it is functional in the sense that the relations Φ $$\varPhi $$ and Ψ $$\varPsi $$ are functions of X 2 $$X^{2}$$ to X. Moreover, the famous Green relations L $$\mathscr {L}$$ and R $$\mathscr {R}$$ can also be nicely defined in terms of the relations Φ $$\varPhi $$ and Ψ $$\varPsi $$ considered in the groupoid obtained from X by adjoining a unit if necessary. Date: 2026 There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it. Related works: Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-032-08949-6_20 Ordering information: This item can be ordered from DOI: 10.1007/978-3-032-08949-6_20 Access Statistics for this chapter More chapters in Springer Books from Springer |
Is your work missing from RePEc? Here is how to contribute.
Questions or problems? Check the EconPapers FAQ or send mail to .
EconPapers is hosted by the
School of Business at Örebro University.