Notes about math, research, and more.
A semigroup is a nonempty set \(G\) with a binary operation which is associative.