The purpose of this paper is to discuss the existence, structure, and properties of certain projective and injective Hopf algebras in the category of Hopf algebras that support the structure one expects on the homology of an infinite loop space. As an auxiliary project, we show that these projective and injective Hopf algebras can be realized as the homology of infinite loop spaces associated to spectra obtained from Brown-Gitler spectra by Spanier-Whitehead duality and Brown-Comenetz duality, respectively. We concentrate mainly on indecomposable projectives and injectives, and we work only at the prime 2.
