Dejemos que sea un álgebra de Banach con norma y sea un espacio de Banach con norma . Si existe una operación tal que para cualquier y tenemos
- ,
- ,
- ,
entonces se llama Banach izquierdo -módulo. Por ejemplo es un Banach izquierdo -por su producto algebraico.
Si son dos Banach izquierdos -el operador lineal acotado se llama izquierda -homomorfismo de módulo si para cualquier y .
Dejemos que sea un grupo localmente compacto, consideremos el álgebra del grupo de convolución y a la izquierda -módulos para . ¿Queda algo de -homomorfismo de módulo de a ?