• 제목/요약/키워드: left R-module

검색결과 59건 처리시간 0.017초

INJECTIVE PROPERTY OF LAURENT POWER SERIES MODULE

  • Park, Sang-Won
    • East Asian mathematical journal
    • /
    • 제17권2호
    • /
    • pp.367-374
    • /
    • 2001
  • Northcott and McKerrow proved that if R is a left noetherian ring and E is an injective left R-module, then $E[x^{-1}]$ is an injective left R[x]-module. Park generalized Northcott and McKerrow's result so that if R is a left noetherian ring and E is an injective left R-module, then $E[x^{-S}]$ is an injective left $R[x^S]$-module, where S is a submonoid of $\mathbb{N}$($\mathbb{N}$ is the set of all natural numbers). In this paper we extend the injective property to the Laurent power series module so that if R is a ring and E is an injective left R-module, then $E[[x^{-1},x]]$ is an injective left $R[x^S]$-module.

  • PDF

INVERSE POLYNOMIAL MODULES INDUCED BY AN R-LINEAR MAP

  • Park, Sang-Won;Jeong, Jin-Sun
    • 대한수학회보
    • /
    • 제47권4호
    • /
    • pp.693-699
    • /
    • 2010
  • In this paper we show that the flat property of a left R-module does not imply (carry over) to the corresponding inverse polynomial module. Then we define an induced inverse polynomial module as an R[x]-module, i.e., given an R-linear map f : M $\rightarrow$ N of left R-modules, we define $N+x^{-1}M[x^{-1}]$ as a left R[x]-module. Given an exact sequence of left R-modules $$0\;{\rightarrow}\;N\;{\rightarrow}\;E^0\;{\rightarrow}\;E^1\;{\rightarrow}\;0$$, where $E^0$, $E^1$ injective, we show $E^1\;+\;x^{-1}E^0[[x^{-1}]]$ is not an injective left R[x]-module, while $E^0[[x^{-1}]]$ is an injective left R[x]-module. Make a left R-module N as a left R[x]-module by xN = 0. We show inj $dim_R$ N = n implies inj $dim_{R[x]}$ N = n + 1 by using the induced inverse polynomial modules and their properties.

Injective Property Of Generalized Inverse Polynomial Module

  • Park, Sang-Won
    • 대한수학회논문집
    • /
    • 제15권2호
    • /
    • pp.257-261
    • /
    • 2000
  • Northcott and Mckerrow proved that if R is a left noe-therian ring and E is an injective left R-module, then E[x-1] is an injective left R[x]-module. In this paper we generalize Northcott and McKerrow's result so that if R is a left noetherian ring and E is an in-jective left R-module, then E[x-S] is an injective left R[xS]-module, where S is a submonoid of N (N is the set of all natural numbers).

  • PDF

