0
$\begingroup$

If $|G|=p^rm$ with $(p,m)=1$, suppose that $x\in G$ is an element such that $o(x)=p^{r_1}m_1$ with $r_1>0$ and $(m_1,p)=1$. I dont understand why exist $a,b\in G$ such that:

1) $a$ has order a power of $p$

2) $b$ has order coprime with $p$

3) $x=ab$ and $[a,b]=1$

This fact is often used in proofs and it is presented as an obviuosly fact.

  • 0
    yes $[a,b]$ is the commutator2012-10-28

3 Answers 3

1

Let $u=x^{m_1}$, $v=x^{p^{r_1}}$. Then $o(u)=p^{r_1}$ and $o(v)=m_1$. The generated group $\langle u,v\rangle$ is a subgroup of $\langle x\rangle$ and its order must be a multiple of both $o(u)$ and $o(v)$, hence we conclude $\langle u,v\rangle = \langle x\rangle$, especially $\langle u,v\rangle$ is abelian. That means that $x=u^k v^n$ for some integers $k,n$. Let $a=u^k$, $b=v^n$. Then

  • The order of $a$ divides the order of $u$, hence is a power of $p$
  • The order of $b$ divides the order of $v$, hence is coprime to $p$
  • Clearly, $x=ab$
  • Since $a$ and $b$ were taken from the cyclic grpup $\langle x\rangle$, they commute.
1

Write the cyclic group $\langle x \rangle$ as direct product of a $p$-subgroup and a $p'$-subgroup, and take the two projections of $x$ into the two factors.

0

For each $s\in \mathbb N \text{ with }(s,m_1)=1$ the element $a=x^{s\cdot p^{r_1}}$ has order $m_1$. Similarly for each $t\in\mathbb N \text{ with } (t,p)=1$ the element $b=x^{t\cdot m_1}$ has order $p^{r_1}$. From $(p,m_1)=1$ there are $s,t\in\mathbb N$ such that $s\cdot p^{r_1}+t\cdot m_1=1$.

For these $s,t$ you have $x=a\cdot b$ and $[a,b]=1$.

  • 0
    Your $ab\ne x$.2012-10-28