Proving KerD^2=KerD and ImD=ImD^2 with Linear Transformations

ergonomics
Messages
14
Reaction score
0
If i am given a linear transformation D:A->A,that is followed by
A=ImD(+)kerD
and i am asked to prove that kerD^2=kerD and imD=imD^2.

instead of trying to work it out the hard way by showing that every element of KerD is an element of kerD^2 , both directions.

would it not be easier to just say that dimA=dimA and hence the two structures are isomorphic which means that KerD={0} and ImD=A.

same goes for D^2:A->A
KerD^2={0}
ImD^2=A

=> therefore KerD^2=KerD and ImD^2=ImD ?
 
Physics news on Phys.org
ergonomics said:
would it not be easier to just say that dimA=dimA and hence the two structures are isomorphic which means that KerD={0} and ImD=A.
Why does it mean that?
 
would it not be easier to just say that dimA=dimA and hence the two structures are isomorphic
What two structures?
which means that KerD={0} and ImD=A.
Huh? I'm not sure what in the world you're doing, but just because A is isomorphic to A doesn't mean that every linear map D:A->A is an isomorphism. Is that what you were thinking?
 
According to my book two vector spaces of the same dimension are isomorphic to each other.
and the proof also apparently seems to be pretty simple.
If B is a basis for A, then we can easily show that ImD=A
and that T is injective and if T is injective then KerD={0}
 
If B is a basis for A, then we can easily show that ImD=A
and that T is injective and if T is injective then KerD={0}
You're forgetting one of the hypotheses for the theorem -- you need D to be an isomorphism.
 
yes akg unfortunately that is what i was thinking, that if the two were isomorphic to each other, then the map would necessairly be an isormophism.

just a few minutes before hurkyl put his post up, i was about to say that i went over the theorems in my book again, and that my line of thought was incorrect.

anyway, thank you all.
 
Last edited:
##\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...

Similar threads

Back
Top