# Why every central simple algebra has a splitting field

For central simple $F$-algebra $A$, where $F$ is a field, a field $E$ such that $F \subset E$ is called a splitting field if $A \otimes E$ is isomoprhic to $M_n (E)$ for some $n$. Why is algebraic closure of $F$ a splitting field for $A$?

• What is this $n$? – Crostul Nov 16 '14 at 17:53
• Yes, sorry for that, $A$ is central simple. I will fix that. – Elensil Nov 16 '14 at 18:36

Let $\bar F$ the algebraic closure of $F$ and let $A$ be a csa over $F$.
Then $A\otimes\bar F$ is a central simple algebra over $\bar F$. Wedderburn's theorem tells us that there is a finite dimensional $\bar F$-algebra and an $n\geq1$ such that $A\otimes\bar F\cong M_n(D)$. Since $\bar F$ is algebraically closed, there are no non-trivial finite dimensional division $\bar F$-algebras, so $D=\bar F$.
This means that $\bar F$ splits $A$.
• Can you please explain why $A \otimes_F \bar{F}$ is a simple ring? – Dune Nov 17 '14 at 15:55
• Ok thanks. I just know the general situation when $A$ is semisimple, and then scalar extensions can fail to be semisimple. – Dune Nov 17 '14 at 15:59