Group theory - History — LessWrong