1 交换群 — Abelian group