Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

let $A$ be a non empty set with a given structure, and let $G$ be the group of automorphisms of $A$, that is, the set of bijective maps from $A$ to itself that preserve its structure, with composition as group law.

Is it true that for any $a\in A$, the subgroup $G(a)$ of $G$ consisting of all elements of $G$ that preserve $a$ is a normal subgroup of $G$? Thanks in advance.

share|improve this question
    
As you can see below, the answer is no. As an exercise, you can try to prove (if you haven't done this already) that if two elements lie in the same orbit, then their stabilisers are conjugate. This is the best "normality" result you can get. –  M Turgeon Aug 15 '12 at 14:30
add comment

2 Answers

up vote 5 down vote accepted

No. Let $A = \{1,2,3\}$ with the trivial structure, so that $G=\operatorname{Aut}(A) = \operatorname{Sym}(A)$ is the full symmetric group. For $a=3$, $G(a)$ is the symmetric group on $\{1,2\}$, which is not normal in $G$.

share|improve this answer
    
I was just writing the same thing. :) –  tomasz Aug 15 '12 at 14:09
1  
@tomasz: Makes three of us! –  Brian M. Scott Aug 15 '12 at 14:10
4  
We should have 3 similar answers, and let $G$ be the group that exchanges the orders of the answers! –  Jack Schmidt Aug 15 '12 at 14:10
1  
@JackSchmidt: Interesting idea, but I'll pass this time. :-) –  tomasz Aug 15 '12 at 14:12
add comment

No. Let $A=\{0,1,2\}$, with no further structure, so that $G$ is simply $S_3$. The transposition $(12)$ preserves $0$, but $(012)(12)(021)=(02)$, which does not preserve $0$.

share|improve this answer
add comment

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.