  In this paper, it is established that quantum nilpotent algebras (also known
as CGL extensions) are catenary, i.e., all saturated chains of inclusions of
prime ideals between any two given prime ideals $P \subsetneq Q$ have the same
length. This is achieved by proving that the prime spectra of these algebras
have normal separation, and then establishing the mild homological conditions
necessary to apply a result of Lenagan and the first author. The work also
recovers the Tauvel height formula for quantum nilpotent algebras, a result
that was first obtained by Lenagan and the authors through a different
approach.
