Abstract
We define formally smooth coalgebras and we study their relation with hereditary coalgebras. The main result of the paper establishes that a coalgebra with separable coradical is hereditary if and only if it is formally smooth if and only if it is the cotensor coalgebra \(T_{C_{0}}(N)\) , where C0 is the coradical of C and N is a certain (C0,C0)–bicomodule.
Similar content being viewed by others
References
Cartan, H. and Eilenberg, S.: Homological Algebra, Princeton University Press, 1956.
Cuntz, J. and Quillen, D.: Algebra extensions and nonsingularity, J. Amer. Math. Soc. 8 (1995), 251–289.
Chin, W.: Hereditary and path coalgebras, Comm. Algebra 30(4) (2002), 1829–1831.
Doi, Y.: Homological coalgebra, J. Math. Soc. Japan 33 (1981), 31–50.
Montgomery, S.: Hopf Algebras and their Actions on Rings, CBMS Reg. Conf. Ser. Math. 82 Amer. Math. Soc., Providence, 1993.
Nichols, W. D.: Bialgebras of type one, Comm. Algebra 6(15) (1978), 1521–1552.
Shelter, W. F.: Smooth algebras, J. Algebra 103 (1986), 677–685.
Sweedler, M. E.: Hopf Algebras, Benjamin, New York, 1969.
Weibel, C. A.: An Introduction to Homological Algebra, Cambridge University Press, 1994.
Woodcook, D.: Some categorical remarks on the representation theory of coalgebras, Comm. Algebra 25(9) (1997), 2775–2794.
Author information
Authors and Affiliations
Additional information
Mathematics Subject Classifications (2000)
primary: 16W30; secondary: 18G20.
D. Ştefan: This author thanks the members of the Algebra Department of the University of Granada for their warm hospitality. He is especially grateful to Pascual Jara for the kind invitation to visit University of Granada. This research was partially supported by CERES, Contract 4-147.
Rights and permissions
About this article
Cite this article
Jara, P., Merino, L., Llena, D. et al. Hereditary and Formally Smooth Coalgebras. Algebr Represent Theor 8, 363–374 (2005). https://doi.org/10.1007/s00000-005-8110-3
Issue Date:
DOI: https://doi.org/10.1007/s00000-005-8110-3