x
Normal subgroup — LessWrong