Tensor product of central simple algebras (source code)

= Tensor product of central simple algebras

The <tensor product> over $k$ of two central simple $k$-algebras is central simple. After extending scalars to an algebraic closure, both factors and their tensor product become full matrix algebras; faithful flatness then descends simplicity and the center.