まず群の定義から