• Communications of the Korean Mathematical Society
• /
• v.35 no.4
• /
• pp.1095-1106
• /
• 2020

The purpose of this paper is to introduce a new class of rings that is closely related to the class of pseudo-Krull domains. Let 𝓗 = {R | R is a commutative ring and Nil(R) is a divided prime ideal of R}. Let R ∈ 𝓗 be a ring with total quotient ring T(R) and define 𝜙 : T(R) → R_Nil(R) by ${\phi}({\frac{a}{b}})={\frac{a}{b}}$ for any a ∈ R and any regular element b of R. Then 𝜙 is a ring homomorphism from T(R) into R_Nil(R) and 𝜙 restricted to R is also a ring homomorphism from R into R_Nil(R) given by ${\phi}(x)={\frac{x}{1}}$ for every x ∈ R. We say that R is a 𝜙-pseudo-Krull ring if 𝜙(R) = ∩ R_i, where each R_i is a nonnil-Noetherian 𝜙-pseudo valuation overring of 𝜙(R) and for every non-nilpotent element x ∈ R, 𝜙(x) is a unit in all but finitely many R_i. We show that the theories of 𝜙-pseudo Krull rings resemble those of pseudo-Krull domains.

• Bulletin of the Korean Mathematical Society
• /
• v.53 no.3
• /
• pp.779-791
• /
• 2016

Transfer of homological properties under base change is a classical field of study. Let $R{\rightarrow}S$ be a ring homomorphism. The relations of Gorenstein projective (or Gorenstein injective) dimensions of unbounded complexes between $U{\otimes}^L_RX$(or $RHom_R(X,U)$) and X are considered, where X is an R-complex and U is an S-complex. In addition, some sufficient conditions are given under which the equalities $G-dim_S(U{\otimes}^L_RX)=G-dim_RX+pd_SU$ and $Gid_S(RHom_R(X,U))=G-dim_RX+id_SU$ hold.

• 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.59 no.3
• /
• pp.725-743
• /
• 2022

In this paper, the concepts of ω-linked homomorphisms, the ω_𝜙-operation, and DW_𝜙 rings are introduced. Also the relationships between ω_𝜙-ideals and ω-ideals over a ω-linked homomorphism 𝜙 : R → T are discussed. More precisely, it is shown that every ω_𝜙-ideal of T is a ω-ideal of T. Besides, it is shown that if T is not a DW_𝜙 ring, then T must have an infinite number of maximal ω_𝜙-ideals. Finally we give an application of Cohen's Theorem over ω-factor rings, namely it is shown that an integral domain R is an SM-domain with ω-dim(R) ≤ 1, if and only if for any nonzero ω-ideal I of R, (R/I)_ω is an Artinian ring, if and only if for any nonzero element α ∈ R, (R/(a))_ω is an Artinian ring, if and only if for any nonzero element α ∈ R, R satisfies the descending chain condition on ω-ideals of R containing a.

• The Pure and Applied Mathematics
• /
• v.22 no.2
• /
• pp.179-184
• /
• 2015

In this paper we discuss a functional approach to obtain a lattice-like structure in d-algebras, and obtain an exact analog of De Morgan law and some other properties.

• The Pure and Applied Mathematics
• /
• v.26 no.4
• /
• pp.233-245
• /
• 2019

Cyclic hypergroups are of great importance due to their applications to many field in mathematics. In this paper, we classify all polygroups of order less than six where each of its non-identity elements is a generator.

• Communications of the Korean Mathematical Society
• /
• v.20 no.1
• /
• pp.35-49
• /
• 2005

For an extension field K of k, a restriction homomorphism on Brauer k-group B(k) maps Brauer k-algebras to Brauer K- algebras by tensor product. A purpose of this work is to study the restriction map that sends radical (Schur) k-algebras to radical (Schur) K-algebras. And we ask an analogous question with respect to corestriction map on Brauer group B(K) that whether the corestriction map sends radical K-algebras to radical k-algebras.

• Communications of the Korean Mathematical Society
• /
• v.9 no.3
• /
• pp.503-511
• /
• 1994

In this paper, the ring A will mean a commutative Noetherian ring with non-zero multiplicative identity, it is understood that the ring homomorphisms respect identity elements and M will denote an A-module. Throughout this paper A and B will denote rings, $f : A \to B$ a ring homomorphism. C(A) (resp. C(B)) presents the category of all A-modules (resp. B-modules) and A-homomorphisms (resp. B-homorphisms) between them. The following ideas will be used without further explanation. B can be regarded as an A-module by means of f and $M\otimesB$ can be regarded as a B-module in the natural way. Furthermore the restriction of scalars provides a functor from C(B) to C(A).

• Honam Mathematical Journal
• /
• v.23 no.1
• /
• pp.51-57
• /
• 2001

Let $\mathcal{B}(H)$ and $\mathcal{B}(K)$ denote the algebras of all bounded linear operators on Hilbert spaces $\mathcal{H}$ and $\mathcal{K}$, respectively. We show that if ${\phi}:\mathcal{B}(H){\rightarrow}\mathcal{B}(K)$ is an additive mapping satisfying ${\phi}({\mid}A{\mid}^2)={\mid}{\phi}(A){\mid}^2$ for every $A{\in}\mathcal{B}(H)$, then there exists a mapping ${\psi}$ defined by ${\psi}(A)={\phi}(I){\phi}(A)$, ${\forall}A{\in}\mathcal{B}(H)$ such that ${\psi}$ is the sum of $two^*$-homomorphisms one of which C-linear and the othere C-antilinear. We will also study some conditions implying the injective and rank-preserving of ${\psi}$.

• The Pure and Applied Mathematics
• /
• v.11 no.1
• /
• pp.73-88
• /
• 2004

A punctured torus $\Sigma(1,1)$ is a building block of oriented surfaces. The goal of this paper is to formulate the matrix presentations of elements of the Teichmuller space of a punctured torus. Let $\cal{C}$ be a matrix presentation of the boundary component of $\Sigma(1,1)$.In the level of the matrix group $\mathbb{SL}$($\mathbb2,R$) we shall show that the trace of $\cal{C}$ is always negative.