Math Wiki
Advertisement

A semigroup is an algebraic structure consisting of a nonempty set and an associative binary operation that is closed on that set.

An example is the natural numbers together the sum operation. Another the rectangular matrixes and its sum.

Advertisement