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