Skip to main content
Notice removed Canonical answer required by CommunityBot
Bounty Ended with no winning answer by CommunityBot
Notice added Canonical answer required by THC
Bounty Started worth 150 reputation by THC
Notice removed Canonical answer required by CommunityBot
Bounty Ended with no winning answer by CommunityBot
Notice added Canonical answer required by THC
Bounty Started worth 50 reputation by THC
added 252 characters in body
Source Link
THC
  • 4.5k
  • 21
  • 33

If one accepts the Axiom of Choice (AC), then the automorphism group of $\mathbb{C}$ is a huge and wild group, very poorly understood.

But apparently if one does not accept the Axiom of Choice, then the automorphism group of $\mathbb{C}$ has size $2$, only consisting of the identity and complex conjugation. I should be more precise here (see the comments below): it is consistent with this assumption that the automorphism group of $\mathbb{C}$ has size $2$ (i. e., we can find models of ZF without AC in which this group has size $2$).

What are other interesting (classes of) fields where similar things can be said about the automorphism group ? (That is, upon not accepting the Axiom of Choice, one ends up with consistency of an "easy" or even trivial automorphism group.)

If one accepts the Axiom of Choice, then the automorphism group of $\mathbb{C}$ is a huge and wild group, very poorly understood.

But apparently if one does not accept the Axiom of Choice, then the automorphism group of $\mathbb{C}$ has size $2$, only consisting of the identity and complex conjugation.

What are other interesting (classes of) fields where similar things can be said about the automorphism group ? (That is, upon not accepting the Axiom of Choice, one ends up with an "easy" or even trivial automorphism group.)

If one accepts the Axiom of Choice (AC), then the automorphism group of $\mathbb{C}$ is a huge and wild group, very poorly understood.

But apparently if one does not accept the Axiom of Choice, then the automorphism group of $\mathbb{C}$ has size $2$, only consisting of the identity and complex conjugation. I should be more precise here (see the comments below): it is consistent with this assumption that the automorphism group of $\mathbb{C}$ has size $2$ (i. e., we can find models of ZF without AC in which this group has size $2$).

What are other interesting (classes of) fields where similar things can be said about the automorphism group ? (That is, upon not accepting the Axiom of Choice, one ends up with consistency of an "easy" or even trivial automorphism group.)

Source Link
THC
  • 4.5k
  • 21
  • 33

Automorphism groups of the complex numbers, and other fields

If one accepts the Axiom of Choice, then the automorphism group of $\mathbb{C}$ is a huge and wild group, very poorly understood.

But apparently if one does not accept the Axiom of Choice, then the automorphism group of $\mathbb{C}$ has size $2$, only consisting of the identity and complex conjugation.

What are other interesting (classes of) fields where similar things can be said about the automorphism group ? (That is, upon not accepting the Axiom of Choice, one ends up with an "easy" or even trivial automorphism group.)