Back to Homomorphisms and Isomorphisms

Exercise 8

Avg difficulty 3.0

Let AA, BB, and CC be non-empty sets. Let f:A→Bf:A\to B and g:B→Cg:B\to C be bijections. Let h=g∘fh=g\circ f, where ∘\circ represents function composition. That is, h:A→C,x↦g(f(x))h:A\to C,x\mapsto g(f(x)).

  1. Show that hh is a bijection.

  2. If AA, BB, and CC are groups, and ff and gg are isomorphisms, show that hh is an isomorphism.

Kan, A Complete Introduction to Abstract Algebra, Groups, Homomorphisms and Isomorphisms, Exercise 8

AI Tutor

Adapted from A Complete Introduction to Abstract Algebra © 2022–2026 Kan Onn Kit. Licensed under CC BY-SA 4.0. Source: A Complete Introduction to Abstract Algebra. Imported at revision a559e8b.