abelian group object的用法与搭配