Unipotent torus-bundle group
ID: unipotent-torus-bundle-group
The mapping torus of a torus map with this monodromy has fundamental group generated by with central and . Normal forms multiply byThis proves torsion-freeness and nilpotence of class at most two. For its center is and commutator subgroup ; for it is . These realize all noncyclic torsion-free nilpotent closed orientable three-manifold groups.
New to topics? Read the docs here!