This is a variation of group|Find other variations of group | Read a survey article on varying group
QUICK PHRASES: variation of group where the multiplication operation is multi-valued
NOTE: This page is about the abstract algebraic notion of hypergroup. There is a related notion of hypergroup that comes up in probability theory and measure theory, which is at hypergroup (measure theory).
A hypergroup is a set equipped with a binary operation , i.e., a multi-valued binary operation, satisfying some conditions. The right side denotes the power set of minus the empty subset of , because the binary operation is required to give at least one output for every input pair.
Prior to stating the condition, we note that can be extended to an operation given by . Similarly, we can extend to operations and .
|Condition name||What it means||Explanation|
|multi-valued version of associativity||For any , as sets.|| Left side: Note that is a subset, say , of . is defined as the union .|
Right side: Suppose . Then, .
|multi-valued version of quasigroup type condition||For any , .|
Note that if the operation is single-valued and the underlying set of is non-empty, then becomes a group under . This follows from the proof of associative quasigroup implies group (our statement is actually a little more general than that statement, because we are not assuming unique solutions to equations, but the proof does not use uniqueness).
We can take the quotient of a hypergroup by any equivalence relation and get a hypergroup structure on the quotient set. Since groups are hypergroups to begin with, quotients of groups by various sorts of equivalence relations give hypergroups. Some related examples are: