关于E_ω-投射模和E_ω-内射模(英文)

左R-模M称为Eω-内射模,如果对环R中任意的ω阶Euclid理想I来说,任何R-模同态能够拓展为R-模同态。左R-模M称为Eω-投射模,若对环R中任意的ω阶Euclid理想I和任何R-模同态f∈HomR(M,R/I),存在R-模同态g∈HomR(M,R)使得f=πg,其中π是自然同态。本文证明P和Q均是Eω-投射模当且仅当PQ是Eω-投射模。进而,又证明了每一个左R-模是Eω-投射的当且仅当每一个左R-模是Eω-内射。     

模与环的(■,U)-M-凝聚性

设N是一个无穷基数,U是平坦的右R-模,M是左R-模.称左R-模N是((N),U)-M-凝聚的,如果对任意的B/A→Rm,其中0≤A相似文献   

GCD整环与自反模

本文证明了凝聚整环是ＧＣＤ整环当且仅当秩为１的自反模是自由模．同时还得到有限弱整体维数的凝聚整环是ＧＣＤ整环当且仅当Ｐｉｃ（Ｒ）＝１．特别地，有限整体维数的Ｎｏｅｔｈｅｒ整环是ＵＦＤ当且仅当Ｐｉｃ（Ｒ）＝１．     

平坦的多项式剩余类环

本文证明了如果多项式的剩余类环 A=R[T]/fR[T]作为 R-模是平坦模,且R是约化环,则f是正规多项式.特别地,若R还是连通的,则f的首项系数是单位.也证明了弱整体有限的凝聚环是约化环,以及弱整体为有限的凝聚连通环是整环.     

两类整环在w-算子下的刻画

通过对SM整环中准素w-理想与w-互素理想的讨论,证明了R是Krull整环当且仅当R是SM整环,w-dim(R)=1,且每个p-准素w-理想是素理想p的幂的w-包络.同时,运用w-算子,辅以t-,v-算子给出了π-整环的一些新的等价刻画.     

自由模的投射素子模

设R是整环,u是R的素元,F是有限生成自由R-模,M是F的投射子模.本文证明了:若F/M是投射R/(u)-模,或者M是(u)-准素子模,并且F/M是循环模,则当R/(u)既是GE环,又是PF环时,M是自由模.     

Gorenstein Prüfer整环的一些新刻画

设R是整环.众所周知,R是Prüfer整环当且仅当每个可除模是FP-内射模当且仅当每个h-可除模是FP-内射模.本文引进了一种新的Gorenstein FP-内射模,并且证明了R是Gorenstein Prüfer整环当且仅当每个可除模是Gorenstein FP-内射模,当且仅当每个h-可除模是Gorenstein FP-内射模.     

有限置换模自同态环的可分性质

设Q是有限置换右R模,则EndR(Q)是可分环当且仅当对所有A,B∈FP(Q),A A≌A B≌B B A≤ B或B≤ A.作为应用得到了EndR(P Q)是可分环当且仅当EndRP和EndRQ为可分环,其中P,Q为有限置换右R模.     

Gorenstein平坦模与Frobenius扩张

设R■A是环的Frobenius扩张,其中A是右凝聚环,M是任意左A-模.首先证明了_AM是Gorenstein平坦模当且仅当M作为左R-模也是Gorenstein平坦模.其次,证明了Nakayama和Tsuzuku关于平坦维数沿着Frobenius扩张的传递性定理的"Gorenstein版本":若_AM具有有限Gorenstein平坦维数,则Gfd_A(M)=Gfd_R(M).此外,证明了若R■S是可分Frobenius扩张,则任意A-模(不一定具有有限Gorenstein平坦维数),其Gorenstein平坦维数沿着该环扩张是不变的.     

左连续环中若干链条件的等价性

(1)设R是左连续环,则R是左Artin环当且仅当R满足左限制有限条件当且仅当R关于本质左理想满足极小条件当且仅当R关于本质左理想满足极大条件.同时给出一个左自内射环是QF环的充要条件;(2)证明了左Z₁-环上的有限生成模都有Artin-Rees性质.     

關於素性環

<正> §1.本文的目的是在對於所謂素性環(Primal Ring)作一些探討.這裹的環都是指着有么元無零因子的可換環.我們以R表這樣一個環,1就是R的么元,大寫字母A,B,C,P,……表R的真理想子環,小寫字母a,b,c,x,y等表R的元.符號Ax~(-1)表示R中一切能使xy∈A的y所組成的集.容易證明Ax~(-1)是一個理想子環,並且Ax~(-1)A.如果Ax~(-1)A,則說x不素於A,否則說x素於A.這樣一來,A是素理想子環的充要條件就是R中凡不屬A的元都素於A.     

Remarks on pseudo-valuation rings

A prime ideal P of a ring A is said to be a strongly prime ideal if aP and bA are comparable for all a,b ε A. We shall say that a ring A is a pseudo-valuation ring (PVR) if each prime ideal of A is a strongly prime ideal. We show that if A is a PVR with maximal ideal M, then every overring of A is a PVR if and only if M is a maximal ideal of every overring of M that does not contain the reciprocal’of any element of M.We show that if R is an atomic domain and a PVD, then dim(R) ≤ 1. We show that if R is a PVD and a prime ideal of R is finitely generated, then every overring of R is a PVD. We give a characterization of an atomic PVD in terms of the concept of half-factorial domain.     

