Chapter 1: Problem 2
If \(k\) is a finite field, show that every subset of \(A^{n}(k)\) is algebraic.
Short Answer
Step by step solution
Key Concepts
These are the key concepts you need to understand to accurately answer the question.
/*! This file is auto-generated */ .wp-block-button__link{color:#fff;background-color:#32373c;border-radius:9999px;box-shadow:none;text-decoration:none;padding:calc(.667em + 2px) calc(1.333em + 2px);font-size:1.125em}.wp-block-file__button{background:#32373c;color:#fff;text-decoration:none}
Learning Materials
Features
Discover
Chapter 1: Problem 2
If \(k\) is a finite field, show that every subset of \(A^{n}(k)\) is algebraic.
These are the key concepts you need to understand to accurately answer the question.
All the tools & learning materials you need for study success - in one app.
Get started for free
Let \(F\) be a nonconstant polynomial in \(k\left[X_{1}, \ldots, X_{n}\right], k\) algebraically closed. Show that \(\mathrm{A}^{n}(k) \backslash V(F)\) is infinite if \(n \geq 1\), and \(V(F)\) is infinite if \(n \geq 2 .\) Conclude that the complement of any proper algebraic set is infinite. (Hint: See Problem 1.4.)
Let \(K\) be a field, \(L=K(X)\) the field of rational functions in one variable over \(K\). (a) Show that any element of \(L\) that is integral over \(K[X]\) is already in \(K[X] .\) (Hint: If \(z^{n}+a_{1} z^{n-1}+\cdots=0\), write \(z=F / G, F, G\) relatively prime. Then \(F^{n}+a_{1} F^{n-1} G+\cdots=0\) so \(G\) divides \(F\).) (b) Show that there is no nonzero element \(F \in K[X]\) such that for every \(z \in L, F^{n} z\) is integral over \(K[X]\) for some \(n>0 .\) (Hint: See Problem 1.44.)
Show that \(L=K(X)\) (the field of rational functions in one variable) is a finitely generated field extension of \(K\), but \(L\) is not ring-finite over \(K\). (Hint: If \(L\) were ringfinite over \(K\), a common denominator of ring generators would be an element \(b \in\) \(K[X]\) such that for all \(z \in L, b^{n} z \in K[X]\) for some \(n\); but let \(z=1 / c\), where \(c\) doesn't divide \(b\) (Problem 1.5).)
Show that \(F=Y^{2}+X^{2}(X-1)^{2} \in \mathbb{R}[X, Y]\) is an irreducible polynomial, but \(V(F)\) is reducible.
Let \(k\) be an infinite field, \(F \in k\left[X_{1}, \ldots, X_{n}\right] .\) Suppose \(F\left(a_{1}, \ldots, a_{n}\right)=0\) for all \(a_{1}, \ldots, a_{n} \in k\). Show that \(F=0 .\) (Hint: Write \(F=\sum F_{i} X_{n}^{i}, F_{i} \in k\left[X_{1}, \ldots, X_{n-1}\right] .\) Use induction on \(n\), and the fact that \(F\left(a_{1}, \ldots, a_{n-1}, X_{n}\right)\) has only a finite number of roots if any \(\left.F_{i}\left(a_{1}, \ldots, a_{n-1}\right) \neq 0 .\right)\)
What do you think about this solution?
We value your feedback to improve our textbook solutions.