  We formulate and prove relative versions of several classical decompositions
known in the theory of Chevalley groups over commutative rings. As an
application we obtain upper estimates for the width of principal congruence
subgroups in terms of several families of generators. Some of our results are
new even in the absolute case and were previously studied only for groups over
finite fields.
