  We give an elementary proof of the classical Hardy inequality on any Carnot
group, using only integration by parts and a fine analysis of the commutator
structure, which was not deemed possible until now. We also discuss the
conditions under which this technique can be generalized to deal with
hypoelliptic families of vector fields, which, in this case, leads to an open
problem regarding the symbol properties of the gauge norm.
