自由群

数学 · 没有任何额外约束的群

术语解释

自由群是由一组生成元生成的群，除了群的公理外没有任何额外关系。就像用字母表拼单词，没有规则限制你怎么拼。自由群中的元素就是生成元及其逆元组成的所有有限"字"，不做任何化简。一旦加上额外关系（比如让某个字等于单位元），就变成自由群的商群了。

自由群=无约束，生成元随便组合不化简