Normal subgroup — LessWrong