2006
DOI: 10.1016/j.jalgebra.2006.06.030
|View full text |Cite
|
Sign up to set email alerts
|

The Goldie Theorem for H-semiprime algebras

Abstract: The main result states that, under certain assumptions about a Hopf algebra H , every H -semiprime right Noetherian H -module algebra has a quasi-Frobenius classical right quotient ring. Another question treated in the paper is concerned with the extension of H -module structures to quotient rings. These results have an application to the semiprimeness problem for smash product algebras A # H .

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1
1

Citation Types

1
48
0

Year Published

2007
2007
2022
2022

Publication Types

Select...
8

Relationship

3
5

Authors

Journals

citations
Cited by 35 publications
(49 citation statements)
references
References 42 publications
1
48
0
Order By: Relevance
“…Proof The H-semisimplicity of A is proved in [24,Lemma 4.2] (this follows easily also from Theorem 1.1 whose proof does not depend on Theorem 2.8). Thus A is isomorphic to A 1 × · · · × A n where each A i is an H-simple H-module algebra.…”
Section: Theorem 28 Let a Be An Artinian H-semiprime H-module Algebrmentioning
confidence: 90%
“…Proof The H-semisimplicity of A is proved in [24,Lemma 4.2] (this follows easily also from Theorem 1.1 whose proof does not depend on Theorem 2.8). Thus A is isomorphic to A 1 × · · · × A n where each A i is an H-simple H-module algebra.…”
Section: Theorem 28 Let a Be An Artinian H-semiprime H-module Algebrmentioning
confidence: 90%
“…Then U ∼ = (U ′ ) * for some U ′ ∈ M H , dim U ′ < ∞. By Lemma 4.6 M ∼ = U ′ ⊗ V , so M is finitely generated in M A according to [29,Lemma 1.1]. The direct summand M n of M is also finitely generated in M A .…”
Section: Proof (I) This Is the Isomorphism From [29 Lemma 11] It mentioning
confidence: 95%
“…Since B is a PI domain, after localization we obtain a classical quotient ring Q B , which is a division algebra; see [C,Corollary 7.5.2] and [GW,Theorem 6.8]. Now apply [SV,Theorem 2.2] to obtain the result. (ii) If H is semisimple and cosemisimple, any action of H on D factors through an action of a cocommutative Hopf algebra.…”
Section: Semisimple Cosemisimple Hopf Actions On Division Algebrasmentioning
confidence: 99%
“…Also, B ⊂ Q ρ,Ap , and by (1), h r · B ⊂ B for all r. Thus, the map ρ ′ defines a coaction B → B ⊗ H * p . By [SV,Theorem 2.2] (which applies because B is contained in a division algebra), ρ ′ extends to a coaction…”
Section: Proposition 44 Proposition 43 Remains True If the Module mentioning
confidence: 99%