Added the homomorphism R.

I’m starting to think about how to handle the general case in one go,
using etale cohomology rather than group cohomology.