The Lasker-Noether theorem for commutative and Noetherian module algebras over a pointed Hopf algebra. (Q1403892)

Let \(A\) be a commutative Noetherian algebra over a field \(K\). Each ideal \(I\) of \(A\) has an irredundant primary decomposition as an intersection of primary ideals \(Q_1,\dots,Q_n\). This decomposition is not unique, but the set \(\text{Ass}(I)\) of associated prime ideals \(P_1,\dots,P_n\), the radicals of \(Q_1,\dots,Q_n\), is unique. Let \(H\) be a Hopf algebra such that \(A\) is an \(H\)-module algebra, and let \(I\) be \(H\)-invariant. The authors study the questions of when the \(Q_1,\dots,Q_n\) can be chosen to be \(H\)-invariant, and whether \(P_1,\dots,P_n\) are \(H\)-invariant. In general, the answer is negative to both questions, but some positive results are obtained when \(H\) is pointed. Let \(H\) be pointed, \(G\) its group of group-like elements. The first result is that if \(g(P)\subset P\) for each \(g\) in \(G\) and \(P\) in \(\text{Ass}(I)\), then there exist \(H\)-invariant \(Q_1,\dots,Q_n\). \(H\) is called convolutionally reduced if it contains a subcoalgebra \(C\) which generates \(H\) as an algebra, and the convolution algebra \(\Hom(C,B)\) is reduced for any commutative reduced algebra \(B\). Another main result says that if \(H\) is pointed and convolutionally reduced such that \(g(P)\subset P\) for all \(g\) in \(G\) and \(P\) in \(\text{Ass}(I)\), then each \(P\) is \(H\)-invariant. The authors also show that if \(K\) has characteristic zero, then if \(H\) is pointed irreducible (called connected in the paper), then \(H\) is convolutionally reduced. A counterexample is given to this last result at positive characteristic. Another result for pointed \(H\) and \(H\)-invariant \(Q_1,\dots,Q_n\), each of which satisfies a technical condition, says that if \(K\) has characteristic zero, and \(g(P)\subset P\) for all \(g\) in \(G\) and \(P\) in \(\text{Ass}(I)\), then each \(P\) is \(H\)-invariant. A final result at characteristic zero concerns an automorphism \(\sigma\) of \(A\) and a \(\sigma\)-derivation of \(A\).