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

編集の要約なし
編集の要約なし
編集の要約なし
また <math>X</math> の各元の[[圏論/代数系/古典的代数系#逆元|逆元]]もまた <math>X</math> に入っているとき(従って <math>G</math> の[[圏論/代数系/古典的代数系#単位元|単位元]] <math>e</math> も<math>X</math>に入る<ref>
<small>
<math>ab=e</math>, <math>a\in X, b\in X</math> において、 <math>X</math> が <math>G</math> の演算で[[圏論/代数系/古典的代数系#閉じている|閉じている]]のだから <math>ab=e\in GX</math>
</small></ref>
),
匿名利用者