abelianization.comm_group source