• Aucun résultat trouvé

Finitely Presented Modules over Right Non-Singular Rings

N/A
N/A
Protected

Academic year: 2022

Partager "Finitely Presented Modules over Right Non-Singular Rings"

Copied!
14
0
0

Texte intégral

(1)

Finitely Presented Modules over Right Non-Singular Rings.

ULRICHALBRECHT(*)

ABSTRACT - Thispaper characterizesthe right non-singular ringsR for which M=Z(M) isprojective wheneverM isa cyclically (finitely) presented module.

Several related results investigate right semi-hereditary rings.

1. Introduction.

The straightforward attempt to extend the notion of torsion-freeness from integral domainsto non-commutative ringsencountersimmediate difficulties. To overcome these, one can concentrate on either the compu- tational or the homological propertiesof torsion-free modules. Goodearl and otherstook the first approach when they introduced the notion of a non- singular module [8]. A rightR-moduleMisnon-singularifZ(M)ˆ0 where Z(M)ˆ fx2MjxIˆ0 for some essential right idealIofR} denotesthe singular submodule of M. On the other hand,MissingularifZ(M)ˆM.

Moreover, a submodule U of an R-module M isS-closed ifM=U isnon- singular. Finally,Risaright non-singular ringifRRisnon-singular.

The right non-singular rings are precisely the rings which have a regular, right self-injective maximal right ring of quotients, which will be denoted byQr(see [8] and [11] for details). Following [11, Chapter XI],Qr isa perfect left localization of RifQrisflat asa rightR-module and the multiplication mapQrRQr!Qris an isomorphism. In particular,Qrisa perfect left localization of R if and only if every finitely generated non- singular rightR-module can be embedded into a projective module ([8] and [11]). We call a right non-singular ring with this propertyright strongly non-singular.

(*) Indirizzo dell'A.: Department of Mathematics, Auburn University, Auburn, AL 36849, U.S.A.

E-mail: albreuf@mail.auburn.edu

(2)

Hattori took the second approach by definingM to be torsion-freeif TorR1(M;R=Rr)ˆ0 for allr2R[9]. The classes of torsion-free and non- singular rightR-modulescoincide if and only ifRisa right Utumi p.p.-ring without an infinite set of orthogonal idempotents [3, Theorem 3.7]. Here,R isa rightp.p.-ringif all principal right idealsofRare projective. Moreover, a right non-singular ringRisaright Utumi-ringif every S-closed right ideal ofRisa right annihilator.

Closely related to the notion of torsion-freeness are those of purity and relative divisibility. A sequence of rightR-modulesispure-exact (RD-exact) if every finitely presented (cyclically presented) module is projective with respect to it. Investigating RD- and pure-projective modules leads to the investigation of the condition thatM=Z(M) isprojective. The dual question when Z(M) isinjective hasbeen addressed in [8, Page 48, Example 24].

Section 2 discusses the question for which ringsM=Z(M) isprojective for all RD-projective modulesM. Theorem 2.1 shows that, providedRhasno in- finite set of orthogonal idempotents, these are precisely the right Utumi p.p.- rings discussed in [3]. The structure of pure-projective rightR-moduleswas described in [4] in case thatRis a right strongly non-singular, right semi- hereditary ringRwithout an infinite set of orthogonal idempotents. Theo- rem 2.3 shows that these conditions onRare not only sufficient, but also necessary for the structure-theorem (part b) of Theorem 2.3 to hold.

PruÈfer domainscan be characterized asthe domainswith the property that, whenever a torsion-free moduleMcontainsa projective submoduleU with M=U finitely generated, then M isprojective and M=U isfinitely presented [7, Chapter VI]. We show that the right non-singular rings having the corresponding property for non-singular modules are precisely the right strongly non-singular, right semi-hereditary rings of finite right Goldie dimension (Theorem 3.1).

