Álgebra (Álg.) Estructura algebraica definida axiomáticamente. Sean k un cuerpo conmutativo y E un grupo abeliano dotado de una operación de sus elementos con los de k, tal que para todo a, b k y v, w E se cumplan las siguientes condiciones: (a+b) = av+bv; a(v+w) = av+aw; a(bv) =(ab)v; 1. v = v; siendo v l la unidad de k. Los elementos de E se llaman vectores y los de k escalares.