Past exam of the introduction to representation theory course of the University of Oxford / 2023 / 1 / d

Let $J\ne 0$ be a two-sided ideal of $A{\otimes }_{k}B$. Choose a nonzero $x\in J$ of least possible two-factor tensor rank $n$, and take a shortest expressionBoth families $(a_i)$ and $(b_i)$ are linearly independent: a linear dependence in either family would combine terms and shorten the expression. In particular $a_1,b_1\ne 0$.

Because $A$ is a simple ring, the two-sided ideal generated by $a_1$ is $A$. Thus there are finitely many $u_j,v_j\in A$ with ${\sum }_j{u}_j{a}_1{v}_j=1$. FormSince the $b_i$ are linearly independent, applying a linear functional selecting $b_1$ shows $y\ne 0$. Its two-factor tensor rank is at most $n$ and hence, by the choice of $x$, exactly $n$. Consequently $c_1=1,c_2,\dots ,c_n$ are linearly independent.

Similarly, simplicity of $B$ gives finitely many $p_j,q_j\in B$ with ${\sum }_j{p}_j{b}_1{q}_j=1$. NowThe linear independence of the $c_i$ shows $z\ne 0$, and minimality again makes its two-factor tensor rank exactly $n$. We have obtainedBoth coefficient families in this expression are linearly independent. Retaining this additional property is the key to the next part. This is coefficient normalization in an ideal of a tensor product.

Keep the nonzero $z$ of minimal two-factor tensor rank constructed in part (i). For every $a\in A$, its commutator with $a\otimes 1$ lies in $J$ and equalsIf this tensor were nonzero, its two-factor tensor rank would be at most $n-1$, contradicting minimality. Thus it is zero. The linear independence of $d_2,\dots ,d_n$ forces $a{c}_i=c_{i}a$ for every $a$ and $i\ge 2$. Since $Z(A)=k$, each $c_i$ is a scalar multiple of $1$.

But $1,c_2,\dots ,c_n$ are linearly independent. Hence $n=1$, so $z=1\otimes 1\in J$. A two-sided ideal containing the multiplicative identity is the entire ring; therefore $J=A{\otimes }_{k}B$.

We have proved the stronger result that $A{\otimes }_{k}B$ is a simple ring. It has finite dimension $({\dim }_{k}A)({\dim }_{k}B)$, so part (b) provesPart (c)(ii) also gives $Z(A{\otimes }_{k}B)=k$, so this proves that a tensor product of central simple algebras is again a central simple algebra.