Section 4 investigates pure-projective modules over right hereditary rings. As part of our discussion, we obtain a characterization of the right Noetherian right hereditary ringswith the restricted right minimum condition which are right strongly non-singular. The last results of this paper demonstrate that right invertible submodules of QrR which were introduced in [11, ChaptersII.4 and IX.5] may fail to share many of the important propertiesof invertible modulesover integral domains. For instance, the lattice of finitely generated right ideals over a PruÈfer domain isdistributive, i.e.I\(J‡K)ˆ(I\J)‡(I\K) for all finitely generated idealsI,J, andKofR[7, Theorem III.1.1]. Example 4.7 shows that there exists a right strongly non-singular, hereditary, right and left Noetherian ring whose finitely generated right ideals do not have this property.

(3)

2. RD-Projective Modules.

LetUbe a submodule of a non-singular moduleM. TheS-closure of U in Misthe submoduleVofMwhich containsUsuch thatV=UˆZ(M=U).

THEOREM2.1. The following are equivalent for a right non-singular ring R without an infinite set of orthogonal idempotents:

a) R is a right Utumi p.p.-ring.

b) M=Z(M)is projective for every RD-projective module M.

PROOF. a))b): Since every RD-projective module isa direct sum- mand of a direct sum of cyclically presented modules, it suffices to verify b) in case thatMR=aRfor somea2R. LetJbe the right ideal ofRwhich containsaR such thatJ=aRˆZ(R=aR). Then, R=JM=Z(M) isa non- singular cyclic module which is projective by [3, Corollary 3.4].

b))a): LetIbe theS-closure ofrRfor somer2R. SinceR=rRisRD- projective, andR=I(R=rR)=Z(R=rR), we obtain thatR=Iisprojective.

Thus,Iisgenerated by an idempotent.

By [3, Lemma 3.5], it suffices to show that every S-closed right idealJ of Risgenerated by an idempotent. For this, select 06ˆr02J.

Since J is S-closed in R, it contains the S-closure I0 of r0R. By what hasbeen shown so far, I0ˆe0R for some idempotent e0 of R. Hence, Jˆe0R[J\(1 e0)R]. If J\(1 e0)R6ˆ0, select a non-zero r1ˆ(1 e0)r12J; and observe that J\(1 e0)R is S-closed in R.

Hence, it containsthe S-closure I1 of r1R in R. By the previous paragraph, I1ˆfR for some idempotent f of R. Write f ˆ(1 e0)s for some s2R, and s et e1ˆf(1 e0). Since e0f ˆ0, we have e1e0ˆe0e1ˆ0 ande21ˆf2 f2e0 fe0f‡(fe0)2ˆf fe0ˆe1. Thus , e0

and e1 are non-zero orthogonal idempotentswith e1RfR. On the other hand, f ˆf(1 e0)sˆe1s yields fRˆe1R. Consequently, Rˆe0R e1R[J\(1 e0 e1)R]. Continuing inductively, we can construct non-zero orthogonal idempotents e0;. . .;en‡12J aslong

as J\(1 e0 . . . en)R6ˆ0. Since R doesnot contain an infinite

family of orthogonal idempotent, thisprocesshasto stop, say

J\(1 e0 . . . en)Rˆ0. Then, e0‡. . .‡em isan idempotent with

Jˆ(e0‡. . .‡em)R. p

We now investigate which conditions R has to satisfy to ensure the validity of the structure theorem for pure-projectives in [4]. We want

(4)

to remind the reader that a right R-module is essentially finitely generated if contains an essential, finitely generated submodule.

LEMMA 2.2. The following are equivalent for a right non-singular ring R:

a) R is right semi-hereditary and has finite right Goldie-di- mension.

b) A finitely generated right R-module M is finitely presented if and only if p:d:M1.

PROOF. a))b): SinceRisright semi-hereditary, every finitely pre- sented module has projective dimension at most 1. Conversely, whenever MRn=U for some projective module U, then U isessentially finitely generated sinceR has finite right Goldie dimension. By Sandomierski's Theorem [5, Proposition 8.24], essentially finitely generated projective modulesare finitely generated.

b))a): Clearly,R hasto be right semi-hereditary. If R hasinfinite right Goldie-dimension, then it contains a family fIngn<vof non-zero, fi- nitely generated right ideals whose sum is direct. SinceRisright semi- hereditary, eachIn isprojective, and the same holdsforn<vIn. By b), R=n<vInisfinitely presented, a contradiction. p THEOREM2.3. The following conditions are equivalent for a right non- singular ring R without an infinite set of orthogonal idempotents:

