Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question

1 Answer 1

up vote 10 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|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

 
discard

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.