Given a (not necessarily unital) ring R, a left R-module (M,ν), where ν:R×M→M is the action, is finitely generated if there exist a set S⊂M such that the composition of the inclusion of sets R×S↪R×M and the action ν:R×M→M is surjective.
finitely presented module?
free module