Free-by-cyclic group

In group theory, especially, in geometric group theory, the class of free-by-cyclic groups have been deeply studied as important examples. A group is said to be free-by-cyclic if it has a free normal subgroup such that the quotient group is cyclic. In other words, is free-by-cyclic if it can be expressed as a group extension of a free group by a cyclic group. Usually, we assume is finitely generated and the quotient is an infinite cyclic group. Equivalently, we can define a free-by-cyclic group constructively: if is an automorphism of , the semidirect product is a free-by-cyclic group.

This keyword could refer to multiple things. Here are some suggestions: