3
$\begingroup$

Consider the group homomorphism $\phi:M_2(\mathbb{R}) \to \mathbb{R}$ given by $\phi(A) = \text{trace}(A)$. The kernel of $\phi$ is isomorphic to which of the following groups?

a) $M_2(\mathbb{R})/ \{A \in M_2(\mathbb{R}):\phi(A)=0\}$

b) $\mathbb{R}^2$

c) $\mathbb{R}^3$

d) $GL_2(\mathbb{R})$

  • 0
    Try and write out a generic matrix of trace zero.2017-01-01
  • 0
    I think option a is correct?2017-01-01
  • 2
    No, please think again. That is the quotient over the kernel.2017-01-01
  • 0
    Kernel of ϕ is the collection of those matrices whose trace are zero,2017-01-01
  • 1
    I recommend consulting the help menu for advice on formatting math on this site.2017-01-01
  • 0
    i can not understand...how to solve the problem..plz help me2017-01-01
  • 0
    Find a nice formula that parametrizes all traceless matrices.2017-01-01
  • 0
    If $\begin{bmatrix} a&b\\c&d\end{bmatrix} $ has trace zero, what's the relation between $a$ and $d$? How many parameters are left?2017-01-01
  • 0
    a+d=0 and there are 2 parameters left2017-01-02
  • 0
    $a+d=0$ eliminates only one parameter.2017-01-02
  • 0
    yes..a+d=0 eliminates one parameter then there are total 3 parameter2017-01-02

1 Answers 1

3

The map is linear and surjective. The rank-nullity theorem says $$ \dim M_2(\mathbb{R})=\dim\ker\phi+1 $$ because the image of $\phi$ has dimension $1$.

Therefore , one of the choices is obvious. However, if you are really dealing with group homomorphisms, then only one choice is excluded, namely the only group that has non trivial torsion elements. (Thanks to Omnomnomnom who drew more attention to the question's formulation.)

  • 1
    Note that with the axiom of choice, there is a *group isomorphism* between $\Bbb R^3$ and $\Bbb R$, since both are free $\Bbb Z$ modules with a basis of the same uncountable cardinality.2017-01-02
  • 0
    @Omnomnomnom Added, thanks. But they're free $\mathbb{Q}$-modules with a basis of the same uncountable cardinality.2017-01-02