a) R is a (right Utumi), right semi-hereditary ring such that Qris a perfect left localization of R.

b) A right R-module M is pure-projective if and only if

i) Z(M)is a direct summand of a direct sum of finitely gen- erated modules of projective dimension at most1.

ii) M=Z(M)is projective.

PROOF. A right strongly non-sigular, right semi-hereditary ring without an infinite set of orthogonal idempotents is a right Utumi ring [3, Theorems3.7 and 4.2].

a))b): By [3],Rhas finite right Goldie-dimension. Because of Lemma 2.2,Z(M) ispure-projective if and only if condition i) in b) holds. It remains to show that M=Z(M) isprojective whenever M isfinitely presented.

However, thisfollowsfrom [11] sinceM=Z(M) isa finitely generated non- singular module, andQr isa perfect left localization ofR.

(5)

b))a): To see that R is right semi-hereditary, consider a finitely generated right idealIifR. TheS-closureJ ofIsatisfiesJ=IˆZ(R=I).

Hence,R=Jisprojective by b), andJ=Ihas projective dimension at most 1.

SinceJisprojective, thisisonly possible ifIisprojective.

To show thatRhasfinite right Goldie-dimension, consider a right ideal of Rof the forma0R. . .anR. . .where eachan6ˆ0. Form<v, letImbe theS-closure ofa0R. . .amR. SinceR=Im isprojective by b),Imisgen- erated by an idempotent em of R. WriteIm‡1ˆIm[Im‡1\(1 em)R].

Observe that [Im‡1\(1 em)R] isgenerated by an idempotentf ofRasa direct summand ofR. Settingdmˆf(1 em) yieldsan idempotentdmofR such thatemdmˆdmemˆ0, andIm‡1ˆImdmRasin the proof of The- orem 2.1. Inductively, one obtainsan infinite family of orthogonal idempo- tentsfdmjm<vgofR, which is not possible. Thus,Rhasfinite right Goldie- dimension; and everyS-closed right idealJofRistheS-closure of a finitely generated right ideal. By b),R=Jisprojective; andRisa right Utumi-ring sinceJˆeRfor some idempotenteofR.

To establish thatQrisa perfect left localization ofR, it suffices to show that every finitely generated non-singular rightR-moduleMisprojective.

Write MRn=U and observe that U is essentially finitely generated.

Select a finitely generated essential submodule V of U. Then,

U=VˆZ(Rn=U), andMisprojective by b). p

In the following, the injective hull of a moduleMisdenoted byE(M).

COROLLARY2.4. LetRbe a right semi-hereditary ring of finite right Goldie-dimension such thatQris a perfect left localization ofR. A rightR- module M is pure-projective if and only if M=Z(M) is projective and Z(M) is isomorphic to a direct summand of a direct sum of finitely generated submodules of(Qr=R)n.

PROOF. We first show that a finitely generated singular moduleMhas projective dimension at most 1 if and only if it can be embedded into a finite direct sum of copies of Qr=R. If p:d:M1, then there exist a finitely generated free moduleFand an essential projective submodulePofFwith MF=P. Since R hasfinite right Goldie-dimension,P is essentially fi- nitely generated, and hence itself finitely generated by Sandomierski's Theorem [5, Proposition 8.24]. We can find a finitely generated projective module U such that PU isa finitely generated free module, say PURn. Since M issingular, PU is an essential submodule of FU. Therefore,FUE(PU)ˆ(Qr)n, andM(Qr=R)n.

(6)

On the other hand, ifMisa finitely generated submodule of (Qr=R)n, then there isa finitely generated submoduleUof (Qr)ncontainingRnsuch thatMˆU=Rn. SinceRis right semi-hereditary, and sinceQrisa perfect left localization of R, U isprojective and p:d:M1. The corollary now

followsdirectly from Theorem 2.3. p

3. Essential Extensions of Projective Modules.

In the commutative setting, PruÈfer domainsare characterized by con- ditionsb) and c.ii) [7].

