szczególna podgrupa danej grupy pomocna przy badaniu jej przemienności