Hyperstructure

From Quire, the open reference·Algebraic structure equipped with at least one multivalued operation·1 min read

Redirected from Hypergroup

Hyperstructures are algebraic structures equipped with at least one multi-valued operation, called a hyperoperation. The largest classes of the hyperstructures are the ones called ${\displaystyle Hv}$ – structures.

A hyperoperation ${\displaystyle (\star )}$ on a nonempty set ${\displaystyle H}$ is a mapping from ${\displaystyle H\times H}$ to the nonempty power set ${\displaystyle P^{*}\!(H)}$ , meaning the set of all nonempty subsets of ${\displaystyle H}$ , i.e.

${\displaystyle \star :H\times H\to P^{*}\!(H)}$

${\displaystyle \quad \ (x,y)\mapsto x\star y\subseteq H.}$

For ${\displaystyle A,B\subseteq H}$ we define

${\displaystyle A\star B=\bigcup _{a\in A,\,b\in B}a\star b}$ and ${\displaystyle A\star x=A\star \{x\},\,}$ ${\displaystyle x\star B=\{x\}\star B.}$

{{mathimg|ec4b3decd90958eefb504a1ac0f86b7e4fbcf04b|width=6.069ex|height=2.843ex|va=-0.838ex|alt={\displaystyle (H,\star )}}} is a semihypergroup if ${\displaystyle (\star )}$ is an associative hyperoperation, i.e. ${\displaystyle x\star (y\star z)=(x\star y)\star z}$ for all ${\displaystyle x,y,z\in H.}$

Furthermore, a hypergroup is a semihypergroup ${\displaystyle (H,\star )}$ , where the reproduction axiom is valid, i.e. ${\displaystyle a\star H=H\star a=H}$ for all ${\displaystyle a\in H.}$

References#edit

AHA (Algebraic Hyperstructures & Applications). A scientific group at Democritus University of Thrace, School of Education, Greece. aha.eled.duth.gr
Applications of Hyperstructure Theory, Piergiulio Corsini, Violeta Leoreanu, Springer, 2003, ISBN 1-4020-1222-5, ISBN 978-1-4020-1222-8
Functional Equations on Hypergroups, László, Székelyhidi, World Scientific Publishing, 2012, ISBN 978-981-4407-00-7

Categories Abstract algebra Abstract algebra stubs

This article is mirrored from “Hyperstructure” on English Wikipedia, revision 1346656673, written by Wikipedia's contributors and licensed CC BY-SA 4.0. Editing it here creates a Quire copy with its own history.

Synced with Wikipedia revision 1346656673 · just now