THEOREM3.1. The following are equivalent for a right non-singular ring R:

a) R is a right semi-hereditary ring of finite right Goldie-dimen- sion for which Qris a perfect left localization of R.

b) Whenever a non-singular module M contains a projective submodule U such that M=U is finitely generated, then M is projective and M=U is finitely presented.

c) i) R is a right p.p.-ring.

ii) If a finitely generated non-singular right R-module M con- tains an essential projective submodule U, then M is projective, and M=U is finitely presented.

PROOF. a))b): LetW be theS-closure ofUinM. SinceM=W isfi- nitely generated asan image ofM=Uand non-singular, it is projective by a).

Hence,MˆWPfor some finitely generated projective moduleP. We may thusassume thatM=Uissingular.

SinceRisright semi-hereditary,Uˆ IUiwhere eachUi isfinitely generated [1]. Because M=U issingular and M isnon-singular, U is essential in M. Thus , E(M)ˆE(U)ˆ IE(Ui) in view of the fact that direct sums of non-singular injectives are injective if R hasfinite right Goldie-dimension [11, Proposition XIII.3.3]. Choose a finitely generated submoduleV of Msuch that MˆU‡V. There is a finite subsetJ ofI such that V JE(Ui). Then, W1ˆV‡ JUi isa finitely generated submodule of JE(Ui) such that V\(InJUi)ˆ0. Consequently, MˆW1 InJUi. But W1 isprojective by a) showing that M ispro- jective and thatM=UˆW1=U isfinitely presented.

b))c): Observe that every finitely generated non-singular module is projective by choosingUˆ0 in b).

(7)

c))a): Assume that R containsa right ideal U of the form Uˆ n<vanRwhere eachan6ˆ0. By part i) of c),Uisprojective. Choose a right ideal V of R which ismaximal with respect to the property U\Vˆ0. SinceRisright non-singular,VisanS-closed submodule ofR and [R=V]=[UV=V]R=(UV) issingular. Therefore, the projective moduleUV=Vis essential in the non-singular moduleR=V. By c),R=V isprojective; and R=(UV) isfinitely presented. Hence, U isfinitely generated which is not possible.

To see that Ris a right strongly non-singular, right semi-hereditary ring, it suffices to show that a finitely generated non-singular right R- module Misprojective. By [11, Proposition XII.7.2],M(Qr)n for some n<v. Since R hasfinite right Goldie dimension andRn is essential in (Qr)n, M hasfinite Goldie-dimension. Therefore, M containsuniform submodules U1;. . .;Um such that U1. . .Um isessential in M. Fur- thermore, we may assume that eachUiiscyclic, sayUiˆbiR. SinceMis non-singular, annr(bi)ˆ fr2Rjbirˆ0g is not essential in R. Select ci2R with ciR\annr(bi)ˆ0. Then, Uicontainsa submodule ViciR.

Since R isa right p.p.-ring, Vi isprojective. Hence, M containsthe es- sential projective submoduleV1. . .Vm. By c),Misprojective. p A submoduleU of a moduleM istightif bothU andM=U have pro- jective dimension at most 1. A module iscoherentif all itsfinitely gener- ated submodules are finitely presented.

COROLLARY3.2. LetRbe a right semi-hereditary ring of finite right Goldie-dimension such thatQris a perfect localization ofR.

a) A right R-module M of projective dimension at most 1 is co- herent. Moreover, all its finitely generated submodules are tight.

b) If M is singular and a direct sum of countably generated modules, then p:d:M1if and only if M(Qr=R)(I)for some index-set I.

PROOF. a) WriteMF=PwhereFand itssubmodule Pare projec- tive. IfUisa finitely generated submodule ofM, then there isa submodule WofFcontainingPwithW=PU. By Theorem 3.1,Wisprojective and W=Pisfinitely presented. Clearly,UandM=Uhave projective dimension at most 1.

b) Without loss of generality, we may assume that M iscountably generated. Ifp:d:M1, thenMˆF=PwhereFisprojective andPR(I) for some index-setI. SincePis essential inF, we haveFE(P)(Qr)(I)

