MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

The following is supposed to be "clear" according to Kueker, but I could not see why. Can anyone help?

Let $A$ be a countable structure with uncountable many automorphisms. Then for every $\vec{a}\in A^{<\omega}$, $(A,\vec{a})$ has a non-trivial automorphism, i.e. there exists some $f:A\rightarrow A$ such that $f\neq id$ and $f(a)=a$, for all $a\in \vec{a}$.

Note: The argument is part of a larger proof from Infinitary Logic: In memoriam Carol Karp

share|cite|improve this question
up vote 11 down vote accepted

Let $\vec{a} \in A^{<\omega}$. There are uncountably many automorphisms $f$ and only countably many possible values for $f(\vec{a})$, so there must be two different automorphisms $f_1$ and $f_2$ with $f_1(\vec{a}) = f_2(\vec{a})$. Then $f_2^{-1} \circ f_1$ is a nontrivial automorphism fixing $\vec{a}$.

In fact, there are uncountably many automorphisms moving $\vec{a}$ the same way, so fixing one and composing the others with its inverse gives uncountably many nontrivial automorphisms fixing $\vec{a}$.

share|cite|improve this answer
@Trevor: Thank you. It is an easy argument. It seems my mind stopped :) Thank you anyway. – Ioannis Souldatos Aug 2 '12 at 19:04

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.