MHB Showing that a matrix is a homomorphism

  • Thread starter Thread starter flomayoc
  • Start date Start date
  • Tags Tags
    Matrix
Click For Summary
SUMMARY

This discussion focuses on demonstrating that a matrix function is a homomorphism, specifically addressing the mapping of matrices in the context of group theory. The participants discuss the necessity of proving that for arbitrary elements \(x, y \in T\), the equation \(f(xy) = f(x)f(y)\) holds. The matrices involved are of the form \(x = \begin{pmatrix}a & b\\0 & a^{-1}\end{pmatrix}\) and \(y = \begin{pmatrix}c & d\\0 & c^{-1}\end{pmatrix}\), where \(a, c \in \mathbb{R}^*\) and \(b, d \in \mathbb{R}\). The discussion also highlights the importance of showing surjectivity using the Fundamental Isomorphism Theorem.

PREREQUISITES
  • Understanding of matrix multiplication and properties
  • Familiarity with homomorphisms in group theory
  • Knowledge of determinants and their properties
  • Concept of surjectivity in mathematical functions
NEXT STEPS
  • Study the properties of matrix homomorphisms in detail
  • Learn about the Fundamental Isomorphism Theorem and its applications
  • Explore examples of determinants in the context of matrix products
  • Investigate the implications of surjectivity in linear transformations
USEFUL FOR

Mathematicians, students studying linear algebra and group theory, and anyone interested in the properties of matrix functions and homomorphisms.

flomayoc
Messages
1
Reaction score
0
Hi!
I am currently working on this question about matrices and showing they are homomorphisms. I have done part (i), but on part (ii) I am confused as the matrix is mapping to a - I have never seen this before and I'm not sure how to approach it. I know that usually you would work out the determinant and show that det(AB)=det(A)det(B), but I can't figure out how this would be different.

View attachment 7665

Thanks in advance!
 

Attachments

  • algebra.jpg
    algebra.jpg
    17.1 KB · Views: 143
Physics news on Phys.org
Welcome, flomayoc! (Wave)

To show that $f$ is a homomorphism, take arbitrary elements $x,y\in T$, and prove $f(xy) = f(x)f(y)$. If $x,y\in T$, then $x = \begin{pmatrix}a & b\\0 & a^{-1}\end{pmatrix}$ and $y = \begin{pmatrix}c & d\\0 & c^{-1}\end{pmatrix}$ for some $a,c\in \Bbb R^*$ and $b,d\in \Bbb R$. Now what is the matrix product $xy$?.
 
For part (iii), show for any $a \in \Bbb R^{\ast}$, that there exists $A \in T$ with $f(A) = a$. This shows $f$ is surjective, and then you can use the Fundamental Isomorphism Theorem.
 
I am studying the mathematical formalism behind non-commutative geometry approach to quantum gravity. I was reading about Hopf algebras and their Drinfeld twist with a specific example of the Moyal-Weyl twist defined as F=exp(-iλ/2θ^(μν)∂_μ⊗∂_ν) where λ is a constant parametar and θ antisymmetric constant tensor. {∂_μ} is the basis of the tangent vector space over the underlying spacetime Now, from my understanding the enveloping algebra which appears in the definition of the Hopf algebra...

Similar threads

  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 10 ·
Replies
10
Views
3K
Replies
2
Views
2K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
Replies
4
Views
2K
Replies
13
Views
1K
  • · Replies 13 ·
Replies
13
Views
1K