Haskellでわかる群論の代数的構造
README
1.
最初に
1.1.
想定読者
1.2.
登場人物
2.
半群
2.1.
半群コード
2.2.
半群解説-演算子
2.3.
半群解説-結合律
2.4.
半群解説-半群がもうひとつ
3.
モノイド
3.1.
モノイド-コード1
3.2.
モノイド-コード2
3.3.
モノイド-単位元律
3.4.
モノイド-モノイドももうひとつ
4.
群
4.1.
群-コード
4.2.
群-コード-群型クラスと群インスタンス
4.3.
群-コード-逆元の存在
5.
終わりに
Powered by
GitBook
Haskellでわかる群論の代数的構造
登場人物
半群
モノイド
群
( ちなみに、この3人は僕の脳内では「群論三人娘」と呼ばれています )