Explore BrainMass
Share

# Solve: Onto Homomorphisms

This content was COPIED from BrainMass.com - View the original, and get the already-completed solution here!

1. Let R* be the set of nonzero real numbers. Then R* is a group with the usual multiplication.
a) Let {}: R* --> R* be defined by {}(x) = x^-3, for any x is a member of R*. Show that {} is a group isomorphism.
b) Let theta: R* --> R* be defined by theta(x) = 2^x, for any x is a member of R*. Show that theta is a group homomorphism. Is theta an isomorphism? Why?
c) Let psi: R* --> R* be defined by psi(x) = 3x, for any x a member of R*. Is psi a homomorphism? Why?

2.
a) Show that varphi: Z_2 --> Z_2 defined by varphi(x) = x^2 is a homomorphism.
b) Show that {}: Z_3 --> Z_3 defined by {}(x) = x^3 is a homomorphism.
c) Show that theta: Z_4 --> Z_4 defined by theta(x) = x^4 is not a homomorphism.
d) What can you say about psi: Z_n --- Z_n defined by varphi(x) = x^n?

3. Prove that Z_12/ < 4 > ~ = Z_4 by first constructing an onto homomorphism from from Z_12 to Z_4 with the subgroup < 4 > as its kernel, then apply the First Isomorphism Theorem.

Please see the attached file for the fully formatted problems.