「圏論/代数系/古典的代数系」の版間の差分
削除された内容 追加された内容
編集の要約なし |
編集の要約なし |
||
47 行
[[圏論/代数系/古典的代数系#半群|半群]] <math>G</math> が[[圏論/代数系/古典的代数系#単位元|単位元]]を持ち, また <math>G</math> のすべての元が[[圏論/代数系/古典的代数系#逆元|逆元]]を持つとき <math>G</math> は'''群'''であるという.<ref><small>
[[圏論/代数系/古典的代数系#群|群]]の公理に要請する条件としては <math>ae=a</math>…① かつ <math>aa^{-1}=e</math>…② で十分である.<br />
②の <math>
よって <math>
<math>
<math>
<math> = e(a^{-1})^{-1} (\because </math>① <math>)</math><br />
これと <math>aa^{-1}=e</math> の辺々を比べて <math>ea^{-1}=a^{-1}</math><br /> すなわち <math>ea=a</math> と[[圏論/代数系/古典的代数系#単位元|単位元]]の公式の残り半分が導出される.<br />▼
▲
また,<math>a^{-1}a = a^{-1}ae (\because</math> ① <math>)</math><br />
と[[圏論/代数系/古典的代数系#逆元|逆元]]の公式の残り半分が導出される.▼
<math> = a^{-1}aa^{-1}(a^{-1})^{-1} (\because </math>③<math>)</math><br />
<math> = a^{-1}e(a^{-1})^{-1} (\because </math>②<math>)</math><br />
<math> = a^{-1}(a^{-1})^{-1} (\because </math>①<math>)</math><br />
<math> = e (\because </math>②・③<math>)</math><br />
▲すなわち <math>a^{-1}a=e</math> と[[圏論/代数系/古典的代数系#逆元|逆元]]の公式の残り半分が導出される.<br />
</small></ref>
|