在数学中，一个群formula_1 被称作自由群，如果存在 formula_1 的子集 formula_3 使得 formula_1 的任何元素都能唯一地表成由 formula_3 中元素及其逆元组成之乘积（在此不论平庸的表法，例如 formula_6 之类）；此时也称 formula_1 为集合 formula_3 上的自由群，其群结构决定于集合 formula_3，记为 formula_10，formula_3 称作一组基底。按照范畴论的观点，自由群也可以抽象地理解为群范畴中的自由对象。一个相关但