Skip to main content
Notice removed Draw attention by Cusp
Bounty Ended with Avi Steiner's answer chosen by Cusp
Adds link to wiki definition of numerical semigroup
Source Link
Luc Guyot
  • 7.9k
  • 2
  • 30
  • 51

Canonical module of a semigroup ring

Let $S$ be a numerical semigroupnumerical 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.

Canonical module of 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.

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.

Notice added Draw attention by Cusp
Bounty Started worth 50 reputation by Cusp
Source Link
Cusp
  • 1.7k
  • 1
  • 12
  • 20

Canonical module of 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.