Let Q be the set of rational numbers and H = { 5m/7^n | m, n are integers and n > o}.

Determine whether H is subgroups of <Q, +>.

Printable View

- October 19th 2012, 07:12 AMmous99Groups and Subgroups
Let Q be the set of rational numbers and H = { 5m/7^n | m, n are integers and n > o}.

Determine whether H is subgroups of <Q, +>. - October 19th 2012, 08:12 AMFernandoRevillaRe: Groups and Subgroups
- October 19th 2012, 08:24 AMraymanRe: Groups and Subgroups
- October 19th 2012, 08:40 AMFernandoRevillaRe: Groups and Subgroups
- October 19th 2012, 10:53 AMraymanRe: Groups and Subgroups
Not according to my textbook. I am not sure what ''well known theorem'' you are referring to but according to subgroup criterion that is in my textbook (Durbin ''modern algebra'') in order to investigate whether a given subset is a subgroup we need to see it these criterions are satisfied

1) set should not be empty

2) it should be closed with respect to the operation

3) every element of the set should have an inverse with respect to the operation - October 19th 2012, 11:34 AMBingkRe: Groups and Subgroups
Rayman, it's commonly known as the one-step subgroup test. You'll notice that in Fernando's second statement, it has a minus, and not a plus.

In any case, it's easy enough to see that the additive inverse will be from -m.

i.e. - October 19th 2012, 11:36 AMraymanRe: Groups and Subgroups
and that completes the subgroup criterion :)

- October 19th 2012, 01:39 PMFernandoRevillaRe: Groups and Subgroups
For if you are interested, here is proof that those three conditions are equivalent to only two: PlanetMath

- October 20th 2012, 09:30 AMmous99Re: Groups and Subgroups
- October 21st 2012, 04:32 AMFernandoRevillaRe: Groups and Subgroups