No label defined (Q4353312)

This paper deals with a kind of hyperstructures where classical axioms are replaced by weaker ones. Thus, hypergroupoids \((H,\circ)\) verifying the following two conditions: (i) the weak associativity: \((x\circ y)\circ z\cap x\circ(y\circ z)\neq\emptyset\); for every \(x,y,z\) in \(H\), (ii) the reproducibility: \(x\circ H=H=H\circ x\), for every \(x\in H\), are studied (they are called \(H_V\)-groups). If \((H,\cdot)\) is a group endowed with a hyperoperation ``\(\circ\)'' such that \(x\cdot y\in x\circ y\), for every \(x,y\) in \(H\), then \((H,\circ)\) is a \(H_V\)-group (in this paper, such a hyperstructure is called a \(H_b\)-group). Some properties of the relation \(\beta^*\) in \(H_V\)-groups (or \(H_b\)-groups) are established. With a similar idea (i.e. to replace in classical axioms the symbol ``='' by ``\(\cap\neq\emptyset\)'') the author introduces the notions of \(H_V\)-ring, \(H_V\)-semigroup,\dots. For the entire collection see [Zbl 0867.00022].