Sobolev mappings and moduli inequalities on Carnot groups

We study the mappings that satisfy moduli inequalities on Carnot groups. We prove that the homeomorphisms satisfying the moduli inequalities ($Q$-homeomor\-phisms) with a locally integrable function $Q$ are Sobolev mappings. On this base in the frameworks of the weak inverse mapping theorem, we prove that, on the Carnot groups $\mathbb G,$ the mappings inverse to Sobolev homeomorphisms of finite distortion of the class $W^1_{\nu,\loc}(\Omega;\Omega')$ belong to the Sobolev class $W^1_{1,\loc}(\Omega';\Omega)$.