(8)

by [11, Proposition XIII.3.3] becauseRhasfinite right Goldie-dimension.

Hence,M(Qr=R)(I).

Conversely, suppose thatM(Qr=R)(v), and select a submodule U of (Qr)(v) containing R(v) such that MˆU=R(v). Choose funjn<vg U such thatUˆSn<vunR‡R(v) andu0ˆ0. SetV`ˆR(v)‡S`nˆ1unR. By Theorem 3.1, each V` isprojective. LetW`ˆV`=R(v)M. Then,W0ˆ0 and Mˆ [vnˆ1Wn. Observe that W`‡1=W`V`‡1=V` hasprojective di- mension at most 1. By Auslander's Theorem,p:d:M1. p

4. Hereditary Rings.

The first result describes the right strongly non-singular, right Noe- therian, right hereditary rings.

PROPOSITION4.1. The following conditions are equivalent for a right non-singular ringRof finite right Goldie dimension:

a) R is a right strongly non-singular, right hereditary ring with- out an infinite set of orthogonal idempotents.

b) R is a right strongly non-singular, right Noetherian and right hereditary.

c) i) R has finite right Goldie dimension.

ii) M is pure projective if and only if M=Z(M)is projective, and Z(M)is a direct summand of a direct sum of finitely generated modules.

PROOF. a))b): By [3, Theorems3.7 and 4.2],Rhasfinite right Goldie dimension. However, essentially finitely generated projective modules are finitely generated [5, Proposition 8.24].b))c) isobviousin view of Theo- rem 2.3.

c))a): LetIbe a right ideal ofR, andJitsS-closure inR. SinceRhas finite right Goldie dimension,Icontainsa finitely generated right idealK as an essential submodule. Thus,J istheS-closure ofK, and J=K isthe singular submodule of the finitely presented module R=K. By c),R=J is projective, andRˆJJ1. Then,R=IJ=IJ1. In particular,J=Iisa finitely generated singular module, which is pure-projective by c). Hence, J=I is a direct summand of a direct sum of finitely presented modules.

Clearly, thissum can be chosen to be finite. Therefore, J=I isfinitely presented, andI isfinitely generated sinceJ isa direct summand ofR.

Once we have shown that every finitely generated non-singular right R-

(9)

moduleMisprojective, we will have established thatRisa right heredi- tary ring with the property thatQrisa perfect left localization ofR.

There exists a finitely generated free moduleFand a submoduleUofF such thatMF=U. SinceRhasfinite right Goldie-dimension,Ucontains a finitely generated essential submoduleV. Because,F=Uisnon-singular, U=V is the singular submodule of the finitely presented moduleF=V. By

c),F=U(F=V)=(U=V) isprojective. p

COROLLARY4.2. The following are equivalent for a right non-singular ringRwith finite right Goldie-dimension:

a) R is a right Noetherian, right hereditary ring which satisfies the restricted right minimum condition such that Qr is a perfect left lo- calization of R.

b) M is pure projective if and only if M=Z(M)is projective and Z(M)is a direct summand of a direct sum of finitely generated Artinian modules.

PROOF. a))b): SinceRhasthe restricted minimum condition, every finitely generated singular right module is Artinian.

b))a): LetIbe an essential right ideal ofR. SinceRhasfinite right Goldie-dimension,Icontains a finitely generated essential right idealJ.

By c), the finitely presented moduleR=Jisa direct summand of a (finite) direct sum of finitely generated Artinian modules. But this is only pos- sible ifR=JisArtinian. But then,R=IisArtinian too. Arguing asin the proof of Proposition 4.1, we obtain thatRisa right strongly non-singular,

right hereditary. p

By [8, Proposition 5.27], a right hereditary, right Noetherian ring which isthe product of prime ringsand ringsMorita equivalent to lower trian- gular matrix rings over a division algebra is right strongly non-singular and hasthe restricted right minimum condition, i.e. R=I isArtinian for every essential right idealIofR.

Let U be a subset of Qr, and set (R:U)rˆ fq2QrjUqRg and (R:U)`ˆ fq2QrjqURg.

