Conceptos de módulos finitamente generados y finitamente presentados