Definition: Semigroup

A semigroup is a magma \((X,\ast)\), in which the operation \(\ast\) is associative.

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 BY-SA 4.0!

Github:
bookofproofs


References

Bibliography

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