# Bilinear functional

A bilinear mapping from a module over a commutative ring $K$ (a $K$-module) into $K$ itself (considered as a $K$-module).