formula_23 (el conjunto de matrices de formula_24 con entradas en formula_22) es un espacio vectorial sobre el campo formula_22