Skip to main content
2 of 2
Adds link to wiki definition of numerical semigroup
Luc Guyot
  • 7.9k
  • 2
  • 30
  • 51

Canonical module of a semigroup ring

Let $S$ be a numerical semigroup and $k[S]$ is the associated semigroup ring. I would like to compute canonical module $\omega$ of $k[S].$

I want to show that $\omega=k[t^{-n}:n\in\mathbb Z\setminus S]$.

I have shown that $H^1_{m}(k[S])=k[t^{n}:n\in\mathbb Z\setminus S]$ where $m$ is the maximal homogeneous ideal of $k[S].$ Using duality I tried to compute canonical ideal but I am not able to do it.

Cusp
  • 1.7k
  • 1
  • 12
  • 20