On the double power operation (Q1864703)

Let \(p\) be an odd prime, \(H^*\) denote \(\mathbb{Z}/p\)-cohomology, and \(T_2: H^*(X) \to H^*(\mathbb{Z}/p \times \mathbb{Z} /p) \otimes H^*(X)\) be the double iterated total power operation for a CW-complex \(X\). For a chosen linear basis \(B\) of the mod-\(p\) Steenrod algebra \(A_p\) the double iterated total power operation is given by a sum \(T_2(u) = \sum_{b \in B} f(b) \otimes b(u)\) for suitable coefficients \(f(b) \in H^*(\mathbb{Z}/p \times \mathbb{Z}/p)\). In the paper under review the coefficients are determined for \(B\) the basis consisting of the admissible monomials in \(A_p\). A corresponding computation for \(B\) the Milnor basis of \(A_p\) has already been carried out in [\textit{Huỳnh Mùi}, Math. Z. 193, 151-163 (1986; Zbl 0597.55019)]. Corresponding calculations for \(p=2\) can be found in [\textit{J. Klippenstein} and \textit{L. Lomonaco}, Bol. Soc. Mat. Mex., II. Ser. 37, No. 1-2, 309-316 (1992; Zbl 0843.55016) and \textit{Huỳnh Mùi}, Colloq. Math. Soc. János Bolyai 41, 345-355 (1985; Zbl 0596.55009)] respectively.