  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.
