Cancellation law with surjective functions

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
1 reply · 3K views
annoymage
Messages
360
Reaction score
0

Homework Statement



suppose function [tex]f : A \to B[/tex], [tex]g: A \to B[/tex], [tex]h : B \to C[/tex] satisfy [tex]g \circ f=h \circ f[/tex]. If is surjective then prove that [tex]g=h[/tex]

Homework Equations



n/a

The Attempt at a Solution




so for any [tex]x \in A[/tex], [tex]gf(x)=hf(x)[/tex], and for any [tex]b \in B[/tex] there exist [tex]a \in A[/tex], such that [tex]f(b)=a[/tex]

so [tex]g(a)=h(a)[/tex] so [tex]g=h[/tex] is this correct and sufficient?

i'm suppose to to show for any [tex]v \in B[/tex], [tex]g(v)=h(v)[/tex]. i don't know but something's missing.
 
Last edited:
Physics news on Phys.org


You need to clean it up a bit. For one thing, you have g mapping A to B. You meant B to C, right? Also, the element a in in A, but h is defined on B, so when you say h(a), it's not clear that h(a) is defined.