「圏論/代数系/古典的代数系」の版間の差分

編集の要約なし
編集の要約なし
編集の要約なし
それから定まる元は区別して表さなければならない.
このため演算を表す記号を適当に,例えば <math>*, \bot</math> などと定め,慣習的にそれを二元の間において,
例えば二元 <math>a, b</math> から演算 <math>\bot</math> で定まる元は <math>a \bot b</math> というように表すことにする.
 
次に一つの集合 <math>K</math> の上に二つの演算 <math>+</math> と <math>\centerdot</math> とが与えられている場合を考える.もし
 
;<div id="左分配律">
<div id="左から分配的">
;<strong>左分配律</strong>
:すべての元 <math>a, b, c</math> に対して <math>a\centerdot(b+c)=(a\centerdot b)+(a\centerdot c)</math>
 
が成り立つとき演算 <math>\centerdot</math> は <math>+</math> に'''左から分配的'''であるといい,同様に
<!-- ここまで -->
 
;右分配律
:すべての元<math>a, b, c</math> に対して <math>(b+c)\centerdot a=(b\centerdot a)+(c\centerdot a)</math><ref>
匿名利用者