Hypergroups and binary relations (Q1866819)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Hypergroups and binary relations
scientific article

    Statements

    Hypergroups and binary relations (English)
    0 references
    0 references
    0 references
    23 April 2003
    0 references
    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.
    0 references
    0 references
    hypergroups
    0 references
    hypergroupoids
    0 references
    binary relations
    0 references
    associativity
    0 references

    Identifiers