# Some generating set of modules

In a module, we know what a minimal generating set is. But, is it always true that such a set exists? If the module is finitely generated, is it possible?

-
It's also interesting to ask whether minimal generating sets have the same size. –  Dylan Moreland Jun 22 '12 at 1:26

Not every module has minimal generating sets. As another example on the same vein as Hurkyl's, consider the Prüfer $p$-group as a $\mathbb{Z}$-module. A subset generates if and only if it contains elements of arbitrarily high order; but you can remove any finite subset of such a set (you can even remove infinite subsets) and still have a set with that property. Thus, no generating set is minimal: they all contains as proper subsets other generating sets.

It is also not true in general that two minimal generating sets, if they exist, will have the same size: $\mathbb{Z}$ has a minimal generating set (over itself) given by the single element $1$, but it also has a minimal generating set with two elements, $\{2,3\}$. And one with three elements: $\{6, 10, 15\}$. In fact, there is a minimal generating set with any finite number of elements.

-
Thank. Magidin, is there the conditon that every generating set has same size? –  Sang Cheol Lee Jun 22 '12 at 8:45
@SangCheolLee: It almost never happens; I suspect you would need every module to be free and for the ring to have IBN, but you may be able to get away with a bit less. –  Arturo Magidin Jun 22 '12 at 14:41
@Artro Magudin: thank you vary much. I get solved my question thank to your answer thanks . –  Sang Cheol Lee Jun 24 '12 at 9:24
Not every module has a minimal generating set. The $\mathbb{Z}$-module $\mathbb{Q}$, for example.