definicija je preformulirana s ciljem pomicanja subjekta prema početku rečenice
notacija je ispravljena: nije uobičajeno (ako i postoji takva oznaka za podgrupu) označavati podgrupu sa
pročišćen tekst sa pravom podgrupom: prava podgrupa je ona čiji je skup pravi podskup skupa grupe; jedinica nema veze s pravom podgrupom. Jedinica i sama grupa su trivijalne podgrupe svake grupe, pa možda otuda zabuna.
u skladu sa kriterijem "budite odvažni", preinake su učinjene prije završene rasprave.