Why does one consider the dual of the Steenrod algebra?

There are really two reasons, both of which are already alluded to in Eric Peterson's answer and in Pierre's answer. Formally one can think about mod p cohomology as being a functor to the category of modules over the Steenrod Algebra. Similarly one can think about mod p homology as being a functor to the category of comodules over the dual to the Steenrod Algebra. These seem formally the same, and the first seems preferable since most of us are happier thinking about modules than about comodules. But: 1) Certain kinds of formulas can be written down more easily for the dual of the Steenrod Algebra than for the Steenrod Algebra itself. In particular, the coproduct on the dual of the Steenrod Algebra has a formula that is simpler for some applications than understanding the noncommutative product on the Steenrod Algebra, via (for example) the Adem relations. As an example, the Milnor basis of the Steenrod Algebra is defined by noting that the dual to the Steenrod Algebra is a polynomial algebra. The Milnor basis to the Steenrod Algebra is then the dual basis to the monomial basis of the dual algebra. 2) The Steenrod Algebra is the (Hopf) algebra of cohomology operations. By contrast, the dual to the Steenrod Algebra is the (Hopf) algebra of homology cooperations. When constructing the Adams spectral sequence for other theories (other than mod p homology or cohomology) it is more convenient to use the homology version with the algebra of homology cooperations. This is because the cohomology of a product often involves completions, whereas the homology of a product does not. Once one has incorporated this way of thinking about things it becomes convenient even for the ordinary Adams spectral sequence. It removes the confusion caused by contravariant functors, and it makes maps between Adams spectral sequences (for different homology theories) more transparent. 


Hal Sadofsky's answer is great, and you should accept it. If you want a more obscure point of view, one which is purely algebraic, then (at least at the prime 2), the dual of the Steenrod algebra represents the group of strict automorphisms of the additive formal group. That is, for any commutative $\mathbf{F}_2$algebra $R$, the additive formal group for $R$ is just the group $(R,+)$, and an automorphism of this is determined by a power series $f(x)$ with coefficients in $R$ such that $f(x+y) = f(x) + f(y)$. The group operation is composition of power series. So such automorphisms are just power series of the form $$ r_0 x + r_1 x^2 + r_2 x^4 + \dots + r_{n} x^{2^n} + \dots, $$ where each $r_i$ is in $R$ and $r_1$ is in $R^\times$. Such an automorphism is called strict if $r_1=1$. Now if $A$ is the dual of the mod 2 Steenrod algebra, then it's easy to check that $$ \text{Hom}_{\mathbf{F}_2\text{alg}}(A, R) $$ is in bijection with the set of strict automorphisms, as above, where given a map $A \to R$, each coefficient $r_{n}$ of the power series is determined by the image of the polynomial generator $\xi_n$ (or maybe its antipode $\zeta_n$). It's fun to then verify that composition of power series is induced by the coproduct in $A$: the group operation $$ \text{Hom}_{\mathbf{F}_2\text{alg}}(A, R) \times \text{Hom}_{\mathbf{F}_2\text{alg}}(A, R) \to \text{Hom}_{\mathbf{F}_2\text{alg}}(A, R) $$ is induced by an $\mathbf{F}_2$algebra map $$ A \to A \otimes A, $$ and it's precisely the coproduct of $A$, as described by Milnor. At odd primes you can do this with just the polynomial part of the dual of the Steenrod algebra. There is also a connection between $A$ and complete binary trees... 

