MHB Can k(x) be Generated with Only One Rational Fraction?

  • Thread starter Thread starter Math Amateur
  • Start date Start date
Math Amateur
Gold Member
MHB
Messages
3,920
Reaction score
48
I would be grateful if someone could get me started on the following problem:

"Prove that the field k(x) of rational functions over k in the variable x is not a finitely generated k-algebra." (Dummit and Foote Chapter 15, page 668)

Peter

[This has also been posted on MHF]
 
Physics news on Phys.org
Hint: Any finite set of generators of $k(x)$ only produce a finite number of irreducible factors in the denominators.
 
Fernando Revilla said:
Hint: Any finite set of generators of $k(x)$ only produce a finite number of irreducible factors in the denominators.

Thanks Fernando.

My apologies ... I need a little more help ... Can you start me on the formal proof ..

I also need some help as to why irreducible elements enter the picture ...

Peter
 
This is the idea: suppose for example that $k(x)$ is generated by only one $p_1(x)/q_1(x)\in k(x).$ This means that $k(x)=k\left[p_1(x)/q_1(x)\right].$ But the elements of $k\left[p_1(x)/q_1(x)\right]$ have the form
$$a_n\left(\dfrac{p_1(x)}{q_1(x)}\right)^n+\ldots+a_1\dfrac{p_1(x)}{q_1(x)}+a_0=\dfrac{p(x)}{\left(q_1(x)\right)^n}\quad (a_i\in k,\;p(x)\in k[x])$$
The denominator has a finite number of irreducible factors. This means that we can't generate $k(x)$ with only one rational fraction (the number of irreducible plolynomials in $k(x)$ is infinite). Try to generalize to any finite number of generators.
 
Fernando Revilla said:
This is the idea: suppose for example that $k(x)$ is generated by only one $p_1(x)/q_1(x)\in k(x).$ This means that $k(x)=k\left[p_1(x)/q_1(x)\right].$ But the elements of $k\left[p_1(x)/q_1(x)\right]$ have the form
$$a_n\left(\dfrac{p_1(x)}{q_1(x)}\right)^n+\ldots+a_1\dfrac{p_1(x)}{q_1(x)}+a_0=\dfrac{p(x)}{\left(q_1(x)\right)^n}\quad (a_i\in k,\;p(x)\in k[x])$$
The denominator has a finite number of irreducible factors. This means that we can't generate $k(x)$ with only one rational fraction (the number of irreducible plolynomials in $k(x)$ is infinite). Try to generalize to any finite number of generators.

Thanks Fernando, I appreciate your help.

Peter
 
The world of 2\times 2 complex matrices is very colorful. They form a Banach-algebra, they act on spinors, they contain the quaternions, SU(2), su(2), SL(2,\mathbb C), sl(2,\mathbb C). Furthermore, with the determinant as Euclidean or pseudo-Euclidean norm, isu(2) is a 3-dimensional Euclidean space, \mathbb RI\oplus isu(2) is a Minkowski space with signature (1,3), i\mathbb RI\oplus su(2) is a Minkowski space with signature (3,1), SU(2) is the double cover of SO(3), sl(2,\mathbb C) is the...
Back
Top