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

The following question is for my own curiosity as I take some time to get reacquainted with group theory.

Let G be a semi-direct product of the groups N and K with multiplication defined by the automorphism $\phi$ from K to Aut(N). Let Fix($\phi$) be the set of all elements of N that are mapped to themselves by all elements of the range of $\phi$. Clearly every element of Fix($\phi$) commutes with all elements of K and every element of the kernel of $\phi$ commutes with every element of N.

If Fix($\phi$) is the trivial group in N and Ker($\phi$) is the trivial group in K, does that imply that the center of G is trivial? If so, could someone point me to a reference or proof. If not, then a counter example.

share|improve this question
1  
The image of the center under a surjective homomorphism is contained in the center of the image. Apply this to $G \to K$. –  Someone Nov 29 '10 at 17:41
1  
Let me add just a tiny remark: if Fix$(\phi)$ is not trivial, then the centre of the group might be bigger than meets the eye at first glance: you can have $K$ acting faithfully (i.e. Ker$(\phi) = 1$), but through an inner automorphism. Then, you might be able to replace $K$ by a different complement such that suddenly $G$ falls apart into a direct product. As a concrete example, consider $N=D_4$, the dihedral group with 8 elements, and let $K$ act on it through the inner automorphism of order 4. The centre will be considerably bigger than what you might first think. –  Alex B. Nov 30 '10 at 1:45
    
@Alex: Which inner automorphism of $D_4$ has order 4? $D_4/\mathrm{Z}(D_4)$ is elementary abelian of order 4. –  Someone Nov 30 '10 at 9:02
    
@Someone I am sorry, you are right, $D_4$ was a bad example. Take $D_8$ instead. –  Alex B. Dec 4 '10 at 9:20

1 Answer 1

up vote 6 down vote accepted

Suppose that $z=xy$ is in the centre where $x\in N$ and $y\in K$. Then for all $u\in K$, $uxy=xyu$. But $uxy=\phi(u)(x)uy$ so that $x=\phi(u)(x)$ (and $uy=yu$). As this is true for all $u\in K$ then by the assumption on Fix($\phi$), $x=1$. Therefore $z=y\in K$.

As $y$ commutes with all elements of $N$ then $y$ lies in Ker($\phi$) and is trivial. So $z=1$ and the centre of $G$ is trivial.

share|improve this answer
    
@Robin Chapman. Thanks. I was on the right track. I didn't stop to consider how each element of G factoring uniquely into two elements, one from N and one from K, would imply uy = yu and $\phi$(u)(x) = x. –  Greg Gibson Nov 29 '10 at 20:52

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.