冪集合モノイド
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2019/09/09 09:54 UTC 版)
モノイド (M, •) を固定して、M の冪集合 P(M) を考える。P(M) の 部分集合 S , T {\displaystyle S,T} の間の二項演算 "∗" を S ∗ T := { s ∙ t ∣ s ∈ S , t ∈ T } {\displaystyle S*T:=\{s\bullet t\mid s\in S,t\in T\}} で定めれば、P(M) は自明モノイド {e} を単位元とするモノイドとなる。同じ方法で、群 G の冪集合は群の部分集合の積(英語版)に関するモノイドとなる。
※この「冪集合モノイド」の解説は、「モノイド」の解説の一部です。
「冪集合モノイド」を含む「モノイド」の記事については、「モノイド」の概要を参照ください。
- 冪集合モノイドのページへのリンク