  We develop an effective strategy for proving strong ergodicity of
(nonsymmetric) Markov semigroups associated to H\"ormander type generators when
the underlying configuration space is infinite dimensional.
