Skip to main content
2 of 2
Removed [sage] tag because this question doesn't involve sage.

Computing intersection of subrings

Let $R$ be a finitely generated commutative ring over a field, for concreteness.

If $S,T \leq R$ are two finitely generated subrings, is their intersection also finitely generated?

(Certainly this isn't true for infinite intersections.)

If so,

How can one compute such an intersection using a computer algebra package?

It's easy to reduce to the case that $R = {\mathrm k}[s_1,\ldots,s_n,t_1,\ldots,t_m]/I$, the subring $S$ is generated by $s_1,\ldots,s_n$, and $T$ is generated by $t_1,\ldots,t_m$.

Allen Knutson
  • 27.9k
  • 4
  • 54
  • 152