Abelian group
给定阿贝尔群A，formula_19当且仅当A是自由的。