The Dixmier-Moeglin equivalence for cocommutative Hopf algebras of finite Gelfand-Kirillov dimension. (Q484632)

Suppose that \(H\) is a cocommutative Noetherian Hopf algebra over an algebraically closed field of characteristic zero. Assume that \(H\) has finite Gelfand-Kirillov dimension. For any prime ideal \(P\) of \(H\) the following are equivalent: (i) \(P\) is primitive; (ii) \(P\) is rational; (iii) \(P\) is locally closed in \(\text{Spec\,}H\). It means that \(H\) satisfies Dixmier-Moeglin equivalence. This equivalence was established by \textit{J. Dixmier} [in J. Algebra 48, 96-112 (1977; Zbl 0366.17007)] and by \textit{C. Moeglin} [in J. Math. Pures Appl. (9) 59, 265-336 (1980; Zbl 0454.17006)] for the universal enveloping algebra \(H\) of a complex finite dimensional Lie algebra. Note that a cocommutative Hopf algebra is a smash product of a universal enveloping algebra and a group algebra.