HOME

TheInfoList



OR:

In
mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...
, a finitely generated module is a
module Module, modular and modularity may refer to the concept of modularity. They may also refer to: Computing and engineering * Modular design, the engineering discipline of designing complex devices using separately designed sub-components * Mo ...
that has a
finite Finite is the opposite of infinite. It may refer to: * Finite number (disambiguation) * Finite set, a set whose cardinality (number of elements) is some natural number * Finite verb, a verb form that has a subject, usually being inflected or marke ...
generating set In mathematics and physics, the term generator or generating set may refer to any of a number of related concepts. The underlying concept in each case is that of a smaller set of objects, together with a set of operations that can be applied to ...
. A finitely generated module over a
ring Ring may refer to: * Ring (jewellery), a round band, usually made of metal, worn as ornamental jewelry * To make a sound with a bell, and the sound made by a bell :(hence) to initiate a telephone connection Arts, entertainment and media Film and ...
''R'' may also be called a finite ''R''-module, finite over ''R'', or a module of finite type. Related concepts include finitely cogenerated modules, finitely presented modules, finitely related modules and coherent modules all of which are defined below. Over a
Noetherian ring In mathematics, a Noetherian ring is a ring that satisfies the ascending chain condition on left and right ideals; if the chain condition is satisfied only for left ideals or for right ideals, then the ring is said left-Noetherian or right-Noether ...
the concepts of finitely generated, finitely presented and coherent modules coincide. A finitely generated module over a
field Field may refer to: Expanses of open ground * Field (agriculture), an area of land used for agricultural purposes * Airfield, an aerodrome that lacks the infrastructure of an airport * Battlefield * Lawn, an area of mowed grass * Meadow, a grass ...
is simply a
finite-dimensional In mathematics, the dimension of a vector space ''V'' is the cardinality (i.e., the number of vectors) of a basis of ''V'' over its base field. p. 44, §2.36 It is sometimes called Hamel dimension (after Georg Hamel) or algebraic dimension to disti ...
vector space In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can ...
, and a finitely generated module over the
integer An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign (−1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language ...
s is simply a
finitely generated abelian group In abstract algebra, an abelian group (G,+) is called finitely generated if there exist finitely many elements x_1,\dots,x_s in G such that every x in G can be written in the form x = n_1x_1 + n_2x_2 + \cdots + n_sx_s for some integers n_1,\dots, n ...
.


Definition

The left ''R''-module ''M'' is finitely generated if there exist ''a''1, ''a''2, ..., ''a''''n'' in ''M'' such that for any ''x'' in ''M'', there exist ''r''1, ''r''2, ..., ''r''''n'' in ''R'' with ''x'' = ''r''1''a''1 + ''r''2''a''2 + ... + ''r''''n''''a''''n''. The
set Set, The Set, SET or SETS may refer to: Science, technology, and mathematics Mathematics *Set (mathematics), a collection of elements *Category of sets, the category whose objects and morphisms are sets and total functions, respectively Electro ...
is referred to as a
generating set In mathematics and physics, the term generator or generating set may refer to any of a number of related concepts. The underlying concept in each case is that of a smaller set of objects, together with a set of operations that can be applied to ...
of ''M'' in this case. A finite generating set need not be a basis, since it need not be linearly independent over ''R''. What is true is: ''M'' is finitely generated if and only if there is a surjective ''R''-linear map: :R^n \to M for some ''n'' (''M'' is a quotient of a free module of finite rank.) If a set ''S'' generates a module that is finitely generated, then there is a finite generating set that is included in ''S'', since only finitely many elements in ''S'' are needed to express any finite generating set, and these finitely many elements form a generating set. However, it may occur that ''S'' does not contain any finite generating set of minimal
cardinality In mathematics, the cardinality of a set is a measure of the number of elements of the set. For example, the set A = \ contains 3 elements, and therefore A has a cardinality of 3. Beginning in the late 19th century, this concept was generalized ...
. For example the set of the
prime number A prime number (or a prime) is a natural number greater than 1 that is not a product of two smaller natural numbers. A natural number greater than 1 that is not prime is called a composite number. For example, 5 is prime because the only ways ...
s is a generating set of \mathbb Z viewed as \mathbb Z-module, and a generating set formed from prime numbers has at least two elements, while the
singleton Singleton may refer to: Sciences, technology Mathematics * Singleton (mathematics), a set with exactly one element * Singleton field, used in conformal field theory Computing * Singleton pattern, a design pattern that allows only one instance ...
is also a generating set. In the case where the
module Module, modular and modularity may refer to the concept of modularity. They may also refer to: Computing and engineering * Modular design, the engineering discipline of designing complex devices using separately designed sub-components * Mo ...
''M'' is a
vector space In mathematics and physics, a vector space (also called a linear space) is a set whose elements, often called ''vectors'', may be added together and multiplied ("scaled") by numbers called '' scalars''. Scalars are often real numbers, but can ...
over a
field Field may refer to: Expanses of open ground * Field (agriculture), an area of land used for agricultural purposes * Airfield, an aerodrome that lacks the infrastructure of an airport * Battlefield * Lawn, an area of mowed grass * Meadow, a grass ...
''R'', and the generating set is
linearly independent In the theory of vector spaces, a set of vectors is said to be if there is a nontrivial linear combination of the vectors that equals the zero vector. If no such linear combination exists, then the vectors are said to be . These concepts are ...
, ''n'' is ''well-defined'' and is referred to as the
dimension In physics and mathematics, the dimension of a Space (mathematics), mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any Point (geometry), point within it. Thus, a Line (geometry), lin ...
of ''M'' (''well-defined'' means that any
linearly independent In the theory of vector spaces, a set of vectors is said to be if there is a nontrivial linear combination of the vectors that equals the zero vector. If no such linear combination exists, then the vectors are said to be . These concepts are ...
generating set has ''n'' elements: this is the
dimension theorem for vector spaces In mathematics, the dimension theorem for vector spaces states that all bases of a vector space have equally many elements. This number of elements may be finite or infinite (in the latter case, it is a cardinal number), and defines the dimension ...
). Any module is the union of the
directed set In mathematics, a directed set (or a directed preorder or a filtered set) is a nonempty set A together with a reflexive and transitive binary relation \,\leq\, (that is, a preorder), with the additional property that every pair of elements has ...
of its finitely generated submodules. A module ''M'' is finitely generated if and only if any increasing chain ''M''''i'' of submodules with union ''M'' stabilizes: i.e., there is some ''i'' such that ''M''''i'' = ''M''. This fact with Zorn's lemma implies that every nonzero finitely generated module admits
maximal submodule In mathematics, more specifically in ring theory, a maximal ideal is an ideal that is maximal (with respect to set inclusion) amongst all ''proper'' ideals. In other words, ''I'' is a maximal ideal of a ring ''R'' if there are no other ideals c ...
s. If any increasing chain of submodules stabilizes (i.e., any submodule is finitely generated), then the module ''M'' is called a
Noetherian module In abstract algebra, a Noetherian module is a module that satisfies the ascending chain condition on its submodules, where the submodules are partially ordered by inclusion. Historically, Hilbert was the first mathematician to work with the proper ...
.


Examples

* If a module is generated by one element, it is called a
cyclic module In mathematics, more specifically in ring theory, a cyclic module or monogenous module is a module over a ring that is generated by one element. The concept is a generalization of the notion of a cyclic group, that is, an Abelian group (i.e. Z-mod ...
. * Let ''R'' be an integral domain with ''K'' its field of fractions. Then every finitely generated ''R''-submodule ''I'' of ''K'' is a
fractional ideal In mathematics, in particular commutative algebra, the concept of fractional ideal is introduced in the context of integral domains and is particularly fruitful in the study of Dedekind domains. In some sense, fractional ideals of an integral doma ...
: that is, there is some nonzero ''r'' in ''R'' such that ''rI'' is contained in ''R''. Indeed, one can take ''r'' to be the product of the denominators of the generators of ''I''. If ''R'' is Noetherian, then every fractional ideal arises in this way. * Finitely generated modules over the ring of
integer An integer is the number zero (), a positive natural number (, , , etc.) or a negative integer with a minus sign (−1, −2, −3, etc.). The negative numbers are the additive inverses of the corresponding positive numbers. In the language ...
s Z coincide with the
finitely generated abelian group In abstract algebra, an abelian group (G,+) is called finitely generated if there exist finitely many elements x_1,\dots,x_s in G such that every x in G can be written in the form x = n_1x_1 + n_2x_2 + \cdots + n_sx_s for some integers n_1,\dots, n ...
s. These are completely classified by the structure theorem, taking Z as the principal ideal domain. * Finitely generated (say left) modules over a
division ring In algebra, a division ring, also called a skew field, is a nontrivial ring in which division by nonzero elements is defined. Specifically, it is a nontrivial ring in which every nonzero element has a multiplicative inverse, that is, an element us ...
are precisely finite dimensional vector spaces (over the division ring).


Some facts

Every homomorphic image of a finitely generated module is finitely generated. In general,
submodule In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a ring. The concept of ''module'' generalizes also the notion of abelian group, since the abelian groups are exactly the mod ...
s of finitely generated modules need not be finitely generated. As an example, consider the ring ''R'' = Z 'X''1, ''X''2, ...of all
polynomial In mathematics, a polynomial is an expression consisting of indeterminates (also called variables) and coefficients, that involves only the operations of addition, subtraction, multiplication, and positive-integer powers of variables. An exa ...
s in
countably many In mathematics, a set is countable if either it is finite or it can be made in one to one correspondence with the set of natural numbers. Equivalently, a set is ''countable'' if there exists an injective function from it into the natural number ...
variables. ''R'' itself is a finitely generated ''R''-module (with as generating set). Consider the submodule ''K'' consisting of all those polynomials with zero constant term. Since every polynomial contains only finitely many terms whose coefficients are non-zero, the ''R''-module ''K'' is not finitely generated. In general, a module is said to be
Noetherian In mathematics, the adjective Noetherian is used to describe objects that satisfy an ascending or descending chain condition on certain kinds of subobjects, meaning that certain ascending or descending sequences of subobjects must have finite lengt ...
if every submodule is finitely generated. A finitely generated module over a
Noetherian ring In mathematics, a Noetherian ring is a ring that satisfies the ascending chain condition on left and right ideals; if the chain condition is satisfied only for left ideals or for right ideals, then the ring is said left-Noetherian or right-Noether ...
is a Noetherian module (and indeed this property characterizes Noetherian rings): A module over a Noetherian ring is finitely generated if and only if it is a Noetherian module. This resembles, but is not exactly Hilbert's basis theorem, which states that the polynomial ring ''R'' 'X''over a Noetherian ring ''R'' is Noetherian. Both facts imply that a finitely generated commutative algebra over a Noetherian ring is again a Noetherian ring. More generally, an algebra (e.g., ring) that is a finitely generated module is a
finitely generated algebra In mathematics, a finitely generated algebra (also called an algebra of finite type) is a commutative associative algebra ''A'' over a field ''K'' where there exists a finite set of elements ''a''1,...,''a'n'' of ''A'' such that every element of ...
. Conversely, if a finitely generated algebra is integral (over the coefficient ring), then it is finitely generated module. (See
integral element In commutative algebra, an element ''b'' of a commutative ring ''B'' is said to be integral over ''A'', a subring of ''B'', if there are ''n'' ≥ 1 and ''a'j'' in ''A'' such that :b^n + a_ b^ + \cdots + a_1 b + a_0 = 0. That is to say, ''b'' is ...
for more.) Let 0 → ''M''′ → ''M'' → ''M''′′ → 0 be an
exact sequence An exact sequence is a sequence of morphisms between objects (for example, groups, rings, modules, and, more generally, objects of an abelian category) such that the image of one morphism equals the kernel of the next. Definition In the context o ...
of modules. Then ''M'' is finitely generated if ''M''′, ''M''′′ are finitely generated. There are some partial converses to this. If ''M'' is finitely generated and ''M''′′ is finitely presented (which is stronger than finitely generated; see below), then ''M''′ is finitely generated. Also, ''M'' is Noetherian (resp. Artinian) if and only if ''M''′, ''M''′′ are Noetherian (resp. Artinian). Let ''B'' be a ring and ''A'' its subring such that ''B'' is a faithfully flat right ''A''-module. Then a left ''A''-module ''F'' is finitely generated (resp. finitely presented) if and only if the ''B''-module is finitely generated (resp. finitely presented).


Finitely generated modules over a commutative ring

For finitely generated modules over a commutative ring ''R'', Nakayama's lemma is fundamental. Sometimes, the lemma allows one to prove finite dimensional vector spaces phenomena for finitely generated modules. For example, if ''f'' : ''M'' → ''M'' is a
surjective In mathematics, a surjective function (also known as surjection, or onto function) is a function that every element can be mapped from element so that . In other words, every element of the function's codomain is the image of one element of i ...
''R''-endomorphism of a finitely generated module ''M'', then ''f'' is also
injective In mathematics, an injective function (also known as injection, or one-to-one function) is a function that maps distinct elements of its domain to distinct elements; that is, implies . (Equivalently, implies in the equivalent contrapositiv ...
, and hence is an
automorphism In mathematics, an automorphism is an isomorphism from a mathematical object to itself. It is, in some sense, a symmetry of the object, and a way of mapping the object to itself while preserving all of its structure. The set of all automorphisms ...
of ''M''. This says simply that ''M'' is a Hopfian module. Similarly, an
Artinian module In mathematics, specifically abstract algebra, an Artinian module is a module that satisfies the descending chain condition on its poset of submodules. They are for modules what Artinian rings are for rings, and a ring is Artinian if and only if it ...
''M'' is coHopfian: any injective endomorphism ''f'' is also a surjective endomorphism. Any ''R''-module is an
inductive limit In mathematics, a direct limit is a way to construct a (typically large) object from many (typically smaller) objects that are put together in a specific way. These objects may be groups, rings, vector spaces or in general objects from any catego ...
of finitely generated ''R''-submodules. This is useful for weakening an assumption to the finite case (e.g., the characterization of flatness with the
Tor functor In mathematics, the Tor functors are the derived functors of the tensor product of modules over a ring. Along with the Ext functor, Tor is one of the central concepts of homological algebra, in which ideas from algebraic topology are used to con ...
.) An example of a link between finite generation and
integral element In commutative algebra, an element ''b'' of a commutative ring ''B'' is said to be integral over ''A'', a subring of ''B'', if there are ''n'' ≥ 1 and ''a'j'' in ''A'' such that :b^n + a_ b^ + \cdots + a_1 b + a_0 = 0. That is to say, ''b'' is ...
s can be found in commutative algebras. To say that a commutative algebra ''A'' is a finitely generated ring over ''R'' means that there exists a set of elements of ''A'' such that the smallest subring of ''A'' containing ''G'' and ''R'' is ''A'' itself. Because the ring product may be used to combine elements, more than just ''R''-linear combinations of elements of ''G'' are generated. For example, a
polynomial ring In mathematics, especially in the field of algebra, a polynomial ring or polynomial algebra is a ring (which is also a commutative algebra) formed from the set of polynomials in one or more indeterminates (traditionally also called variables) ...
''R'' 'x''is finitely generated by as a ring, ''but not as a module''. If ''A'' is a commutative algebra (with unity) over ''R'', then the following two statements are equivalent: * ''A'' is a finitely generated ''R'' module. * ''A'' is both a finitely generated ring over ''R'' and an
integral extension In commutative algebra, an element ''b'' of a commutative ring ''B'' is said to be integral over ''A'', a subring of ''B'', if there are ''n'' ≥ 1 and ''a'j'' in ''A'' such that :b^n + a_ b^ + \cdots + a_1 b + a_0 = 0. That is to say, ''b'' i ...
of ''R''.


Generic rank

Let ''M'' be a finitely generated module over an integral domain ''A'' with the field of fractions ''K''. Then the dimension \operatorname_K (M \otimes_A K) is called the generic rank of ''M'' over ''A''. This number is the same as the number of maximal ''A''-linearly independent vectors in ''M'' or equivalently the rank of a maximal free submodule of ''M'' (''cf.
Rank of an abelian group In mathematics, the rank, Prüfer rank, or torsion-free rank of an abelian group ''A'' is the cardinality of a maximal linearly independent subset. The rank of ''A'' determines the size of the largest free abelian group contained in ''A''. If ''A'' ...
''). Since (M/F)_ = M_/F_ = 0, M/F is a
torsion module In mathematics, specifically in ring theory, a torsion element is an element of a module that yields zero when multiplied by some non-zero-divisor of the ring. The torsion submodule of a module is the submodule formed by the torsion elements. ...
. When ''A'' is Noetherian, by
generic freeness In algebraic geometry and commutative algebra, the theorems of generic flatness and generic freeness state that under certain hypotheses, a sheaf (mathematics), sheaf of module (mathematics), modules on a scheme (mathematics), scheme is flat morphis ...
, there is an element ''f'' (depending on ''M'') such that M ^/math> is a free A ^/math>-module. Then the rank of this free module is the generic rank of ''M''. Now suppose the integral domain ''A'' is generated as algebra over a field ''k'' by finitely many homogeneous elements of degrees d_i. Suppose ''M'' is graded as well and let P_M(t) = \sum (\operatorname_k M_n) t^n be the Poincaré series of ''M''. By the Hilbert–Serre theorem, there is a polynomial ''F'' such that P_M(t) = F(t) \prod (1-t^)^. Then F(1) is the generic rank of ''M''. A finitely generated module over a
principal ideal domain In mathematics, a principal ideal domain, or PID, is an integral domain in which every ideal is principal, i.e., can be generated by a single element. More generally, a principal ideal ring is a nonzero commutative ring whose ideals are principal, ...
is torsion-free if and only if it is free. This is a consequence of the
structure theorem for finitely generated modules over a principal ideal domain In mathematics, in the field of abstract algebra, the structure theorem for finitely generated modules over a principal ideal domain is a generalization of the fundamental theorem of finitely generated abelian groups and roughly states that finitel ...
, the basic form of which says a finitely generated module over a PID is a direct sum of a torsion module and a free module. But it can also be shown directly as follows: let ''M'' be a torsion-free finitely generated module over a PID ''A'' and ''F'' a maximal free submodule. Let ''f'' be in ''A'' such that f M \subset F. Then fM is free since it is a submodule of a free module and ''A'' is a PID. But now f: M \to fM is an isomorphism since ''M'' is torsion-free. By the same argument as above, a finitely generated module over a
Dedekind domain In abstract algebra, a Dedekind domain or Dedekind ring, named after Richard Dedekind, is an integral domain in which every nonzero proper ideal factors into a product of prime ideals. It can be shown that such a factorization is then necessarily ...
''A'' (or more generally a semi-hereditary ring) is torsion-free if and only if it is projective; consequently, a finitely generated module over ''A'' is a direct sum of a torsion module and a projective module. A finitely generated projective module over a Noetherian integral domain has constant rank and so the generic rank of a finitely generated module over ''A'' is the rank of its projective part.


Equivalent definitions and finitely cogenerated modules

The following conditions are equivalent to ''M'' being finitely generated (f.g.): *For any family of submodules in ''M'', if \sum_N_i=M\,, then \sum_N_i=M\, for some finite
subset In mathematics, Set (mathematics), set ''A'' is a subset of a set ''B'' if all Element (mathematics), elements of ''A'' are also elements of ''B''; ''B'' is then a superset of ''A''. It is possible for ''A'' and ''B'' to be equal; if they are ...
''F'' of ''I''. *For any
chain A chain is a serial assembly of connected pieces, called links, typically made of metal, with an overall character similar to that of a rope in that it is flexible and curved in compression but linear, rigid, and load-bearing in tension. A c ...
of submodules in ''M'', if \bigcup_N_i=M\,, then for some ''i'' in ''I''. *If \phi:\bigoplus_R\to M\, is an
epimorphism In category theory, an epimorphism (also called an epic morphism or, colloquially, an epi) is a morphism ''f'' : ''X'' → ''Y'' that is right-cancellative in the sense that, for all objects ''Z'' and all morphisms , : g_1 \circ f = g_2 \circ f ...
, then the restriction \phi:\bigoplus_R\to M\, is an epimorphism for some finite subset ''F'' of ''I''. From these conditions it is easy to see that being finitely generated is a property preserved by
Morita equivalence In abstract algebra, Morita equivalence is a relationship defined between rings that preserves many ring-theoretic properties. More precisely two rings like ''R'', ''S'' are Morita equivalent (denoted by R\approx S) if their categories of modules ...
. The conditions are also convenient to define a dual notion of a finitely cogenerated module ''M''. The following conditions are equivalent to a module being finitely cogenerated (f.cog.): *For any family of submodules in ''M'', if \bigcap_N_i=\\,, then \bigcap_N_i=\\, for some finite subset ''F'' of ''I''. *For any chain of submodules in ''M'', if \bigcap_N_i=\\,, then ''Ni'' = for some ''i'' in ''I''. *If \phi:M\to \prod_N_i\, is a
monomorphism In the context of abstract algebra or universal algebra, a monomorphism is an injective homomorphism. A monomorphism from to is often denoted with the notation X\hookrightarrow Y. In the more general setting of category theory, a monomorphism ...
, where each N_i is an ''R'' module, then \phi:M\to \prod_N_i\, is a monomorphism for some finite subset ''F'' of ''I''. Both f.g. modules and f.cog. modules have interesting relationships to Noetherian and Artinian modules, and the
Jacobson radical In mathematics, more specifically ring theory, the Jacobson radical of a ring R is the ideal consisting of those elements in R that annihilate all simple right R-modules. It happens that substituting "left" in place of "right" in the definition yie ...
''J''(''M'') and socle soc(''M'') of a module. The following facts illustrate the duality between the two conditions. For a module ''M'': * ''M'' is Noetherian if and only if every submodule ''N'' of ''M'' is f.g. * ''M'' is Artinian if and only if every quotient module ''M''/''N'' is f.cog. * ''M'' is f.g. if and only if ''J''(''M'') is a
superfluous submodule In mathematics, specifically module theory, given a ring ''R'' and an ''R''-module ''M'' with a submodule ''N'', the module ''M'' is said to be an essential extension of ''N'' (or ''N'' is said to be an essential submodule or large submodule of ''M ...
of ''M'', and ''M''/''J''(''M'') is f.g. * ''M'' is f.cog. if and only if soc(''M'') is an
essential submodule In mathematics, specifically module theory, given a ring ''R'' and an ''R''-module ''M'' with a submodule ''N'', the module ''M'' is said to be an essential extension of ''N'' (or ''N'' is said to be an essential submodule or large submodule of ''M ...
of ''M'', and soc(''M'') is f.g. * If ''M'' is a
semisimple module In mathematics, especially in the area of abstract algebra known as module theory, a semisimple module or completely reducible module is a type of module that can be understood easily from its parts. A ring that is a semisimple module over itself ...
(such as soc(''N'') for any module ''N''), it is f.g. if and only if f.cog. * If ''M'' is f.g. and nonzero, then ''M'' has a
maximal submodule In mathematics, more specifically in ring theory, a maximal ideal is an ideal that is maximal (with respect to set inclusion) amongst all ''proper'' ideals. In other words, ''I'' is a maximal ideal of a ring ''R'' if there are no other ideals c ...
and any quotient module ''M''/''N'' is f.g. * If ''M'' is f.cog. and nonzero, then ''M'' has a minimal submodule, and any submodule ''N'' of ''M'' is f.cog. * If ''N'' and ''M''/''N'' are f.g. then so is ''M''. The same is true if "f.g." is replaced with "f.cog." Finitely cogenerated modules must have finite
uniform dimension In abstract algebra, a module is called a uniform module if the intersection of any two nonzero submodules is nonzero. This is equivalent to saying that every nonzero submodule of ''M'' is an essential submodule. A ring may be called a right (left ...
. This is easily seen by applying the characterization using the finitely generated essential socle. Somewhat asymmetrically, finitely generated modules ''do not'' necessarily have finite uniform dimension. For example, an infinite direct product of nonzero rings is a finitely generated (cyclic!) module over itself, however it clearly contains an infinite direct sum of nonzero submodules. Finitely generated modules ''do not'' necessarily have finite co-uniform dimension either: any ring ''R'' with unity such that ''R''/''J''(''R'') is not a semisimple ring is a counterexample.


Finitely presented, finitely related, and coherent modules

Another formulation is this: a finitely generated module ''M'' is one for which there is an
epimorphism In category theory, an epimorphism (also called an epic morphism or, colloquially, an epi) is a morphism ''f'' : ''X'' → ''Y'' that is right-cancellative in the sense that, for all objects ''Z'' and all morphisms , : g_1 \circ f = g_2 \circ f ...
mapping ''Rk'' onto ''M'' : :f : ''Rk'' → ''M''. Suppose now there is an epimorphism, :''φ'' : ''F'' → ''M''. for a module ''M'' and free module ''F''. * If the
kernel Kernel may refer to: Computing * Kernel (operating system), the central component of most operating systems * Kernel (image processing), a matrix used for image convolution * Compute kernel, in GPGPU programming * Kernel method, in machine learnin ...
of ''φ'' is finitely generated, then ''M'' is called a finitely related module. Since ''M'' is isomorphic to ''F''/ker(''φ''), this basically expresses that ''M'' is obtained by taking a free module and introducing finitely many relations within ''F'' (the generators of ker(''φ'')). * If the kernel of ''φ'' is finitely generated and ''F'' has finite rank (i.e. ), then ''M'' is said to be a finitely presented module. Here, ''M'' is specified using finitely many generators (the images of the ''k'' generators of ) and finitely many relations (the generators of ker(''φ'')). See also:
free presentation In algebra, a free presentation of a module ''M'' over a commutative ring ''R'' is an exact sequence of ''R''-modules: :\bigoplus_ R \ \overset \to\ \bigoplus_ R \ \overset\to\ M \to 0. Note the image under ''g'' of the standard basis generate ...
. Finitely presented modules can be characterized by an abstract property within the category of ''R''-modules: they are precisely the compact objects in this category. *A coherent module ''M'' is a finitely generated module whose finitely generated submodules are finitely presented. Over any ring ''R'', coherent modules are finitely presented, and finitely presented modules are both finitely generated and finitely related. For a
Noetherian ring In mathematics, a Noetherian ring is a ring that satisfies the ascending chain condition on left and right ideals; if the chain condition is satisfied only for left ideals or for right ideals, then the ring is said left-Noetherian or right-Noether ...
''R'', finitely generated, finitely presented, and coherent are equivalent conditions on a module. Some crossover occurs for projective or flat modules. A finitely generated projective module is finitely presented, and a finitely related flat module is projective. It is true also that the following conditions are equivalent for a ring ''R'': # ''R'' is a right
coherent ring In mathematics, a (left) coherent ring is a ring in which every finitely generated left ideal is finitely presented. Many theorems about finitely generated modules over Noetherian rings can be extended to finitely presented modules over cohe ...
. # The module ''R''''R'' is a coherent module. # Every finitely presented right ''R'' module is coherent. Although coherence seems like a more cumbersome condition than finitely generated or finitely presented, it is nicer than them since the
category Category, plural categories, may refer to: Philosophy and general uses * Categorization, categories in cognitive science, information science and generally *Category of being * ''Categories'' (Aristotle) *Category (Kant) *Categories (Peirce) * ...
of coherent modules is an
abelian category In mathematics, an abelian category is a category in which morphisms and objects can be added and in which kernels and cokernels exist and have desirable properties. The motivating prototypical example of an abelian category is the category of ab ...
, while, in general, neither finitely generated nor finitely presented modules form an abelian category.


See also

*
Integral element In commutative algebra, an element ''b'' of a commutative ring ''B'' is said to be integral over ''A'', a subring of ''B'', if there are ''n'' ≥ 1 and ''a'j'' in ''A'' such that :b^n + a_ b^ + \cdots + a_1 b + a_0 = 0. That is to say, ''b'' is ...
*
Artin–Rees lemma In mathematics, the Artin–Rees lemma is a basic result about modules over a Noetherian ring, along with results such as the Hilbert basis theorem. It was proved in the 1950s in independent works by the mathematicians Emil Artin and David Re ...
*
Countably generated module In mathematics, a module over a (not necessarily commutative) ring is countably generated if it is generated as a module by a countable subset. The importance of the notion comes from Kaplansky's theorem (Kaplansky 1958), which states that a proj ...
*
Finite algebra In abstract algebra, an R-algebra A is finite if it is finitely generated as an R-module. An R-algebra can be thought as a homomorphism of rings f\colon R \to A, in this case f is called a finite morphism if A is a finite R-algebra. The definiti ...


References


Textbooks

* * Bourbaki, Nicolas, ''Commutative algebra. Chapters 1--7''. Translated from the French. Reprint of the 1989 English translation. Elements of Mathematics (Berlin). Springer-Verlag, Berlin, 1998. xxiv+625 pp. * * * * * {{Citation , last=Springer , first=Tonny A. , title=Invariant theory , series=Lecture Notes in Mathematics , volume=585 , publisher=Springer , year=1977 , doi=10.1007/BFb0095644 , isbn=978-3-540-08242-2 . Module theory fr:Module sur un anneau#Propriétés de finitude