• 제목/요약/키워드: p-injective module

검색결과 15건 처리시간 0.019초

THE PROJECTIVE MODULE P(2) OVER THE AFFINE COORDINATE RING OF THE 2-SPHERE S2

  • Kim, Sanghee
    • 호남수학학술지
    • /
    • 제43권3호
    • /
    • pp.403-416
    • /
    • 2021
  • It is known that the rank 2 stably free syzygy module P(2) is not free. This algebraic fact was proved analytically, but this remarkable fact still lacks of a simple algebraic proof. The main purpose of this paper is to give a partially algebraic proof by making use of a theorem whose proof is quite topological, and the further properties of the module will be discussed.

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.

GORENSTEIN-INJECTORS, GORENSTEIN-FLATORS

  • Gu, Qinqin;Zhu, Xiaosheng;Zhou, Wenping
    • 대한수학회지
    • /
    • 제47권4호
    • /
    • pp.691-704
    • /
    • 2010
  • Over a ring R, let $P_R$ be a finitely generated projective right R-module. Then we define the G-injector (G-projector) if $P_R$ preservers Gorenstein injective modules (Gorenstein projective modules), the Gflator if $P_R$ preservers Gorenstein flat modules. G-injector (G-flator) and G-injector are characterized focus primarily on the cases where R is a Gorenstein ring, and under this condition we also study the relations between the injector (projector, flator) and the G-injector (G-projector, G-flator). Over any ring we also give the characteristics of G-injector (G-flator) by the Gorenstein injective (Gorenstein flat) dimensions of modules.

ON THE PROPERTIES OF LOCAL HOMOLOGY GROUPS OF SHEAVES

  • PARK, WON-SUN
    • 호남수학학술지
    • /
    • 제2권1호
    • /
    • pp.13-18
    • /
    • 1980
  • 모든 기호(記號)는 G.E Bredon의 저(著) Sheaf Theory의 기호(記號)를 따른다. A가 torsion free이며 elementary sheaf이라 하자. 그리고 L을 injective L-module이라 하자 $dim_{\varphi}X<{\infty}$이라면 support의 $family{\varphi}$와 locally subset z에 대하여 ${\Gamma}_{z}(^{\sim}Hom({\Gamma}_{\varphi}(L),L){\otimes}A){\simeq}H_0{^{z}}(X:A)\;H_{-p}{^{z}}(X:A)=0,\;p=1,2,3,$⋯⋯ 이며 support의 family c와 compact subset z에 대하여도 ${\Gamma}_{z}(^{\sim}Hom({\Gamma}_{c}(L),L){\otimes}A){\simeq}H_0{^{z}}(X:A)\;H_{-y}{^{z}}(X:A)=0,\;p=1,2,3,$⋯⋯ A가 elementary이면 locally closed z와 z에서 closed인 $z^{\prime}$ 그리고 $z^{\prime\prime}=z-z^{\prime}$에 대하여 exact sequence ⋯⋯${\rightarrow}H^{z^{\prime}}_{p}\;(X:A){\rightarrow}H^{z}_{p}(X:A){\rightarrow}H^{z^{\prime\prime}}_{p}\;(X:A){\rightarrow}$⋯⋯ 가 존재(存在)한다.

  • PDF

ON FINITENESS PROPERTIES ON ASSOCIATED PRIMES OF LOCAL COHOMOLOGY MODULES AND EXT-MODULES

  • Chu, Lizhong;Wang, Xian
    • 대한수학회지
    • /
    • 제51권2호
    • /
    • pp.239-250
    • /
    • 2014
  • Let R be a commutative Noetherian (not necessarily local) ring, I an ideal of R and M a finitely generated R-module. In this paper, by computing the local cohomology modules and Ext-modules via the injective resolution of M, we proved that, if for an integer t > 0, dim$_RH_I^i(M){\leq}k$ for ${\forall}i$ < t, then $$\displaystyle\bigcup_{i=0}^{j}(Ass_RH_I^i(M))_{{\geq}k}=\displaystyle\bigcup_{i=0}^{j}(Ass_RExt_R^i(R/I^n,M))_{{\geq}k}$$ for ${\forall}j{\leq}t$ and ${\forall}n$ >0. This shows that${\bigcup}_{n>0}(Ass_RExt_R^i(R/I^n,M))_{{\geq}k}$ is a finite set for ${\forall}i{\leq}t$. Also, we prove that $\displaystyle\bigcup_{i=1}^{r}(Ass_RM/(x_1^{n_1},x_2^{n_2},{\ldots},x_i^{n_i})M)_{{\geq}k}=\displaystyle\bigcup_{i=1}^{r}(Ass_RM/(x_1,x_2,{\ldots},x_i)M)_{{\geq}k}$ if $x_1,x_2,{\ldots},x_r$ is M-sequences in dimension > k and $n_1,n_2,{\ldots},n_r$ are some positive integers. Here, for a subset T of Spec(R), set $T_{{\geq}i}=\{{p{\in}T{\mid}dimR/p{\geq}i}\}$.