Lemma 11.4.7. Let $A$, $A'$ be two simple $k$-algebras one of which is finite and central over $k$. Then $A \otimes _ k A'$ is simple.

Proof. Suppose that $A'$ is finite and central over $k$. Write $A' = \text{Mat}(n \times n, K')$, see Theorem 11.3.3. Then the center of $K'$ is $k$ and we conclude that $A \otimes _ k K'$ is simple by Lemma 11.4.4. Hence $A \otimes _ k A' = \text{Mat}(n \times n, A \otimes _ k K')$ is simple by Lemma 11.4.5. $\square$

There are also:

• 2 comment(s) on Section 11.4: Lemmas on algebras

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).