• Communications of the Korean Mathematical Society
• /
• v.9 no.4
• /
• pp.797-801
• /
• 1994

In [3] Goldman introduced the notion of modules of quotients of a ring with respect to an idempotents kernel functor, which is a generalization of the localization of a module with respect to a multiplicative subset of a communtative ring. For an idempotent kernel functor $\sigma$ on the category of R-modules and for an R-module M, let $Q_\sigma(M)$ denote the module of quotients with respect to $\sigma$.

• The Pure and Applied Mathematics
• /
• v.8 no.2
• /
• pp.175-183
• /
• 2001

The purpose of this paper is to find the necessary find sufficient conditions for a module to be a direct injective module. Moreover, we focus on the possibility that a direct injective module can be related with arbitrary module and Hom functor like an injective module.

• Journal of the Korean Mathematical Society
• /
• v.58 no.1
• /
• pp.219-236
• /
• 2021

Let �� be a weighted projective line defined over the algebraic closure $k={\bar{\mathbb{F}}}_q$ of the finite field ��q and σ be a weight permutation of ��. By folding the category coh-�� of coherent sheaves on �� in terms of the Frobenius twist functor induced by σ, we obtain an ��q-category, denoted by coh-(��, σ; q). We then prove that coh-(��, σ; q) is derived equivalent to the valued canonical algebra associated with (��, σ).

• Kyungpook Mathematical Journal
• /
• v.61 no.1
• /
• pp.111-137
• /
• 2021

Higson proved that every homotopy invariant, stable and split exact functor from the category of C⁎-algebras to an additive category factors through Kasparov's KK-theory. By adapting a group equivariant generalization of this result by Thomsen, we generalize Higson's result to the inverse semigroup and locally compact, not necessarily Hausdorff groupoid equivariant setting.

• The Mathematical Education
• /
• v.16 no.2
• /
• pp.22-26
• /
• 1978

It is shown that a map having an extension to an open map between the Alex-androff base compactifications of its domain and range has a unique such extension. J.S. Wasileski has introduced the Alexandroff base compactifications of Hausdorff spaces endowed with Alexandroff bases. We introduce a definition of morphism between such spaces to obtain a category which we denote by ABC. We prove that the Alexandroff base compactification on objects can be extended to a functor on ABC and that the compact objects give an epireflective subcategory of ABC. For each topological space X there exists a completely regular space $\alpha$X and a surjective continuous function $\alpha$$_{x}$ : Xlongrightarrow$\alpha$X such that for each completely regular space Z and g$\in$C (X, Z) there exists a unique g$\in$C($\alpha$X, 2) with g=g$^{\circ}$$\beta$$_{x}$. Such a pair ($\alpha$$_{x}$, $\alpha$X) is called a completely regularization of X. Let TOP be the category of topological spaces and continuous functions and let CREG be the category of completely regular spaces and continuous functions. The functor $\alpha$ : TOPlongrightarrowCREG is a completely regular reflection functor. For each topological space X there exists a compact Hausdorff space $\beta$X and a dense continuous function $\beta$x : Xlongrightarrow$\beta$X such that for each compact Hausdorff space K and g$\in$C (X, K) there exists a uniqueg$\in$C($\beta$X, K) with g=g$^{\circ}$$\beta$$_{x}$. Such a pair ($\beta$$_{x}$, $\beta$X) is called a Stone-Cech compactification of X. Let COMPT$_2$ be the category of compact Hausdorff spaces and continuous functions. The functor $\beta$ : TOPlongrightarrowCOMPT$_2$ is a compact reflection functor. For each topological space X there exists a realcompact space (equation omitted) and a dense continuous function (equation omitted) such that for each realcompact space Z and g$\in$C(X, 2) there exists a unique g$\in$C (equation omitted) with g=g$^{\circ}$(equation omitted). Such a pair (equation omitted) is called a Hewitt's realcompactification of X. Let RCOM be the category of realcompact spaces and continuous functions. The functor (equation omitted) : TOPlongrightarrowRCOM is a realcompact refection functor. In [2], D. Harris established the existence of a category of spaces and maps on which the Wallman compactification is an epirefiective functor. H. L. Bentley and S. A. Naimpally [1] generalized the result of Harris concerning the functorial properties of the Wallman compactification of a T$_1$-space. J. S. Wasileski [5] constructed a new compactification called Alexandroff base compactification. In order to fix our notations and for the sake of convenience. we begin with recalling reflection and Alexandroff base compactification.

• Journal of the Korean Mathematical Society
• /
• v.56 no.2
• /
• pp.539-558
• /
• 2019

An ideal of a commutative ring is called a d-ideal if it contains the annihilator of the annihilator of each of its elements. Denote by DId(A) the lattice of d-ideals of a ring A. We prove that, as in the case of f-rings, DId(A) is an algebraic frame. Call a ring homomorphism "compatible" if it maps equally annihilated elements in its domain to equally annihilated elements in the codomain. Denote by $SdRng_c$ the category whose objects are rings in which the sum of two d-ideals is a d-ideal, and whose morphisms are compatible ring homomorphisms. We show that $DId:\;SdRng_c{\rightarrow}CohFrm$ is a functor (CohFrm is the category of coherent frames with coherent maps), and we construct a natural transformation $RId{\rightarrow}DId$, in a most natural way, where RId is the functor that sends a ring to its frame of radical ideals. We prove that a ring A is a Baer ring if and only if it belongs to the category $SdRng_c$ and DId(A) is isomorphic to the frame of ideals of the Boolean algebra of idempotents of A. We end by showing that the category $SdRng_c$ has finite products.

• Honam Mathematical Journal
• /
• v.42 no.2
• /
• pp.219-234
• /
• 2020

The fundamental relation on a fuzzy hyperring is defined as the smallest equivalence relation, such that the quotient would be the ring, that is not commutative necessarily. In this paper, we introduce a new fuzzy strongly regular equivalence on fuzzy hyperrings, where the ring is commutative with respect to both sum and product. With considering this relation on fuzzy hyperring, the set of the quotient is a commutative ring. Also, we introduce fundamental functor between the category of fuzzy hyperrings and category of commutative rings and some related properties. Eventually, we introduce α-part in fuzzy hyperring and determine some necessary and sufficient conditions so that the relation α is transitive.

• Journal of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.331-349
• /
• 2002

Let G be a reductive algebraic group and let B, F be G-modules. We denote by $VEC_{G}$ (B, F) the set of isomorphism classes in algebraic G-vector bundles over B with F as the fiber over the origin of B. Schwarz (or Karft-Schwarz) shows that $VEC_{G}$ (B, F) admits an abelian group structure when dim B∥G = 1. In this paper, we introduce a stable functor $VEC_{G}$ (B, $F^{\chi}$) and prove that it is an abelian group for any G-module B. We also show that this stable functor will have nice properties.

• 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.