Skip to main content
2 of 7
added 11 characters in body

Probably yes. Both $R$ and $A=k+I$ are filtered by powers of $I$ and we may look at the associated graded rings. Now $I/I^2$ is a finitely generated $R/I$ module and $R/I$ is a finitely generated vector space, by Zariski's lemma on finitely generated $k$ algebras that are fields. So $I/I^2$ is a finitely generated vector space and the associated graded of $A=k+I$ is a finitely generated $k$ algebra. Then so is $A=k+I$?