ma come sono le estensioni vettoriali?