Let $k$ be a field, and let $R$ be a finitely generated $k$-algebra. (If it helps, you may assume $R$ is an integral domain.) Let $I$ be an ideal of finite colength. Note that $A:=k+I$ is a subring of $R$. Indeed, it is the pullback of the diagram $k \hookrightarrow R/I \twoheadleftarrow R$. Here's my question: $$\text{Is }A \text{ finitely generated as a } k\text{-algebra?}$$


By the Eakin-Nagata theorem, I know that $A$ is Noetherian, since the Noetherian ring $R$ is module-finite over it (as it is module-generated over $A$ by any lifting of any $k$-basis of $R/I$). Also, without the condition on colength or something like it, this tends to be false (and maybe always is). Witness that when $R=k[x,y]$ and $I=(x)$, $k+I \cong k[x,xy,xy^2,xy^3,\ldots]$ is not even Noetherian.



finite generation of a certain type of subring
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. But that is not enough. It only shows that the hypotheses are reasonable.


Choose $v\_1$, $\dots$, $v\_m$ in $R$ so that their images together with $1$ form a basis of the vector space $R/I$.
Then $R$ is generated as an $A$-module by $1$, $v\_1,\dots,v\_m$. So $A$ is a finitely generated $k$-algebra by the 
Artin-Tate lemma in wikipedia. 


One may argue more directly. Every $r\in R$ may be written as a $k$ linear combination of $1$, $v\_1,\dots,v\_m$ plus an element, say $f(r)$, in $I$.
Now take a generating set $y\_1,\dots,y\_m$ of the $k$-algebra $R$ and choose $x\_1$, $\dots$, $x\_n$ in $I$ so that the $f(y\_i)$ and the $f(v\_iv\_j)$
are amongst the $x\_j$.


We claim that every element of $R$ can be written as a
$k$ linear combination of the generators $1$, $v\_1$, $\dots$, $v\_m$ plus a polynomial in the $x\_j$, $v\_ix\_j$.
Indeed it is easy to check that the set of elements that can be written this way is invariant under multiplication by the $v\_i$ and the $x\_j$, hence also
by the $y\_j$.


If an element of $A$ is written as a $k$ linear combination of the generators $1$, $v\_1$, $\dots$, $v\_m$ plus a polynomial in the $x\_j$, $v\_ix\_j$,
then it must be a polynomial in the $x\_j$, $v\_ix\_j$.


So the $x\_j$ together with the $v\_ix\_j$ generate the $k$ algebra $A=1+I$. 


