• Journal of the Korean Mathematical Society
• /
• v.58 no.4
• /
• pp.1019-1033
• /
• 2021

Let 𝚪 be a Gorenstein coalgebra over a filed k. We introduce the Gorenstein transpose via a minimal Gorenstein injective copresentation of a quasi-finite 𝚪-comodule, and obtain a relation between a Gorenstein transpose of a quasi-finite comodule and a transpose of the same comodule. As an application, we obtain that the almost split sequences are constructed in terms of Gorenstein transpose.

• Journal of the Chungcheong Mathematical Society
• /
• v.28 no.4
• /
• pp.537-543
• /
• 2015

In [9], the authors determine an infinite class of non-unimodal Gorenstein sequence, which includes the example $$\bar{h}_1\text{ = (1, 125, 95, 77, 71, 77, 95, 125, 1)}$$. They raise a question whether there is a Gorenstein algebra with Hilbert function $$\bar{h}_2\text{= (1, 125, 95, 77, 70, 77, 95, 125, 1)}$$, which has remained an open question. In this paper, we prove that there is no Gorenstein algebra with Hilbert function $\bar{h}_2$.

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

• Journal of the Korean Mathematical Society
• /
• v.59 no.1
• /
• pp.71-85
• /
• 2022

In [4], the authors showed that if an h-vector (h₀, h₁, …, h_e) with h₁ = 4e - 4 and h_i ≤ h₁ is a Gorenstein sequence, then h₁ = h_i for every 1 ≤ i ≤ e - 1 and e ≥ 6. In th_is paper, we show that if an h-vector (h₀, h₁, …, h_e) with h₁ = 4e - 4, h₂ = 4e - 3, and h_i ≤ h₂ is a Gorenstein sequence, then h₂ = h_i for every 2 ≤ i ≤ e - 2 and e ≥ 7. We also propose an open question that if an h-vector (h₀, h₁, …, h_e) with h₁ = 4e - 4, 4e - 3 < h₂ ≤ (h₁)₍₁₎|⁺¹₊₁, and h₂ ≤ h_i is a Gorenstein sequence, then h₂ = h_i for every 2 ≤ i ≤ e - 2 and e ≥ 6.

• Journal of the Korean Mathematical Society
• /
• v.53 no.1
• /
• pp.1-17
• /
• 2016

Let $\mathcal{W}$ be an additive full subcategory of the category R-Mod of left R-modules. We provide a method to construct a proper ${\mathcal{W}}^H_C$-resolution (resp. coproper ${\mathcal{W}}^T_C$-coresolution) of one term in a short exact sequence in R-Mod from those of the other two terms. By using these constructions, we introduce and study the stability of the Gorenstein categories ${\mathcal{G}}_C({\mathcal{W}}{\mathcal{W}}^T_C)$ and ${\mathcal{G}}_C({\mathcal{W}}^H_C{\mathcal{W}})$ with respect to a semidualizing bimodule C, and investigate the 2-out-of-3 property of these categories of a short exact sequence by using these constructions. Also we prove how they are related to the Gorenstein categories ${\mathcal{G}}((R{\ltimes}C){\otimes}_R{\mathcal{W}})_C$ and ${\mathcal{G}}(Hom_R(R{\ltimes}C,{\mathcal{W}}))_C$ over $R{\ltimes}C$.

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

• 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 applied mathematics & informatics
• /
• v.29 no.1_2
• /
• pp.443-450
• /
• 2011

In this paper, we construct a Gorenstein Artinian algebra R/J with non-unimodal Hilbert function h = (1, 13, 12, 13, 1) to investigate the algebraic structure of the ideal J in a polynomial ring R. For this purpose, we use a software system Macaulay 2, which is devoted to supporting research in algebraic geometry and commutative algebra.

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

Kang and Ko introduced a skew-symmetrizable matrix to describe a structure theorem for complete intersections of grade 4. Let $R=k[w_0,\;w_1,\;w_2,\;{\ldots},\;w_m]$ be the polynomial ring over an algebraically closed field k with indetermiantes $w_l$ and deg $w_l=1$, and $I_i$ a homogeneous perfect ideal of grade 3 with type $t_i$ defined by a skew-symmetrizable matrix $G_i(1{\leq}t_i{\leq}4)$. We show that for m = 2 the Hilbert function of the zero dimensional standard k-algebra $R/I_i$ is determined by CI-sequences and a Gorenstein sequence. As an application of this result we show that for i = 1, 2, 3 and for m = 3 a Gorenstein sequence $h(R/H_i)=(1,\;4,\;h_2,\;{\ldots},\;h_s)$ is unimodal, where $H_i$ is the sum of homogeneous perfect ideals $I_i$ and $J_i$ which are geometrically linked by a homogeneous regular sequence z in $I_i{\cap}J_i$.

• Journal of the Korean Mathematical Society
• /
• v.52 no.4
• /
• pp.821-838
• /
• 2015

We investigate the relative and Tate cohomology theories with respect to Ding modules and complexes, consider their relations with classical and Gorenstein cohomology theories. As an application, the Avramov-Martsinkovsky type exact sequence of Ding modules is obtained.