Oración 1: pero si la característica de "k" no es cero, el ejemplo siguiente puede ayudar: Si "A" es una álgebra asociativa unital sobre el cuerpo "k" con dimensión finita sobre "k", entonces Hom"k"(-, "k") es una dualidad entre los "A"-módulos a la izquierda finitamente generados y los "A"-módulos a la derecha finitamente generados
Oración 2: los "A"-módulos a la izquierda finitamente generados son exactamente los módulos de la forma Hom"k"("P", "k") donde "P" es un "A"-módulo a la derecha finitamente generado proyectivo
Conector: por lo tanto,
Relación: reasoning
Género: articles