Definition: Semigroup
A semigroup is a magma \((X,\ast)\), in which the operation \(\ast\) is associative.
Mentioned in:
Axioms: 1
Chapters: 2 3 4 5
Definitions: 6 7
Examples: 8
Parts: 9
Proofs: 10 11 12 13 14
Propositions: 15
Theorems: 16
Thank you to the contributors under CC BYSA 4.0!
 Github:

References
Bibliography
 Knauer Ulrich: "Diskrete Strukturen  kurz gefasst", Spektrum Akademischer Verlag, 2001
 Lang, Serge: "Algebra  Graduate Texts in Mathematics", Springer, 2002, 3rd Edition