Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $S$ be a semigroup. If $S$ is abelian, then it follows that the semigroup algebra $k[S]$ is finitely generated if and only if $S$ is.

What if we relax the condition on $k[S]$, so that $k[S]$ is only noetherian. Does it in this case follow that $S$ is finitely generated?

share|improve this question
add comment

2 Answers

up vote 9 down vote accepted

It is an open problem (or was, last time I checked!) whether the noetherianity of $k[S]$ implies finite generation of $S$, when $S$ is not abelian.

This is discussed in chapter 5 of Noetherian semigroup algebras by Eric Jespers and Jan Okniński, along with various cases where we know that $S$ is finitely generated. They prove, for example, that this is so if $k[S]$ satisfies a polynomial identity, and this gives the case in which $S$ is abelian as a corollary.

share|improve this answer
    
That's interesting, I was actually expecting some strange counterexample. Thanks for the reference! –  J.C. Ottem Nov 4 '10 at 23:33
add comment

No, at least in the case that $k$ is infinite, and not prime - for an indeterminate $t$ take $S$ generated by $\{t, t/a, t/a^2, ...\}$ with $0 \ne a \in k$ of infinite (multiplicative) order not in the prime field. Then $k[S] = k[t]$ but $S$ is not finitely generated.

share|improve this answer
    
Your $k[S]$ is not the group algebra as in it the elements of $S$ are by definition linearly independent. Also $S$ is not a semigroup. –  Torsten Ekedahl Nov 4 '10 at 19:19
    
Sorry, I guess I mean the semigroup generated by the $t/a^n$. I've edited my post to reflect this change. And I'm missing something, but I don't quite understand what you mean by the elements of $S$ are by definition linearly independent? –  Justin Shih Nov 4 '10 at 19:25
    
Oh, I see now. I guess I'm taking $k[t]$ and then finding a sub-semigroup inside there, instead of taking a semigroup $S$ and then making $k[S]$. –  Justin Shih Nov 4 '10 at 19:27
    
@Justin: By definition, $k[S]$ is the $k$-vector space with basis given by elements of $S$. (Multiplication is induced by the semigroup structure on $S$.) So I'm afraid the edit still doesn't fix this... –  Dave Anderson Nov 4 '10 at 19:27
    
Right. So then can we make an increasing chain of ideals by picking $s_1 \in S$, setting $I_1 = (s_1)$, and then by induction picking $s_{k+1} \in $S\backslash\I_k$ and setting $I_{k+1} = I_k + (s_{k+1})$? This chain eventually terminates, which I think means that $S$ is finitely generated? –  Justin Shih Nov 4 '10 at 19:32
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.