Posts Tagged ‘simple algebra’

Throughout k is a field, \text{char}(k)=0 and A is a k-algebra.

Example 2. Suppose that \delta is a derivation of A which is not inner. If A is \delta-simple, then B=A[x;\delta] is simple. In partcular, if A is simple, then A[x; \delta] is simple too.

Proof. Suppose, to the contrary, that B is not simple. So B has some non-zero ideal I \neq B. Let n be the minimum degree of non-zero elements of I. Let J be the set of leading coefficients of elements of I. Clearly J is a left ideal of A because I is an ideal of B. To see that J is also a right ideal of A, let a \in J and b \in A. Then there exists

f=ax^n + \text{lower degree terms} \in I.

But, by Remark 5

fb = abx^n + \text{lower degree terms} \in I

and so ab \in J, i.e. J is also a right ideal. Next, we’ll show that J is a \delta-ideal of A:

if a_n \in J, then there exists some f(x)=\sum_{i=0}^n a_ix^i \in I. Clearly xf - fx \in I, because I is an ideal of B. Now

xf - fx=\sum_{i=0}^n xa_i x^i - \sum_{i=0}^n a_ix^{i+1}=\sum_{i=0}^n (a_ix +\delta(a_i))x^i - \sum_{i=0}^n a_i x^{i+1}

= \sum_{i=0}^n \delta(a_i)x^i.

So \delta(a_n) \in J, i.e. J is a non-zero \delta-ideal of A. Therefore J=A, because A is \delta-simple. So 1 \in J, i.e. there exists g(x)=x^n + b_{n-1}x^{n-1} + \cdots + b_0 \in I. Finally let a \in A. Now, ga - ag, which is an element of I, is a polynomial of degree at most n-1 and the coefficient of x^{n-1} is b_{n-1}a - ab_{n-1} + n \delta(a), which has to be zero because of the minimality of n. Thus, since \text{char}(k)=0, we may let c=\frac{b_{n-1}}{n} to get \delta(a)=ca-ac. That means \delta is inner. Contradiction! \Box

Lemma. If A is simple and \delta = \frac{d}{dx}, then A[x] is \delta-simple.

Proof. Let I \neq \{0\} be a \delta-ideal of A[x]. Let f=\sum_{i=0}^n a_ix^i, \ a_n \neq 0, be an element of I of the least degree. Suppose n > 0. Then, since I is a \delta-ideal, we must have \frac{df}{dx}=\sum_{i=0}^{n-1}ia_ix^{i-1} \in I. Hence na_{n-1}=0, by the minimality of n, and thus a_n=0 because \text{char}(k)=0.  This contradiction shows that n=0 and so f=a_0 \in A \cap I. Hence Aa_0A \subseteq I because I is an ideal of A[x] and A \subset A[x]. But A is simple and so Aa_0A = A, i.e. 1 \in Aa_0A \subseteq I and thus I=A[x]. \Box

Definition 5. The algebra A[x][y, \frac{d}{dx}] is called the first Weyl algebra over A and is denoted by \mathcal{A}_1(A). Inductively, for n \geq 2, we define \mathcal{A}_n(A)=\mathcal{A}_1(\mathcal{A}_{n-1}(A)) and we call \mathcal{A}_n(A) the nth Weyl algebra over A.

Example 3. If A is simple, then \mathcal{A}_n(A) is simple for all n. In particular, \mathcal{A}_n(k) is simple.

Proof. By Remark 3 in part (1), \delta = \frac{d}{dx} is a non-inner derivation of A[x]. So, \mathcal{A}_1(A) is simple by the above lemma and Example 2 in part (1). The proof is now completed by induction over n. \Box

Example 4. In this example we do not need to assume that \text{char}(k)=0. Let A be a simple ring and k its center. Let B be a simple k-algebra but the center of B may or may not be k. The first part of the corollary in this post shows that A \otimes_k B is simple. This is another way of constructing new simple rings from old ones.

Definition 1. A ring R with 1 is called simple if (0) and R are the only two-sided ideals of R.

