This works focuses on regularity theory for solutions to the p-Laplace equation in the Heisenberg group. In particular, it presents detailed proofs of smoothness for solutions to the non-degenerate equation and of Lipschitz regularity for solutions to the degenerate one. An introductory chapter presents the basic properties of the Heisenberg group, making the coverage self-contained. The settin…