En las notas dice: "Sea B ̸= ∅ un conjunto arbitrario. El A-módulo libre
generado por B es LA(B) = L i∈S Ai donde Ai = A para todo i ∈ S, considerado como A-módulo con la acción regular. Explícitamente, LA(S) = {f : S → A : f función, sop(f) finito} ".No debería ser siempre B en lugar de S? o empezar diciendo que
y que 
es el A-mod generado por 
?