Serial rings and finitely presented modules
Serial rings and finitely presented modules
复制标题
串行环和有限呈现模块
DOI:
10.1016/0021-8693(75)90074-5
复制
发表时间:
1975
影响因子:
0.9
通讯作者:
R. Warfield
中科院分区:
文献类型:
--
作者:
R. Warfield
A module is serial if its submodules are linearly ordered with respect to inclusion. A ring R is called left serial if RR is a direct sum of serial modules, and R is called serial if it is both left and right serial. Serial rings provide a natural generalization of both commutative valuation rings and generalized uniserial algebras. In this paper, it is shown that a finitely presented module over a serial ring is a direct sum of serial modules. Applications are given to the structure of semiperfect semihereditary rings and “locally serial” algebras over commutative Noetherian rings.. 4 fairly complete structure theory is given for Noetherian serial rings.In the first section we review the basic properties of semiperfect rings. If R is semiperfect, M is a finitely presented (FP) R-module, and S is a simple R-module, we introduce two numerical invariants, Gen (M; S) and Rel (M; S), which we can use to refine statements usually made in terms of generators and relations. We use this to give the structure theory of semiperfect rings for which every finitely generated left ideal is principal (1.14). We also show (1.4 and 1.5) that every stable isomorphism class of finitely generated modules over a semiperfect ring contains a unique (up to isomorphism) minimal element.(Recall that A and B are stably isomorphic if there are projective P and Q such that A@ P E B@ Q.) These results are used in Section 2 to give a refined form of the duality theory of Auslander and Bridger [I], between FP right modules and FP left modules. In Section 3 we prove that every finitely presented module over a serial ring is a direct sum of serial modules. We actually show more. Say that a module is local if it has a unique maximal proper submodule, and M is locally presented (LP) if there is an exact sequence P-+ Q+: II+ 0 in which P and Q are local projectives. We show, then (2.6 and 3.4), that the following