在群论中，无限群 是潜在集合含有无穷多个元素的群。