An embedding for the \(E_2\)-term of the Adams spectral sequence (Q2467922)

In \textit{J. P.~May} [A general algebraic approach to Steenrod operations. Lect. Notes Math. 168, Springer, Heidelberg (1970; Zbl 0242.55023)] the author introduced the so-called algebra of all generalized Steenrod operations for a prime \(p\). The algebra has effectively been used by \textit{M. A. Mandell} in [Topology 40, 43--94 (2001; Zbl 0974.55004)] for studying \(E_\infty\)-algebras and \(p\)-adic homotopy theory. For \(p=2\) this algebra is the graded algebra \(Q\), which is generated by a set of generators \(y_i\) of \(\text{degree}(y_i)=i\), \(i\in \mathbb Z\), which satisfy the so-called generalized Adem relations. Mandell showed that the quotient of \(Q\) by the two-sided ideal generated by \(1+y_0\) is isomorphic to \(A\), the classical Steenrod algebra for the prime \(2\). The authors of the present article noticed that by introducing an appropriate augmentation on \(Q\) one can regard the quotient map \(Q \to A\) as a map of augmented graded algebras, and they show that the induced map on cohomology induces a monomorphism, which allows to regard \(\text{Ext}_A(\mathbb Z/2,\mathbb Z/2)\) as a subalgebra of \(\text{Ext}_Q(Z\mathbb /2,\mathbb Z/2)\). Moreover they show that \(\text{Ext}_Q(\mathbb Z/2,\mathbb Z/2)\) would coincide with the tensor product of \(\text{Ext}_A(\mathbb Z/2,\mathbb Z/2)\) and the exterior algebra generated by the dual of \(1+y_0\), provided \(Q\) is a Koszul algebra in the sense of \textit{S. B.~ Priddy} [Trans. Am. Math. Soc. 152, 39--60 (1970; Zbl 0261.18016)]. To the reviewer's knowledge the latter is not known at the present state.