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.

Noether-Skolem Theorem

for the case the ring is $M_2(\mathbb{C})$ says that "Every $\mathbb{C}$-algebra automorphism of $M_2(\mathbb{C})$ is inner."

Now, how to prove it by a direct calculation?


I have done the following:

Suppose $\phi: M_2(\mathbb{C})\to M_2(\mathbb{C})$ is a $\mathbb{C}$-algebra automorphism, then we want to find an invertible matrix $A=(\begin{array}{cc}x&y\\z&w\end{array})$, suppose $A^{-1}=(\begin{array}{cc}x'&y'\\z'&w'\end{array})$, such that $\phi(X)=AXA^{-1}, \forall X\in M_2(\mathbb{C})$.

Then, since $\phi$ is uniquely determined by $\phi(E_{1,2}), \phi(E_{2,1})$, where $E_{i,j},1\leq i,j\leq 2$ are the matrix units for $M_2(\mathbb{C})$.

Calculation shows that $\phi(E_{1,2})=(x\ z)^T(z'\ w'), \phi(E_{2,1})=(y\ w)^T(x'\ y')$.

Then, how to proceed?

share|improve this question

1 Answer 1

up vote 2 down vote accepted
+50

Let $\phi$ be an automorphism of $M_2({\mathbb C})$. Put $F_{ij}=\phi(E_{ij})$. We have the identity $E_{ij}E_{kl}=\delta_{jk}E_{il}$, where $\delta_{jk}$ is the Kronecker symbol. So $F_{ij}F_{kl}=\delta_{jk}F_{il}$. In particular, $F_{ii}^2=F_{ii}$ for any $i$. So $F_{11}$ and $F_{22}$ are projectors. Also, $F_{11}F_{22}=F_{22}F_{11}=0$.

I claim that ${\sf Im}(F_{11}) \cap {\sf Im}(F_{22})=\lbrace 0 \rbrace$. Indeed, let $a\in {\sf Im}(F_{11}) \cap {\sf Im}(F_{22})$. Then we have $x_1,x_2$ such that $a=F_{11}x_1=F_{22}x_2$. Then $a=F_{11}a=F_{11}F_{22}x_2=0x_2=0$ as claimed.

Also, $E_{11}+E_{22}=I_2$ yields $F_{11}+F_{22}=I_2$. So any $a\in {\mathbb C}^2$ can be written $a=F_{11}a+F_{22}a \in {\sf Im}(F_{11}) + {\sf Im}(F_{22})$. So we see that ${\mathbb C}^2$ is the direct sum $$ {\mathbb C}^2={\sf Im}(F_{11}) \oplus {\sf Im}(F_{22}) \tag{1}$$

Since $\phi$ is an automorphism, its kernel is trivial, so $F_{11}\neq 0$ and $F_{22} \neq 0$. So the summand spaces in (1) are not zero, and the only possibility is that they have both dimension $1$. So there are independent vectors $v_1,v_2$ such that ${\sf Im}(F_{11})={\sf Vect}(v_1)$ and ${\sf Im}(F_{22})={\sf Vect}(v_2)$.

For each $i$, $F_{ii}(v_i)$ is in ${\sf Im}(F_{ii})={\sf Vect}(v_i)$ so there is a $\lambda$ such that $F_{ii}(v_i)=\lambda v_i$. From $F_{ii}^2=F_{ii}$, we deduce $\lambda^2=\lambda$. As clearly $\lambda \neq 0$, we have $\lambda=1$, so

$$ F_{11}(v_1)=v_1, F_{22}(v_2)=v_2 \tag{2} $$

Then

$$ F_{11}v_2=F_{11}\bigg(F_{22}v_2\bigg)=0v_2=0 \tag{3} $$ and similarly $F_{22}v_1=0$. Further,

$$ F_{12}v_1=F_{12}\bigg( F_{11}v_1 \bigg)=0v_1=0 \tag{4} $$

Also, $F_{12}v_2=F_{11}F_{12}v_2 \in {\sf Im}(F_{11})$, so there is a constant $\lambda$ such that $F_{12}v_2=\lambda v_1$. Similarly, there is a constant $\mu$ such that $F_{21}v_1=\mu v_2$. Then, $v_1=F_{11}v_1=F_{12}F_{21}v_1=(\lambda \mu)v_1$, so $\mu=\frac{1}{\lambda}$.

Let $A$ be the unique matrix satisfying $A(e_1)=\lambda v_1$ and $A(e_2)=v_2$. Then $\phi(X)=A^{-1}XA$ for any $X$, qed.

share|improve this answer
    
thanks a lot! very impressing. –  ougao Dec 16 '12 at 13:49
    
@YACP : Vect means span indeed. I updated the post to make things more clear. What happens is that $F_{11}$ are $F_{22}$ are projectors ; their only eigenvalues are $0$ and $1$, and the eigenspaces are the kernel and the image. –  Ewan Delanoy Dec 16 '12 at 17:54

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.