Register to reply 
The CantorSchreuderBerstien theoremby gottfried
Tags: theorem 
Share this thread: 
#1
Nov1212, 11:11 AM

P: 119

The CantorSchreuderBerstien theorem states that if there exists a onetoone function from X to Y and the reverse then there exists a bijection between X and Y.
Does anybody know if this implies to Homorphisms. ie: If we can find an embedding between X and Y and the reverse does this imply that X and Y are isomorphic? 


#2
Nov1212, 12:12 PM

Sci Advisor
P: 1,716




#4
Nov1312, 02:27 AM

P: 119

The CantorSchreuderBerstien theorem
What I mean by homomorphism is a function f:(G,.)>(H,*) where f(g.g')=f(g)*f(g')



#5
Nov1312, 02:42 AM

Mentor
P: 18,036

OK, so you're talking about group homomorphisms. Well, in that case, a version of CantorShroderBernstein does not hold. A counterexample is given by free groups. Indeed, we can see [itex]F_3[/itex] (free group on three generators) as a subgroup of [itex]F_2[/itex] by considering the subset [itex]\{a^2,ab,b^2\}[/itex] as generators.



Register to reply 
Related Discussions  
Cantor's Theorem (real analysis)  Calculus & Beyond Homework  3  
Condensation points in a separable metric space and the CantorBendixon Theorem  Calculus & Beyond Homework  11  
Which axioms of ZF are needed for Cantor's theorem?  Set Theory, Logic, Probability, Statistics  2  
Help with CantorSchroderBerstein theorem please!  Set Theory, Logic, Probability, Statistics  1 