A short geometric derivation of the dual Steenrod algebra

TL;DR

This paper presents a geometric, non-computational derivation of the dual Steenrod algebra by characterizing it as automorphisms of the formal additive group, using universal properties of cohomology theories.

Contribution

It offers a novel geometric approach to derive the dual Steenrod algebra without relying on spectral sequences or Steenrod operations.

Findings

Dual Steenrod algebra characterized as automorphisms of the formal additive group

Derivation based on universal properties of cohomology theories

Simplifies understanding of the algebra's structure

Abstract

This two-page note gives a non-computational derivation of the dual Steenrod algebra as the automorphisms of the formal additive group. Instead of relying on computational tools like spectral sequences and Steenrod operations, the argument uses a few simple universal properties of certain cohomology theories.