A sub-Riemannian maximum modulus theorem

In this note we prove a sub-Riemannian maximum modulus theorem in a Carnot group. Using a nontrivial counterexample, we also show that such result is best possible, in the sense that in its statement one cannot replace the right-invariant horizontal gradient with the left-invariant one.