monoid
結合律と両側単位元の存在を満たすmagma (数学)のこと
両側単位元の存在を満たす半群でもある
任意の集合$ Mと$ M上の二項演算$ \cdot:M\times M\to Mにて、以下を満たす組$ (M,\cdot)をmonoidと呼ぶ
1. 結合律:$ \forall a,b,c\in M:a\cdot(b\cdot c)=(a\cdot b)\cdot c
2. 両側単位元の存在:$ \exist 1_M\in M\forall a\in M:1_M\cdot a=a\cdot1_M=a
References
https://ja.m.wikipedia.org/wiki/モノイド
#モノイド #単系
#2025-06-12 18:23:33
#2024-10-22 18:17:13