# Comodule

A **comodule** is a vector space equipped with a coaction map from a coalgebra, the structure obtained by reversing every arrow in the definition of a module over an algebra. Where an algebra acts on a module by a multiplication map \( A \otimes M \to M \), a coalgebra coacts on a comodule by a map \( M \to C \otimes M \) (or \( M \to M \otimes C \) on the right), subject to axioms that mirror associativity and unitality. Comodules are the representation objects of coalgebra theory and, through Hopf algebras, of affine group schemes and quantum groups.<sup>[1](https://web.math.ucsb.edu/~bigelow/books/kassel.pdf)</sup><sup> • </sup><sup>[2](https://condor.depaul.edu/~wchin/crt.pdf)</sup>

| Key fact | Detail |
|---|---|
| Definition | A right \( C \)-comodule is a vector space \( M \) with a structure map \( \rho : M \to M \otimes C \) satisfying \( (\mathrm{id} \otimes \Delta)\rho = (\rho \otimes \mathrm{id})\rho \) and \( (\mathrm{id} \otimes \varepsilon)\rho = \mathrm{id}_M \)<sup>[2](https://condor.depaul.edu/~wchin/crt.pdf)</sup> |
| Category | The category \( \mathcal{M}^{C} \) of right \( C \)-comodules is abelian, with the usual homomorphism theorems<sup>[2](https://condor.depaul.edu/~wchin/crt.pdf)</sup> |
| Finiteness | Every coalgebra is the sum of its finite-dimensional subcoalgebras, and every simple comodule is finite dimensional<sup>[2](https://condor.depaul.edu/~wchin/crt.pdf)</sup> |
| Injectives | Any direct sum of injective comodules is injective, and \( C \) decomposes as a direct sum of indecomposable injective right comodules, each of finite multiplicity<sup>[3](https://www.math.uni-bielefeld.de/~sek/sem/comodules.html)</sup> |
| Projectives | Unlike module categories, comodule categories can lack projective objects<sup>[4](https://doi.org/10.1016/S0022-4049%2899%2900097-3)</sup> |
| Morita-Takeuchi theory | Comodule categories of \( k \)-coalgebras \( C \) and \( D \) are equivalent exactly when a quasi-finite injective \( C \)-cogenerator \( P \) has co-endomorphism coalgebra isomorphic to \( D \)<sup>[3](https://www.math.uni-bielefeld.de/~sek/sem/comodules.html)</sup> |
| Group representations | A representation of an affine group scheme \( G \to \mathrm{Spec}\,R \) is an \( R \)-module \( V \) with a coaction \( V \to \Gamma(G, \mathcal{O}_G) \otimes_R V \), that is, a comodule over the coordinate Hopf algebra<sup>[5](https://sites.math.washington.edu/~jarod/courses/math582C-winter21/moduli-6-24-21.pdf)</sup> |

## Definition

Let \( (C, \Delta, \varepsilon) \) be a coalgebra over a field \( k \), where \( \Delta : C \to C \otimes C \) is the coproduct and \( \varepsilon : C \to k \) the counit. A left \( C \)-comodule is a pair \( (N, \Delta_N) \) with \( N \) a vector space and \( \Delta_N : N \to C \otimes N \) a linear map, called the coaction, such that two diagrams commute: the coassociativity square, which says that coacting twice agrees with coacting once and then splitting the coalgebra factor, and the counit triangle, which says that identifying \( k \otimes N \) with \( N \) recovers the identity.<sup>[1](https://web.math.ucsb.edu/~bigelow/books/kassel.pdf)</sup> In the right-handed convention used by Chin, a right \( C \)-comodule is a vector space \( M \) with \( \rho : M \to M \otimes C \) satisfying \( (\mathrm{id} \otimes \Delta)\rho = (\rho \otimes \mathrm{id})\rho \) and \( (\mathrm{id} \otimes \varepsilon)\rho = \mathrm{id}_M \).<sup>[2](https://condor.depaul.edu/~wchin/crt.pdf)</sup> A right \( C \)-comodule is the same thing as a left comodule over the opposite coalgebra \( C^{\mathrm{cop}} \).<sup>[1](https://web.math.ucsb.edu/~bigelow/books/kassel.pdf)</sup>

A linear map \( f : N \to N' \) between comodules is a morphism of comodules when it commutes with the coactions, \( (\mathrm{id} \otimes f) \circ \Delta_N = \Delta_{N'} \circ f \).<sup>[1](https://web.math.ucsb.edu/~bigelow/books/kassel.pdf)</sup> A subspace \( N' \subseteq N \) is a subcomodule when \( \Delta_N(N') \subseteq C \otimes N' \); when \( M \) is a subspace of \( C \) itself with \( \rho = \Delta \), such an \( M \) is called a right coideal of \( C \).<sup>[1](https://web.math.ucsb.edu/~bigelow/books/kassel.pdf)</sup><sup> • </sup><sup>[2](https://condor.depaul.edu/~wchin/crt.pdf)</sup> A comodule is simple when it has no proper nontrivial subcomodules.<sup>[2](https://condor.depaul.edu/~wchin/crt.pdf)</sup>

## Basic examples

**The regular comodule.** The coalgebra \( C \) itself is a \( C \)-comodule with coaction \( \Delta \), and more generally the free \( C \)-comodule on a vector space \( V \) is \( (C \otimes V, \Delta \otimes \mathrm{id}_V) \).<sup>[1](https://web.math.ucsb.edu/~bigelow/books/kassel.pdf)</sup>

**Duality with modules.** If \( (N, \Delta_N) \) is a \( C \)-comodule and \( C^* \) carries the dual algebra structure, then the dual space \( N^* \) is a right \( C^* \)-module. Conversely, the dual of a finite-dimensional algebra \( A \) is a coalgebra, and the dual \( M^* \) of any right \( A \)-module \( M \) becomes an \( A^* \)-comodule.<sup>[1](https://web.math.ucsb.edu/~bigelow/books/kassel.pdf)</sup> This is the precise sense in which comodules dualize modules: a coalgebra is obtained by reversing the multiplication and unit maps of an algebra, and a comodule by reversing the action maps of a module.<sup>[2](https://condor.depaul.edu/~wchin/crt.pdf)</sup>

**Tensor products.** Putting a comodule structure on the tensor product \( M \otimes N \) of two comodules requires more than a coalgebra: the coalgebra must carry a bialgebra structure, as in a [Hopf algebra](https://www.edgepedia.org/hopf-algebra). With one, the tensor product of comodules is again a comodule, and the usual associativity and commutativity isomorphisms are comodule morphisms.<sup>[1](https://web.math.ucsb.edu/~bigelow/books/kassel.pdf)</sup>

## Finiteness and the coefficient space

Coalgebra theory is governed by a finiteness phenomenon with no module-theoretic counterpart. The fundamental theorem of coalgebras states that every coalgebra is the sum of its finite-dimensional subcoalgebras.<sup>[2](https://condor.depaul.edu/~wchin/crt.pdf)</sup> The corresponding statement for comodules is that for any subset \( U \) of a right \( C \)-comodule \( M \), the span of the left tensor factors of \( \rho(U) \) is the subcomodule generated by \( U \), and it is finite dimensional whenever \( U \) is.<sup>[2](https://condor.depaul.edu/~wchin/crt.pdf)</sup>

Writing the coaction on a basis in the form \( \rho(m_i) = \sum_t m_t \otimes c_{ti} \), the span of the coefficients \( c_{ti} \) is the coefficient space \( \mathrm{cf}(M) \), a subcoalgebra of \( C \) over which \( M \) is a finite-dimensional comodule when \( M \) is finite dimensional. The coefficient space is dual to the annihilator of a module: \( \mathrm{cf}(M)^{\perp} \) is the annihilator of \( M \) as a module over the dual algebra \( C^* \).<sup>[2](https://condor.depaul.edu/~wchin/crt.pdf)</sup> As a consequence, simple comodules and simple coalgebras are automatically finite dimensional.<sup>[2](https://condor.depaul.edu/~wchin/crt.pdf)</sup>

## The comodule category

The category \( \mathcal{M}^C \) of right \( C \)-comodules is abelian, and the fundamental homomorphism theorems hold in it.<sup>[2](https://condor.depaul.edu/~wchin/crt.pdf)</sup> Its injective behavior is better than that of module categories: any direct sum of injective comodules is injective, and every coalgebra \( C \) is isomorphic, as a right comodule, to a direct sum of indecomposable injective right \( C \)-comodules, each appearing with finite multiplicity; the multiplicity of \( I(S) \) equals the dimension of the simple \( S \) over its endomorphism ring.<sup>[3](https://www.math.uni-bielefeld.de/~sek/sem/comodules.html)</sup> The striking difference runs the other way for projectives: categories of comodules over a coalgebra can lack projective objects altogether, which is impossible for module categories over algebras.<sup>[4](https://doi.org/10.1016/S0022-4049%2899%2900097-3)</sup>

Structure theorems describe the category in quiver-like terms. Coalgebras can be split via a Brauer decomposition and via an Ext-quiver decomposition, and every coalgebra \( C \) possesses a basic coalgebra \( B \) whose comodule category is equivalent to that of \( C \); if \( k \) is algebraically closed, then \( B \) embeds as a subcoalgebra in the path coalgebra built from the Ext-quiver of the category formed by all \( C \)-comodules.<sup>[3](https://www.math.uni-bielefeld.de/~sek/sem/comodules.html)</sup>

## Morita-Takeuchi theory and equivalences

The Morita theory of module categories has a dual counterpart for comodules, developed by M. Takeuchi in the 1977 paper *Morita theorems for categories of comodules* for coalgebras over fields.<sup>[6](https://arxiv.org/abs/math/0109061)</sup> The central functor is the cotensor product, the comodule analog of the tensor product over a ring, and the key class of objects is that of quasi-finite comodules, in which any simple subcomodule occurs with finite multiplicity.<sup>[3](https://www.math.uni-bielefeld.de/~sek/sem/comodules.html)</sup><sup> • </sup><sup>[6](https://arxiv.org/abs/math/0109061)</sup> To a quasi-finite comodule \( X \) one attaches the co-endomorphism coalgebra \( e_D(X) = h_D(X, X) \), whose dual algebra is (anti-)isomorphic to the algebra of comodule endomorphisms of \( X \).<sup>[7](https://www.tandfonline.com/doi/full/10.1016/j.jtusci.2015.02.003)</sup><sup> • </sup><sup>[6](https://arxiv.org/abs/math/0109061)</sup>

The Morita-Takeuchi theorem states that the comodule categories of \( k \)-coalgebras \( C \) and \( D \) are equivalent if and only if there exists a quasi-finite injective \( C \)-cogenerator \( P \) whose co-endomorphism coalgebra is isomorphic to \( D \).<sup>[3](https://www.math.uni-bielefeld.de/~sek/sem/comodules.html)</sup> This has been extended to coalgebras over arbitrary commutative rings, under the hypothesis that the coalgebras are flat as modules over the ring; in that setting an equivalence is characterized by a bicomodule that is quasi-finite, faithfully coflat, and an injector on either side.<sup>[6](https://arxiv.org/abs/math/0109061)</sup>

The theory also gives recognition theorems for abstract categories. An abelian \( k \)-category is \( k \)-linear equivalent to the category of finite-dimensional comodules over a \( k \)-coalgebra exactly when it is a length category, meaning every object has finite length, and all its Hom-sets are finite-dimensional \( k \)-spaces.<sup>[3](https://www.math.uni-bielefeld.de/~sek/sem/comodules.html)</sup> For the category of all comodules, the criterion is that the category be locally finite, meaning every object is a union of finite-length objects, and that the endomorphism ring of every simple object be finite dimensional over \( k \).<sup>[3](https://www.math.uni-bielefeld.de/~sek/sem/comodules.html)</sup>

## Representations of group schemes and Hopf algebras

Comodules are the language in which representations of affine group schemes are written. A representation of a group scheme \( G \to \mathrm{Spec}\,R \) is an \( R \)-module \( V \) together with a coaction homomorphism \( \hat{\sigma} : V \to \Gamma(G, \mathcal{O}_G) \otimes_R V \) into the coordinate ring; equivalently, it is a comodule over the coordinate Hopf algebra of \( G \).<sup>[5](https://sites.math.washington.edu/~jarod/courses/math582C-winter21/moduli-6-24-21.pdf)</sup> A comodule structure on \( V \) determines a representation \( r \) by \( r_R(g)(v \otimes 1) = (\mathrm{id}_V \otimes g)\rho(v) \), extended \( R \)-linearly, and this correspondence is a bijection onto the rational representations of \( G \) under which subcomodules correspond to subrepresentations.<sup>[8](https://alphabetamath.cc/item/def-rational-representation-and-comodule-of-an-affine-group-scheme)</sup> A finiteness property of comodules then lets any representation of an affine group scheme be understood in terms of its finite-dimensional representations.<sup>[9](https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nMAT000964_Darago.pdf)</sup>

The same dictionary extends to quantum groups: a \( C \)-comodule is also called a corepresentation of \( C \), and representations of a quantum group are defined as comodules over its Hopf algebra.<sup>[10](https://www.mathematik.uni-muenchen.de/~pareigis/Vorlesungen/02SS/QGandNCG.pdf)</sup> In stable homotopy theory, the \( E \)-homology of a space carries not only an \( E_* \)-module structure but also a comodule structure over the Hopf algebroid \( (E_*, E_*E) \), which is the starting point for the homological algebra of such comodules.<sup>[11](https://arxiv.org/abs/math/0301229)</sup>

## Generalizations

The notion extends along several axes. A bicomodule is a left and right comodule whose two coactions are compatible, and the category \( {}_B\mathcal{M}^C \) of \( (B, C) \)-bicomodules is used to state Morita-Takeuchi contexts.<sup>[2](https://condor.depaul.edu/~wchin/crt.pdf)</sup><sup> • </sup><sup>[3](https://www.math.uni-bielefeld.de/~sek/sem/comodules.html)</sup> Over a ring \( A \), a coalgebra in the monoidal category of \( A \)-bimodules has a category of comodules that arises naturally in the study of Hopf-Galois extensions, [descent theory](https://www.edgepedia.org/descent-theory), and Hopf algebroids.<sup>[12](https://www.mpim-bonn.mpg.de/node/7064)</sup> More generally still, a coring is a structure dual to a ring, and many comodules of coalgebras considered in Hopf algebra theory turn out to be comodules of specific corings; the coring-comodule framework has applications ranging from Hopf algebroids to descent and [Galois theory](https://www.edgepedia.org/galois-theory).<sup>[13](https://www.sciencedirect.com/science/chapter/handbook/abs/pii/S1570795408002064)</sup> For braided bialgebras in infinite-dimensional settings, duality turns coactions of a coalgebra into actions of its dual algebra whenever the dual objects exist, with graded or filtered examples in which each degree is finite dimensional.<sup>[14](https://revistas.uns.edu.ar/revuma/article/view/2956)</sup>

## References

1. [Christian Kassel, Quantum Groups, Graduate Texts in Mathematics 155, Springer, Chapter III, Sections 1 and 6](https://web.math.ucsb.edu/~bigelow/books/kassel.pdf)
2. [William Chin, A Brief Introduction to Coalgebra Representation Theory](https://condor.depaul.edu/~wchin/crt.pdf)
3. [Seminar program: Structure Theory of Coalgebras and Comodules, Universität Bielefeld (2003)](https://www.math.uni-bielefeld.de/~sek/sem/comodules.html)
4. [Strongly rational comodules and semiperfect Hopf algebras over QF rings, Journal of Algebra](https://doi.org/10.1016/S0022-4049%2899%2900097-3)
5. [Jarod Alper, C.1.3 Representations, course notes](https://sites.math.washington.edu/~jarod/courses/math582C-winter21/moduli-6-24-21.pdf)
6. [Equivalences of comodule categories for coalgebras over rings, arXiv:math/0109061](https://arxiv.org/abs/math/0109061)
7. [On tilting, coperfect tilting complexes and strong derived equivalences of comodules over a coalgebra, Journal of Taibah University for Science](https://www.tandfonline.com/doi/full/10.1016/j.jtusci.2015.02.003)
8. [Rational representations and comodules of an affine group scheme, Alphabeta Math](https://alphabetamath.cc/item/def-rational-representation-and-comodule-of-an-affine-group-scheme)
9. [Algebraic group schemes: finiteness of comodules, seminar notes, Universidad de Buenos Aires](https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nMAT000964_Darago.pdf)
10. [Lectures on representation theory, reconstruction and Tanaka duality, Universität München](https://www.mathematik.uni-muenchen.de/~pareigis/Vorlesungen/02SS/QGandNCG.pdf)
11. [Homotopy theory of comodules over a Hopf algebroid, arXiv:math/0301229](https://arxiv.org/abs/math/0301229)
12. [Homotopical Morita theory for corings, Max Planck Institute for Mathematics](https://www.mpim-bonn.mpg.de/node/7064)
13. [Comodules and Corings, Handbook of Algebra, ScienceDirect](https://www.sciencedirect.com/science/chapter/handbook/abs/pii/S1570795408002064)
14. [Duality for infinite-dimensional braided bialgebras and their (co)modules, Revista de la Unión Matemática Argentina](https://revistas.uns.edu.ar/revuma/article/view/2956)

---
*Topic: Encyclopedia › Physical world and mathematics › Mathematics and statistics › Numbers and algebra › Advanced algebraic structures › Hopf and quantum algebras › Comodules and Hopf module categories*

*Initially written Sep 17, 2026 · Reviewed: Sep 30, 2026; Oct 15, 2026 · Edited: Sep 30, 2026; Oct 11, 2026; Oct 15, 2026 · Last review: Oct 15, 2026*

*Copyright 2026 EdgeChat AI, a subsidiary of Biostate AI.*

License: Edgepedia Community License 1.0, https://www.edgepedia.org/edgepedia/license