- Thread starter
- #1

- Jun 22, 2012

- 2,918

**Let k be a field. A ring R is a k-algebra if k is contained in the centre of R and the identity of k is the identity of R.**This defintion is followed by the definition of a finitely generated k-algebra:

**The ring R is a finitely generated k-algebra if R is generated as a ring by k together with some finite set [TEX] r_1, r_2, ... ... , r_n [/TEX] of elements of R.**

I wish to make sure that I understand the idea of the finite generation of the ring R.

I am assuming that we have as generators, the set of elements of k, namely [TEX] k_1, k_2, k_3, ... ... [/TEX] (may be infinite!)

and also the ring elements [TEX] r_1, r_2, ... ... , r_n [/TEX]

So the generated elements would be the those elements themselves plus the elements formed by combining these elements using (possibly repeated) the ring operations of addition and multiplication ...

So typical generated elements would include elements like

[TEX] r_1 + r_2, r_1 + k_1, r_1k_1, r_1k_2 + r_2k_3, r_1r_2 + k_1k_4 + r_3k_4, r_1r_2k_1, r_2,r_3k_2 + k_1k_2r_3, ... ... [/TEX] and so on ...

Does this look right? Can someone please confirm that I am understanding this correctly.

Peter

[Note: This has also been posted on MHF]