Purchase Solution

Extension of Fields and Algebraically Independent Subsets.

Not what you're looking for?

Ask Custom Question

Please view the attached file for proper formatting of these questions.

Let k be a subset of K be an extension of fields, and let the subset S of K be algebraically independent over k. For u belonging to K/S, show that the union of S and {u} is algebraically independent over k <=> u is transcendental over k(S).

Suggestions: For <=, prove the contrapositive. Suppose the s_1, ..., s_n belongs to S and that there is a polynomial 0 =/ f belonging to k[X_1, ..., X_n+1] with f(s_1, ..., s_n, u) = u. Use f to show that u is algebraic over k(S).

For =>, assume that (*) the union of S and {u} is algebraically independent, and suppose that u is a root of f = SUM(i -> n) a_i * X^i belonging to K(S)[X]. Argue that f = -, as follows. There are finitely many elements s_1, ..., s_m belonging to S, for which f belongs to k(s_1, ..., s_m)[X]. Now, view the coefficients a_i as rational functions of the s_j, and factor out a common denominator of the coefficients, so that f = 1/h(s_1, ..., s_m) * g (s_1,..., s_m, X) for suitable polynomials h, g. Now use the algebraic independence (*) to show that f = 0.

Attachments
Purchase this Solution

Solution Summary

The proofs for the extension of fields and algebraic independence are provided in an attached Word document. The solution is rather detailed and includes a step-wise response.

Purchase this Solution


Free BrainMass Quizzes
Exponential Expressions

In this quiz, you will have a chance to practice basic terminology of exponential expressions and how to evaluate them.

Probability Quiz

Some questions on probability

Graphs and Functions

This quiz helps you easily identify a function and test your understanding of ranges, domains , function inverses and transformations.

Multiplying Complex Numbers

This is a short quiz to check your understanding of multiplication of complex numbers in rectangular form.

Geometry - Real Life Application Problems

Understanding of how geometry applies to in real-world contexts