編集このページは半保護の方針に基づき、非ログインユーザー・新規利用者の編集が制限されています。ウィキペディアに群論の記事があります。Wikipediaの方にも詳細な記述があるが、百科事典という性格上、個々の例について深い解説を与えることはできない。ここでは、初学者でもわかりやすいよう、個々の例について深い解説を与えながら見ていこうと思う。演算と代数構造Gを集合とする。}をGの二項演算(あるいは単に演算)という。)}を代数系あるいは代数構造という。定義は大げさだが、既に我々は代数構造の例を十分すぎるほど知っている。,+)}は代数構造である。)}は代数構造である。これから我々はこのようなよく知っている代数構造の抽象的な性質だけを抜き出して調べることで、同じ抽象的性質を持つより複雑な代数構造も含めて統一的に性質を調べていこうとしている。結合則と半群さて、ここからは、代数構造にルールを付け加えていくと、どうなるかを考えてみよう。代数構造(G,·)があるとする。このとき、結合則とは、次のルールのことをいう。