3.4 Homomorphisms

a. No. θ is a general ring homomorphism, because 42 = 4 in img But θ(1) = 4, and 4 ≠ 1 in img
c. No. θ[(r, s) · (r′, s′)] = rr′ + ss′ need not equal


e. Yes. θ(fg) = (fg)(1) = f(1)g(1) = θ(f) · θ(g). Similarly for f ± g. The unity of img is img given by img. Thus img
a. Write θ(1) = e, and let s img S. Then s = θ(r) for some r img R (θ is onto) so


Hence e is the unity of S.
3. If img is a general ...

Get Introduction to Abstract Algebra, Solutions Manual, 4th Edition now with the O’Reilly learning platform.

O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.