\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{hypermonoid}

\hypertarget{contents}{}\section*{{Contents}}\label{contents}

\noindent\hyperlink{definition}{Definition}\dotfill \pageref*{definition} \linebreak
\noindent\hyperlink{examples}{Examples}\dotfill \pageref*{examples} \linebreak
\noindent\hyperlink{special_types}{Special types}\dotfill \pageref*{special_types} \linebreak
\noindent\hyperlink{specific_examples}{Specific examples}\dotfill \pageref*{specific_examples} \linebreak
\noindent\hyperlink{boolean_hecke_algebra_of_a_coxeter_group}{Boolean Hecke algebra of a Coxeter group}\dotfill \pageref*{boolean_hecke_algebra_of_a_coxeter_group} \linebreak
\noindent\hyperlink{other_examples}{Other examples}\dotfill \pageref*{other_examples} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{definition}{}\subsection*{{Definition}}\label{definition}

By removing structure and properties from the notion of [[canonical hypergroup|hypergroup]], a \textbf{hypermonoid} is a set equipped with an associative multivalued multiplication. There are several equivalent ways of making this more precise:

\begin{itemize}%
\item A \emph{hypermonoid} is a monoid $M$ in the monoidal [[Pos]]-enriched category of sets and total ([[entire relation|entire]]) relations, where the tensor product of sets is cartesian product and the tensor product of relations $R: A \to B$, $S: C \to D$ is defined by the truth-value assignment

\begin{displaymath}
(R \times S)((a, c), (b, d)) = R(a, b) \wedge S(c, d)
\end{displaymath}
The unit $u: 1 \to M$ is assumed to be a well-defined relation (therefore a function).


\item A \emph{hypermonoid} is a $\mathbf{2}$-enriched [[promonoidal category]] structure on a discrete poset $S$, whose prounit is a singleton and whose promultiplication $S \times S \to P S$ takes values in $P_+(S)$ (nonempty subsets);


\item A \emph{hypermonoid} is a structure of [[quantale]] on a power set $P(S)$, whose unit is a singleton and where the quantale multiplication $\cdot$ satisfies $T \cdot U \neq \bot$ whenever $T, U \neq \bot$.



\end{itemize}
(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.)

\hypertarget{examples}{}\subsection*{{Examples}}\label{examples}

\hypertarget{special_types}{}\subsubsection*{{Special types}}\label{special_types}

Analogous to how ordinary [[monoid]]s refine to [[group]]s and to [[ring]]s, hypermonoids refine to

\begin{itemize}%
\item [[hypergroup]]s


\item and [[hyperring]]s.



\end{itemize}
See there for more examples.

\hypertarget{specific_examples}{}\subsubsection*{{Specific examples}}\label{specific_examples}

\hypertarget{boolean_hecke_algebra_of_a_coxeter_group}{}\paragraph*{{Boolean Hecke algebra of a Coxeter group}}\label{boolean_hecke_algebra_of_a_coxeter_group}

Let $W$ be a finite Coxeter group. A [[Coxeter group]] is \emph{by definition} a group presentation, generated by elements $s_1, \ldots, s_n$ and subject to relations of the form

\begin{displaymath}
(s_i s_j)^{m_{i j}} = 1
\end{displaymath}
where $m_{i j}$ is a collection of integers specified by a Coxeter diagram or Coxeter matrix, assumed symmetric and with $m_{i i} = 1$. We may rewrite the presentation as

\begin{displaymath}
s_{i}^{2} = 1, \qquad s_i s_j \ldots = s_j s_i \ldots
\end{displaymath}
where the words on either side of the second equation alternate between $s_i$ and $s_j$ and have length $m_{i j}$.

The Boolean [[Hecke algebra]] of a Coxeter group $W$ is a quantale whose underlying sup-lattice is $P W$, and whose quantalic multiplication is uniquely determined by a hypermonoid structure which satisfies

\begin{displaymath}
\{s_i\} \cdot \{s_i\} = \{s_i, 1\}, \qquad s_i s_j \ldots = s_j s_i \ldots
\end{displaymath}
and described as follows:

