The Adams-Quillen theorem describes the structure of a Hopf algebroid over a commutative base on the dual BP-Steenrod algebra $BP_\bullet(BP)$.