#代数系の初歩 14

#モノイド(monoid)
https://ja.wikipedia.org/wiki/...

・単系(たんけい)とも呼ぶ.

・1つの #二項演算 と
#単位元 をもつ #代数的構造 であり，
#結合法則 を満たす.

・モノイドは
「単位元をもつ #半群」(＝「単位的半群」)
なので，#半群論 の研究対象.