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've been reading the section about Brauer groups in Introduction to Modern Number Theory, and I couldn't quite understand how this isomorphism is defined.

We start with a central simple algebra $A$, over $\mathbb{Q}_p$. Then, the book says, we take ``a maximal unramified extension'' $L$ of $\mathbb{Q}_p$ in $A$. The book informs me that there are several of those, and that they are all conjugate in $A$. Then the book says the the valuation on $\mathbb{Q}_p$ extends to a valuation $v_A$ on $A$, and that the Frobenius automorphism of $L$ over $\mathbb{Q}_p$ extends to an inner automorphism of $A$ by some element $\gamma \in A$. Thus $v_A:A^{\times}\rightarrow \frac{1}{n}\mathbb{Z}$, and we define the map that is designed to be an isomorphism from $Br(\mathbb{Q}_p)$ to $\mathbb{Q}/\mathbb{Z}$ by $A\mapsto v_A(\gamma)$. The book informs me that this is well defined and in fact an isomophism.

But I'm not sure I understand what $L$ being a ``maximal unramified extension'' means. Is it: let $L$ be a field extension of $\mathbb{Q}_p$, contained in $A$, and unramified over $K$? I can't think of any examples where $L$ wouldn't be $K$ itself, since the center of $A$ is $\mathbb{Q}_p$? Is this because my intuition is bad (if so please give me an example), or is it because I have the wrong definition in mind?

share|improve this question
3  
Maybe the stuff in $L$ commutes with stuff in $L \supset \mathbf{Q}_p$ but not with other stuff in $A$? In a way analogous to how $\{\pm1, \pm i\}$ is not in the center of the quaternion group but is yet abelian. Just thinking aloud. –  Dylan Moreland Oct 31 '11 at 0:12
1  
Yes, that's exactly how this works. Just think of the subalgebra of diagonal matrices inside the CSA $M_{n \times n}(K)$ of $n \times n$ matrices; this subalgebra is commutative, but not central. (It's not a field, of course.) –  David Loeffler Oct 31 '11 at 9:34
1  
You can assume that $A$ is a division algebra. If you adjoin any element $z$ of a division algebra to its center $K$, you get an extension field $K[z]$ of the center, because everything in sight commutes. –  Jyrki Lahtonen Oct 31 '11 at 14:40
    
In Jacobson's Basic Algebra II he shows a fin-dim CSA $A$ over ${\mathbf Q}_p$ (or any local field) is a cyclic algebra $(E_n/{\mathbf Q}_p,\sigma,a)$, where ${\rm dim}_{{\mathbf Q}_p}(A) = n^2$, $E_n/{\mathbf Q}_p$ is unram. of deg. $n$, $\sigma$ is the Frob. in ${\rm Gal}(E_n/{\mathbf Q}_p)$, and $a \in {\mathbf Q}_p^\times$. We can write $a=p^iu$ for $u \in {\mathbf Z}_p^\times$. From properties of cyclic algebras, $(E/{\mathbf Q}_p,\sigma,p^iu) \cong (E/{\mathbf Q}_p,\sigma,p^jv)$ as ${\mathbf Q}_p$-algebras iff $i\equiv j \bmod n$. Then $A \mapsto i/n \bmod {\mathbf Z}$ is the isom. –  KCd Apr 28 '12 at 3:19
    
Your confusion over how there could be multiple copies of $L$ inside $A$ can be removed by looking at an actual example. Take $A = {\mathbf H}({\mathbf Q}_2)$, the quaternions over the 2-adics. Convince yourself this is a division ring. There are a lot of solutions in $A$ of $q^2 = -3$ (one example is $q = i+j+k$) and for any of them, ${\mathbf Q}_2[q]$ is a copy of ${\mathbf Q}_2(\sqrt{-3})$ inside $A$, and this is a quad. unram. extn. of ${\mathbf Q}_2$. Do you know there are infinitely many copies of ${\mathbf C}$ in ${\mathbf H}({\mathbf R})$? –  KCd Apr 28 '12 at 3:28

Your Answer

 
discard

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

Browse other questions tagged or ask your own question.