a finitely generated module is a module that has a finite generating set. A finitely generated module over a ring R may also be called a finite R-module...
19 KB (2,837 words) - 22:51, 25 November 2023
a finitely generated projective A-module containing A as a subring, then A is a direct factor of B. Let P be a finitely generated projective module over...
23 KB (3,076 words) - 07:13, 10 May 2024
theorem for finitely generated modules over a principal ideal domain usually appears in the following two forms. For every finitely generated module M over...
15 KB (2,160 words) - 18:51, 20 June 2024
Iwasawa algebra (section Finitely generated modules)
sequences of finitely-generated modules. The rank of a finitely generated module is zero if and only if the module is a torsion module, which happens...
9 KB (1,182 words) - 08:57, 7 November 2023
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...
3 KB (493 words) - 20:43, 12 August 2023
cardinality of a generating set for the group. By definition, the rank of a finitely generated group is finite. Finitely generated module Presentation of...
6 KB (760 words) - 01:35, 13 November 2023
infinite cartesian product of free modules is generally not free (cf. the Baer–Specker group). A finitely generated module over a commutative local ring is...
11 KB (1,808 words) - 16:43, 26 May 2024
f:F\to M,} where F {\displaystyle F} is a finitely generated free R-module, and for every finitely generated R-submodule K {\displaystyle K} of ker f...
30 KB (4,590 words) - 17:07, 17 March 2024
a finite (hence finitely generated) abelian group. Any direct sum of finitely many finitely generated abelian groups is again a finitely generated abelian...
12 KB (1,658 words) - 07:13, 19 May 2024
Press. p. 21. ISBN 9780201407518. Finitely generated module Finitely generated field extension Artin–Tate lemma Finite algebra Morphism of finite type...
7 KB (1,075 words) - 17:13, 6 February 2024
finitely-generated free module and an ideal, and the class of the ideal is uniquely determined by the module. Over a principal ideal domain, finitely-generated...
4 KB (591 words) - 10:14, 18 February 2024
Finitely generated abelian group Finitely generated module Finitely generated ideal Finitely generated algebra Finitely generated space This disambiguation page...
352 bytes (64 words) - 18:41, 14 February 2013
Nakayama's lemma (section Module epimorphisms)
ring) and its finitely generated modules. Informally, the lemma immediately gives a precise sense in which finitely generated modules over a commutative...
22 KB (3,600 words) - 20:26, 3 March 2024
and finitely-generated modules over a Noetherian ring are Noetherian, it is true that for an Artinian ring R, any finitely-generated R-module is both...
8 KB (1,218 words) - 22:28, 4 March 2023
denoted by R-Mod (see category of modules). Finitely generated An R-module M is finitely generated if there exist finitely many elements x1, ..., xn in M...
21 KB (2,941 words) - 15:57, 20 February 2024
particular, P {\displaystyle P} is a finitely generated free module. Now let M {\displaystyle M} be a finitely generated module over an arbitrary Dedekind domain...
24 KB (3,745 words) - 16:27, 10 June 2024
with finitely generated modules: a submodule of a finitely generated module need not be finitely generated. The integers, considered as a module over...
4 KB (510 words) - 19:26, 28 June 2023
Annihilator (ring theory) (redirect from Faithful module)
Over an integral domain, a module that has a nonzero annihilator is a torsion module, and a finitely generated torsion module has a nonzero annihilator...
13 KB (2,170 words) - 16:48, 24 April 2024
infinite. Finitely-generated modules over principal ideal domains (PIDs) are classified by the structure theorem for finitely generated modules over a principal...
5 KB (705 words) - 22:27, 28 October 2023
have finite length only when the module has Krull dimension zero. Modules of finite length are finitely generated modules, but most finitely generated modules...
13 KB (2,158 words) - 15:13, 14 June 2024
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...
3 KB (404 words) - 00:12, 27 April 2024
be coherent, since finitely generated projective modules are finitely related. Though ideals of Dedekind domains can all be generated by two elements, for...
12 KB (1,451 words) - 07:05, 29 January 2024
Primary decomposition (redirect from Primary module)
a finite union of irreducible components. It has a straightforward extension to modules stating that every submodule of a finitely generated module over...
26 KB (4,366 words) - 08:47, 7 November 2023
if M is finitely generated, then the syzygy module is also finitely generated. A syzygy module of this syzygy module is a second syzygy module of M. Continuing...
13 KB (2,345 words) - 11:33, 10 May 2024
Abelian group (redirect from Finite abelian group)
classification of finitely generated abelian groups which is a specialization of the structure theorem for finitely generated modules over a principal...
36 KB (5,288 words) - 16:25, 31 January 2024
Commutative ring (section Ideals and modules)
any ideal is generated by finitely many elements, or, yet equivalent, submodules of finitely generated modules are finitely generated. Being Noetherian...
41 KB (5,655 words) - 15:25, 12 December 2023
M, rad(M/rad(M)) is zero. M is a finitely generated module if and only if the cosocle M/rad(M) is finitely generated and rad(M) is a superfluous submodule...
2 KB (323 words) - 12:13, 25 May 2024
B_{i}\rightarrow A_{i},} makes Ai a finitely generated module over Bi. One also says that X is finite over Y. In fact, f is finite if and only if for every open...
6 KB (860 words) - 01:49, 25 May 2024
are finitely generated free modules. 2. A finitely presented module is a module that admits a finite free presentation. finitely generated A module M {\displaystyle...
20 KB (2,610 words) - 23:12, 21 January 2024
a finitely generated projective module and hence is projective (semi-hereditary condition). Conversely, over a Dedekind domain, a finitely generated torsion-free...
5 KB (658 words) - 10:48, 9 February 2024