A decomposition theorem for a word length function is proved in [1]}.
It corresponds to the case of the exponential radical. With some modification we can produce a proof that also works for a subgroup intermediate between two radicals, exponential and nilpotent.
