Abelian_group loading ...