Band (algebra)

In mathematics, a band is a semigroup in which every element is idempotent (in other words equal to its own square). The lattice of varieties of bands was described independently by Birjukov, Fennemore and Gerhard. Semilattices, left-zero bands, right-zero bands, rectangular bands and regular bands, specific subclasses of bands which lie near the bottom of this lattice, are of particular interest and are briefly described below. Bands have found applications in various branches of mathematics, notably in theoretical computer science.

emilattices

Semilattices are exactly commutative bands.

Rectangular and zero bands

A rectangular band is a band S which satisfies
* xyx = x for all $x,\; yin\; S$, equivalently xyz = xz.

For example, given arbitrary non-empty sets "I" and "J" one can define a semigroup operation on $I\; imes\; J$ by setting

$(i,\; j)\; cdot\; (k,\; l)\; =\; (i,\; l)$

The resulting semigroup is a rectangular band because
# for any pair (i,j) we have $(i,\; j)\; cdot\; (i,\; j)\; =\; (i,j)$
# for any two pairs we have $(i\_x,\; j\_x)\; cdot\; (i\_y,\; j\_y)\; cdot\; (i\_x,\; j\_x)\; =\; (i\_x,\; j\_x)$

In fact, any rectangular band is isomorphic to one of the above form.

A left-zero band is a band satisfying xy = y, whence its Cayley table has constant columns. Symmetrically, a right-zero band is one satisfying xy = x, constant rows. In particular right-zero and left-zero bands are rectangular bands and in fact every rectangular band is isomorphic to a direct product of a left-zero band and a right-zero band, whence all rectangular bands of prime order are zero bands, either left or right.

Regular bands

A regular band is a band S satisfying
* xyxzx = xyzx for all $x,\; y,\; z\; in\; S$

Lattice of varieties of bands

. The lattice of the 13 varieties of regular bands are shown in Figure 1. The varieties of left-zero bands, semilattices, and right-zero bands are the three atoms (non-trivial minimal elements) of this lattice.

References

*cite book | last=Clifford | first=Alfred Hoblitzelle | coauthors=Preston, Gordon Bamford | title=The Algebraic Theory of Semigroups | publisher=Mir| location=Moskva | year=1972 | others=Russian translation

*cite book | last=Nagy | first=Attila | title=Special Classes of Semigroups | publisher=Kluwer Academic Publishers| location=Dordrecht | year=2001 | id=ISBN 0792368908