In 2005, William M. Singer introduced the notion of k-algebra with\ud
coproducts for any commutative ring k, and showed that the algebra of operations\ud
on the cohomology ring of any cocommutative F2-Hopf algebra can be endowed\ud
with such structure. In this paper we show that the same is true when the ground\ud
field of the cocommutative Hopf algebra is Fp, p is any odd prime, and the algebra\ud
of operations B(p) is equipped with an exotic coproduct. We also give an explicit\ud
description of the coalgebra with products dual to B(p)
Abstract. 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.Introduction. The notion of Koszul algebra, introduced by S. Priddy in [15] in particular to construct resolutions for the Steenrod algebra, has led to remarkable achievements in the study of associative algebras defined by quadratic relations. The Koszulness condition provides decisive information to solve several basic problems in that context. [14] gives a beautiful and comprehensive account of the impact of Koszul algebras in several areas of mathematics. Such algebras arise in fact in algebraic geometry, representation theory, non-commutative geometry, number theory, and obviously algebraic topology.In this paper we deal with homogeneous algebras A isomorphic to a quotient of the form T (V )/J(R), where T (V ) = i T i is the tensor algebra over a K-vector space V with basis X = {x i | i ∈ I}, I is a (not necessarily bounded) totally ordered set, and J(R) is the two-sided ideal of relations generated by some R ⊂ T 2 = V ⊗ V .Note that all the Koszulness criteria listed for example in [9] concerning the Hilbert series of A become meaningless if I is not finite; even Priddy's criterion, i.e. the existence of a Poincaré-Birkhoff-Witt basis [15], only holds if the algebra has an internal degree induced by a map g : I n → Z and it is locally finite with respect to length and g (see [15]). It follows that there are examples of homogeneous quadratic algebras whose Koszulness cannot be checked using directly the criteria listed in [9] and [14]: Poisson enveloping algebras of Poisson algebras with generators indexed by Z and quadratic brackets (see [11] for the definition), infinite quantum grassmannians (see
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.