THEOREM4.3. The following are equivalent for a ring R:

a) R is a right Noetherian right hereditary ring satisfying the restricted right minimum condition such that Qr is a perfect left locali- zation of R.

(10)

b) R is a left Noetherian left hereditary ring satisfying the re- stricted left minimum condition such that Q`is a perfect right localization of R.

c) R is a right and left Noetherian, hereditary, right and left Utumi-ring.

d) RˆR1. . .Rnwhere each Riis either a prime right and left

Noetherian hereditary ring or Morita equivalent to a lower triangular matrix ring over a division algebra.

PROOF. a))c): By [3, Theorem 4.2],QrˆQ`is a semi-simple Artinian ring, andRisright and left Utumi. Furthermore,Risleft semi-hereditary by [3, Theorem 5.2]. It remainsto show thatRisleft Noetherian.

Suppose that R containsa left ideal I which isnot finitely gen- erated. Without loss of generality, we may assume that I is essential in R. Since QrˆQ` is semi-simple Artinian, R hasfinite left Goldie- dimension [11, Theorem XII.2.5], and I containsa finitely generated essential left idealJ0. Since Iisnot finitely generated, we can find an ascending chain J0. . .Jn. . . of finitely generated essential left idealsinside I with Jn6ˆJn‡1 for all n.

SinceQrisan injective leftR-module being the maximal left ring of quotientsof R, every map f:Ji!Qr isright multiplication by some q2Qr, which isuniquely determined by f since Ji isessential.

Therefore, we can identify HomR(Ji;R) and Ji ˆ(R:Ji)r. Moreover, Ji isa finitely generated projective right R-module because Ji is projective sinceR isleft semi-hereditary. Furthermore, Jiˆ(R:Ji)` satisfies JiˆJi. To see this, observe that JiJi by definition.

Conversely,Jihasa finite projective basissince it isfinitely generated and projective. There are a1;. . .;ak 2Ji and q1;. . .;qk2Ji such that

yˆyq1a1‡. . .‡yqkak for all y2Ji. Since Qr also is the maximal left

ring of quotientsofR, it isnon-singular asa left R-module. BecauseJi is an essential left ideal, 1ˆq1a1‡. . .‡qkak. If z2Ji , then zqi2R, and zˆ(zq1)a1‡. . .(zqk)ak 2Ji.

We obtain a descending chainJ0. . .Jn. . .R ˆRof finitely generated submodules of QrR. Since Qr=R issingular, J0=R isa finitely generated singular right R-module. By the restricted right minimum condition for R, J0=R isArtinian. Consequently, there ism with Jm ˆJm‡1 , from which one obtainsJmˆJm‡1.

c))d): By [3, Theorem 5.2], the classes of torsion-free, non-singular and flat rightR-modulescoincide. Because of [3, Theorem 5.5],Rhasthe desired form.

(11)

d))a): By [3, Theorem 5.5],Risa right and left Noetherian heredi- tary ring for which the classes of torsion-free, flat and non-singular mod- ulescoincide. Thus,Qrisa perfect left localization ofRby [3, Theorem 5.2].

Finally,Rsatisfies the restricted right minimum condition by [5].

Since condition c) isright-left symmetric, the equivalence of a) and b)

followsimmediately. p

A submoduleU of the rightR-moduleQr isright invertibleif there exist u1;. . .;un2U and q1;. . .;qn 2(R:U)` with u1q1‡. . .unqnˆ1 [11, Chaptersii.4 and IX.5]. Over an integral domain R, a right in- vertible moduleUhasthe additional property thatU(R:U)`ˆRwhich may fail in the non-commutative setting:

EXAMPLE4.4. There exists a right and left Artinian, hereditary ringR such thatQrisa perfect right and left localization ofR, which containsan essential right idealIwith (R:I)`ˆQrand (R:I)`IˆI. Moreover, there existr1;r2;s1;s22Iandq1;q2;p1;p22(R:I)`satisfying 1ˆr1p1‡r2p2 ˆ

ˆs1q1‡s2q2 such that r1p1;r2p22R, but s1q1;s2q2 62R. Thus, I(R:I)`6R.

