David, I find this interesting and helpful. I will be thinking about this, both the vector space case and the R-module case.