Finitely generated ideal?

  • Thread starter mesarmath
  • Start date
  • #1
8
0

Main Question or Discussion Point

hi,

i was reading about finitely generated ideals

and there was a remark that ideal which consists of polynomials with no constant term, in the polynomial ring Z[x_1,x_2,x_3,,,,,,] , is not finitely generated.

and i can not show it is not finitely generated

any idea?
 

Answers and Replies

  • #2
97
0
This is only true if the ring R=Z[x_1,x_2,x_3,...] has an infinite number of variables. The ring itself is finitely generated as an R-module by the identity {1}. Clearly we can't use {1} to generate the submodule consisting of all polynomials with no constant term though.

The proof that this submodule is not finitely generated hinges on the fact that polynomials have only finitely many non-zero terms. This means that any finite generating set of polynomials must generate only finitely many variables. The submodule has countably many variables, so cannot be finitely generated.
 

Related Threads on Finitely generated ideal?

  • Last Post
Replies
1
Views
2K
Replies
7
Views
1K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
1
Views
2K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
7
Views
12K
  • Last Post
Replies
21
Views
4K
Replies
1
Views
2K
  • Last Post
Replies
9
Views
2K
  • Last Post
Replies
6
Views
4K
Top