Much of the wonderful invariant theory of the 19 century worked over fields of characteristic zero, while the theory for prime characteristic lagged behind. However, the Frobenius (p power) map in characteristic p > 0 leads to a rich theory of invariants in prime characteristic. This theory is closely bound up with the Steenrod Algebra, which allows us to derive new invariants from known invari...