Department of Mathematics, University of Manchester, Manchester M13 9PL, United Kingdom ; Department of Mathematics, University of Manchester, Manchester M13 9PL, United Kingdom
Abstract:
A 20-year-old conjecture about the mod 2 Steenrod algebra in the Steenrod algebra at the prime 2. In particular, it is shown that for all , . In addition, several interesting relations in are developed in order to carry out the proof.