Benedick's theorem for the Heisenberg group.

link: http://arxiv.org/abs/0909.1620
Abstract

If $f$ is a compactly supported function on the Heisenberg group and the
group Fourier transform $\hat{f}(\lambda)$ is a finite rank operator for all
$\lambda$ then $f$ is the zero function.