\begin{itemize}%
\item If $w$ is a reduced word $s_{i_1} s_{i_2} \ldots s_{i_k}$, then the hypermonoid product $\prod_j s_{i_j}$ is $\{[w]\}$ where $[w]$ is the value of $w$ in $W$;


\item Given a generator $s$ and a reduced word $w = w' s$ in the Coxeter group presentation, define $\{[w]\} \cdot \{s\} = \{[w' s], [w']\}$.



\end{itemize}
It may be shown that this recipe gives a well-defined map $W \times W \to P(W)$ 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 $W$ is seen as arising from a BN-pair. A [[BN-pair]] (see also references below) is given by a simple [[algebraic group]] $G$, a Borel subgroup $B$, and a normalizer $N$ of a maximal torus $T$ for which $T = B \cap N$ and $G = B N$, satisfying some conditions. The corresponding Boolean Hecke algebra may be defined to be the quantale whose elements are $G$-equivariant sup-preserving maps

\begin{displaymath}
P(G/B) \to P(G/B)
\end{displaymath}
where the quantale multiplication is composition. As a sup-lattice, this quantale is isomorphic to $P(B\backslash G/B)$, the power set of the set of [[double cosets]] $B g B$. According to the general theory of BN-pairs, the double cosets are in bijection with the elements of a Coxeter group $W$ given by $N/T$; the bijection is given by the well-defined map

\begin{displaymath}
W \to B \backslash G/B: w \mapsto B w B
\end{displaymath}
Hence $P(W) \cong P(B\backslash G/B)$ as sup-lattices, but the algebra structure on $P(B \backslash G/B)$ can be regarded as a deformation of the group algebra structure. The unit is the singleton $\{B e B\}$.

\hypertarget{other_examples}{}\paragraph*{{Other examples}}\label{other_examples}

Hecke algebras are a [[deformation theory|deformation]] of the Coxeter group algebra. Under certain conditions, other deformations of group or monoid algebras of monoids $M$ can be exploited to yield hypermonoids.

For example, if the multiplication table of such a deformation is given by equations

\begin{displaymath}
g_i g_j = \sum_k a_{i j}^{k} g_k
\end{displaymath}
where all the $a_{i j}^k$ are nonnegative rational numbers of which at least one is nonzero for each pair $i, j$, then we may obtain a hypermonoid by replacing each positive $a_{i j}^{k}$ by $1$ and interpreting the sum as a join in the Boolean algebra $P(M)$. This procedure may be termed ``Booleanization''. For example, in the case of Hecke algebras, we have

\begin{displaymath}
s_{i}^{2} = \frac{q-1}{q} s_i + \frac1{q}
\end{displaymath}
and if the parameter $q$ 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 $a_{i j}^{k}$ belong to a [[rig]] $A$, so that we have a deformation $A[M]_d$ of a monoid rig, and if one is provided with a rig homomorphism $p: A \to\mathbf{2} = (\{0, 1\}, + = \vee, \cdot = \wedge)$ then there is a Booleanized hypermonoid structure defined by the composite

\begin{displaymath}
M \times M \stackrel{mult}{\to} A[M]_d \cong A \otimes_A A[M]_d \stackrel{p \otimes_A 1}{\to} \mathbf{2} \otimes_A A[M]_d \cong \mathbf{2}[M]_d \hookrightarrow P(M)
\end{displaymath}
For instance, there is a unique rig homomorphism $p: \mathbb{Q}_+ \to \mathbf{2}$ from the rig of nonnegative rational numbers.

\hypertarget{references}{}\subsection*{{References}}\label{references}

\begin{itemize}%
\item [[Todd Trimble]], \emph{\href{http://math.ucr.edu/home/baez/trimble/BN-pairs_and_Boolean_Hecke_algebras.html}{Notes on BN-pairs and Boolean Hecke algebras}} (2005)

\end{itemize}
[[!redirects hypermonoids]]



\end{document}