On the structure of ideals of the dual algebra of a coalgebra
HTML articles powered by AMS MathViewer
- by David E. Radford
- Trans. Amer. Math. Soc. 198 (1974), 123-137
- DOI: https://doi.org/10.1090/S0002-9947-1974-0346002-4
- PDF | Request permission
Abstract:
The weak-* topology is seen to play an important role in the study of various finiteness conditions one may place on a coalgebra $C$ and its dual algebra ${C^ \ast }$. Here we examine the interplay between the topology and the structure of ideals of ${C^ \ast }$. The basic theory has been worked out for the commutative and almost connected cases (see [2]). Our basic tool for reducing to the almost connected case is the classical technique of lifting idempotents. Any orthogonal set of idempotents modulo a closed ideal of $\operatorname {Rad} {C^\ast }$ can be lifted. This technique is particularly effective when $C = {C_1}$. The strongest results we obtain concern ideals of $C_1^ \ast$. Using the properties of idempotents we show that ${C_1} = \Sigma _{x,y} {{C_x}\Lambda {C_y}}$ where ${C_x}$ and ${C_y}$ run over the simple subcoalgebras of $C$. Our first theorem states that a coalgebra $C$ is locally finite and ${C_0}$ is reflexive if and only if every cofinite ideal of ${C^ \ast }$ contains a finitely generated dense ideal. We show in general that a cofinite ideal $I$ which contains a finitely generated dense ideal is not closed. (In fact either equivalent condition of the theorem does not imply $C$ reflexive.) The preceding statement is true if $C = {C_1}$, or more importantly if $I \supset \operatorname {Rad} {C^\ast }$ and ${C^ \ast }/I$ is algebraic. The second theorem characterizes the closure of an ideal with cofinite radical which also contains a finitely generated dense ideal.References
- Joachim Lambek, Lectures on rings and modules, Blaisdell Publishing Co. [Ginn and Co.], Waltham, Mass.-Toronto, Ont.-London, 1966. With an appendix by Ian G. Connell. MR 0206032
- Robert G. Heyneman and David E. Radford, Reflexivity and coalgebras of finite type, J. Algebra 28 (1974), 215–246. MR 346001, DOI 10.1016/0021-8693(74)90035-0
- Robert G. Heyneman and Moss Eisenberg Sweedler, Affine Hopf algebras. I, J. Algebra 13 (1969), 192–241. MR 245570, DOI 10.1016/0021-8693(69)90071-4
- David E. Radford, Coreflexive coalgebras, J. Algebra 26 (1973), 512–535. MR 327818, DOI 10.1016/0021-8693(73)90012-4
- John Brendan Sullivan, The uniqueness of integrals for Hopf algebras and some existence theorems of integrals for commutative Hopf algebras, J. Algebra 19 (1971), 426–440. MR 288167, DOI 10.1016/0021-8693(71)90100-1
- Moss E. Sweedler, Hopf algebras, Mathematics Lecture Note Series, W. A. Benjamin, Inc., New York, 1969. MR 0252485
- Earl J. Taft and Robert Lee Wilson, On antipodes in pointed Hopf algebras, J. Algebra 29 (1974), 27–32. MR 338053, DOI 10.1016/0021-8693(74)90107-0
Bibliographic Information
- © Copyright 1974 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 198 (1974), 123-137
- MSC: Primary 16A24
- DOI: https://doi.org/10.1090/S0002-9947-1974-0346002-4
- MathSciNet review: 0346002