Hyperstructures associated with binary relations

Software, source code, etc. for problems pertaining to general algebraic systems (08-04) Relational systems, laws of composition (08A02) Matrices of integers (15B36) Software, source code, etc. for problems pertaining to group theory (20-04) Hypergroups (20N20)

Review text

Given a binary relation \(R\) on a non-empty set \(H\), a hyperoperation \(\odot_R\) is defined on \(H \times H\) by \(x \odot_R y = \{z \in H \mid xRz, zRy\}\). \((H,\odot_R) \) is a hypergroupoid \(\Leftrightarrow R \circ R = H \times H\) [\textit{P. Corsini}, ``Binary relations and hypergroupoids, Ital. J. Pure Appl. Math. 7, 11--18 (2000; Zbl 0972.20042)]. This paper studies the set of all hypergroupoids \((H,\odot_R) \) associated with binary relations \(R\) on a finite set \(H\). A sample result: If \(R_1\) and \(R_2\) are relations on \(H\) and one of \((H,\odot_{R_1}) \), \((H,\odot_{R_2}) \) is a hypergroupoid, then \((H,\odot_{R_1 \cup R_2}) \) is also a hypergroupoid. Using a Visual Basic program on the Boolean matrix \(M(R)\) associated with the relation \(R\), the authors compute the number of relations \(R\) on \(H\) such that \((H,\odot_R) \) is a hypergroupoid, when \(H\) is a set with 2 (resp. 3, 4).

Recommendations

Cites work

Cited in

(24)

Describes a project that uses

Uses Software

Visual Basic

This page was built for publication: Hyperstructures associated with binary relations

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