Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

I'm trying to understand a few basic notions on the reduced norm of division algebras, and more specifically the relation between the norm of an algebra and the norm of algebras similar to it. Disclaimer- I am new to the subject, and there may be some mistakes in my reasoning here- I would very much appreciate if anyone who sees something awkward here can point it out for me.

Let $D$ be a central-simple division algebra over a (local) field $F$, and let $\operatorname{Nrd}_{D/F}$ denote the reduced norm of $D/F$- that is, given an algebra representation $\phi:D\to M_n(E)$ for some $n$, and $E/F$ a minimal field extension for which such an $F$-algebra homomorphism exists, let $\operatorname{Nrd}_{D/F}(x)=\det(\phi(x))$. Suppose $M$ is a division algebra which is similar to $D$ (i.e a matrix algebra over $D$), then $M$ is also central-simple over $F$, and hence also has a reduced norm over $F$- denoted $\operatorname{Nrd}_{M/F}$.

What can be said about the relation between $\operatorname{Nrd}_{D/F}$ and $\operatorname{Nrd}_{M/F}$? Namely- is it possible to find a multiplicative map $F:M\to D$ such that the following diagram commutes \begin{equation}\begin{matrix}M^\times\longrightarrow&D^\times\\ {}_{\operatorname{Nrd}_{M/F}}\searrow&{}\downarrow&{}_{\operatorname{Nrd}_{D/F}}\\ &F \end{matrix}? \end{equation}

At first I thought one might be able to obtain such a map by taking a determinant map from $M$ to $D$. But as was pointed to me, the determinant is not well-defined for matrix algebras over non-commutative rings..

I would very much appreciate if someone knows of any natural construction for such a map, or can direct me to understand why no such map exists.

Thank you very much

Shai

share|improve this question

1 Answer 1

up vote 1 down vote accepted

I am not sure about following answer but I have tried on following line. But I am putting it as an answer because I am not able to comment on your question:

We have $\mathrm Nrd_{A\otimes B}(x\otimes y)={\mathrm Nrd_A(x)}^{\mathrm deg B}{\mathrm Nrd_B(x)}^{\mathrm deg A}$ [I seem to recall this, but check this statment].

Let $M=D\otimes_F M_n(F)$ and $T:=M_n(F)$. Define $f:M^{\times}\rightarrow D^{\times}$ by $x\otimes y\mapsto x^n\mathrm Nrd_T(y)$, where $n=\mathrm deg~T$. It works fine on elements of the form $x\otimes y$ but I don't know about what will happen for non-zero elements of the form $x_1\otimes y_1+x_2\otimes y_2$.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.