The Grothendieck group of finitely copresented comodules over incidence coalgebras
Volume 176 / 2024
Abstract
The Grothendieck group of the category {\rm Rep}_{\rm fc}(I) of finitely copresented representations of an interval finite poset I of finite left width is free. It admits a \mathbb Z-basis \{b_i: i\in I\}, formed by some b_i \in \{[S(i)], [E(i)]\}, i\in I, where E(i) are injective envelopes of simple representations S(i). In consequence, the analogous result holds for the Grothendieck group {\bf K}_0({K^\Box I}-{\rm Comod}_{{\rm fc}}) of the category {K^\Box I}-{\rm Comod}_{{\rm fc}} of finitely copresented left comodules over the incidence coalgebra {K^\Box I} of the poset I as above, in particular, for a large class of the coalgebras {K^\Box I} of tame comodule type.