Skip to main content
edited title
Link
LMN
  • 3.6k
  • 22
  • 47

Algorithm for principalto decide if ideal is principal

Source Link
LMN
  • 3.6k
  • 22
  • 47

Algorithm for principal ideal

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?