群の定義