Counterexamples regarding symmetric tensors and divided powers

We investigate the similarities and differences between the module of symmetric tensors image and the module of divided powers image. There is a canonical map image which is an isomorphism in many important cases. We give examples showing that this map need neither be surjective nor injective in general. These examples also show that the functor image does not in general commute with base change.