 Comodule

A right comodule over a coalgebra $(C,\Delta ,\epsilon )$ over a commutative ring $k$ is a $k$-module $M$ with a coaction $\rho :M\to M{\otimes }_{k}C$ satisfyingusing the canonical tensor identifications. In Sweedler notation, $\rho (m)=\sum m_{(0)}\otimes m_{(1)}$. The equations are the reversed-arrow counterparts of associativity and the unit law for an algebra module.^[ref]

For the group algebra coalgebra $kG$ with $\Delta (g)=g\otimes g$, a direct sum $M={⨁}_{g\in G}{M}_g$ gives a right comodule by $\rho (m_g)=m_g\otimes g$. Conversely, expanding a coaction in the basis of group elements recovers this direct sum decomposition. Thus comodules over this coalgebra encode a decomposition indexed by $G$, whereas modules over the same group algebra encode a group representation. More generally, the definition extends to comonoids in a monoidal category whenever the relevant tensor action is specified.

A comodule is a concept from category theory and algebra, specifically in the context of module theory and representation theory. In simple terms, a comodule can be thought of as a structure that is dual to a module over a coalgebra in a manner analogous to how modules relate to algebras.