Tauvel's height formula for quantum nilpotent algebras
Tauvel's height formula, which provides a link between the height of a prime ideal and the Gelfand-Kirillov dimension of the corresponding factor algebra, is verified for quantum nilpotent algebras.