Generating set of a module information

In mathematics, a generating set Γ of a module M over a ring R is a subset of M such that the smallest submodule of M containing Γ is M itself (the smallest submodule containing a subset is the intersection of all submodules containing the set). The set Γ is then said to generate M. For example, the ring R is generated by the identity element 1 as a left R-module over itself. If there is a finite generating set, then a module is said to be finitely generated.

This applies to ideals, which are the submodules of the ring itself. In particular, a principal ideal is an ideal that has a generating set consisting of a single element.

Explicitly, if Γ is a generating set of a module M, then every element of M is a (finite) R-linear combination of some elements of Γ; i.e., for each x in M, there are r₁, ..., r_m in R and g₁, ..., g_m in Γ such that

x=r_{1}g_{1}+\cdots +r_{m}g_{m}.

Put in another way, there is a surjection

\bigoplus _{g\in \Gamma }R\to M,\,r_{g}\mapsto r_{g}g,

where we wrote r_g for an element in the g-th component of the direct sum. (Coincidentally, since a generating set always exists, e.g. M itself, this shows that a module is a quotient of a free module, a useful fact.)

A generating set of a module is said to be minimal if no proper subset of the set generates the module. If R is a field, then a minimal generating set is the same thing as a basis. Unless the module is finitely generated, there may exist no minimal generating set.^[1]

The cardinality 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}. What is uniquely determined by a module is 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 cardinality is $\dim _{k}M/mM=\dim _{k}M\otimes _{R}k$ . If M is flat, then this minimal generating set is linearly independent (so M is free). See also: Minimal resolution.

A more refined information is obtained if one considers the relations between the generators; see Free presentation of a module.

^ "ac.commutative algebra – Existence of a minimal generating set of a module – MathOverflow". mathoverflow.net.

[1] "ac.commutative algebra – Existence of a minimal generating set of a module – MathOverflow". mathoverflow.net.

Generating set of a module information

and 21 Related for: Generating set of a module information

Generating set of a module

Finitely generated module

Free module

Structure theorem for finitely generated modules over a principal ideal domain

Linear relation

Projective module

Noetherian module

Tensor product of modules

Linear span

Countably generated

Diesel generator

Glossary of module theory

Apollo command and service module

Injective module

Flat module

Module homomorphism

Graded ring

Support of a module

Solar panel

Electronic drum

Finitely generated group