在群论中,如果有一个自由正规子群,使得商群/是循环群,则群称为free-by-cyclic群,
换言之,如果是一个循环群对一个自由群的群扩张,则是一个free-by-cyclic群。
若是有限生成群,则称是(finitely generated free)-by-cyclic群。
在群论中,如果有一个自由正规子群,使得商群/是循环群,则群称为free-by-cyclic群,
换言之,如果是一个循环群对一个自由群的群扩张,则是一个free-by-cyclic群。
若是有限生成群,则称是(finitely generated free)-by-cyclic群。