Coalgebraic algebra (Q1295554)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Coalgebraic algebra |
scientific article |
Statements
Coalgebraic algebra (English)
0 references
8 February 2000
0 references
From a purely algebraic point of view, a Hopf algebra over a commutative ring \(R\) is a group object in the category of associative and counitary \(R\)-coalgebras. Thus, Hopf algebras are referred by the authors as coalgebraic groups. This leads to the notions of (commutative and cocommutative) coalgebraic ring and coalgebraic module, which are assumed to be bigraded for homological purposes (the paper has its motivation in Algebraic Topology). The authors establish two main results. Theorem 3.4 says that the category of finite-type coalgebraic modules over a coalgebraic ring \(A_{*,*}\) is Abelian. Theorem 5.3 establishes that the category of coalgebraic \(A_{*,*}\)-modules is a symmetric monoidal category under a tensor product functor \(\otimes_{A_{*,*}}\) which is explicitly constructed. Its derived functors are considered in Section 6. The topological background of the paper is explained in the Introduction.
0 references
Hopf algebras
0 references
coalgebraic groups
0 references
coalgebraic rings
0 references
coalgebraic modules
0 references
coalgebraic module tensor products
0 references
derived functors
0 references
symmetric monoidal categories
0 references