Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $\mathbb{P}$ is a set primes numbers, $\pi \subseteq P$ and $\pi ^{\prime }=P-\pi $

Let $O_{\pi }\left( G\right) =\left\langle N~;~N\trianglelefteq G\text{ and }% N\text{ is }\pi \text{-subgroup}\right\rangle $

Is it true that $O_{\pi }\left( G\right) =1\Longrightarrow G$ is $\pi ^{\prime }-$group?

if it is true, could not it have other $H$ $\pi $-subgroup (not normal) in $G$?

share|cite|improve this question
up vote 0 down vote accepted

No. Let $\pi=\{2\}$ and $G$ be non-abelian of order 6. Then $O_\pi(G) = 1$, but $|G|$ is divisible by 2.

share|cite|improve this answer
Perhaps you can find a counterexample. Using the same $G$. – Jack Schmidt Aug 15 '12 at 18:18
And $O_{\pi ^{\prime }}\left( G\right) =1\Longrightarrow G$ is $% \pi -$group?Is it worth the same argument for that case? – User2040 Aug 15 '12 at 18:20
Lima: Thank you! – User2040 Aug 15 '12 at 18:22

Your Answer


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.