21/03/01 20:50:03.07 mVM2M1hV.net
>>447
いろいろ考えてみたんですが、ガバガバユルユルな定義ですね
群の公理としては、二つ目の結合則は必要として、一つ目の式はちょっと贅肉が多いのでは？
群の公理は、結合則の他には ∃e∀g ge = g, かつ ∀g∃h gh = e で十分かと
21/03/01 20:50:03.07 mVM2M1hV.net
>>447
いろいろ考えてみたんですが、ガバガバユルユルな定義ですね
群の公理としては、二つ目の結合則は必要として、一つ目の式はちょっと贅肉が多いのでは？
群の公理は、結合則の他には ∃e∀g ge = g, かつ ∀g∃h gh = e で十分かと