Locally Frobenius algebras and Hopf algebras

We develop a theory of \emph{locally Frobenius algebras} which are colimits of certain directed systems of Frobenius algebras. A major goal is to obtain analogues of the work of Moore \& Peterson and Margolis on \emph{nearly Frobenius algebras} and \emph{$P$-algebras} which was applied to graded Hopf algebras such as the Steenrod algebra for a prime. Such locally Frobenius algebras are coherent and in studying their modules we are naturally led to focus on coherent and finite dimensional modules. Indeed, the category of coherent modules over locally Frobenius algebra $A$ is abelian with enough projectives and injectives since $A$ is injective relative to the coherent modules; however it only has finite limits and colimits. The finite dimensional modules also form an abelian category but finite dimensional modules are never coherent. The minimal ideals of a locally Frobenius algebra are precisely the ones which are isomorphic to coherent simple modules; in particular it does not contain a copy of any finite dimensional simple module so it is not a Kasch algebra. We discuss possible versions of stable module categories for such algebras. We also discuss possible monoidal structures on module categories of a locally Frobenius Hopf algebra: for example tensor products of coherent modules turn out to be pseudo-coherent. Examples of locally Frobenius Hopf algebras include group algebras of locally finite groups, already intensively studied in the literature.Comment: Minor changes and corrections; Section 2 modified, some results and proofs correcte