Hypoellipticity for linear degenerate elliptic systems in Carnot groups and applications

We prove that if u is a weak solution to a constant coefficient system (with strong ellipticity assumed along the horizontal direction) in a Carnot group (no restriction on the step), then u is actually smooth. We then use this result to develop blow-up analysis to prove a partial regularity result for weak solutions of certain non-linear systems.