Virtually cyclic group (source code)

= Virtually cyclic group
{wiki}

A group is virtually cyclic when it has a cyclic subgroup of finite index. A finitely generated abelian group is virtually cyclic exactly when its free abelian rank is one.