群の定義4つはわかるけど並進群に対してどう書けばいいかわからない