Lukas' Notes

Home

❯

Knowledge

❯

Semigroup

Semigroup

Jun 11, 20251 min read

algebra

Definition

Semigroup

A semigroup (S,∘) is a groupoid with associativity:

∀x,y,z∈S:(x∘y)∘z=x∘(y∘z)

Graph View

Backlinks

  • Lattice
  • Monoid
  • Ring
  • Semiring

Created with Quartz v4.4.0 © 2025

  • GitHub