Poincar duality algebras originated in the work of topologists on the cohomology of closed manifolds, and Macaulay's dual systems in the study of irreducible ideals in polynomial algebras. Steenrod operations also originated in algebraic topology and they provide a noncommutative tool to study commutative algebras over a Galois field. The authors skilfully bring together these ideas and apply them to problems in invariant theory. A number of remarkable...