Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I am getting the confusion with the definition of algebra. When we say $A$ is a finitely generated $R$- algebra then is that mean $A$ has a ring structure and finitely generated as an $R$-module. Thanks

share|improve this question
    
Perhaps language problems again...I shall check that and erase my comment. Thanks. –  DonAntonio Jan 16 '13 at 18:43
1  
I thin I must have been thinking of finite-dimensional algebra...oh, well. –  DonAntonio Jan 16 '13 at 18:44
add comment

1 Answer

No, being finitely generated as an algebra is generally not as strong as being finitely generated as a module.

Being finitely generated as an algebra means that there is some finite set of elements from the algebra, such that the subalgebra generated by those elements is the entire algebra.

This means that apart from $R$-linear combinations of the elements, we can also take all products of the elements, which may well give us a lot more elements.

As an easy example of an algebra (let's say over a field $k$) that is finitely generated as an algebra but not finitely generated as a module over $k$, we can take the polynomial ring $k[x]$ in one indeterminate. As a $k$-module (ie, a vector space), this is infinite dimensional, so not finitely generated. But as a $k$-algebra, it is generated by the element $x$.

share|improve this answer
1  
If I remember right, those who use "finitely generated algebra" this way like to use "module-finite algebra" for the OP's meaning. –  rschwieb Jan 16 '13 at 18:37
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.