Denote the minimal prime ideal in (b) by J_ mathsf max(𝜆), the unique maximal ideal of infinitesimal character 𝜆.