On an injectivity lemma in the proof of Tannakian duality
Abstract
In this short work we give a very short and elementary proof of the injectivity lemma, which plays an important role in the Tannakian duality for Hopf algebras over a field. Based on this we provide some generalizations of this fact to the case of flat coalgebras over a Noetherian domain.
Communicated by P. Smith