群是一种只有一个运算的、比较简单的代数结构；是可用来建立许多其他代数系统的一种基本结构。无限群论是群论的一个独立分支.主要研究无限群(元素个数无限的群)的理论。19世纪末，由于几何和拓扑研究的需要，无限群作为由一系列生成元及定义关系所定义的群出现。有限生成群(finitely generated group)是无限群论研究的重要对象之一。指除有限群外最熟悉的满足有限性条件的群。