Abstract:
We establish the morphism property of subelliptic equations for mappings with bounded distortion whose domain lies in the roto-translation group and whose range is the Heisenberg group. This implies that every nonconstant locally bounded mapping with bounded distortion whose domain and range lie in the roto-translation group is continuous, open, and discrete.