Extremal lengths for mappings with bounded s-distortion on Carnot groups

In 1957 B. Fuglede [8] has introduced the notion of the exceptional measure system. A system of measures E is said to be exceptional of order p if its p-module M-p(E) vanishes. E. Poletsky [28] was the first who applied this notion to the description of the behaviour of a family of curves under nonhomeomorphic quasiconformal mappings. In the present paper we generalize this result by E. Poletsky and study the behaviour of the p-module of a family of horizontal curves under mappings with bounded s-distortion on Carnot groups.