Skip to main content

All Questions

Filter by
Sorted by
Tagged with
9 votes
2 answers
650 views

Definition of subcoalgebra over a commutative ring

Let $k$ be commutative ring and $(C, \Delta)$ be a coalgebra over $k$. Let $D$ be a $k$-submodule of $C$. Notes I'm reading give the following definition: $D$ is called subcoalgebra of $C$ if the ...
4 votes
1 answer
763 views

Further developments of Cartier–Gabriel–Kostant–Milnor–Moore Structure Theorem for cocommutative Hopf algebras

A very well-known theorem in Hopf algebra theory (see, for example, Lorenz - A tour of representation theory or the EGNO book (Etingof, Gelaki, Nikshych, and Ostrik - Tensor categories)) states that ...