Centre of the ring of quaternions


by Wingeer
Tags: centre, quaternions, ring
Wingeer
Wingeer is offline
#1
Nov5-11, 08:11 AM
P: 79
1. The problem statement, all variables and given/known data
What is the centre of the ring of the quaternions defined by:
[tex]\mathbf{H}=\{ \begin{pmatrix}
a & b \\
-\bar{b} & \bar{a} \end{pmatrix} | a,b \in \mathbf{C} \}[/tex]?

2. Relevant equations

The definition of the centre of a ring:
The centre Z of a ring R is defined by [tex]Z(R)=\{A | AX=XA, \forall X \in R\}[/tex]

3. The attempt at a solution
I figured that multiples of the 2x2 identity matrix must be in the centre.
Also if we denote an element of H by:
[tex]\begin{pmatrix} x & y \\
-\bar{y} & \bar{x} \end{pmatrix}[/tex]
where [tex]x=x_1 + ix_2[/tex] and similarly for a,b and y that:
1. [tex]b\bar{y}=\bar{b}y[/tex]
2. [tex]y(a-\bar{a})=b(x-\bar{x})[/tex]
3. [tex]\bar{b}(x-\bar{x})=\bar{y}(a-\bar{a})[/tex]

Then for instance we get from the first equation that:
[tex]b_2x_1=a_1y_2[/tex]
But I am not sure whether this approach really is any useful at all. Some hints would be greatly appreciated.
Phys.Org News Partner Science news on Phys.org
SensaBubble: It's a bubble, but not as we know it (w/ video)
The hemihelix: Scientists discover a new shape using rubber bands (w/ video)
Microbes provide insights into evolution of human language
Wingeer
Wingeer is offline
#2
Nov9-11, 10:27 AM
P: 79
Anyone?
I actually have another question about the quaternions. I am asked to show that:
[tex]\mathbf{H'} = \{ a+bi+cj+dk | a,b,c,d \in \mathbf{R} \}[/tex]
with: i^2=j^2=k^2=-1, ij=k=-ji, ik=-j=-ki and jk=i=-kj.

is isomorphic as rings to the quaternions defined in the previous post.
I started by noticing that (where x,y are complex numbers):
[tex]\begin{pmatrix}
x & y \\
-\bar{x} & \bar{y} \end{pmatrix} = \begin{pmatrix}
a+bi & c+di \\
c-di & a-bi \end{pmatrix} = \begin{pmatrix}
a & 0 \\
0 & a \end{pmatrix} + \begin{pmatrix}
bi & 0 \\
0 & bi \end{pmatrix} + \begin{pmatrix}
0 & c \\
-c & 0 \end{pmatrix} + \begin{pmatrix}
0 & di \\
di & 0 \end{pmatrix}[/tex]

And so we see that every element in H is a linear combination of these matrices which all are linearly independent as well. This means we have found a basis for H.
So if we define a function f:H -> H' by:
[tex]1= f \left( \begin{pmatrix}
1 & 0 \\
0 & 1 \end{pmatrix} \right)[/tex]
[tex]i=f \left( \begin{pmatrix}
i & 0 \\
0 & i \end{pmatrix}\right)[/tex]
[tex]j=f \left( \begin{pmatrix}
0 & 1 \\
-1 & 0 \end{pmatrix}\right)[/tex]
[tex]k=f \left( \begin{pmatrix}
0 & i \\
i & 0 \end{pmatrix}\right)[/tex]

We see that obviously f is both surjective and injective as these are the only values f are defined for. Therefore f is an bijection and H and H' are isomorphic. Do I have to mix ring homomorphisms in this? Or?
Dick
Dick is offline
#3
Nov9-11, 04:56 PM
Sci Advisor
HW Helper
Thanks
P: 25,175
You've have the right general ideas there. Let's call your matrices M1, Mi, Mj and Mk. By the way, I think you've Mi wrong, check it again. You need to define f for all matrices. But that's easy just define it to be the linear map H->H' defined by your mapping of the basis elements. That you have a bijection between H and H' isn't really in question, because you've mapped the basis for a four dimensional real vector space into the basis of another one. So it's a bijection. Now you have to worry whether it's a ring homomorphism. Ring addition is not a problem just because f is linear. It's multiplication you have to check. If f(xy)=f(x)f(y). For example is f(Mi*Mj)=f(Mi)f(Mj)?

Deveno
Deveno is offline
#4
Nov9-11, 05:43 PM
Sci Advisor
P: 906

Centre of the ring of quaternions


note that it is sufficient to check the 16 possible products of M1,Mi,Mj,Mk because of linearity and the distributive laws.

your formula for Mi is indeed wrong, as the lower right coordinate is not the complex conjugate of the upper left coordinate, so that matrix isn't even in H.

*****

with regard to your first problem, note that

[a 0]
[0 a] is not in Z(H) unless a is real, because:

[x+iy .0..][0 i]....[.0.. -y+ix]
[.0.. x-iy][i 0] = [b+ia ...0..]

whereas:

[0 i][x+iy .0.]....[...0.. y+ix]
[i 0][.0.. x-iy] = [-y+ix .0..], these two matrices aren't equal unless y = 0.

remember that an element of Z(H) has to commute with ALL of H, so if you find just ONE element of H a certain matrix doesn't commute with, that matrix cannot be in the center. so i suggest you find which matrices commute with your matrices Mi, Mj and Mk.


Register to reply

Related Discussions
Circular ring and potential at its centre. Introductory Physics Homework 1
Ring Theory - Quaternions and sets of inverses Calculus & Beyond Homework 5
Thompson's Jumping Ring with the ring in the centre of the solenoid Introductory Physics Homework 0
1.) Net electric field and 2.) Maximum electric field from centre of a ring Introductory Physics Homework 7