product ring

For instance, let X be an infinite set, R the product ring K!, and A the set of homomorphisms R→K given by evaluation at all the elements of X. Then the hypothesis of the Lemma holds, but Int_A(R) is the product ring k!, which is not in general free as a k-module.