Wikibooks

「有限群論序論」の版間の差分

履歴の双方向閲覧
← 古い編集
削除された内容 追加された内容
ビジュアルウィキテキスト
K.ito (トーク | 投稿記録)
315 回編集
 
35 行
 
結合則が成り立つ代数構造のことを、'''半群'''（semi group）という。
'''半群'''とは[[集合]] ''S'' と[[二項演算]] "•" の組 (''S'', •) であって、二項演算 • が以下の条件
 
; 演算が[[閉包|閉じている]]: ''S'' の各元 ''a'', ''b'' に対して、演算結果 ''a'' • ''b'' は再び ''S'' に属する。
; [[結合法則|結合律]]: ''S'' の各元 ''a'', ''b'', ''c'' に対して、等式 (''a'' • ''b'') • ''c'' = ''a'' • (''b'' • ''c'') が満たされる。
がともに成立するものを言う。
結合則は、成り立つ場合もあるし、成り立たない場合ももちろんある。やはり、例を考えてみよう。
"https://ja.wikibooks.org/wiki/有限群論序論" より作成