Foundations of Lie theory for $\mathcal E$-structures and some of its applications

We construct an analogue of classical Lie theory in the case of Lie groups and Lie algebras defined over the algebra of dual numbers. As an application, we study approximate symmetries of differential equations and construct analogues of Hjelmslev's natural geometry.