• 대한수학회지
• /
• 제54권4호
• /
• pp.1281-1299
• /
• 2017

A submodule N of a module M is called ${\mathcal{S}}$-closed (in M) if M/N is nonsingular. It is well-known that the class Closed of short exact sequences determined by closed submodules is a proper class in the sense of Buchsbaum. However, the class $\mathcal{S}-Closed$ of short exact sequences determined by $\mathcal{S}$-closed submodules need not be a proper class. In the first part of the paper, we describe the smallest proper class ${\langle}\mathcal{S-Closed}{\rangle}$ containing $\mathcal{S-Closed}$ in terms of $\mathcal{S}$-closed submodules. We show that this class coincides with the proper classes projectively generated by Goldie torsion modules and coprojectively generated by nonsingular modules. Moreover, for a right nonsingular ring R, it coincides with the proper class generated by neat submodules if and only if R is a right SI-ring. In abelian groups, the elements of this class are exactly torsionsplitting. In the second part, coprojective modules of this class which we call ec-flat modules are also investigated. We prove that injective modules are ec-flat if and only if each injective hull of a Goldie torsion module is projective if and only if every Goldie torsion module embeds in a projective module. For a left Noetherian right nonsingular ring R of which the identity element is a sum of orthogonal primitive idempotents, we prove that the class ${\langle}\mathcal{S-Closed}{\rangle}$ coincides with the class of pure-exact sequences of modules if and only if R is a two-sided hereditary, two-sided $\mathcal{CS}$-ring and every singular right module is a direct sum of finitely presented modules.

• 대한수학회논문집
• /
• 제38권3호
• /
• pp.733-740
• /
• 2023

Let R be a commutative ring and M be an R-module. The dimension graph of M, denoted by DG(M), is a simple undirected graph whose vertex set is Z(M) ⧵ Ann(M) and two distinct vertices x and y are adjacent if and only if dim M/(x, y)M = min{dim M/xM, dim M/yM}. It is shown that DG(M) is a disconnected graph if and only if (i) Ass(M) = {𝖕, 𝖖}, Z(M) = 𝖕 ∪ 𝖖 and Ann(M) = 𝖕 ∩ 𝖖. (ii) dim M = dim R/𝖕 = dim R/𝖖. (iii) dim M/xM = dim M for all x ∈ Z(M) ⧵ Ann(M). Furthermore, it is shown that diam(DG(M)) ≤ 2 and gr(DG(M)) = 3, whenever M is Noetherian with |Z(M) ⧵ Ann(M)| ≥ 3 and DG(M) is a connected graph.

• 통합자연과학논문집
• /
• 제4권4호
• /
• pp.278-281
• /
• 2011

We discuss an application of 'restrictions on the entries of the maps in the minimal free resolution' and '$SC_r$-condition of modules', and give an alternative proof of the following result of Foxby: Let M be a finitely generated module of dimension over a Noetherian local ring (A,m). Suppose that $\hat{A}$ has no embedded primes. If A is not Gorenstein, then ${\mu}_i(m,A){\geq}2$ for all i ${\geq}$ dimA.

• 대한수학회지
• /
• 제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}\}$.

• 대한수학회논문집
• /
• 제38권1호
• /
• pp.39-46
• /
• 2023

Let R be a commutative ring, M be a Noetherian R-module, and N a 2-absorbing submodule of M such that r(N :_R M) = 𝖕 is a prime ideal of R. The main result of the paper states that if N = Q₁ ∩ ⋯ ∩ Q_n with r(Q_i :_R M) = 𝖕_i, for i = 1, . . . , n, is a minimal primary decomposition of N, then the following statements are true. (i) 𝖕 = 𝖕_k for some 1 ≤ k ≤ n. (ii) For each j = 1, . . . , n there exists m_j ∈ M such that 𝖕_j = (N :_R m_j). (iii) For each i, j = 1, . . . , n either 𝖕_i ⊆ 𝖕_j or 𝖕_j ⊆ 𝖕_i. Let Γ_E(M) denote the zero-divisor graph of equivalence classes of zero divisors of M. It is shown that {Q₁∩ ⋯ ∩Q_n-1, Q₁∩ ⋯ ∩Q_n-2, . . . , Q₁} is an independent subset of V (Γ_E(M)), whenever the zero submodule of M is a 2-absorbing submodule and Q₁ ∩ ⋯ ∩ Q_n = 0 is its minimal primary decomposition. Furthermore, it is proved that Γ_E(M)[(0 :_R M)], the induced subgraph of Γ_E(M) by (0 :_R M), is complete.

• 대한수학회보
• /
• 제57권1호
• /
• pp.167-177
• /
• 2020

Let I be an ideal of Noetherian local ring (R, m) and M an artinian R-module. In this paper, we study colocalization of local homology modules. In fact we give Colocal-global Principle for the artinianness and minimaxness of local homology modules, which is a dual case of Local-global Principle for the finiteness of local cohomology modules. We define the representation dimension r^I (M) of M and the artinianness dimension a^I (M) of M relative to I by r^I (M) = inf{i ∈ ℕ₀ : H^I_i (M) is not representable}, and a^I (M) = inf{i ∈ ℕ₀ : H^I_i (M) is not artinian} and we will prove that i) a^I (M) = r^I (M) = inf{r^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R)} ≥ inf{a^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R)}, ii) inf{i ∈ ℕ₀ : H^I_i (M) is not minimax} = inf{r^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R) ∖ {𝔪}}. Also, we define the upper representation dimension R^I (M) of M relative to I by R^I (M) = sup{i ∈ ℕ₀ : H^I_i (M) is not representable}, and we will show that i) sup{i ∈ ℕ₀ : H^I_i (M) ≠ 0} = sup{i ∈ ℕ₀ : H^I_i (M) is not artinian} = sup{R^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R)}, ii) sup{i ∈ ℕ₀ : H^I_i (M) is not finitely generated} = sup{i ∈ ℕ₀ : H^I_i (M) is not minimax} = sup{R^IR_𝖕 (_𝖕M) : 𝖕 ∈ Spec(R) ∖ {𝔪}}.