Abelian group
formula_7的群叫做完美群，这是与阿贝尔群相对的概念。完美群的阿贝尔化子群是单位群{e}。