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.vte Retrieved from "https://math.wikia.org/wiki/Semigroup?oldid=6944" Categories: Stubs Abstract algebra Community content is available under CC-BY-SA unless otherwise noted.