環っていうよりは群の性質だから、探すところ間違ってんのかも。