• Communications of the Korean Mathematical Society
• /
• v.38 no.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.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.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) ∖ {𝔪}}.