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