Monomorphisms of coalgebras

Volume 120 / 2010

A. L. Agore Colloquium Mathematicum 120 (2010), 149-155 MSC: 16T15, 16T05. DOI: 10.4064/cm120-1-11

Abstract

We prove new necessary and sufficient conditions for a morphism of coalgebras to be a monomorphism, different from the ones already available in the literature. More precisely, $\varphi: C \rightarrow D$ is a monomorphism of coalgebras if and only if the first cohomology groups of the coalgebras $C$ and $D$ coincide if and only if $\sum_{i \in I}\varepsilon(a^{i})b^{i} = \sum_{i \in I} a^{i} \varepsilon(b^{i})$ for all $\sum_{i \in I}a^{i} \otimes b^{i} \in C \mathbin\square_{D} C$. In particular, necessary and sufficient conditions for a Hopf algebra map to be a monomorphism are given.

Authors

  • A. L. AgoreFaculty of Mathematics and Computer Science
    University of Bucharest
    Str. Academiei 14
    RO-010014 Bucureşti 1, Romania
    and
    Department of Mathematics
    Academy of Economic Studies
    Piata Romana 6
    RO-010374 Bucureşti 1, Romania
    e-mail

Search for IMPAN publications

Query phrase too short. Type at least 4 characters.

Rewrite code from the image

Reload image

Reload image