w matematyce: specjalna podgrupa danej grupy mająca zastosowanie w jej badaniu