A Priddy-type Koszulness criterion for non-locally finite algebras
A celebrated result by S. Priddy states the Koszulness of any locally finite homogeneous PBW-algebra, i.e. a homogeneous graded algebra having a Poincaré-Birkhoff-Witt basis. We find sufficient conditions for a non-locally finite homogeneous PBW-algebra to be Koszul, which allows us to completely determine the cohomology of the universal Steenrod algebra at any prime.