By removing structure and properties from the notion of hypergroup, a hypermonoid is a set equipped with an associative multivalued multiplication. There are several equivalent ways of making this more precise:
A hypermonoid is a monoid in the monoidal Pos-enriched category of sets and total (entire) relations, where the tensor product of sets is cartesian product and the tensor product of relations , is defined by the truth-value assignment
The unit is assumed to be a well-defined relation (therefore a function).
A hypermonoid is a -enriched promonoidal category structure on a discrete poset , whose prounit is a singleton and whose promultiplication takes values in (nonempty subsets);
A hypermonoid is a structure of quantale on a power set , whose unit is a singleton and where the quantale multiplication satisfies whenever .
(In the opinion of one of the article authors (Todd Trimble), one may legitimately ask what is the mathematical gain in restricting to total relations and in the condition that the unit is functional. Lifting these restrictions, one obtains the simpler notion of quantale.)
See there for more examples.
Let be a finite Coxeter group. A Coxeter group is by definition a group presentation, generated by elements and subject to relations of the form
where is a collection of integers specified by a Coxeter diagram or Coxeter matrix, assumed symmetric and with . We may rewrite the presentation as
where the words on either side of the second equation alternate between and and have length .
The Boolean Hecke algebra of a Coxeter group is a quantale whose underlying sup-lattice is , and whose quantalic multiplication is uniquely determined by a hypermonoid structure which satisfies
and described as follows:
If is a reduced word , then the hypermonoid product is where is the value of in ;
Given a generator and a reduced word in the Coxeter group presentation, define .
It may be shown that this recipe gives a well-defined map that gives a hypermonoid structure.
This description appears to depend on combinatorial technicalities of Coxeter groups, but it can be made more conceptual if the Coxeter group is seen as arising from a BN-pair. A BN-pair? (see also references below) is given by a simple algebraic group , a Borel subgroup , and a normalizer of a maximal torus for which and , satisfying some conditions. The corresponding Boolean Hecke algebra may be defined to be the quantale whose elements are -equivariant sup-preserving maps
where the quantale multiplication is composition. As a sup-lattice, this quantale is isomorphic to , the power set of the set of double cosets . According to the general theory of BN-pairs, the double cosets are in bijection with the elements of a Coxeter group given by ; the bijection is given by the well-defined map
Hence as sup-lattices, but the algebra structure on can be regarded as a deformation of the group algebra structure. The unit is the singleton .
Hecke algebras are a deformation of the Coxeter group algebra. Under certain conditions, other deformations of group or monoid algebras of monoids can be exploited to yield hypermonoids.
For example, if the multiplication table of such a deformation is given by equations
where all the are nonnegative rational numbers of which at least one is nonzero for each pair , then we may obtain a hypermonoid by replacing each positive by and interpreting the sum as a join in the Boolean algebra . This procedure may be termed “Booleanization”. For example, in the case of Hecke algebras, we have
and if the parameter is specialized to positive integer values (e.g., powers of primes), one may apply Booleanization to obtain the Boolean Hecke algebra.
In general the principle is this: if the structure coefficients belong to a rig , so that we have a deformation of a monoid rig, and if one is provided with a rig homomorphism then there is a Booleanized hypermonoid structure defined by the composite
For instance, there is a unique rig homomorphism from the rig of nonnegative rational numbers.