Using Linear Algebra to prove that C[x] is PID (Via proving Educlidean domain is PID and for all K, K[x] is Euclidean domain)
In the previous essay, we used the Chinese Remainder Theorem over , but why is a ?
In fact, any Euclidean domain is , and for any field is Euclidean domain.
So what is Euclidean domain?
Definition 1. An integral domain R is called a Euclidean domain if it admits a map making possible Euclidean division in R in the following sense:
Given elements , there are elements such that , where or . The map is referred to as a Euclidean function of the Euclidean domain
So, Let us prove
Proposition. Every Euclidean domain is
Let be a Euclidean domain, and be a non-zero ideal; choose , such that is minimal with respect to the Euclidean function considered on . We claim that .
Let , and consider , or and , thus , since is minimal,
Thus , then , and is principle ideal. Thus is .
Then we just need proof for any field is Euclidean domain. We will use linear algebra to prove that.
Let
For a , assume , assume that
We need to prove that there exists unique
View is a linear space over , consider the linear map
The linear map is injective, since , thus is unique.
To see the existence, we need to prove that is surjective.
And since ,
, () is the polynomial space with
And
And by is injective, that implies is surjective. Thus we prove that for
No comments:
Post a Comment