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.
 |
This article is a stub. You can help Math Wiki by expanding it. |