Quotient group — LessWrong