Hi, this is a question from " A first course in abstract algebra" by J. Rotman
define d(G) = dim(G/pG) (not very relevant here)
chapter 5, lemma 5.8 (P392),
Let G be a finite p primary abelian group.
If S<=G, then d(G/S) <= d(G)
The first line of the proof read like,
By the correspondence theorem, p(G/S) = (pG +S)/S,
How is this equation derived? As the correspondence theorem mainly states isomorphism, I cannot see where there is equation involved? It would be greatly appreciated if anyone could help on this. Many thanks!