Proving the Isomorphism of [ ]B: L(V) to Mnxn(R) in Linear Transformations

  • Thread starter Thread starter sweetiepi
  • Start date Start date
  • Tags Tags
    rank
sweetiepi
Messages
22
Reaction score
0
Prove that the function [ ]B: L(V) -> Mnxn(R) given by T -> [T]B is an isomorphism. [T]B is the B-matrix for T, where T is in the vector space of all linear transformations.

I don't quite understand this...
 
Last edited:
Physics news on Phys.org
Please elaborate: what don't you understand? Do you know what an isomorphism is?

What this exercise says, is that given a basis, every matrix determines a unique linear transformation, and vice versa. You probably already knew this, now you have to prove it. It really is "writing out the obvious".

PS: I don't quite see the connection with 'rank'.
 
Oh sorry about the confusion with the title. When I initially posted a question, it had to do with rank, but then I figured that one out so I just edited the question rather than post a new thread and must have forgotten to change the title.

I suppose my confusion was just because it's hard for me to visualize what's happening with coordinate mappings for a B-matrix for a transformation. I tend to have the most difficulty with the obvious things. But regardless, I went to talk to a GSI about it today and he actually helped a lot. I just needed help getting the problem started, but I got it now.
 
##\textbf{Exercise 10}:## I came across the following solution online: Questions: 1. When the author states in "that ring (not sure if he is referring to ##R## or ##R/\mathfrak{p}##, but I am guessing the later) ##x_n x_{n+1}=0## for all odd $n$ and ##x_{n+1}## is invertible, so that ##x_n=0##" 2. How does ##x_nx_{n+1}=0## implies that ##x_{n+1}## is invertible and ##x_n=0##. I mean if the quotient ring ##R/\mathfrak{p}## is an integral domain, and ##x_{n+1}## is invertible then...
The following are taken from the two sources, 1) from this online page and the book An Introduction to Module Theory by: Ibrahim Assem, Flavio U. Coelho. In the Abelian Categories chapter in the module theory text on page 157, right after presenting IV.2.21 Definition, the authors states "Image and coimage may or may not exist, but if they do, then they are unique up to isomorphism (because so are kernels and cokernels). Also in the reference url page above, the authors present two...
When decomposing a representation ##\rho## of a finite group ##G## into irreducible representations, we can find the number of times the representation contains a particular irrep ##\rho_0## through the character inner product $$ \langle \chi, \chi_0\rangle = \frac{1}{|G|} \sum_{g\in G} \chi(g) \chi_0(g)^*$$ where ##\chi## and ##\chi_0## are the characters of ##\rho## and ##\rho_0##, respectively. Since all group elements in the same conjugacy class have the same characters, this may be...
Back
Top