The extension of functions of Sobolev classes beyond the boundary of the domain on Carnot groups

We prove the theorem on extension of the functions of the Sobolev space W _p ^l (Ω) which are defined on a bounded (ε, δ)-domain Ω in a two-step Carnot group beyond the boundary of the domain of definition. This theorem generalizes the well-known extension theorem by P. Jones for domains of the Euclidean space.