Let $k$ be a field, and $k[x,y]$ be the polynomial ring in two variables. Feel free to assume $k$ is algebraically closed.
Are there any general structural results about finitely generated infinite-dimensional modules over $k[x,y]$?
Let $(\mathbb{N}, +, 0)$ be the commutative monoid of nonnegative integers under addition. Any set $S$ equipped with a monoid action of $\mathbb{N}^2$ gives rise to a module $kS$ over the monoid ring $k[\mathbb{N}^2]\simeq k[x,y]$. In my case, $S$ is infinite and finitely generated under the action. Are there any structural results about these modules $kS$?
Endow $\mathbb{N}^2$ with an $\mathbb{Z}^2$-grading, given by the monoid embedding $\mathbb{N}^2\to \mathbb{Z}^2$ which sends $(1,0)\mapsto (-1,-1)$ and $(0,1)\mapsto (1,-1)$. Let $S$ be an $\mathbb{Z}^2$-graded set with an action by the graded monoid $\mathbb{N}^2$. Repeat question (2) for the graded modules $kS$.
The setup in question (3) is the exact situation I'm facing, but answers to any of these questions are greatly appreciated. Thank you!