Remark 1. The center of a simple ring R is a field.

Proof. Let a be any non-zero element of the center of R. Then Ra is a non-zero two-sided ideal of R and hence, since R is simple, Ra=R. Thus there exists some r \in R such that ra=1, i.e. a is invertible. Since a is in the center, r is in the center too and we’re done. \Box

Obviously commutative simple rings are  just fields. So only non-commutative simple rings are interseting.

Note 1. If k is the center of a simple ring R, then R is both a vector space over k and a ring. So it is a k-algebra. The term simple algebras is commonly used instead of simple rings.

We now give the first example of simple rings.

Example 1. Let R be a ring with 1 and let M_n(R) be the ring of n \times n matrices with entries from R. It is a well-known fact, and easy to prove, that J is a two-sided ideal of M_n(R) if and only if J=M_n(I) for some two-sided ideal I of R. In particular, M_n(R) is simple if and only if R is simple. So, for example, since every division ring D is simple, M_n(D) is simple too. In fact, by the Wedderburn-Artin theorem, a ring R is simple and (left or right) Artinian if and only if R = M_n(D) for some division ring D and some integer n \geq 1.

Example 1 gives all simple rings which are Artinian. But what about simple rings which are not Artinian? But first some definitions and remarks. From now on we will assume that k is a field and A is a k-algebra.

Definition 2. A k-linear map \delta : A \longrightarrow A is called a derivation of A if \delta(ab)=\delta(a)b + a \delta(b), for all a,b \in A. If there exists some c \in A such that \delta(a)=ca-ac, for all a \in A, then \delta is called an inner derivation.

Note that if c \in A, then the map \delta : A \longrightarrow A defined by \delta(a)=ca-ac, for all a \in A, is a derivation.

Remark 2. If \delta is a derivation of A, then \delta(1)=\delta(1 \cdot 1)=\delta(1)+\delta(1) and thus \delta(1)=0. Therefore if \alpha \in k, then \delta(\alpha)=\alpha \delta(1)=0.

Remark 3. Consider the polynomial algebra R:=A[x] and define the map \delta : R \longrightarrow R by \delta(f(x))=\frac{df}{dx}. Then \delta is a derivation which is not inner. The reason is that if there was g \in R such that \delta(f)=gf - fg, for all f \in R, then, since x is central, we’d get 1 = \delta(x) = gx-xg=0, which is non-sense.

Definition 3. Let \delta be a derivation of A. An ideal I of A is called a \deltaideal if \delta(I) \subseteq I. If the only \delta-ideals of A are \{0\} and A, we’ll say that A is \deltasimple.

Obviously if A is simple, then A is \delta-simple for every derivation \delta.

Remark 4. If \delta is an inner derivation of A, then every ideal of A is also a \delta-ideal. An obvious example of  a \delta-simple algebra is A=k[x] with \delta = \frac{d}{dx}.

Defintion 4. If \delta is a derivation of A, then we define the  k-algebra A[x; \delta] to be the set of all polynomials in the indeterminate x and left coefficients in A, with the usual addition and multiplication and the rule xa=ax + \delta(a). The algebra A[x; \delta] is also called a differntial polynomial algebra.

Note 2. So a typical element of A[x; \delta] is in the form a_nx^n + a_{n-1}x^{n-1} + \cdots + a_0, where a_i \in A. When we multiply two of these polynomials we will have to use the rule given in Definition 4. For example

x(ax+b)=(xa)x + xb = (ax + \delta(a))x + bx +\delta(b)=ax^2 + (\delta(a)+b)x + \delta(b).

Of course, we need to prove that A[x;\delta] is a k-algebra but we won’t do it here.

Remark 5. Let a \in A and m \geq 1 be an inetger. Then an easy induction shows that in A[x; \delta] we have

x^ma=\sum_{i=0}^m \binom{m}{i} \delta^{m-i}(a)x^i,

where \delta^0(a)=a. So x^m a is a (left) polynomial of degree m with the leading coefficient a.

In part (2) we will give three important examples of simple rings.