In group theory, especially, in geometric group theory, the class of free-by-cyclic groups have been deeply studied as important examples. A group [math]\displaystyle{ G }[/math] is said to be free-by-cyclic if it has a free normal subgroup [math]\displaystyle{ F }[/math] such that the quotient group [math]\displaystyle{ G/F }[/math] is cyclic. In other words, [math]\displaystyle{ G }[/math] is free-by-cyclic if it can be expressed as a group extension of a free group by a cyclic group (NB there are two conventions for 'by'). Usually, we assume [math]\displaystyle{ F }[/math] is finitely generated and the quotient is an infinite cyclic group. Equivalently, we can define a free-by-cyclic group constructively: if [math]\displaystyle{ \varphi }[/math] is an automorphism of [math]\displaystyle{ F }[/math], the semidirect product [math]\displaystyle{ F \rtimes_\varphi \mathbb{Z} }[/math] is a free-by-cyclic group. An isomorphism class of a free-by-cyclic group is determined by an outer automorphism. If two automorphisms [math]\displaystyle{ \varphi, \psi }[/math] represent the same outer automorphism, that is, [math]\displaystyle{ \varphi = \psi\iota }[/math] for some inner automorphism [math]\displaystyle{ \iota }[/math], the free-by-cyclic groups [math]\displaystyle{ F \rtimes_\varphi \mathbb{Z} }[/math] and [math]\displaystyle{ F \rtimes_\psi \mathbb{Z} }[/math] are isomorphic.
The class of free-by-cyclic groups contains various groups as follow:
Original source: https://en.wikipedia.org/wiki/Free-by-cyclic group.
Read more |