Definition talk:Generator of Module

This is ambiguous. Two things are defined: The fact that a set is a generator of the submodule generated by it, requires a proof. As it stands, it's as if it is automatically true because the same terminology is defined twice. --barto (talk) 05:37, 29 July 2017 (EDT)
 * the submodule generated by a set
 * a spanning set/generator of a module

It is subtle. It's about the fact that the generated submodule does not depend on the module in which the generator is contained. --barto (talk) 05:56, 29 July 2017 (EDT)


 * Want to address it then? Leave a SourceReview template on any resulting pages so the new structure gets properly revisited with the source works in mind, if you could. Thx. --prime mover (talk) 06:45, 29 July 2017 (EDT)


 * I'll try. I still have to think how it should be structured, and check those books. May take some time. If I don't review those sources myself, I'll leave that template, yes. --barto (talk) 07:12, 29 July 2017 (EDT)


 * Once this has been done, I'll look at the other definitions at Definition:Generator, because they can use similar improvements. --barto (talk) 07:14, 29 July 2017 (EDT)