# Definition talk:Generator of Module

Jump to navigation
Jump to search

This page also needs some corrections, which I will try to do soon. --Anghel (talk) 20:58, 17 January 2023 (UTC)

- If you are expecting to make material changes to the conditions of the definitions, these may need to be discussed. For a start, the declaration that the underlying ring may need to be a ring with unity is something which needs to be properly sorted out. We are in danger of losing precision. --prime mover (talk) 22:54, 17 January 2023 (UTC)

- I will upload a counterexample that shows in a ring without unity, the submodule generated by $S$ may not be equal to the submodule consisting of all linear combinations of $S$. This should reveal why we need to condition for $R$ to be a ring with unity.

- Second, I would like to change this definition so it says:
- "Let $R$ be a ring.

- Second, I would like to change this definition so it says:

- Let $M$ be an $R$-module.

- Let $H$ be a submodule of $M$.

- Let $S \subseteq H$ be a subset.

- $S$ is a
**generator of $H$**if and only if $H$ is the submodule generated by $S$."

- $S$ is a

- ...and so on for the remaining definitions, to make it explicit that the submodule generated may be a submodule of $M$, as in the definition of Definition:Generated Submodule. --Anghel (talk) 11:38, 18 January 2023 (UTC)