単位群
単位元
のみからなる
群
元は1つ