Binary relations and hypergroupoids
The author associates a partial hyperoperation \(\langle\widetilde\circ_R\rangle\) to every binary relation \(R\) defined on a non-empty set \(H\) in the following way: \(x\widetilde\circ_R y=\{z\in H\mid xRz,\;zRy\}\).NEWLINENEWLINENEWLINEThe hyperstructure \(\langle H,\widetilde\circ_R\rangle\) is a partial hypergroupoid and the necessary and sufficient condition so that \(\langle H,\widetilde\circ_R\rangle\) be a hypergroupoid is \(R\circ R=H\times H\). It is proved that \(\langle K,\widetilde\circ_R\rangle\) is a subquasihypergroup of \(H\) iff the hyperoperation \(\langle\widetilde\circ_R\rangle\) is total.NEWLINENEWLINENEWLINEConditions so that \(\langle\widetilde\circ_R\rangle\) is defined everywhere are presented. Especially, in the finite case, (\(\text{card }H=n\), \(n>1\)), it is shown that the previous is true iff \((M_R)^2=T\), where \(M_R\) is the matrix associated with the relation \(R\) (\(M_R=(a_{ij})\), \(a_{ij}\in\{0,1\}\)) and \(T=(t_{ij})\) with \(\forall(i,j)\), \(t_{ij}=1\). The complete answer with all related tables is given in the cases where \(\text{card }H=2,3\).NEWLINENEWLINENEWLINEFinally, a generalization \(\left(\left\langle\begin{smallmatrix} s\\ \circ\\ n\end{smallmatrix}\right\rangle\right)\) of the hyperoperation \(\langle\widetilde\circ\rangle\left(=\left\langle\begin{smallmatrix} 1\\ \circ\\ 2\end{smallmatrix}\right\rangle\right)\) is introduced.
- A note on the relation between categories and hyperstructures
- On fuzzy Corsini's hyperoperations
- Binary relations, interval structures and join spaces
- Hypergroups and binary relations
- A hyperbase for binary lattice hyperidentities
- Hyperstructures associated with binary relations
- Relations on hypergraphs
- scientific article; zbMATH DE number 6698985 (Why is no real title available?)
- Products of hypergroupoids associated to binary relations.
- Equivalence relations in semihypergroups and the corresponding quotient structures.
- scientific article; zbMATH DE number 1342158 (Why is no real title available?)
- scientific article; zbMATH DE number 1033922 (Why is no real title available?)
- scientific article; zbMATH DE number 2059952 (Why is no real title available?)
- Enumeration of Rosenberg-type hypercompositional structures defined by binary relations.
- scientific article; zbMATH DE number 1530997 (Why is no real title available?)
- scientific article; zbMATH DE number 1531074 (Why is no real title available?)
- scientific article; zbMATH DE number 1775490 (Why is no real title available?)
- Path hypergroupoids: commutativity and graph connectivity.
- Fundamental relations in multialgebras. Applications.
- The hyperoperation relation and the Corsini's partial or not-partial hypergroupoids (a classification).
- REPRESENTATIONS OF ORDERED DIMONOIDS BY BINARY RELATIONS
- Hypergroupoids obtained from groupoids with binary relations.
- About the fundamental relations defined on the hypergroupoids associated with binary relations.
- Fuzzy hypergroups based on fuzzy relations.
- Enumeration of Rosenberg hypergroups.
- \(n\)-hypergroups and binary relations.
- Binary relations and reduced hypergroups.
- Hypergroups and \(n\)-ary relations.
- \(\mathbf C\)-hypergroupoids obtained by special binary relations.
This page was built for publication: Binary relations and hypergroupoids
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2706753)
