モノイド
一つの二項演算に以下の性質が定められた代数的構造のことをモノイド (英:monoid) という。群は台集合 M と二項演算 μ の組 (M,μ) で表される。
(MA1)(MA2)(MA3):μ:M×M→M:μ(a,μ(b,c))=μ(μ(a,b),c):∃e, μ(a,e)=μ(e,a)=a
- (MA1) :二項演算の閉性
- (MA2) :二項演算の結合性
- (MA3) :単位元の存在
他の代数的構造との関係
モノイドは一つの二項演算に特定の性質が定められた代数的構造である。この二項演算にどのような性質が定められているかで、次表のように様々な代数的構造が定められる。
代数的構造 |
閉性 |
結合律 |
単位元の存在 |
逆元の存在 |
交換法則 |
マグマ |
◯ |
- |
- |
- |
- |
半群 |
◯ |
◯ |
- |
- |
- |
モノイド |
◯ |
◯ |
◯ |
- |
- |
群 |
◯ |
◯ |
◯ |
◯ |
- |
アーベル群 |
◯ |
◯ |
◯ |
◯ |
◯ |
関連記事
参考文献