A partial \(A_\infty\)-structure on the cohomology of \(C_n\times C_m\) (Q847562)

Let \(p\) be a prime. Let \(n\) and \(m\) be integers with \(n,m\geq3\) and both divisible by \(p\). Then the author shows that the cohomology \(H^*(C_n)\) and \(H^*(C_m)\) of the cyclic groups \(C_n\) and \(C_m\) of order \(n\) and \(m\) are non-trivial, non-formal \(A_\infty\)-algebras, and all operations on \(H^*(C_n\times C_m)\) of arities \(k(n-2)+k(m-2)+2\), \(k(n-2)+(k-1)(m-2)+2\) and \((k-1)(n-2)+k(m-2)+2\) are non-trivial for \(k\geq0\). Here the cohomology has coefficients in a fixed field of characteristic~\(p\).