An \(\mathrm A_\infty\)-structure on the cohomology ring of the symmetric group \(\mathrm S_p\) with coefficients in \(\mathbb F_p\) (Q471769)

Let \(p\) be a prime, and let \(\mathbb{F}_pS_p\) be the group algebra of the symmetric group over the field \(\mathbb{F}_p\). The main aim of the present paper is to study various cohomological properties associated to the trivial \(\mathbb{F}_pS_p\)-module \(\mathbb{F}_p\). In order to do this the author constructs a concrete projective resolution for \(\mathbb{F}_p\) using the method called ``Walking around the Brauer tree'' (Section 4). In the last section of the paper a minimal model for the dg-algebra \(\mathrm{Hom}_{\mathbb{F}_pS_p}^\ast(\mathrm{PRes}\mathbb{F}_p,\mathrm{PRes}\mathbb{F}_p)\) is computed.