We propose and analyze a finite difference scheme for the Kohn Laplacian op
erator associated with the Heisenberg group, which is a degenerate elliptic
operator of Hormander type. We give a complete analysis for a periodic pro
blem in a cube. In particular, we prove a discrete Poincare-Wiertinger ineq
uality which yields the stability. Numerical tests are presented.