Representations of the quantum torus and applications to finitely presented groups

A structure theorem is proved for strongly holonomic modules over a quantum torus (a crossed product of a field with a free abelian group in which the field is central). This can be applied to give a structure theorem for finitely presented abelian-by-nilpotent groups.