The Lasker-Noether theorem for commutative and Noetherian module algebras over a pointed Hopf algebra. (Q1403892): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 04:13, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | The Lasker-Noether theorem for commutative and Noetherian module algebras over a pointed Hopf algebra. |
scientific article |
Statements
The Lasker-Noether theorem for commutative and Noetherian module algebras over a pointed Hopf algebra. (English)
0 references
20 August 2003
0 references
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\).
0 references
actions of Hopf algebras
0 references
convolution algebras
0 references
primary decompositions
0 references
associated prime ideals
0 references
convolutionally reduced Hopf algebras
0 references
pointed Hopf algebras
0 references