Show this matrix is isomorphic to complex number

Click For Summary
SUMMARY

The discussion centers on proving that the set of matrices \( S = \left\{ \begin{pmatrix} a & b\\ -b & a \end{pmatrix} : a,b \in \mathbb{R}, \text{ not both zero} \right\} \) is isomorphic to the group of non-zero complex numbers \( \mathbb{C}^* \) under multiplication. The user successfully demonstrated that the mapping \( \theta: x + iy \to \begin{pmatrix} x & y\\ -y & x \end{pmatrix} \) is a group homomorphism. Further, it was established that this mapping is both injective and surjective, confirming the isomorphism between the two groups.

PREREQUISITES
  • Understanding of group theory and isomorphisms
  • Familiarity with matrix representation of complex numbers
  • Knowledge of injective and surjective functions
  • Basic operations with complex numbers and matrices
NEXT STEPS
  • Study the properties of group homomorphisms in detail
  • Learn about injective and surjective functions with practical examples
  • Explore the concept of matrix groups and their applications
  • Investigate other forms of isomorphisms in abstract algebra
USEFUL FOR

Mathematicians, students of abstract algebra, and anyone interested in the relationship between matrix representations and complex numbers.

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:

Similar threads

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