いつから群の定義が群作用の定義にも使えると思ってた?