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