Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Kernel of homomorphisms

  1. Sep 24, 2014 #1
    I'm centering on lie group homomorphisms that are also covering maps from the universal covering group. So that if their kernel was just the identity
    they would be isomorphisms.
    Are there situations in wich the kernel of such a homomorphism would reduce to the identity? I'm thinking of situations where the groups act on different sp
     
  2. jcsd
  3. Sep 24, 2014 #2

    HallsofIvy

    User Avatar
    Staff Emeritus
    Science Advisor

    I'm not clear what your question is. You state that you know that if a homomorphism is an isomorphism then its kernel is the identity. You then ask "Are there situations in which the kernel of such a homomorphism would reduce to the identity?" Do you mean "are the situations in which the kernel is the identity but the homomorphism is NOT an isomorphism?

    If that is your question, then, strictly speaking, yes. In order to be an isomorphism, a homomorphism must be both "one to one" and "onto". A homomorphism is "one to one" if and only if its kernel is the identity. But that leaves "onto". It is possible for a homomorphism to be "one to one" yet not be "onto".

    However, in such a case, the homomorphism is "onto" a subgroup of the original range group and we normally then focus on the homomorphism being an isomorphism to that subgroup.
     
  4. Sep 24, 2014 #3
    Hi, that was not what I meant, I had some problem with the editor and the question appeared cut.
    I was gonna give some example: consider the well known homomorphism SU(2)->SO(3), Since SU(2) is the Universal cover of SO(3) the only reason it is not an isomorphism is that its kernel has one more element besides the identity, -I, and my question is if there are situations where the kernel
    of this homomorphism is reduced to the identity, amd therefore turned into an isomorphism. Like maybe wnen acting on spaces that are not vector spaces that habe isometries that reduce the kernel.
     
  5. Sep 24, 2014 #4

    Fredrik

    User Avatar
    Staff Emeritus
    Science Advisor
    Gold Member

    I'm not sure what you mean by "situations". Are you asking about group homomorphisms ##\phi:G\to H## where G and H are not necessarily SU(2) and SO(3), or are you asking specifically about SU(2) and SO(3)?

    I suspect that whatever the exact question is, the best answer you will get is that there's a theorem that says that if ##\phi:G\to H## is a homomorphism, then the quotient group ##G/\ker\phi## is isomorphic to ##\phi(G)##.
     
  6. Sep 24, 2014 #5
    /
    That was just an example that fulfills the conditions I stablished. By situations I mean there are group actions on manifolds other than the usual Rn that modify the kernel so that the quotient trivially becomes G/Identity.
     
  7. Sep 25, 2014 #6
    Basically I guess I was trying to define a non-canonical or unnatural isomorphism, that is, an isomorphism that requires a previous choice, whereas canonical means: "distinguished representative of a class", particularly one that does not require making any choice; this is also known as "natural", as in natural transformation."
     
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook




Similar Discussions: Kernel of homomorphisms
  1. Kernel <-> Ideal? (Replies: 2)

  2. Kernel Help (Replies: 0)

  3. Kernel and range (Replies: 2)

Loading...