  Polynomial representations of general linear groups and modules over Schur
algebras are compared. We work over an arbitrary commutative ring and show that
Schur-Weyl duality is the key for an equivalence between both categories.
