Abstract
LetH be a Hopf algebra acting on an algebraA. We will examine the relationship betweenA, the ring of invariantsA H, and the smash productA # H. We begin by studying the situation whereA is an irreducibleA # H module and, as an application of our first main theorem, show that ifD is a division ring then [D : D H]≦dimH. We next show that prime rings with central rings of invariants satisfy a polynomial identity under the action of certain Hopf algebras. Finally, we show that the primeness ofA # H is strongly related to the faithfulness of the left and right actions ofA # H onA.
Similar content being viewed by others
References
E. Abe,Hopf Algebras, Cambridge Univ. Press, Cambridge, 1980.
J. Bergen,Constants of Lie algebra actions, J. Algebra114 (1988), 452–465.
J. Bergen,Automorphic-differential identities in rings, Proc. Am. Math. Soc.106 (2) (1989), 297–305.
G. M. Bergman and I. M. Isaacs,Rings with fixed-point-free group actions, Proc. London Math. Soc27 (1973), 69–87.
J. Bergen and S. Montgomery,Smash products and outer derivations, Isr. J. Math.53 (1986), 321–345.
A. Braun, unpublished.
M. Cohen,H-Simple H-module algebras, Canadian Math. Bull.30(3) (1987), 363–366.
M. Cohen and D. Fischman,Hopf algebra actions, J. Algebra100 (1986), 363–379.
M. Cohen, D. Fischman and S. Montgomery,Hopf Galois extensions, smash products, and Morita equivalence, J. Algebra133 (1990), 351–372.
I. N. Herstein and L. Neumann,Centralizers in rings, Ann. Mat. Pura Appl.102(4) (1975), 37–44.
N. Jacobson,Structure of Rings, Am. Math. Soc. Colloquium Publ., 1956.
N. Jacobson,Lie Algebras, Wiley-Interscience, New York, 1962.
V. K. Kharchenko,Galois extensions and rings of quotients, Algebra i Logika13(4) (1974), 460–484, 488 (English transl. (1975), 265–281).
J. Lambek,Rings and Modules, Blaisdell, Waltham, Massachusetts, 1966.
W. Martindale,Prime rings satisfying a generalized polynomial identity, J. Algebra12 (1969), 576–584.
J. C. McConnell and M. E. Sweedler,Simplicity of smash products, Proc. London Math. Soc.23(3) (1971), 251–266.
J. Osterburg,Central fixed rings, J. London Math. Soc.23(2) (1981), 246–248.
A. Z. Popov,Derivations of prime rings, Algebra i Logika22 (1983), 79–92.
M. E. Sweedler,Cohomology of algebras over Hopf algebras, Trans. Am. Math. Soc.133 (1968), 203–239.
M. E. Sweedler,Hopf Algebras, Benjamin, New York, 1969.
M. E. Sweedler,Integrals for Hopf algebras, Ann. of Math.89(2) (1969), 323–335.
Author information
Authors and Affiliations
Additional information
The first author was supported by the Faculty Research and Development Fund of the College of Liberal Arts and Sciences and the University Research Council at DePaul University and NSF Grant No. 8521704. He also wishes to thank Ben Gurion University for its hospitality, where much of this work was done.
The second and third authors were supported by the Fund for Basic Research administered by the Israel Academy of Sciences and Humanities.
Part of this author’s contribution is included in her Ph.D. thesis at Ben Gurion University under the supervision of the second author.
Rights and permissions
About this article
Cite this article
Bergen, J., Cohen, M. & Fischman, D. Irreducible actions and faithful actions of hopf algebras. Israel J. Math. 72, 5–18 (1990). https://doi.org/10.1007/BF02764609
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02764609