So just to ask, if $q(x, y) = ax^2 + by^2$ is a quadratic form in two variables over a field $K$ ($a, b \in K$) with char $K \neq 2$, how is $C(q)$ isomorphic to $M_2(K)$?
-
$\begingroup$ Ha? What are $C(q)$ and $M_2(K)$? $\endgroup$– Gunnar Þór MagnússonJan 15, 2013 at 13:42
-
$\begingroup$ Oh, $C(q)$ is the Clifford Algebra of $q$ and $M_2(K)$ is the 2x2 matrices over $K$. Sorry about that! $\endgroup$– EricJan 15, 2013 at 13:44
1 Answer
If the field is algebraically closed (or at least $a$ and $b$ have square roots in $K$), then it's easy to see that $A=(\frac{1}{\sqrt{a}},0)$ and $B=(0,\frac{1}{\sqrt{b}})$ form an orthonormal basis for the two dimensional space with respect to the quadratic form. Further, $q(A)=q(B)=1$. We have that $\{1,A,B,AB\}$ is a basis for the Clifford algebra, all elements squaring to 1.
So: can you think of two distinct anticommuting elements $m_1$ and $m_2$ in the matrix ring which square to the identity matrix, and whose product $m_1m_2$ squares to the identity matrix?
Hint: you can do it with just the elements $\{0,1,-1\}$ in the matrices. (It's important that the characteristic is not 2 so that $1\neq -1$.) Keep it simple! After you have found these elements, the obvious map gives you an isomorphism between the matrix ring and the Clifford algebra.
The added condition that $ab=0$ keeps $a$ and $b$ from being zero, but in the general case, it may be that an orthonormal basis contains elements squaring to -1.
-
$\begingroup$ I forgot to mention the condition that $ab \neq 0$. Being algebraically closed of $K$ is not mentioned. =| However, with your question, is it: $m_1 = \begin{bmatrix} 0 & 1 \\ 1 & 0 \end{bmatrix}$ and $m_2 = - m_1$? $\endgroup$– EricJan 15, 2013 at 15:15
-
$\begingroup$ @Eric Unfortunately, that choice of $m_1$ and $m_2$ commute rather than anticommute... but you are close! You can't miss it if you keep going. $\endgroup$– rschwiebJan 15, 2013 at 15:23
-
$\begingroup$ Ohhhh! Ok! Let me find $m_1$ and $m_2$. You Sir are great! $\endgroup$– EricJan 15, 2013 at 15:50
-
$\begingroup$ Is it $m_1 = \begin{bmatrix} 0 & 1 \\ 1 & 0 \end{bmatrix}$ and $m_2 = \begin{bmatrix} 1 & 0 \\ 0 & -1 \end{bmatrix}$? $\endgroup$– EricJan 15, 2013 at 16:09
-
$\begingroup$ Just to clarify, without the condition on square roots, what happens to $A$ and $B$? $\endgroup$– EricJan 15, 2013 at 16:14