• Honam Mathematical Journal
• /
• v.36 no.2
• /
• pp.387-398
• /
• 2014

In this paper, we give a structure theorem for a class of Gorenstein ideal of grade 4 which is the sum of an almost complete intersection of grade 3 and a Gorenstein ideal of grade 3 geometrically linked by a regular sequence. We also present the Hilbert function of a Gorenstein ideal of grade 4 induced by a Gorenstein matrix f.

• Honam Mathematical Journal
• /
• v.36 no.3
• /
• pp.605-622
• /
• 2014

We provide a minimal free resolution for a class of Gorenstein ideal of grade 4 which is the sum of an almost complete intersection J of grade 3 and a perfect ideal I of grade 3 with type 2 and ${\lambda}(I)$ > 0 geometrically linked by a regular sequence, where I is generated by odd elements.

• Journal of the Korean Mathematical Society
• /
• v.50 no.5
• /
• pp.991-1008
• /
• 2013

In this paper, we mainly discuss Gorenstein Dedekind do-mains (G-Dedekind domains for short) and their overrings. Let R be a one-dimensional Noetherian domain with quotient field K and integral closure T. Then it is proved that R is a G-Dedekind domain if and only if for any prime ideal P of R which contains ($R\;:_K\;T$), P is Gorenstein projective. We also give not only an example to show that G-Dedekind domains are not necessarily Noetherian Warfield domains, but also a definition for a special kind of domain: a 2-DVR. As an application, we prove that a Noetherian domain R is a Warfield domain if and only if for any maximal ideal M of R, $R_M$ is a 2-DVR.

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

The structure theorems [3, 6, 21] for the classes of perfect ideals of grade 3 have been generalized to the structure theorems for the classes of perfect ideals linked to almost complete intersections of grade 3 by a regular sequence [15]. In this paper we obtain structure theorems for two classes of Gorenstein ideals of grade 4 expressed as the sum of a perfect ideal of grade 3 (except a Gorenstein ideal of grade 3) and an almost complete intersection of grade 3 which are geometrically linked by a regular sequence.

• Journal of the Korean Mathematical Society
• /
• v.34 no.1
• /
• pp.135-147
• /
• 1997

Let k be an infinite field and let $X = {P_1, \cdots, P_s}$ be a set of s-distinct points in $P^n$. We denote by $I(X)$ the defining ideal of $X$ in the polynomial ring $R = k[x_0, \cdots, x_n]$ and by A the homogeneous coordinate ring of $X, A = \sum_{t = 0}^{\infty} A_t$.

• Bulletin of the Korean Mathematical Society
• /
• v.60 no.4
• /
• pp.895-903
• /
• 2023

In this paper, we give some results on 2-strongly Gorenstein projective modules and related rings. We first investigate the relationship between strongly Gorenstein projective modules and periodic modules and then give the structure of modules over strongly Gorenstein semisimple rings. Furthermore, we prove that a ring R is 2-strongly Gorenstein hereditary if and only if every ideal of R is Gorenstein projective and the class of 2-strongly Gorenstein projective modules is closed under extensions. Finally, we study the relationship between 2-Gorenstein projective hereditary and 2-Gorenstein projective semisimple rings, and we also give an example to show the quotient ring of a 2-Gorenstein projective hereditary ring is not necessarily 2-Gorenstein projective semisimple.

• Bulletin of the Korean Mathematical Society
• /
• v.28 no.2
• /
• pp.175-180
• /
• 1991

In [3], [4] and [5], Hochster and Huneke introduced the notions of the tight closure of an ideal and of the weak F-regularity of a ring. This notion enabled us to give new proofs of many results in commutative algebra. A regular ring is known to be F-regular, and a Gorenstein local ring is proved to be F-regular provided that one ideal generated by a system of parameters (briefly s.o.p.) is tightly closed. In fact, a Gorenstein local ring is weakly F-regular if and only if there exists a system of parameters ideal which is tightly closed [3]. But we do not know whether this fact is true or not if a ring is not Gorenstein, in particular, a ring is a Cohen Macaulay (briefly C-M) local ring. In this paper, we will prove this in the case of an 1-dimensional C-M local ring. For this, we study the F-rationality and the normality of the ring. And we will also prove that a C-M local ring is to be Gorenstein under some additional condition about the tight closure.

• Bulletin of the Korean Mathematical Society
• /
• v.37 no.4
• /
• pp.829-841
• /
• 2000

We classify complete intersections I of grade 3 in a regular local ring (R, M) by the number of minimal generators of a minimal prime ideal P over I. Here P is either a complete intersection or a Gorenstein ideal which is not a compete intersection.

• Bulletin of the Korean Mathematical Society
• /
• v.49 no.5
• /
• pp.989-996
• /
• 2012

Let R be a commutative Noetherian ring and let I be an ideal of R. In this paper we study the amalgamated duplication ring $R{\bowtie}I$ which is introduced by D'Anna and Fontana. It is shown that if R is generically Cohen-Macaulay (resp. generically Gorenstein) and I is generically maximal Cohen-Macaulay (resp. generically canonical module), then $R{\bowtie}I$ is generically Cohen-Macaulay (resp. generically Gorenstein). We also de ned generically quasi-Gorenstein ring and we investigate when $R{\bowtie}I$ is generically quasi-Gorenstein. In addition, it is shown that $R{\bowtie}I$ is approximately Cohen-Macaulay if and only if R is approximately Cohen-Macaulay, provided some special conditions. Finally it is shown that if R is approximately Gorenstein, then $R{\bowtie}I$ is approximately Gorenstein.

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