Generating set of a module: Difference between revisions

Revision as of 16:59, 11 April 2015

Revision as of 17:03, 11 April 2015

Line 3:

The cardinarity of a minimal generating set need not be an invariant of the module; '''Z''' is generated as a principal ideal by 1, but it is also generated by, say, a minimal generating set { 2, 3 }. (Consequently one usually considers the [[infimum]] of the numbers of the generators of the module.)

Let ''R'' be a local ring with maximal ideal ''m'' and residue field ''k'' and ''M'' finitely generated module. Then [[Nakayama's lemma]] says that ''M'' has a minimal generating set whose cardinarity is <math>\dim_k M / mM = \dim_k M \otimes_R k</math>. If ''M'' is flat, then this minimal generating set is [[linearly independent]] (so ''M'' is free). See also: [[minimal resolution]].

== See also ==