# The Cantor-Schreuder-Berstien theorem

by gottfried
Tags: theorem
 P: 119 The Cantor-Schreuder-Berstien theorem states that if there exists a one-to-one 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?
P: 1,668
 Quote by gottfried The Cantor-Schreuder-Berstien theorem states that if there exists a one-to-one 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?
it implies nothing except that there is a bijection between them. No structure needs to be preserved by the map.
 PF Patron Sci Advisor Thanks Emeritus P: 15,671 What do you mean with "homomorphism" in the first place?
P: 119

## The Cantor-Schreuder-Berstien theorem

What I mean by homomorphism is a function f:(G,.)->(H,*) where f(g.g')=f(g)*f(g')
 PF Patron Sci Advisor Thanks Emeritus P: 15,671 OK, so you're talking about group homomorphisms. Well, in that case, a version of Cantor-Shroder-Bernstein does not hold. A counterexample is given by free groups. Indeed, we can see $F_3$ (free group on three generators) as a subgroup of $F_2$ by considering the subset $\{a^2,ab,b^2\}$ as generators.

 Related Discussions Calculus & Beyond Homework 3 Calculus & Beyond Homework 11 Set Theory, Logic, Probability, Statistics 2 Set Theory, Logic, Probability, Statistics 1