Skip to main content
replaced http://mathoverflow.net/ with https://mathoverflow.net/
Source Link

True Theorem The symmetric groups (consisting of all permutations) on infinite sets of different cardinalities are not isomorphic.

False proof: The two groups have different cardinalities, since there are $2^\kappa$ many permutations of an infinite set of size $\kappa$, and $\kappa\lt\lambda$ implies $2^\kappa\lt 2^\lambda$. QED

See the question: Can the symmetric groups on sets of differing infinite cardinalities be isomorphic?Can the symmetric groups on sets of differing infinite cardinalities be isomorphic? for further information and a correct proof.

I find the false proof illuminating, since it shows the limitation of a naive treatment of the continuum function $\kappa\mapsto 2^\kappa$. It simply isn't necessarily the case that the two groups have different cardinalities, even though it is necessarily the case that they are not isomorphic.

True Theorem The symmetric groups (consisting of all permutations) on infinite sets of different cardinalities are not isomorphic.

False proof: The two groups have different cardinalities, since there are $2^\kappa$ many permutations of an infinite set of size $\kappa$, and $\kappa\lt\lambda$ implies $2^\kappa\lt 2^\lambda$. QED

See the question: Can the symmetric groups on sets of differing infinite cardinalities be isomorphic? for further information and a correct proof.

I find the false proof illuminating, since it shows the limitation of a naive treatment of the continuum function $\kappa\mapsto 2^\kappa$. It simply isn't necessarily the case that the two groups have different cardinalities, even though it is necessarily the case that they are not isomorphic.

True Theorem The symmetric groups (consisting of all permutations) on infinite sets of different cardinalities are not isomorphic.

False proof: The two groups have different cardinalities, since there are $2^\kappa$ many permutations of an infinite set of size $\kappa$, and $\kappa\lt\lambda$ implies $2^\kappa\lt 2^\lambda$. QED

See the question: Can the symmetric groups on sets of differing infinite cardinalities be isomorphic? for further information and a correct proof.

I find the false proof illuminating, since it shows the limitation of a naive treatment of the continuum function $\kappa\mapsto 2^\kappa$. It simply isn't necessarily the case that the two groups have different cardinalities, even though it is necessarily the case that they are not isomorphic.

deleted 1 characters in body
Source Link
David White
  • 30.3k
  • 9
  • 154
  • 250

True Theorem The symmetric groups (consisting of all permutations) on infinite sets of different cardinalities are not isomorphic.

False proof: The two groups have different cardinalities, since there are $2^\kappa$ many permutations of an infinite set of size $\kappa$, and $\kappa\lt\lambda$ implies $2^\kappa\lt 2^\lambda$. QED

See the question: Can the symmetric groups on sets of differing infinite cardinalities be isomorphic? for further information and a correct proof.

I find the false proof illuminating, since it shows the limitation of a naive treatementtreatment of the continuum function $\kappa\mapsto 2^\kappa$. It simply isn't necessarily the case that the two groups have different cardinalities, even though it is necessarily the case that they are not isomorphic.

True Theorem The symmetric groups (consisting of all permutations) on infinite sets of different cardinalities are not isomorphic.

False proof: The two groups have different cardinalities, since there are $2^\kappa$ many permutations of an infinite set of size $\kappa$, and $\kappa\lt\lambda$ implies $2^\kappa\lt 2^\lambda$. QED

See the question: Can the symmetric groups on sets of differing infinite cardinalities be isomorphic? for further information and a correct proof.

I find the false proof illuminating, since it shows the limitation of a naive treatement of the continuum function $\kappa\mapsto 2^\kappa$. It simply isn't necessarily the case that the two groups have different cardinalities, even though it is necessarily the case that they are not isomorphic.

True Theorem The symmetric groups (consisting of all permutations) on infinite sets of different cardinalities are not isomorphic.

False proof: The two groups have different cardinalities, since there are $2^\kappa$ many permutations of an infinite set of size $\kappa$, and $\kappa\lt\lambda$ implies $2^\kappa\lt 2^\lambda$. QED

See the question: Can the symmetric groups on sets of differing infinite cardinalities be isomorphic? for further information and a correct proof.

I find the false proof illuminating, since it shows the limitation of a naive treatment of the continuum function $\kappa\mapsto 2^\kappa$. It simply isn't necessarily the case that the two groups have different cardinalities, even though it is necessarily the case that they are not isomorphic.

Post Made Community Wiki
Source Link
Joel David Hamkins
  • 236.5k
  • 44
  • 777
  • 1.4k

True Theorem The symmetric groups (consisting of all permutations) on infinite sets of different cardinalities are not isomorphic.

False proof: The two groups have different cardinalities, since there are $2^\kappa$ many permutations of an infinite set of size $\kappa$, and $\kappa\lt\lambda$ implies $2^\kappa\lt 2^\lambda$. QED

See the question: Can the symmetric groups on sets of differing infinite cardinalities be isomorphic? for further information and a correct proof.

I find the false proof illuminating, since it shows the limitation of a naive treatement of the continuum function $\kappa\mapsto 2^\kappa$. It simply isn't necessarily the case that the two groups have different cardinalities, even though it is necessarily the case that they are not isomorphic.