Modules over linear spaces admitting a multiplicative basis

Abstract

Let V and W be two vector spaces over a base field . It is said that V is a module over W if it is endowed with a bilinear map , . A basis of V is called multiplicative with respect to the basis of W if for any we have either or for some . We show that if V admits a multiplicative basis in the above sense then it decomposes as the direct sum of well-described submodules admitting each one a multiplicative basis. Also, under a mild condition, the minimality of V is characterized in terms of the multiplicative basis and it is shown that the above direct sum is by means of the family of its minimal submodules, admitting each one a multiplicative basis. Some applications to the structure theory of arbitrary algebras with multiplicative bases, arbitrary algebraic pairs with multiplicative bases and modules over arbitrary algebras with multiplicative bases are also provided.