Traducido a lenguaje de módulos, esto significa que todos los módulos sobre el álgebra de grupo k[G] son inyectivos.