PROOF. LetFbe a field of characteristic different from 2, andRbe the lower triangular matrix ring overF. Clearly,Risa right and left Artinian ring. According to [8, Theorem 4.7],Risa right hereditary ring, which is also left hereditary by [5, Corollary 8.18]. Finally, by [8, Proposition 2.28 and Theorem 2.30], the maximal right and left ring of quotientsof Ris QˆMat2(F). Inside R, we consider the idempotents e1ˆ 1 0

0 0

and e2ˆ 0 0

0 1

. LetIˆ F 0 F 0

, a two-sided ideal ofRwhich is essential as a right ideal because a 0

b c

0 01 0

ˆ 0 0 c 0

for alla;b;c2F. Since IˆQre1, we have (R:I)`ˆQrand (R:I)`IˆI.

Finally, consider the elements s1 ˆ 1 0 1 0

and s2ˆ 1 0 1 0

of I and q1ˆ 12 12 c 0

and q2ˆ 12 12 c 0

of Q. It iseasy to see that s1q1;s2q262R although s1q1‡s2q2ˆ1. On the other hand, setting r1ˆp1ˆe12I, r2ˆ 0 0

1 0

2I, and p2ˆ 0 1 0 0

yields r1p1;r2p22R and r1p1‡r2p2ˆ1. p

(12)

In view of the previousexample, we define a submodule U of QrR to be strongly invertible if there isa submodule M of RQr such that MUˆUMˆR.

LEMMA 4.5. Let R be a right and left non-singular, right and left Utumi-ring with maximal right and left ring of quotients Q. A submodule U of Qris strongly invertible if and only if it satisfies the following con- ditions:

i) U is also a submodule ofRQ.

ii) URis a finitely generated projective generator ofMR. iii) RU is a finitely generated projective generator ofRM.

PROOF. Suppose that U is strongly invertible, and choose a submodule X of RQr with XUˆUXˆR. Then, X(R:U)`\(R:U)r and (R:U)`UˆRˆU(R:U)r. Moreover, RU ˆ(UX)UˆU(XU)ˆ

ˆURˆU yieldsthat U isa submodule of RQr too. By symmetry, X is also a submodule of QrR. Becaus e of this , (R:U)` and (R:U)r are submodules of both QrR and RQr too. Therefore, U(R:U)`ˆ

ˆU(R:U)`RˆU(R:U)`U(R:U)rˆU(R:U)rˆR. By s ymmetry, (R:U)rUˆR.

By what has been shown in the last paragraph, we can write 1ˆu1q1‡. . .‡unqn with u1;. . .;un2U and q1;. . .;qn2(R:U)`. Let fi:U!Rbe left multiplication byqi. Asin [11, Proposition IX.5.2], the setf(u1;f1);. . .;(un;fn)gisa projective basisforU. Selectv1;. . .;vm2U andp1;. . .;pm2(R:U)` with 1ˆp1v1‡. . .‡pmvm. Definec:Um!R

byc(x1;. . .;xm)ˆSmiˆ1pixi. Then,cisonto, andUmˆRW, i.e.Uisa

generator of MR. By symmetry, RU isa finitely generated projective generator ofRM.

Conversely, assume that U satisfies the three conditions. Observe that (R:U)` and (R:U)r are submodules of bothQrR andRQr. Since it isa projective generator of MR, there is ` <v such thatU`ˆRW.

Let p:U`!R be a projection with kernel W, and dj:U!U` be the embedding into the jth-coordinate. The map pdj:U!R isleft multi- plication by someqj2Qrsince Qrisa right self-injective ring. Clearly, since p isonto, there are u1;. . .;u` 2U with q1u1‡. . .‡q`u`ˆ1.

