Abelian Group Object