Skip to main content
3 of 3
replaced http://mathoverflow.net/ with https://mathoverflow.net/

Nonnegatively graded algebra $A$ finitely generated as $k$-algebra iff $A_0$ finitely generated, $A_{>0}$ finitely generated as $A$-module?

This is related to my question here. My question is as follows. How do I see that a nonnegatively graded algebra $A$ is finitely generated as a $k$-algebra if and only if $A_0$ is finitely generated as a $k$-algebra and $A_{>0}$ is finitely generated as an $A$-module (i.e. as a left ideal of $A$)?

Our algebras here are associative, unital, and not necessarily commutative.

Jakob W
  • 349
  • 1
  • 7