where A is abelian group.

• 其中A是交换群。