• Bulletin of the Korean Mathematical Society
• /
• v.39 no.3
• /
• pp.479-484
• /
• 2002

Let I be an ideal in a Gorenstein local ring A with the maximal ideal m and d = dim A. Then we say that I is a good ideal in A, if I contains a reduction $Q=(a_1,a_2,...,a_d)$ generated by d elements in A and $G(I)=\bigoplus_{n\geq0}I^n/I^{n+1}$ of I is a Gorenstein ring with a(G(I)) = 1-d, where a(G(I)) denotes the a-invariant of G(I). Let S = A[Q/a$_1$] and P = mS. In this paper, we show that the following conditions are equivalent. (1) $I^2$ = QI and I = Q:I. (2) $I^2S$ = $a_1$IS and IS = $a_1$S：sIS. (3) $I^2$Sp = $a_1$ISp and ISp = $a_1$Sp ：sp ISp. We denote by $X_A(Q)$ the set of good ideals I in $X_A(Q)$ such that I contains Q as a reduction. As a Corollary of this result, we show that $I\inX_A(Q)\Leftrightarrow\IS_P\inX_{SP}(Qp)$.

• Journal of the Korean Mathematical Society
• /
• v.39 no.1
• /
• pp.127-135
• /
• 2002

Let I be an ideal in a Gorenstein local ring A with the maximal ideal m. Then we say that I is an equimultiple good ideal in A, if I contains a reduction Q = ( $a_1$, $a_2$,ㆍㆍㆍ, $a_{s}$ ) generated by s elements in A and G(I) =(equation omitted)$_{n 0}$ $I^{n}$ / $I^{n＋1}$ of I is a Gorenstein ring with a(G(I)) = 1 - s, where s = h $t_{A}$ I and a(G(I)) denotes the a-invariant of G(I). Let $X_{A}$$^{s}$ denote the set of equimultiple good ideals I in A with h $t_{A}$ I = s, R(I) = A [It] be the Rees algebra of I, and $K_{R(I)}$ denote the canonical module of R(I). Let a I such that $I^{n＋l}$ = a $I^{n}$ for some n$\geq$0 and $\mu$$_{A}$(I)$\geq$2, where $\mu$$_{A}$(I) denotes the number of elements in a minimal system of generators of I. Assume that A/I is a Cohen-Macaulay ring. We show that the following conditions are equivalent. (1) $K_{R(I)}$(equation omitted)R(I)＋as graded R(I)-modules. (2) $I^2$ = aI and aA : I$\in$ $X^1$$_{A}$._{A}$./.

• Journal of the Korean Mathematical Society
• /
• v.54 no.6
• /
• pp.1733-1757
• /
• 2017

Let $R={\oplus}_{{\alpha}{\in}{\Gamma}}R_{\alpha}$ be an integral domain graded by an arbitrary torsionless grading monoid ${\Gamma}$, ${\bar{R}}$ be the integral closure of R, H be the set of nonzero homogeneous elements of R, C(f) be the fractional ideal of R generated by the homogeneous components of $f{\in}R_H$, and $N(H)=\{f{\in}R{\mid}C(f)_v=R\}$. Let $R_H$ be a UFD. We say that a nonzero prime ideal Q of R is an upper to zero in R if $Q=fR_H{\cap}R$ for some $f{\in}R$ and that R is a graded UMT-domain if each upper to zero in R is a maximal t-ideal. In this paper, we study several ring-theoretic properties of graded UMT-domains. Among other things, we prove that if R has a unit of nonzero degree, then R is a graded UMT-domain if and only if every prime ideal of $R_{N(H)}$ is extended from a homogeneous ideal of R, if and only if ${\bar{R}}_{H{\backslash}Q}$ is a graded-$Pr{\ddot{u}}fer$ domain for all homogeneous maximal t-ideals Q of R, if and only if ${\bar{R}}_{N(H)}$ is a $Pr{\ddot{u}}fer$ domain, if and only if R is a UMT-domain.

• Bulletin of the Korean Mathematical Society
• /
• v.57 no.2
• /
• pp.419-427
• /
• 2020

In this paper, the projectivity of finitely generated flat modules of a commutative ring are studied from a topological point of view. Then various interesting results are obtained. For instance, it is shown that if a ring has either finitely many minimal primes or finitely many maximal ideals then every finitely generated flat module over it is projective. It is also shown that if a particular subset of the prime spectrum of a ring satisfies some certain ascending or descending chain conditions, then every finitely generated flat module over this ring is projective. These results generalize some major results in the literature on the projectivity of finitely generated flat modules.

• Communications of the Korean Mathematical Society
• /
• v.34 no.1
• /
• pp.43-54
• /
• 2019

Let R be a ring with identity and J(R) denote the Jacobson radical of R, i.e., the intersection of all maximal left ideals of R. A ring R is called J-symmetric if for any $a,b,c{\in}R$, abc = 0 implies $bac{\in}J(R)$. We prove that some results of symmetric rings can be extended to the J-symmetric rings for this general setting. We give many characterizations of such rings. We show that the class of J-symmetric rings lies strictly between the class of symmetric rings and the class of directly finite rings.

• Kyungpook Mathematical Journal
• /
• v.61 no.4
• /
• pp.823-830
• /
• 2021

Let {R_i}_i∈I be an infinite family of rings and R = ∏_i∈I R_i their product. In this paper, we investigate the prime spectrum of R by 𝓕-limits. Special attention is paid to relationship between the elements of Spec(R_i) and the elements of Spec(∏_i∈I R_i) use 𝓕-lim, also we give a new condition so that ∏_i∈I R_i is a zero dimensional ring.

• Kyungpook Mathematical Journal
• /
• v.46 no.4
• /
• pp.503-507
• /
• 2006

