Publications Meetings The Profession Membership Programs Math Samplings Policy & Advocacy In the News About the AMS
|
   
Available in electronic format
Available in print format 		Transactions of the American Mathematical Society
Transactions of the American Mathematical Society
ISSN 1088-6850(e) ISSN 0002-9947(p)

     

Projectivity and freeness over comodule algebras

Author(s): Serge Skryabin
Journal: Trans. Amer. Math. Soc. 359 (2007), 2597-2623.
MSC (2000): Primary 16W30
Posted: January 25, 2007
MathSciNet review: 2286047
Retrieve article in: PDF

Abstract | References | Similar articles | Additional information

Abstract: Let $ H$ be a Hopf algebra and $ A$ an $ H$-simple right $ H$-comodule algebra. It is shown that under certain hypotheses every $ (H,A)$-Hopf module is either projective or free as an $ A$-module and $ A$ is either a quasi-Frobenius or a semisimple ring. As an application it is proved that every weakly finite (in particular, every finite dimensional) Hopf algebra is free both as a left and a right module over its finite dimensional right coideal subalgebras, and the latter are Frobenius algebras. Similar results are obtained for $ H$-simple $ H$-module algebras.

References:

1.
J., Bergen; M., Cohen; D., Fischman; Irreducible actions and faithful actions of Hopf algebras, Isr. J. Math. 72 (1990), 5-18. MR 1098978 (92g:16044)

2.
N., Bourbaki; Commutative Algebra, Springer (1989). MR 1727221 (2001g:13001)

3.
E., Cline; B., Parshall; L., Scott; A Mackey imprimitivity theory for algebraic groups, Math. Z. 182 (1983), 447-471. MR 0701363 (84j:14046)

4.
S., Dascalescu; C., Nastasescu; S., Raianu; Hopf Algebras, an Introduction, Pure and Applied Mathematics 235, Marcel Dekker (2000). MR 1786197 (2001j:16056)

5.
M., Demazure; P., Gabriel; Groupes Algébriques I Masson (1970). MR 0302656 (46:1800)

6.
Y., Doi; Cleft comodule algebras and Hopf modules, Comm. Algebra 12 (1984), 1155-1169. MR 0738541 (86b:16006)

7.
Y., Doi; Algebras with total integrals, Comm. Algebra 13 (1985), 2137-2159. MR 0801433 (87c:16013)

8.
Y., Doi; Unifying Hopf modules, J. Algebra 153 (1992), 373-385. MR 1198206 (94c:16048)

9.
I., Doraiswamy; Projectivity of modules over rings with suitable group action, Comm. Algebra 10 (1982), 787-795. MR 0651972 (83g:14024)

10.
D., Eisenbud; Commutative algebra with a view toward algebraic geometry, Graduate Texts in Math. 150 Springer (1995). MR 1322960 (97a:13001)

11.
F., Kasch; Moduln und Ringe, Teubner (1977). MR 0429963 (55:2971)

12.
M., Koppinen; T., Neuvonen; An imprimitivity theorem for Hopf algebras, Math. Scand. 41 (1977), 193-198. MR 0485966 (58:5758)

13.
M., Koppinen; Coideal subalgebras in Hopf algebras: Freeness, integrals, smash products, Comm. Algebra 21 (1993), 427-444. MR 1199682 (93j:16029)

14.
H.F., Kreimer; M., Takeuchi; Hopf algebras and Galois extensions of an algebra, Indiana Univ. Math. J. 30 (1981), 675-692. MR 0625597 (83h:16015)

15.
V., Linchenko; Nilpotent subsets of Hopf module algebras, in ``Groups, Rings, Lie and Hopf Algebras", Kluwer, 2003, pp. 121-127. MR 1995055 (2004g:16040)

16.
V., Linchenko; S., Montgomery; L.W., Small; Stable Jacobson's radicals and semiprime smash products, Bull. London Math. Soc. 37 (2005), 860-872. MR 2186719

17.
A., Masuoka; On Hopf algebras with cocommutative coradicals, J. Algebra 144 (1991), 451-466. MR 1140616 (92k:16053)

18.
A., Masuoka; Freeness of Hopf algebras over coideal subalgebras, Comm. Algebra 20 (1992), 1353-1373. MR 1157912 (93d:16051)

19.
A., Masuoka; Coideal subalgebras in finite Hopf algebras, J. Algebra 163 (1994), 819-831. MR 1265867 (95b:16038)

20.
A., Masuoka; Quotient theory of Hopf algebras, in ``Advances in Hopf algebras'', Lecture Notes Pure Appl. Math., Vol. 158, pp. 107-133, Marcel Dekker, 1994. MR 1289423 (95e:16038)

