## questions on central simple algebras

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Suppose $A$ is a finite dimensional central simple algebra over a field $F$, $B$ is a simple subalgebra of $A$. $C$ is the centralizer of $B$ in $A$.

From Wedderburd-Artin theorem and the double centralizer theorem We know

1. $A\cong M_n(\Delta_A)$，where $\Delta_A$ is a central division algebra over $F$
2. $B\cong M_m(\Delta_B)$ ,where $\Delta_B$ is a division algebra over $F$
3. $C\cong M_k(\Delta_C)$ ,where $\Delta_C$ is a division algebra over $F$

so what is the relationship between $\Delta_A$, $\Delta_B$ and $\Delta_C$, and $m,n,k$?

if we write their schur index, the dimension of a division algebra over its maximal subfield, as $Ind_A$, $Ind_B$, $Ind_C$, what is the relationship between these three numbers?

-

## 2 Answers

The double centralizer theorem (cf. Knapp, Anthony W. (2007), Advanced algebra, Cornerstones p 115 Theorem 2.43) implies that $$\textrm{dim}_F B \cdot \textrm{dim}_F C = \textrm{dim}_F A.$$ Thus we should have $$m^2\textrm{dim}_F \Delta_B \cdot k^2\textrm{dim}_F \Delta_C = n^2\textrm{dim}_F \Delta_A.$$ Furthermore, $C$ is simple, and $B$ is the centralizer of $C$ in $A$.

As a corollary of the double centralizer theorem, If $\Delta$ is a central finite dimensional division algebra over a field $F$, and if $K$ is the maximal subfield of $\Delta$, then $$\textrm{dim}_F\Delta=(\textrm{dim}_F K)^2.$$ So, for $\Delta_A$, we have $\textrm{dim}_F \Delta_A = (Ind_A)^2$. For $\Delta_B$ and $\Delta_C$, note that $Z(B)=B\cap C = Z(C)$. Thus, $$\textrm{dim}_F\Delta_B=\textrm{dim}_{B\cap C}\Delta_B\cdot\textrm{dim}_F(B\cap C)=(Ind_B)^2\cdot\textrm{dim}_F(B\cap C)$$ $$\textrm{dim}_F\Delta_C=\textrm{dim}_{B\cap C}\Delta_C\cdot\textrm{dim}_F(B\cap C)=(Ind_C)^2\cdot\textrm{dim}_F(B\cap C).$$

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

I don't know if we may expect a "simple"(pun unintended) answer. You can take $B={\mathbb H}$ the hamiltonian quaternions, embed it in $M_4({\mathbb R})$ and the latter can be embedded in $M_n({\mathbb R})$ any old how. (Then $C$ may be a bit more complicated).

-

I don't understand you would further embed $M_4(\mathbb{R})$ in $M_n(\mathbb{R})$. Based on OP, the field $\mathbb{F}=\mathbb{R}$, and your example is $B=\mathbb{H}$, $A=M_4(\mathbb{R})$, $C$ is the centralizer of $\mathbb{H}$ in $M_4(\mathbb{R}$. By direct computation, $C$ is isomorphic to $\mathbb{H}$ with different matrices corresponding to $i$, $j$, and $k$.  – i707107 Feb 26 at 21:27
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 53, "mathjax_display_tex": 5, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9172207713127136, "perplexity_flag": "head"}