Since q1;. . .;q` 2(R:U)`, we have (R:U)`UˆR. By s ymmetry, U(U:R)rˆR. Now, U(R:U)` ˆU(R:U)`U(R:U)rˆR yields (R:U)`(R:U)r. In the s ame way, (R:U)`ˆ(R:U)r, and U is

strongly invertible. p

(13)

PROPOSITION4.6. LetRbe a right and left non-singular, right and left Utumi-ring. IfIis a two-sided ideal ofRsuch thatRIandIRare finitely generated projective generators ofRMandMRrespectively, thenR=I is projective with respect to all RD-exact sequences.

PROOF. The proof of [7, LemmasI.7.2 and I.7.4] can be adapted to show that R=Iisprojective with respect to all RD-exact sequencesof R-modulesprovided there are r1;. . .;rn 2R and q1;. . .;qn2(R:I)` such that r1q1‡. . .‡rnqnˆ1 and r1q1;. . .;rnqn2R. However, thisis

guaranteed by Lemma 4.5. p

Finally, the lattice of finitely generated right idealsover right strongly nonsingular, hereditary right and left Noetherian rings may not be dis- tributive:

EXAMPLE4.7. There exists a right strongly non-singular, hereditary, right and left Noetherian ringRfor which the lattice of right idealsisnot distributive.

PROOF. LetRbe the ring considered in Example 4.4, whose notation will be used in the following. Consider the right idealsJˆe1Rˆ Q 0

0 0

andKˆe2Rˆ 0 0 Q Q

. IfIˆ 1 0 1 0

Q 0 Q Q

ˆ f a 0 a 0

ja2Fg, thenI\JˆI\Kˆ0, whileI\(J‡K)ˆI. p

REFERENCES

[1] F. ALBRECHT, On projective modules over a semi-hereditary ring, Proc.

Amer. Math. Soc.,12(1961), pp. 638-639.

[2] U. ALBRECHT- A. FACCHINI,Mittag-Leffler modules over non-singular rings, Rend. Sem. Mat. Univ. Padova,95(1996), pp. 175-188.

[3] U. ALBRECHT- J. DAUNS- L. FUCHS,Torsion-freeness and non-singularity over right p.p.-rings; Journal of Algebra,285(2005), pp. 98-119.

[4] F. ANDERSON- K. FULLER,Rings and Categories of Modules, Graduate Texts in Mathematics13; Springer Verlag (1992).

[5] A.W. CHATTERS - C.R. HAJARNAVIS,Rings with Chain Conditions, Pitman Advanced Publishing 44; Boston, London, Melbourne (1980).

[6] J. DAUNS- L. FUCHS,Torsion-freeness in rings with zero divisors, to appear.

[7] L. FUCHS- L. SALCE,Modules over Non-Noetherian Domains, Mathematical Surveysand Monographs84, Amer. Math. Soc. (2000).

(14)

[8] K. GOODEARL,Ring Theory, Marcel Dekker, New York, Basel (1976).

[9] A. HATTORI,A foundation of torsion theory for modules over general rings, Nagoya Math. J., 17 (1960), pp. 147-158.

[10] J. ROTMAN, An Introduction to Homological Algebra; Academic Press, London (1979).

[11] B. STENSTROÈM, Rings of Quotients, Lecture Notesin Math. 217, Springer Verlag, Berlin, Heidelberg, New York (1975).

Manoscritto pervenuto in redazione il 12 gennaio 2007.

Références

Documents relatifs

Similarly, a module is Noetherian if each ascending chain of finitely generated submodules iterates.. These definitions together with coherence are strong enough to

Actually, every ring can be viewed as a module over itself generated by one element, and ideals and submodules coincide; therefore it is a more general point of view if we consider

According to Theorem 2.6 [11], the loop L satises the condition of max- imality for subloops and, thus, the total number of prime numbers p for which L contains a p -cyclical group

Section 2 is devoted to prelimi- naries on hyperbolic geometry, we prove our equidistribution results in section 3, theorem 1.3 and proposition 1.5 in section 4, geometrically

The next statement is the main result of the present paper and it is also the main step in our proof that all finitely presented groups are QSF. Here are some COMMENTS concerning

— There is no exchange ring (thus, no von Neumann regular ring and no C*-algebra of real rank zero) with finite stable rank whose semilattice of finitely generated,

Our characterization is formulated in terms of the so-called prime elements of our monoid, and it says, for a given primely generated, antisymmetric refinement monoid M (we

semihereditary ring, finitely presented module, stacked bases property, UCS-property, local-global