• Journal of the Korean Mathematical Society
• /
• v.50 no.3
• /
• pp.557-578
• /
• 2013

For an ideal $\mathcal{I}$ of a preadditive category $\mathcal{A}$, we study when the canonical functor $\mathcal{C}:\mathcal{A}{\rightarrow}\mathcal{A}/\mathcal{I}$ is local. We prove that there exists a largest full subcategory $\mathcal{C}$ of $\mathcal{A}$, for which the canonical functor $\mathcal{C}:\mathcal{C}{\rightarrow}\mathcal{C}/\mathcal{I}$ is local. Under this condition, the functor $\mathcal{C}$, turns out to be a weak equivalence between $\mathcal{C}$, and $\mathcal{C}/\mathcal{I}$. If $\mathcal{A}$ is additive (with splitting idempotents), then $\mathcal{C}$ is additive (with splitting idempotents). The category $\mathcal{C}$ is ample in several cases, such as the case when $\mathcal{A}$=Mod-R and $\mathcal{I}$ is the ideal ${\Delta}$ of all morphisms with essential kernel. In this case, the category $\mathcal{C}$ contains, for instance, the full subcategory $\mathcal{F}$ of Mod-R whose objects are all the continuous modules. The advantage in passing from the category $\mathcal{F}$ to the category $\mathcal{F}/\mathcal{I}$ lies in the fact that, although the two categories $\mathcal{F}$ and $\mathcal{F}/\mathcal{I}$ are weakly equivalent, every endomorphism has a kernel and a cokernel in $\mathcal{F}/{\Delta}$, which is not true in $\mathcal{F}$. In the final section, we extend our theory from the case of one ideal$\mathcal{I}$ to the case of $n$ ideals $\mathcal{I}_$, ${\ldots}$, $\mathca{l}_n$.

• Bulletin of the Korean Mathematical Society
• /
• v.39 no.4
• /
• pp.577-587
• /
• 2002

Let A be a commutative ring and M an Artinian .A-module. Let $\sigma$ be a torsion radical functor and (T, F) it's corresponding partition of Spec(A) In [1] the concept of Cohen-Macauly modules was generalized . In this paper we shall define $\sigma$-co-Cohen-Macaulay (abbr. $\sigma$-co-CM). Indeed this is one of the aims of this paper, we obtain some satisfactory properties of such modules. An-other aim of this paper is to generalize the concept of cograde by using the left derived functor $U^{\alpha}$$_{I}$(-) of the $\alpha$-adic completion functor, where a is contained in Jacobson radical of A.A.

• Bulletin of the Korean Mathematical Society
• /
• v.54 no.1
• /
• pp.319-329
• /
• 2017

Let I denote an ideal of a Noetherian local ring (R, m). Let M denote a finitely generated R-module. We study the endomorphism ring of the local cohomology module $H^c_I(M)$, c = grade(I, M). In particular there is a natural homomorphism $$Hom_{\hat{R}^I}({\hat{M}}^I,\;{\hat{M}}^I){\rightarrow}Hom_R(H^c_I(M),\;H^c_I(M))$$, $where{\hat{\cdot}}^I$ denotes the I-adic completion functor. We provide sufficient conditions such that it becomes an isomorphism. Moreover, we study a homomorphism of two such endomorphism rings of local cohomology modules for two ideals $J{\subset}I$ with the property grade(I, M) = grade(J, M). Our results extends constructions known in the case of M = R (see e.g. [8], [17], [18]).

• Bulletin of the Korean Mathematical Society
• /
• v.61 no.1
• /
• pp.273-280
• /
• 2024

Let I be an ideal of a commutative Noetherian semi-local ring R and M be an R-module. It is shown that if dim M ≤ 2 and Supp_R M ⊆ V (I), then M is I-weakly cofinite if (and only if) the R-modules Hom_R(R/I, M) and Ext¹_R(R/I, M) are weakly Laskerian. As a consequence of this result, it is shown that the category of all I-weakly cofinite modules X with dim X ≤ 2, forms an Abelian subcategory of the category of all R-modules. Finally, it is shown that if dim R/I ≤ 2, then for each pair of finitely generated R-modules M and N and each pair of the integers i, j ≥ 0, the R-modules Tor^R_i(N, H^j_I(M)) and Extⁱ_R(N, H^j_I(M)) are I-weakly cofinite.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.1
• /
• pp.137-148
• /
• 2023

We show the existence of inductive limit in the category of C^*-ternary rings. It is proved that the inductive limit of C^*-ternary rings commutes with the functor 𝓐 in the sense that if (M_n, ϕ_n) is an inductive system of C^*-ternary rings, then $\lim_{\rightarrow}$ 𝓐(M_n) = 𝓐$(\lim_{\rightarrow}\;M_{n})$. Some local properties (such as nuclearity, exactness and simplicity) of inductive limit of C^*-ternary rings have been investigated. Finally we obtain $\lim_{\rightarrow}\;M_{n}^{**}$ = $(\lim_{\rightarrow}\;M_{n})^{**}$.

• Journal of the Korean Mathematical Society
• /
• v.54 no.5
• /
• pp.1483-1504
• /
• 2017

We consider weak solutions of the instationary Navier-Stokes system in a smooth bounded domain ${\Omega}{\subset}{\mathbb{R}}^3$ with initial value $u_0{\in}L^2_{\sigma}({\Omega})$. It is known that a weak solution is a local strong solution in the sense of Serrin if $u_0$ satisfies the optimal initial value condition $u_0{\in}B^{-1+3/q}_{q,s_q}$ with Serrin exponents $s_q$ > 2, q > 3 such that ${\frac{2}{s_q}}+{\frac{3}{q}}=1$. This result has recently been generalized by the authors to weighted Serrin conditions such that u is contained in the weighted Serrin class ${{\int}_0^T}({\tau}^{\alpha}{\parallel}u({\tau}){\parallel}_q)^s$ $d{\tau}$ < ${\infty}$ with ${\frac{2}{s}}+{\frac{3}{q}}=1-2{\alpha}$, 0 < ${\alpha}$ < ${\frac{1}{2}}$. This regularity is guaranteed if and only if $u_0$ is contained in the Besov space $B^{-1+3/q}_{q,s}$. In this article we consider the limit case of initial values in the Besov space $B^{-1+3/q}_{q,{\infty}}$ and in its subspace ${{\circ}\atop{B}}^{-1+3/q}_{q,{\infty}}$ based on the continuous interpolation functor. Special emphasis is put on questions of uniqueness within the class of weak solutions.