MHB Show this matrix is isomorphic to complex number

Confusedalways
Messages
4
Reaction score
0
So the question is show that
$$S=\left\{ \begin{pmatrix} a & b\\ -b & a \end{pmatrix} :a,b \in \Bbb{R} ,\text{ not both zero}\right\}$$ is isomorphic to $\Bbb{C}^*$, which is a non-zero complex number considered as a group under multiplication

So I've shown that it is a group homomorphism by showing how if
$$θ: x+iy → \begin{pmatrix} x & y\\ -y & x \end{pmatrix}$$ then I proved that
θ((x1+iy1 )(x2 +iy2))=θ(x1+iy1)θ(x2+iy2)

But I'm stuck on how to show it is both injective and surjective to prove it's an isomorphism?

Thanks!
 
Last edited by a moderator:
Physics news on Phys.org
Hi Confusedalways,

Doesn't every matrix in S have a unique complex number associated with it through θ?
In other words, every matrix in S has at least one (surjective) and at most one (injective) original in $\mathbb C^*$.
 
Your title, "Show this matrix is isomorphic to complex number" puzzled me! Individual matrices are not "isomorphic" to anything. What you mean is "Show that the group of all non-zero matrices of this form is isomorphic to the group of all non-zero complex numbers" with multiplication as operation.

That your function is "injective" and "surjective" follows immediately from the definitions.
A function, f, is "injective" if and only if f(x)= f(y) implies x= y. Here, x and y are the given type of matrices. Let x= \begin{pmatrix} a & -b \\ b & a \end{pmatrix} and y= \begin{pmatrix}a' & -b' \\ b' & a'\end{pmatrix}. Then f(x)= a+ bi= f(y)= a'+ b'i. It immediately follows that a= a' and b= b' so that x= y.

A function, f, is "surjective" if and only if, for any y in its range space, there exist x in its domain space, such that f(x)= y. Take y to be the generic a+ ib. It is immediately follows that x= \begin{pmatrix}a & -b \\ b & a\end{pmatrix} is the correct x.
 
Last edited by a moderator:
Thread 'How to define a vector field?'
Hello! In one book I saw that function ##V## of 3 variables ##V_x, V_y, V_z## (vector field in 3D) can be decomposed in a Taylor series without higher-order terms (partial derivative of second power and higher) at point ##(0,0,0)## such way: I think so: higher-order terms can be neglected because partial derivative of second power and higher are equal to 0. Is this true? And how to define vector field correctly for this case? (In the book I found nothing and my attempt was wrong...

Similar threads

Replies
2
Views
1K
  • · Replies 34 ·
2
Replies
34
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
Replies
4
Views
1K
  • · Replies 3 ·
Replies
3
Views
2K
Replies
31
Views
3K
Replies
8
Views
2K
  • · Replies 52 ·
2
Replies
52
Views
3K
Replies
6
Views
3K
  • · Replies 3 ·
Replies
3
Views
4K