All Questions

Let $p$ be an odd prime and $n>1$. I am trying to understand why the cohomology ring $H^{\ast}(\mathbb{Z}/p^n;\mathbb{F_p})$ is given by $$\mathbb{F}_p[y]\otimes\Lambda(x),$$ with $|x|=1,|y|=2$ and ...

$\DeclareMathOperator\SL{SL}$In Soulé's paper "The cohomology of $\SL_3(\mathbb{Z})$" the cohomology ring $H^*(\SL(3,\mathbb{Z}),\mathbb{Z})_{(2)}$ is determined in Theorem 4.iv. I'm wanting ...

Let $p$ be an odd prime. The $\mathbb F_p$ cohomology of the cyclic group of order $p$ is well-known: $\mathrm{H}^\bullet(C_p, \mathbb F_p) = \mathbb F_p[\xi,x]$ where $\xi$ has degree 1, $x$ has ...

As the tile suggests, I'm interested in computing the action of the Steenrod Algebra on $H^*(D_{2n};\mathbb{Z}_2)$, for $n=0 \pmod{4}$. Let us start with some definitions/facts: $$D_{2n} = \langle x,y ...