Lemma 11.7.2 (074U)—The Stacks project

Processing math: 100%

Table of contents
Part 1: Preliminaries
Chapter 11: Brauer groups
Section 11.7: The centralizer theorem
Lemma 11.7.2 (cite)

previous theorem
next lemma

numberstags

history
statistics
1 tag refers to this tag

Lemma 11.7.2. Let $A$ be a finite central simple algebra over $k$ , and let $B$ be a simple subalgebra of $A$ . If $B$ is a central $k$ -algebra, then $A = B \otimes _ k C$ where $C$ is the (central simple) centralizer of $B$ in $A$ .

Proof. We have $\dim _ k(A) = \dim _ k(B \otimes _ k C)$ by Theorem 11.7.1. By Lemma 11.4.7 the tensor product is simple. Hence the natural map $B \otimes _ k C \to A$ is injective hence an isomorphism. $\square$

Comments (0)

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).

Comments (0)

Post a comment