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

The order of the group $G$, meet the following conditions: $1<G<n$ where n is a natural number.

For each 2 sub groups $H_1$, $H_2$ of $G$, if $H_1 \neq H_2$ then $\gcd(|H_1|,|H_2|)=1$. (gcd = greatest common divisor)

Prove that the order of $G$ is a prime number and the group is cycle.

share|cite|improve this question
What do you mean by a neutral number? Since this looks like a homework problem, what have you tried? – Tobias Kildetoft Jul 16 '12 at 12:17
The order of G is not infinite. – Gal Jul 16 '12 at 12:19
Note that the condition you mention also has to hold when $H_1 = G$ and $H_2$ is any proper subgroup of $G$. What does Lagrange then tell you? – Tobias Kildetoft Jul 16 '12 at 12:22
@Lag: Those are called natural numbers, not "neutral" numbers. – Arturo Magidin Jul 16 '12 at 12:57

Hint 1. If $0\lt a\leq b$ and $a|b$, then $\gcd(a,b) = a$.

Hint 2. Lagrange and Cauchy are your friends.

share|cite|improve this answer
Actually, Cauchy should not be needed for this question. – Tobias Kildetoft Jul 16 '12 at 13:03
@Tobias: Fair enough, though it obviates the need to prove that a group with a particular property must have prime order, no? – Arturo Magidin Jul 16 '12 at 13:04
I am not sure what you mean exactly. I just felt that though Cauchy can certainly be used, it seems like overkill in this case. – Tobias Kildetoft Jul 16 '12 at 13:07
@Tobias: After Lagrange, you can conclude that all proper subgroups of $G$ are don't want to give it away. It is a standard exercise in beginning group theory to prove "A group in which every proper subgroup is that thing must be cyclic of prime order. This is, indeed, usually proven before you prove Cauchy's Theorem, but it takes a couple of lines. Cauchy gives it to you in 1 line if you already know that $G$ is finite – Arturo Magidin Jul 16 '12 at 13:12
If G=H1 then by using legrange, the order of G must be prime. But what if $G\not=H1\not=H2$ – Gal Jul 16 '12 at 13:18

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.