On divided commutative rings

Let R be a commutative ring with identity having total quotient ring T. A prime ideal P of R is called divided if P is comparable to every principal ideal of R. If every prime ideal of R is divided, then R is called a divided ring. If P is a nonprincipal divided prime, then P^-1 = { x ? T : xP ? P} is a ring. We show that if R is an atomic domain and divided, then the Krull dimension of R ≤ 1. Also, we show that if a finitely generated prime ideal containing a nonzerodivisor of a ring R is divided, then it is maximal and R is quasilocal.     

Polynomes a valeurs entieres sur un anneau de pseudovaluation

We study the ring of integral valued polynomials over a pseudovaluation domain A. We entirely determine the set of prime ideals above the maximal ideal M of A: if M is a principal ideal in the valuation domain V associated with A and if its residue field is finite, then this set is in bijection with a topologically complete ring, as in the Noetherian case; if M is principal but of infinite residue field in V, then this set is finite; at last, if M is not principal, then the ring of integral valued polynomials is included in V[X] and has the same set of prime ideals above M.     

Agreeable domains

An integral domain D with quotient field K is defined to be agreeable if for each fractional ideal F of D[X] with F C K[X] there exists 0 = s ε D with sF C D[X]. D is agreeable ? D satisfies property (*) (for 0 ^ f(X) G K[X], there exists 0 = s ε D so that f(X)g(X) ε D[X] for g(X) ε K[X] implies that sg(X) ε D[X]) &; D[X] is an almost principal domain, i.e., for each nonzero ideal I of D[X] with IK[X] = K[X], there exists f(X) ε I and 0 = s ε D with sI C (f(X)). If D is Noetherian or integrally closed, then D is agreeable. A number of other characterizations of agreeable domains are given as are a number of stability properties. For example, if D is agreeable, so is ?^αD_{P α} and for a pair of domains D?D′ with a [DD:′]≠0, D is agreeable?D′ is agreeable. Results on agreeable domains are used to give an alternative treatment of Querre's characterization of divisorial ideals in integrally closed polynomial rings. Finally, the various characterizations of D being agreeable are considered for polynomial rings in several variables.     

Complete flat modules

Let R be a commutative and noetherian ring. It is known tht if R is local with maximal ideal M and F is a flat R-module, then the Hausdorff completion F of F with the M-adic topology is flat. We show that if we assume that the Krull dimension of R is finite, then for any ideal I C R, the Hausdorff completion F* of a flat module F with the I-adic topology is flat. Furthermore, for a flat module F over such R, there is a largest ideal I such that F is Hausdorff and complete with the I-adic topology. For this I, the flat R/I-module F/IF will not be Hausdorff and complete with respect to the topology defined by any non-zero ideal of R/I. As a tool in proving the above, we will show that when R has finite Krull dimension, the I-adic Hausdorff completion of a minimal pure injective resolution of a flat module F is a minimal pure injective resolution of its completion F*. Then it will be shown that flat modules behave like finitely generated modules in the sense that on F* the I-adic and the completion topologies coincide, so F* is I-adically complete.     

Quotient rings induced via fuzzy ideals

This note we give a construction of a quotient ringR/μ induced via a fuzzy idealμ ina ringR. The Fuzzy First, Second and Third Isomorphism Theorems are established. For some applications of this construction of quotient rings, we show that ifμ is a fuzzy ideal of a commutative ringR, thenμ is prime (resp. maximal, primary) if and only ifR/μ is an integral domain (resp.R/μ is a field, every zero divisor inR/μ is nilpotent). Moreover we give a simpler characterization of fuzzy maximal ideal of a ring.     

PID pairs of rings and maximal non-PID subrings

For a ring extension ${R \subset S, \,(R, S)}$ is called a principal ideal domain pair (for short PID pair) if every domain ${T, \,R \subseteq T \subseteq S}$ , is a principal ideal domain. When R is a field it is shown that (R, S) is a PID pair iff S is algebraic over R. When R is not a field it is proved that the only PID pairs are those such that R is a PID and S is an overring of R. The second purpose of this paper is to study maximal non-PID subrings. We characterize these type of rings. Further applications and results are also presented.     

Monoid Domain Constructions of Antimatter Domains

An integral domain without irreducible elements is called an antimatter domain. We give some monoid domain constructions of antimatter domains. Among other things, we show that if D is a GCD domain with quotient field K that is algebraically closed, real closed, or perfect of characteristic p > 0, then the monoid domain D[X; ?⁺] is an antimatter GCD domain. We also show that a GCD domain D is antimatter if and only if P^?1 = D for each maximal t-ideal P of D.     

Rings of formal power series with homeomorphic prime spectra

LetR?T be domains, not fields, such that Spec(R)=Spec(T) as sets; that is, such that the prime ideals ofT coincide, as sets, with those ofR. It is proved that the canonical map Spec(T[[X]])→Spec(R[[X]]) is a homeomorphism. This generalizes a result of Girolami in caseR is a pseudovaluation domain with the SFT (strong finite type)—property andT is its associated valuation domain. The analogous property for polynomial rings is also characterized: Spec(T[X])→Spec(R[X]) is a homeomorphism if and only ifR/M?T/M is a purely inseparable (algebraic) field extension, whereM is the maximal ideal ofR.