Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

How do you see this? $End_{\mathbb{C}} ( \mathbb{C}[x])$

As $M_{n}(\mathbb{C})=End_{\mathbb{C}} ( \mathbb{C}[x])$, so it just a matric with basis of polyonial?

Take the weyl algebra $A_1=\{ {\sum_{i=0}^{n} f_i}(x) \partial^i \ : f_{i}(x) \in \mathbb{C}, n\in \mathbb{N}\}$.

It says this weyl algebra A_1 is a subring of $End_{\mathbb{C}} ( \mathbb{C}[x])$so does that mean weyl algebra just a big matrix with complex numbers in them?

Also, is this the hardest example of a non commutative ring? As I hate to see tricker stuff than this :<

I used to like rings.

share|improve this question
    
I don't understand the second sentence. What is $n$? –  Qiaochu Yuan Oct 6 '11 at 13:40
    
Fixed it. Was being silly. –  weylthis Oct 6 '11 at 13:43
add comment

1 Answer 1

up vote 1 down vote accepted

I am sort of guessing what the question actually is, but here is the answer to my guessed question:

$\text{End}_\mathbb{C}(\mathbb{C}[x])$ is just the space of $\mathbb{C}$-linear maps on the polynomial ring. To verify that a map is $\mathbb{C}$-linear is usually trivial. Yes, you can think of an endomorphism as an infinite dimensional matrix (not $n$-dimensional!), but I don't think that that's the easiest way to think about them.

Now, the Weyl algebra is defined as $A_1=\{ {\sum_{i=0}^{n} f_i}(x) \partial^i \ : f_{i}(x) \in \mathbb{C}[x]\}$ (and not $f_i\in \mathbb{C}$), where $\partial^i$ is the $i$-th derivative operator. Clearly, multiplication by a polynomial is linear, and clearly differentiation is $\mathbb{C}$-linear. Compositions and sums of linear maps are linear, so the elements of the Weyl algebra are indeed $\mathbb{C}$-endomorphisms of $\mathbb{C}[x]$. That's all there is to it.

Finally, no, that's not the "hardest example" (whatever that may mean) of a non-commutative ring.

share|improve this answer
    
Yeah that was what I was getting at. But, I was more worreid on what End means in general. C-linear maps on the polynomial rings isn't something I have come across before. Lecturer said it was trivial. Only motivation he gave was saying that it has basis and that formed a matric. –  weylthis Oct 6 '11 at 13:55
    
@weylthis You are mixing several things. The ring $\mathbb{C}[x]$ has a $\mathbb{C}$-basis, $x^i$: $i=0,1,2,\ldots$. Therefore, a $\mathbb{C}$-linear map is determined by its action on this basis and can be written as an infinite matrix. –  Alex B. Oct 6 '11 at 14:01
    
Oh I see. That makes a lot more sense now. –  weylthis Oct 6 '11 at 14:10
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.