6
$\begingroup$

Let $k$ be a field (if necessary assume $k$ to be algebraically closed). Let $A$ be a finitely generated $k$-algebra and let $B$ be a subalgebra of $A$. Remark that $B$ doesn't have to be noetherian, let alone finitely generated (consider $A=k[x,y]$, $B=k[x,xy,xy^2,\dotsc]$).

Question 1. Does it follow that $\mathrm{dim}(B) \leq \dim(A)$?

This is true when $B$ is also finitely generated and $A$ is an integral domain. Because then we may use the expression of the dimension as the transcendence degree of the field of fractions. Is it also true when $B$ is not assumed to be finitely generated, or if $A$ is not an integral domain?

Question 2. Assume that $B$ is noetherian. Does it follow that $B$ is finitely generated?

  • 2
    Does $\dim$ here mean Krull dimension?2012-12-05
  • 0
    Sure, otherwise the question is boring and my remarks would be nonsense.2012-12-05

1 Answers 1