Let G be an abelian group, define a subgroup S of G to be pure if for all m in Z. S intersection mG = mS.

prove that if G is p-primary abelian group. then S is pure iff S intersection P^n S for all n >=0

Printable View

- Sep 28th 2013, 10:06 PMjcir2826Finite Abelian Groups
Let G be an abelian group, define a subgroup S of G to be pure if for all m in Z. S intersection mG = mS.

prove that if G is p-primary abelian group. then S is pure iff S intersection P^n S for all n >=0 - Sep 29th 2013, 06:48 AMSlipEternalRe: Finite Abelian Groups
- Sep 29th 2013, 10:02 AMjcir2826Re: Finite Abelian Groups
Let G be an abelian group, not necessarily primary. Define a subgroup S of G to be pure subgroup if, for all m in Z, S intersection mG = mS.

Prove that if G is a p-primary abelian group, then a subgroup S of G is pure if and only if S intersection p^nS for all n>= 0.

p is prime number. - Sep 29th 2013, 10:53 AMSlipEternalRe: Finite Abelian Groups
I don't know how to test if the expression "S intersection p^nS for all n>=0" is true or false. That is not a boolean expression. That expression describes a collection of sets. It does not suggest that the sets need to exist. It does not suggest that the sets need to be equal to other sets. It is just a collection of sets. The intersection operator is not a comparison operator. Neither is the ^ operator. You are not comparing S intersection p^nS to anything. So, since that set is neither true nor false, the expression "If G is a p-primary abelian group, then a subgroup S of G is pure if and only if S intersection p^nS for all n>=0." is not a sentence (it can not be evaluated to true or false).

Edit: I can guess at what you were trying to say. If $\displaystyle G$ is a $\displaystyle p$-primary abelian group, then a subgroup $\displaystyle S\le G$ is pure if and only if $\displaystyle S\cap p^n G = p^n S$ for all $\displaystyle n\ge 0$.

If that is the case, then the argument seems pretty self-evident. The first direction of the implication $\displaystyle \Longrightarrow$ is by definition. Next, to show the reverse implication, assume you have $\displaystyle S\cap p^n G = p^n S$ for all $\displaystyle n\ge 0$ and show that $\displaystyle S\cap m G = m S$ for all $\displaystyle m\in \mathbb{Z}$. That seems like a straightforward argument to me. Where are you running into issues?