QGorensteinGenerator(e, R)
QGorensteinGenerator(R)
Suppose that $R$ is a ring such that $(p^e-1)K_R$ is linearly equivalent to zero (this is the case, for example, if $R$ is $\mathbb{Q}$-Gorenstein with index not divisible by $p$). Then if we write $R = S/I$, where $S$ is a polynomial ring, we have that $I^{[p^e]}:I = uS + I^{[p^e]}$ for some $u \in S$. By Fedder's criterion, this element $u$ represents the generator of the $R^{1/p^e}$-module Hom($R^{1/p^e}$,$R$). For example, if $I$ is principal, generated by $f$, then we may take $u = f^{ p^e-1}$.
The function QGorensteinGenerator produces the element $u$ described above. If the user does not specify a positive integer $e$, it assumes $e = 1$.
|
|
|
|
|
|
If Macaulay2 does not recognize that $I^{[p^e]}:I / I^{[p^e]}$ is principal, an error is thrown, which will also happen if $R$ is not $\mathbb{Q}$-Gorenstein of the appropriate index. Note that in the nongraded case Macaulay2 is not guaranteed to find minimal generators of principally generated modules.
The object QGorensteinGenerator is a method function.