abelianizing

Мат. взятие фактор-группы по коммутанту — abelianizing functor