Let X be a Tychonoff space and ${\sum}(X)$ the set of all the subrings of C(X) that contain $C^*(X)$. For any A(X) in ${\sum}(X)$ suppose $_{{\upsilon}A}X$ is the largest subspace of ${\beta}X$ containing X to which each function in A(X) can be extended continuously. Let us write A(X) ~ B(X) if and only if $_{{\upsilon}A}X=_{{\upsilon}B}X$, thereby defining an equivalence relation on ${\sum}(X)$. We have shown that an A(X) in ${\sum}(X)$ is isomorphic to C(Y ) for some space Y if and only if A(X) is the largest member of its equivalence class if and only if there exists a subspace T of ${\beta}X$ with the property that A(X)={$f{\in}C(X):f^*(p)$ is real for each $p$ in T}, $f^*$ being the unique continuous extension of $f$ in C(X) from ${\beta}X$ to $\mathbb{R}^*$, the one point compactification of $\mathbb{R}$. As a consequence it follows that if X is a realcompact space in which every $C^*$-embedded subset is closed, then C(X) is never isomorphic to any A(X) in ${\sum}(X)$ without being equal to it.

• Journal of the Korean Mathematical Society
• /
• v.42 no.5
• /
• pp.933-948
• /
• 2005

Let R be a commutative ring with identity and let M be an R-module. Then M is called a multiplication module if for every submodule N of M there exists an ideal I of R such that N = 1M. Let M be a non-zero multiplication R-module. Then we prove the following: (1) there exists a bijection: N(M)$\bigcap$V(ann$\_{R}$(M))$\rightarrow$Spec$\_{R}$(M) and in particular, there exists a bijection: N(M)$\bigcap$Max(R)$\rightarrow$Max$\_{R}$(M), (2) N(M) $\bigcap$ V(ann$\_{R}$(M)) = Supp(M) $\bigcap$ V(ann$\_{R}$(M)), and (3) for every ideal I of R, The ideal $\theta$(M) = $\sum$$\_{m(Rm :R M) of R has proved useful in studying multiplication modules. We generalize this ideal to prove the following result: Let R be a commutative ring with identity, P $\in$ Spec(R), and M a non-zero R-module satisfying (1) M is a finitely generated multiplication module, (2) PM is a multiplication module, and (3) P$^{n}$M$\neq$P$^{n+1}$ for every positive integer n, then $\bigcap$$^{$\_{n=1}$(P$^{n}$ + ann$\_{R}$(M)) $\in$ V(ann$\_{R}$(M)) = Supp(M) $\subseteq$ N(M).

• Journal of the Korean Mathematical Society
• /
• v.52 no.6
• /
• pp.1323-1336
• /
• 2015

Let S be a semigroup with 0 and R be a ring with 1. We extend the definition of the zero-divisor graphs of commutative semigroups to not necessarily commutative semigroups. We define an annihilating-ideal graph of a ring as a special type of zero-divisor graph of a semigroup. We introduce two ways to define the zero-divisor graphs of semigroups. The first definition gives a directed graph ${\Gamma}$(S), and the other definition yields an undirected graph ${\overline{\Gamma}}$(S). It is shown that ${\Gamma}$(S) is not necessarily connected, but ${\overline{\Gamma}}$(S) is always connected and diam$({\overline{\Gamma}}(S)){\leq}3$. For a ring R define a directed graph ${\mathbb{APOG}}(R)$ to be equal to ${\Gamma}({\mathbb{IPO}}(R))$, where ${\mathbb{IPO}}(R)$ is a semigroup consisting of all products of two one-sided ideals of R, and define an undirected graph ${\overline{\mathbb{APOG}}}(R)$ to be equal to ${\overline{\Gamma}}({\mathbb{IPO}}(R))$. We show that R is an Artinian (resp., Noetherian) ring if and only if ${\mathbb{APOG}}(R)$ has DCC (resp., ACC) on some special subset of its vertices. Also, it is shown that ${\overline{\mathbb{APOG}}}(R)$ is a complete graph if and only if either $(D(R))^2=0,R$ is a direct product of two division rings, or R is a local ring with maximal ideal m such that ${\mathbb{IPO}}(R)=\{0,m,m^2,R\}$. Finally, we investigate the diameter and the girth of square matrix rings over commutative rings $M_{n{\times}n}(R)$ where $n{\geq} 2$.

• Journal of the Korean Mathematical Society
• /
• v.59 no.3
• /
• pp.571-594
• /
• 2022

Let D be an integral domain with quotient field K, Pic(D) be the ideal class group of D, and X be an indeterminate. A polynomial overring of D means a subring of K[X] containing D[X]. In this paper, we study almost Dedekind domains which are polynomial overrings of a principal ideal domain D, defined by the intersection of K[X] and rank-one discrete valuation rings with quotient field K(X), and their ideal class groups. Next, let ℤ be the ring of integers, ℚ be the field of rational numbers, and 𝔊f be the set of finitely generated abelian groups (up to isomorphism). As an application, among other things, we show that there exists an overring R of ℤ[X] such that (i) R is a Bezout domain, (ii) R∩ℚ[X] is an almost Dedekind domain, (iii) Pic(R∩ℚ[X]) = $\oplus_{G{\in}G_{f}}$ G, (iv) for each G ∈ 𝔊f, there is a multiplicative subset S of ℤ such that RS ∩ ℚ[X] is a Dedekind domain with Pic(RS ∩ ℚ[X]) = G, and (v) every invertible integral ideal I of R ∩ ℚ[X] can be written uniquely as I = XnQe11···Qekk for some integer n ≥ 0, maximal ideals Qi of R∩ℚ[X], and integers ei ≠ 0. We also completely characterize the almost Dedekind polynomial overrings of ℤ containing Int(ℤ).