  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.
