Abelian group
由李群一般性事实，formula_32总消失，formula_33是自由阿贝尔群。