Results 1 to 5 of 5

Math Help - Homomorphism, kernal, image

  1. #1
    Senior Member Pinkk's Avatar
    Joined
    Mar 2009
    From
    Uptown Manhattan, NY, USA
    Posts
    419

    Homomorphism, kernal, image

    Let f: (\mathbb{R}, +) \rightarrow (\mathbb{C}, \times ) be the map f(x) = e^{ix}. Show that f is a homomorphism and determine its image and kernal.

    Okay, so this seems somewhat easy, but I am fairly new to this concept and groups in general, so I want to check if my work is correct.

    Proof: Let x,y\in (\mathbb{R}, +). Then f(x+y) = e^{i(x+y)}=e^{ix + iy} = e^{ix}e^{iy} = f(x)f(y), so f is a homomorphism. Q.E.D.

    Am I allowed to distribute in the exponent? I am not sure since we are talking about groups with different laws of composition and no mentioning of distribution or anything, so any feedback on that would be appreciated.

    As for the image, I think it's just the set \{a\in (\mathbb{C}, \times ) : a = e^{ix} for some x\in \mathbb{R}\}.

    As for the kernel, since the identity of (\mathbb{C}, \times ) is 1, we have that f(x) = 1 whenever ix = 0, or when x=0, so the kernel of f is \{0\}.

    Again, any feedback/critique would be appreciated, thanks.
    Follow Math Help Forum on Facebook and Google+

  2. #2
    Junior Member
    Joined
    Jan 2011
    Posts
    71
    Your proof of the homomorphism property is fine. Your description of the image is also correct but you should be able to describe it as something familiar.

    There's more to the kernel.
    f(x)=1\Rightarrow e^{ix}=1.
    For real exponents, e^x=1\Leftrightarrow x=0, but this isn't true for complex numbers.
    Follow Math Help Forum on Facebook and Google+

  3. #3
    Senior Member
    Joined
    Nov 2010
    From
    Staten Island, NY
    Posts
    451
    Thanks
    2
    One more hint for the kernel:

    e^{2\pi i}=1
    Follow Math Help Forum on Facebook and Google+

  4. #4
    Senior Member Pinkk's Avatar
    Joined
    Mar 2009
    From
    Uptown Manhattan, NY, USA
    Posts
    419
    I don't recognize how I could describe the image any other way.

    And thanks, I haven't dealt with complex numbers in a long time (real analysis took up my last year of math learning).
    Follow Math Help Forum on Facebook and Google+

  5. #5
    Senior Member
    Joined
    Nov 2010
    From
    Staten Island, NY
    Posts
    451
    Thanks
    2
    The image is just the unit circle |z|=1

    The kernel consists all integer multiples of 2\pi
    Follow Math Help Forum on Facebook and Google+

Similar Math Help Forum Discussions

  1. Pre-Image / Image proof
    Posted in the Differential Geometry Forum
    Replies: 1
    Last Post: March 9th 2012, 03:30 AM
  2. Finding the Kernal
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: December 12th 2011, 03:30 AM
  3. Image and kernal
    Posted in the Advanced Algebra Forum
    Replies: 4
    Last Post: November 1st 2010, 12:51 PM
  4. kernal
    Posted in the Advanced Algebra Forum
    Replies: 1
    Last Post: October 24th 2010, 03:04 AM
  5. Kernal and Image of a Linear Transformation
    Posted in the Advanced Algebra Forum
    Replies: 3
    Last Post: October 15th 2008, 06:04 PM

Search Tags


/mathhelpforum @mathhelpforum