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 $Q$ denote the group of quaternions. Why is every subgroup of $Q \times \mathbb{Z}_{2}$ normal?

$Q= \{I,A,A^{2},A^{3},B,BA,BA^{2},BA^{3}\}$, I the identity matrix and $A=\begin{bmatrix} 0 & 1 \\ -1 & 0\end{bmatrix}$ and $B=\begin{bmatrix} 0 & i\\ i & 0\end{bmatrix}$ where $i=\sqrt{-1}$.

share|improve this question
    
What exactly is your $Q$? Is it $\{\pm 1,\pm i,\pm j,\pm k\}$ with multiplication? –  Myself Feb 17 '11 at 19:29
    
@user6495 What kind of work have you done on the problem? Where are you stuck? Have you tried making some explicit calculations to see if/why this is actually true? If we know more about your situation, we can help you understand the material better. Also, if this is homework please add the [homework] tag –  Tyler Feb 17 '11 at 19:30
    
@Tyler Bailey: this is not homework, just practice. Well I don't know exactly how to proceed. I don't think the idea is to find every subgroup of $Q \times \mathbb{Z}_{2}$ is it? –  user6495 Feb 17 '11 at 19:36
    
Isn't the group abelian? So wouldn't it be immediate that every subgroup is normal? –  JSchlather Feb 17 '11 at 19:36
    
@Jacob: Multiplication of the Quaternions is not commutative. –  Tyler Feb 17 '11 at 19:39

2 Answers 2

up vote 5 down vote accepted

I assume you mean the group $Q_8$, the 8-element group of quaternions.

Lemma. Let $G$ be a group. Then every cyclic subgroup of $G$ is normal if and only if every subgroup of $G$ is normal.

Proof. Clearly, if every subgroup is normal, then every cyclic subgroup is normal. For the converse, suppose that every cyclic subgroup is normal, and let $H$ be any subgroup of $G$; we must show that $H$ is normal. To show that $H$ is normal, let $h\in H$ and $g\in G$; we must show that $ghg^{-1}\in H$. But $h\in\langle h\rangle$, hence $ghg^{-1}\in g\langle h\rangle g^{-1} = \langle h\rangle\subseteq H$ by our hypothesis that all cyclic subgroups are normal, so $ghg^{-1}\in H$, as desired. Thus, $H\triangleleft G$. $\Box$

So it suffices to show that every cyclic subgroup of $Q_8\times \mathbb{Z}_2$ is normal. Let $(a,b)\in Q_8\times\mathbb{Z}_2$, and let $(x,y)\in Q_8\times\mathbb{Z}_2$ be an arbitrary element of $Q_8\times\mathbb{Z}_2$. We want to show that $(x,y)(a,b)(x,y)^{-1}\in\langle(a,b)\rangle$.

Notice that $(x,y)(a,b)(x,y)^{-1} = (xax^{-1},yby^{-1}) = (xax^{-1},b)$, because $\mathbb{Z}_2$ is abelian. Also, since every subgroup of $Q_8$ is normal, then $xax^{-1}\in\langle a\rangle$.

Now, notice that $xax^{-1} = a^k$ for some $k$, and that $xax^{-1}$ has the same order as $a$ (conjugation is an automorphism). Therefore, $k$ is relatively prime to the order of $a$. Since $|Q_8| = 8$, the order of $a$ is a power of $2$, and we may assume that $k$ is odd.

Therefore, $k=2r+1$ for some $r$, so we have $$(x,y)(a,b)(x,y)^{-1} = (xax^{-1},b) = (a^k,b) = (a^{2r+1},b).$$

Can you show now that $(x,y)(a,b)(x,y)^{-1}$ lies in $\langle(a,b)\rangle$?

Added. For an encore, prove the "easy half" of Dedekind's characterization of the Hamiltonian groups (nonabelian groups in which every subgroup is normal):

Theorem. If $G=Q_8\times F\times D$, where $F$ is a direct sum of (any number of) copies of $\mathbb{Z}_2$, and $D$ is an abelian group in which every element has (finite) odd order, then every subgroup of $G$ is normal.

Added 2. A few people seem to have jumped to the conclusion that the result follows because every subgroup of $Q_8$ is normal in $Q_8$, and $\mathbb{Z}_2$ is abelian so every subgroup is normal. Intuitively, they are thinking that if every subgroup of $G$ is normal, and every subgroup of $K$ is normal, then every subgroup of $G\times K$ "should" be normal, since conjugation is acting on each coordinate separately. The problem with the argument is that not every subgroup of $G\times K$ is of the form $A\times B$ with $A\leq G$ and $B\leq K$, so while conjugating $(a,b)$ will map $a$ to another element of $\langle a\rangle$, and $b$ to another element of $\langle b\rangle$, this element may not be a power of $(a,b)$.

For instance, $G=Q_8\times Q_8$ already fails to have the property that every subgroup is normal even though each subgroup of each factor is normal in that factor: if $H=\langle (i,i)\rangle$, then $H$ is contained in the diagonal subgroup of $G$, but conjugating by $(j,1)$ moves $(i,i)$ outside the diagonal, so $H$ is not normal. The same problem arises with the counterexample I gave in comments, using $G=Q_8\times\mathbb{Z}_4$ and the subgroup generated by $(i,1)$.

share|improve this answer
    
Interesting, nice answer, +1. What seems strange to me is that the conclusion could be false for abelian groups other than $(\mathbb{Z}/2\mathbb{Z})^n$. –  Eric Naslund Feb 17 '11 at 19:58
    
Thanks for the proof and counterexample! I must look over this again later. –  Tyler Feb 17 '11 at 20:01
1  
@Eric: Not strange at all: the issue is that not every subgroup of $A\times B$ is of the form $H\times K$ with $H\leq A$ and $K\leq B$. Not every subgroup of $Q_8\times Q_8$ is normal, after all. –  Arturo Magidin Feb 17 '11 at 20:04
    
@Ross: Thanks for the correction. –  Arturo Magidin Feb 17 '11 at 20:13

i, j, and k pairwise anti-commute and $\mathbb{Z}/(2)$ (or 2-adic integers whichever you mean) is abelian. So $xyx^{-1}=\pm y$ for all $x,y$. so given a subgroup $H$, $xHx^{-1}\subseteq\pm H=H$

share|improve this answer
    
Take $Q\times\mathbb{Z}/4\mathbb{Z}$ and see where your argument breaks down. (See the explicit counterexample in the comments to the question) –  Arturo Magidin Feb 17 '11 at 19:53

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.