modular vector spaces