RAD-SUPPLEMENTING MODULES

  • Ozdemir, Salahattin
    • 대한수학회지
    • /
    • 제53권2호
    • /
    • pp.403-414
    • /
    • 2016
  • Let R be a ring, and let M be a left R-module. If M is Rad-supplementing, then every direct summand of M is Rad-supplementing, but not each factor module of M. Any finite direct sum of Rad-supplementing modules is Rad-supplementing. Every module with composition series is (Rad-)supplementing. M has a Rad-supplement in its injective envelope if and only if M has a Rad-supplement in every essential extension. R is left perfect if and only if R is semilocal, reduced and the free left R-module $(_RR)^{({\mathbb{N})}$ is Rad-supplementing if and only if R is reduced and the free left R-module $(_RR)^{({\mathbb{N})}$ is ample Rad-supplementing. M is ample Rad-supplementing if and only if every submodule of M is Rad-supplementing. Every left R-module is (ample) Rad-supplementing if and only if R/P(R) is left perfect, where P(R) is the sum of all left ideals I of R such that Rad I = I.

HOM AND EXT FUNCTORS OF GENERALIZED INVERSE POLYNOMIAL MODULES

  • Han, Chang-Woo;Park, Sang-Won;Cho, Eun-Ha
    • East Asian mathematical journal
    • /
    • 제16권1호
    • /
    • pp.111-123
    • /
    • 2000
  • Northcott and McKerrow proved that if R is a left noetherian ring and E is an injective left R-module, then $E[x^{-1}]$ is an injective left R[xl-module. Park generalize Northcott and McKerrow's result so that if R is a left noetherian ring and E is an injective left R-module, then $E[x^{-S}]$ is an injective left $R[x^s]$-module, where S is a submonoid of N(N is the set of all natural numbers). In this paper we show $$Hom_{R[x^S]}(M[x^{-S}],\;N[x^{-S}]){\cong}Hom_R(M,\;N)[[x^S]]$$ and using the above result and this isomorphism, finally we show that $$Ext^i_{R[x^S]}(M[x^{-S}],\;N[x^{-S}]){\cong}Ext^i_R(M,\;N)[[x^S]]$$.

  • PDF

DING INJECTIVE MODULES OVER FROBENIUS EXTENSIONS

  • Wang, Zhanping;Yang, Pengfei;Zhang, Ruijie
    • 대한수학회보
    • /
    • 제58권1호
    • /
    • pp.217-224
    • /
    • 2021
  • In this paper, we study Ding injective modules over Frobenius extensions. Let R ⊂ A be a separable Frobenius extension of rings and M any left A-module, it is proved that M is a Ding injective left A-module if and only if M is a Ding injective left R-module if and only if A ⊗R M (HomR(A, M)) is a Ding injective left A-module.

GORENSTEIN MODULES UNDER FROBENIUS EXTENSIONS

  • Kong, Fangdi;Wu, Dejun
    • 대한수학회보
    • /
    • 제57권6호
    • /
    • pp.1567-1579
    • /
    • 2020
  • Let R ⊂ S be a Frobenius extension of rings and M a left S-module and let 𝓧 be a class of left R-modules and 𝒚 a class of left S-modules. Under some conditions it is proven that M is a 𝒚-Gorenstein left S-module if and only if M is an 𝓧-Gorenstein left R-module if and only if S ⊗R M and HomR(S, M) are 𝒚-Gorenstein left S-modules. This statement extends a known corresponding result. In addition, the situations of Ding modules, Gorenstein AC modules and projectively coresolved Gorenstein flat modules are considered under Frobenius extensions.

MAX-INJECTIVE, MAX-FLAT MODULES AND MAX-COHERENT RINGS

  • Xiang, Yueming
    • 대한수학회보
    • /
    • 제47권3호
    • /
    • pp.611-622
    • /
    • 2010
  • A ring R is called left max-coherent provided that every maximal left ideal is finitely presented. $\mathfrak{M}\mathfrak{I}$ (resp. $\mathfrak{M}\mathfrak{F}$) denotes the class of all max-injective left R-modules (resp. all max-flat right R-modules). We prove, in this article, that over a left max-coherent ring every right R-module has an $\mathfrak{M}\mathfrak{F}$-preenvelope, and every left R-module has an $\mathfrak{M}\mathfrak{I}$-cover. Furthermore, it is shown that a ring R is left max-injective if and only if any left R-module has an epic $\mathfrak{M}\mathfrak{I}$-cover if and only if any right R-module has a monic $\mathfrak{M}\mathfrak{F}$-preenvelope. We also give several equivalent characterizations of MI-injectivity and MI-flatness. Finally, $\mathfrak{M}\mathfrak{I}$-dimensions of modules and rings are studied in terms of max-injective modules with the left derived functors of Hom.

A note on jordan left derivations

  • Jun, Kil-Woung;Kim, Byung-Do
    • 대한수학회보
    • /
    • 제33권2호
    • /
    • pp.221-228
    • /
    • 1996
  • Throughout, R will represent an associative ring with center Z(R). A module X is said to be n-torsionfree, where n is an integer, if nx = 0, $x \in X$ implies x = 0. An additive mapping $D : R \to X$, where X is a left R-module, will be called a Jordan left derivation if $D(a^2) = 2aD(a), a \in R$. M. Bresar and J. Vukman [1] showed that the existence of a nonzero Jordan left derivation of R into X implies R is commutative if X is a 2-torsionfree and 3-torsionfree left R-module.

  • PDF

ON INJECTIVITY AND P-INJECTIVITY

  • Xiao Guangshi;Tong Wenting
    • 대한수학회보
    • /
    • 제43권2호
    • /
    • pp.299-307
    • /
    • 2006
  • The following results ale extended from P-injective rings to AP-injective rings: (1) R is left self-injective regular if and only if R is a right (resp. left) AP-injective ring such that for every finitely generated left R-module M, $_R(M/Z(M))$ is projective, where Z(M) is the left singular submodule of $_{R}M$; (2) if R is a left nonsingular left AP-injective ring such that every maximal left ideal of R is either injective or a two-sided ideal of R, then R is either left self-injective regular or strongly regular. In addition, we answer a question of Roger Yue Chi Ming [13] in the positive. Let R be a ring whose every simple singular left R-module is Y J-injective. If R is a right MI-ring whose every essential right ideal is an essential left ideal, then R is a left and right self-injective regular, left and right V-ring of bounded index.