Grup teorisi, soyutlama ve 196.883 boyutlu canavar