Suppose $R = \mathbb{Q}[x_1, ..., x_n]/I$, and $J \subset R$ is a given height one ideal. Is there a quick algorithm one could write to determine if $J$ is a principal ideal or necessarily not principal? Is it not possible to do this with Groebner bases?
Algorithm for principal ideal
LMN
- 3.6k
- 22
- 47