K[T denotes te ring of polynomials over a field K and K ((x) denotes the ring of formal power series (that is, ieN Cwhere c E K, no convergence is required for the series, and multiplication is performed just like polynomials) (a) Show that, as vector spaces, Kz] is isomorphic to K0N9) and K (x') is isomorphic to KN |(b) Explain why the set {r i E N} is a basis for Kr] but not a basis for K ((r), both as vector spaces over K (c) Let W be an arbitrary vector space over K. Show that, for every function 7: N K there is a unique linear map f: K [a] -> W so that f(x') = T(i) for all i E N.

Elements Of Modern Algebra
8th Edition
ISBN:9781285463230
Author:Gilbert, Linda, Jimmie
Publisher:Gilbert, Linda, Jimmie
Chapter8: Polynomials
Section8.6: Algebraic Extensions Of A Field
Problem 16E: Each of the polynomials in Exercises is irreducible over the given field . Find all zeros of in...
icon
Related questions
icon
Concept explainers
Question

Please, help me with a very detailed and self-explanatory solution to this problem. I will appreciate it alot. Thank you

K[T denotes te ring of polynomials over a field K and K ((x) denotes the ring of formal
power series (that is, ieN Cwhere c E K, no convergence is required for the series, and
multiplication is performed just like polynomials)
(a) Show that, as vector spaces, Kz] is isomorphic to K0N9) and K (x') is isomorphic to KN
|(b) Explain why the set {r i E N} is a basis for Kr] but not a basis for K ((r), both as
vector spaces over K
(c) Let W be an arbitrary vector space over K. Show that, for every function 7: N K
there is a unique linear map f: K [a] -> W so that f(x') = T(i) for all i E N.
Transcribed Image Text:K[T denotes te ring of polynomials over a field K and K ((x) denotes the ring of formal power series (that is, ieN Cwhere c E K, no convergence is required for the series, and multiplication is performed just like polynomials) (a) Show that, as vector spaces, Kz] is isomorphic to K0N9) and K (x') is isomorphic to KN |(b) Explain why the set {r i E N} is a basis for Kr] but not a basis for K ((r), both as vector spaces over K (c) Let W be an arbitrary vector space over K. Show that, for every function 7: N K there is a unique linear map f: K [a] -> W so that f(x') = T(i) for all i E N.
Expert Solution
Step 1

Problem concerns the ring and vector space structure of the space of formal power series over K, K a field

Step 2

(a) Here K[x] is the ring of polynomials over K ; note that any polynomial consisists only finitely many terms . Thus , as a vector space ,K[x] is isomorphic to the space of sequences over K which are eventually 0, (as described in the last two lines

(a)K[x] has basis 1,x, x ,...x",
Every f(x)e K[x] has finite deg ree,
so it is a finite linear combination of
Hence.K[x]is isomorphic to K).
K () The set of all sequences
{(a,):m, with a,
0
Step 3

(a) in contrast, K<<x>> is the ring of formal power series , here an element of K<<x>> can have infinitely many non-zero coefficients. So, as a vector space K<<x>> is isomorphic to the space of ALL sequences over K, with no restrictions (unlike in the case of the ring K[x]

(a)Now, K << x» consists of all
linear combinationsax",with
no conditions on a 's
71
For example,
x"eK <<x>»
but not to K[x], as it does not have finite deg ree
trending now

Trending now

This is a popular solution!

steps

Step by step

Solved in 6 steps with 3 images

Blurred answer
Knowledge Booster
Correlation, Regression, and Association
Learn more about
Need a deep-dive on the concept behind this application? Look no further. Learn more about this topic, advanced-math and related others by exploring similar questions and additional content below.
Similar questions
  • SEE MORE QUESTIONS
Recommended textbooks for you
Elements Of Modern Algebra
Elements Of Modern Algebra
Algebra
ISBN:
9781285463230
Author:
Gilbert, Linda, Jimmie
Publisher:
Cengage Learning,
Linear Algebra: A Modern Introduction
Linear Algebra: A Modern Introduction
Algebra
ISBN:
9781285463247
Author:
David Poole
Publisher:
Cengage Learning