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

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