Register to reply

Find subgroups of finitely generated abelian groups

by spicychicken
Tags: abelian, finitely, generated, groups, subgroups
Share this thread:
Jul19-11, 11:47 AM
P: 3
Is there an "easy" method to finding subgroups of finitely generated abelian groups using the First Isomorphism Theorem? I seem to remember something like this but I can't quite get it.

For example, the subgroups of [itex]G=Z_2\oplus Z[/itex] are only have [itex]0\oplus nZ[/itex] and [itex]Z_2\oplus nZ[/itex] for [itex]n\geq 0.[/itex]

But if you have a different group, say [itex]G=Z_6\oplus Z_4[/itex], it's possible the subgroups aren't of the form [itex]<a>\oplus<b>[/itex] correct? Like <(2,2)>.

How would you describe all the subgroups? I can do it by brute force..I'm looking for an quick easier asnwer if one exists...even in only some situations

EDIT: maybe this makes more sense if I only need to know subgroups of a specific index?
Phys.Org News Partner Science news on
Physical constant is constant even in strong gravitational fields
Montreal VR headset team turns to crowdfunding for Totem
Researchers study vital 'on/off switches' that control when bacteria turn deadly
Jul19-11, 12:16 PM
micromass's Avatar
P: 18,345
It seems you're looking for the subgroup lattice of finitely generated abelian groups?

Well, the following article may help:

Also keep in mind that if G and H are groups such that gcd(|G|,|H|)=1, then
[itex]Sub(G\times H)\cong Sub(G)\times Sub(H)[/itex]

So in your example
[tex]Sub(\mathbb{Z}_6\times \mathbb{Z}_4)\cong Sub(\mathbb{Z}_3)\times Sub(\mathbb{Z}_2\times \mathbb{Z}_4)[/tex]

so you only need to find the subgroups of [itex]\mathbb{Z}_2\times \mathbb{Z}_4[/itex]. The cyclic subgroups of this group are
so all the subgroups are just products of the above groups.

Register to reply

Related Discussions
Subgroups of a finitely generated abelian group Calculus & Beyond Homework 4
Finitely generated modules over a PID, and applications on abelian groups Linear & Abstract Algebra 1
Subgroups generated by groups Calculus & Beyond Homework 2
Finitely generated groups... Linear & Abstract Algebra 2
Finitely generated abelian groups Calculus & Beyond Homework 2