In this paper we prove a Lions-type compactness embedding result for symmetric unbounded domains of the Heisenberg group. The natural group action on the Heisenberg group H n = C n × R is provided by the unitary group U (n) × {1} and its appropriate subgroups, which will be used to construct subspaces with specific symmetry and compactness properties in the Folland-Stein's horizontal Sobolev space HW 1,2 0 (H n ). As an application, we study the multiplicity of solutions for a singular subelliptic problem by exploiting a technique of solving the Rubik-cube applied to subgroups of U (n) × {1}. In our approach we employ concentration compactness, group-theoretical arguments, and variational methods.