My question is related to [this][1], [this][2], and [this][3] older questions.<br> Let $\mathcal A_*$ be the dual Steenrod algebra. At $p=2$, the algebraic group $Spec(\mathcal A_*)$ can be naturally identified with the group of automorphisms of $Spf(\mathbb F_2[[x]])$ (with $x$ in degree $1$) that preserve:<br> • the group law $x_1,x_2\mapsto x_1+x_2$,<br> • the tangent space at the identity. When $p$ is an odd prime, the algebraic super-group $Spec(\mathcal A_*)$ can be naturally identified with the super-group of automorphisms of $Spf(\mathbb F_p[[x,\theta]])$ (with $\theta$ in degree $1$, and $x$ in degree $2$ — this is an exterior algebra on $\theta$ tensor a polynomial algebra on $x$) that preserve:<br> • the group law $(x_1,\theta_1),(x_2,\theta_2)\mapsto (x_1+x_2+\theta_1\theta_2,\theta_1+\theta_2)$ ????<br> • the tangent space at the identity. ???? Are these statements correct?<br> If yes, where can I read about them?<br> If not, how does one fix them to make them correct? [1]: https://mathoverflow.net/questions/83096/is-there-a-high-concept-explanation-of-the-dual-steenrod-algebra-as-the-automorp [2]: https://mathoverflow.net/questions/73675/reference-request-spec-a-is-the-automorphism-group-of-the-additive-formal-gro [3]: https://mathoverflow.net/questions/461/understanding-steenrod-squares/195171#195171