「圏論/代数系/古典的代数系」の版間の差分
削除された内容 追加された内容
ページの作成:「1.1 集合 <math>G</math> の元 <math>a,b</math> の各対に対して G の第三の元（これを <math>ab</math> で表す)を対応させる演算が定義され,…」 |
編集の要約なし |
||
1 行
<div id="1.1">
1.1
集合 <math>G</math> の元 <math>a,b</math> の各対に対して G の第三の元（これを <math>ab</math> で表す)を対応させる演算が定義され, それが
<div id="結合律">
;'''結合律'''
:すべての元 <math>a,b,c</math> に対して <math>(ab)c=a(bc)</math>
<div id="結合的">
<div id="半群">
をみたすとき, この演算は'''結合的'''であるといい, また <math>G</math> は（この演算について）'''半群''' であるという.
演算が[[圏論/代数系/古典的代数系#結合的|結合的]]のときは上記の式の両辺は括弧を省略して単に <math>abc</math> と表してもよい. さらにこの演算が
;'''可換律'''
| |||