Brandt semigroup

In mathematics, Brandt semigroups are completely 0-simple inverse semigroups. In other words, they are semigroups without proper ideals and which are also inverse semigroups. They are built in the same way as completely 0-simple semigroups:

Let G be a group and ${\displaystyle I,J}$ be non-empty sets. Define a matrix ${\displaystyle P}$ of dimension ${\displaystyle |I|\times |J|}$ with entries in ${\displaystyle G^{0}=G\cup \{0\}.}$

Then, it can be shown that every 0-simple semigroup is of the form ${\displaystyle S=(I\times G^{0}\times J)}$ with the operation ${\displaystyle (i,a,j)*(k,b,n)=(i,ap_{jk}b,n)}$.

As Brandt semigroups are also inverse semigroups, the construction is more specialized and in fact, I = J (Howie 1995). Thus, a Brandt semigroup has the form ${\displaystyle S=(I\times G^{0}\times I)}$ with the operation ${\displaystyle (i,a,j)*(k,b,n)=(i,ap_{jk}b,n)}$, where the matrix ${\displaystyle P}$ is diagonal with only the identity element e of the group G in its diagonal.