Por lo tanto, los "A"-módulos a la izquierda finitamente generados son exactamente los módulos de la forma Hom("P", "k") donde "P" es un "A"-módulo a la derecha finitamente generado proyectivo.