# Hypergroup

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).

## Definition

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).

## Related notions

## Examples

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:

- Conjugacy class hypergroup of a group.
- Character hypergroup of a group.