## 9367 55

Forum for the GRE subject test in mathematics.
yoyobarn
Posts: 80
Joined: Sun Dec 19, 2010 7:01 am

### 9367 55

Can someone elaborate more on this question?
(there is a brief explanation on http://www.mathematicsgre.com/viewtopic ... 7+55#p3839)

Let p and q be distinct primes. There is a proper subgroup J of the additive groups of integers which contains exactly three elements of the set {p,p+q, pq,p^q, q^p}. Which three elements are in J?

However, from my basic knowledge of subgroups, the properties of closure, associativity (follows from group), identity and inverse must be fulfilled.

However, if we assume p is the identity, then how do the closure and inverse properties hold?

Thanks for clearing my misunderstanding.

Posts: 4
Joined: Sun Dec 18, 2011 3:52 pm

### Re: 9367 55

The identity is 0, not p, because this is a subgroup of the additive group of integers, and the identity of the additive group of integers is 0. Hopefully that clears up your question.

In particular, the only nontrivial proper subgroups of the additive group of integers (Z,+) are of the form (nZ,+), where n is a positive integer. Eg, (2Z, +) is the group (..., -2, 0, 2, 4, ...) under addition. Clearly, (pZ, +) contains exactly p, pq, and p^q, so you're done.

yoyobarn
Posts: 80
Joined: Sun Dec 19, 2010 7:01 am

### Re: 9367 55

Deltadesu wrote:The identity is 0, not p, because this is a subgroup of the additive group of integers, and the identity of the additive group of integers is 0. Hopefully that clears up your question.

In particular, the only nontrivial proper subgroups of the additive group of integers (Z,+) are of the form (nZ,+), where n is a positive integer. Eg, (2Z, +) is the group (..., -2, 0, 2, 4, ...) under addition. Clearly, (pZ, +) contains exactly p, pq, and p^q, so you're done.