Hypergroups and binary relations

From MaRDI portal





A hypergroupoid is a set \(H\neq\emptyset\) endowed with a function \(\circ\) from \(H\times H\) to the set of non-empty subsets of \(H\). A hypergroup is a hypergroupoid \((H,\circ)\) such that \(x\circ(y\circ z)=(x\circ y)\circ z\) and \(x\circ H=H=H\circ x\) for all \(x,y,z\in H\). To a binary relation \(R\) on \(H\), a hypergroupoid \(H_R\) is associated as follows: \(x\circ x=\{y\in H;\;(x,y)\in R\}\) and \(x\circ y=x\circ x\cup y\circ y\). I. G. Rosenberg found conditions on \(R\) such that \(H_R\) is a hypergroup. The first author studied these hypergroups under the union, intersection, Cartesian product, product and direct limit of relations. In this paper this treatment is continued. The authors obtain several results for which mutual associativity plays a role and describe hypergroups associated with trees.




Cited in
(43)








This page was built for publication: Hypergroups and binary relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1866819)