21.
A., Masuoka; Y., Doi; Generalization of cleft comodule algebras, Comm. Algebra 20 (1992), 3703-3721. MR 1191974 (93j:16030)

22.
A., Masuoka; D., Wigner; Faithful flatness of Hopf algebras, J. Algebra 170 (1994), 156-164. MR 1302835 (95i:16040)

23.
J.C., McConnell; J.C., Robson; Noncommutative Noetherian Rings, Wiley (1987). MR 0934572 (89j:16023)

24.
S., Montgomery; Von Neumann finiteness of tensor products of algebras, Comm. Algebra 11 (1983), 595-610. MR 0694775 (84k:16019)

25.
S., Montgomery; Hopf algebras and Their Actions on Rings, CBMS Regional Conference Series in Mathematics, 82 American Mathematical Society (1993). MR 1243637 (94i:16019)

26.
D., Mumford; Geometric Invariant Theory, Ergebnisse der Mathematik und ihrer Grenzgebiete, 34 Springer (1965). MR 0214602 (35:5451)

27.
W.D., Nichols; M.B., Zoeller; A Hopf algebra freeness theorem, Amer. J. Math. 111 (1989), 381-385. MR 0987762 (90c:16008)

28.
W.D., Nichols; M.B., Zoeller; Freeness of infinite dimensional Hopf algebras over grouplike subalgebras, Comm. Algebra 17 (1989), 413-424. MR 0978483 (90c:16009)

29.
W.D., Nichols; M.B., Zoeller; Freeness of infinite dimensional Hopf algebras, Comm. Algebra 20 (1992), 1489-1492. MR 0978483 (90c:16009)

30.
B., Parshall; L., Scott; An imprimitivity theorem for algebraic groups, Indag. Math. 42 (1980), 39-47. MR 0565942 (81k:20059)

31.
D.E., Radford; Pointed Hopf algebras are free over Hopf subalgebras, J. Algebra 45 (1977), 266-273. MR 0437582 (55:10506)

32.
D.E., Radford; Freeness (projectivity) criteria for Hopf algebras over Hopf subalgebras, J. Pure Appl. Algebra 11 (1977), 15-28. MR 0476790 (57:16344)

33.
L.H., Rowen; Ring Theory, Vol. I, Academic Press (1988). MR 0940245 (89h:16001)

34.
H.-J., Schneider; Principal homogeneous spaces for arbitrary Hopf algebras, Isr. J. Math. 72 (1990), 167-195. MR 1098988 (92a:16047)

35.
H.-J., Schneider; Normal basis and transitivity of crossed products for Hopf algebras, J. Algebra 152 (1992), 289-312. MR 1194305 (93j:16032)

36.
H.-J., Schneider; Some remarks on exact sequences of quantum groups, Comm. Algebra 21 (1993), 3337-3357. MR 1228767 (94e:17026)

37.
S.M., Skryabin; An algebraic approach to the Lie algebras of Cartan type, Comm. Algebra 21 (1993), 1229-1336. MR 1209931 (94a:17017)

38.
M.E., Sweedler; Hopf Algebras, Benjamin (1969). MR 0252485 (40:5705)

39.
M., Takeuchi; A correspondence between Hopf ideals and sub-Hopf algebras, Manuscripta Math. 7 (1972), 251-270. MR 0321963 (48:328)

40.
M., Takeuchi; Formal schemes over fields, Comm. Algebra 5 (1977), 1483-1528. MR 0498540 (58:16645)

41.
M., Takeuchi; Relative Hopf modules--equivalences and freeness criteria, J. Algebra 60 (1979), 452-471. MR 0549940 (82m:16006)

42.
Y., Zhu; The dimension of irreducible modules for transitive module algebras, Comm. Algebra 29 (2001), 2877-2886. MR 1849108 (2002i:16058)

Similar Articles:

Retrieve articles in Transactions of the American Mathematical Society with MSC (2000): 16W30

Retrieve articles in all Journals with MSC (2000): 16W30

Additional Information:

Serge Skryabin
Affiliation: Chebotarev Research Institute, Universitetskaya St.~17, 420008 Kazan, Russia
Email: Serge.Skryabin@ksu.ru

DOI: 10.1090/S0002-9947-07-03979-7
PII: S 0002-9947(07)03979-7
Received by editor(s): February 27, 2004
Received by editor(s) in revised form: February 11, 2005
Posted: January 25, 2007
Additional Notes: This research was supported by the project ``Construction and applications of non-commutative geometry" from FWO Vlaanderen. I would like to thank the Free University of Brussels VUB for their hospitality during the time the work was conducted.
Copyright of article: Copyright 2007, American Mathematical Society
The copyright for this article reverts to public domain after 28 years from publication.




AMS and Social Media LinkedIn Facebook Podcasts Twitter YouTube RSS Feeds Blogs Wikipedia