Physics Forums

## find subgroups of finitely generated abelian groups

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 $G=Z_2\oplus Z$ are easy...you only have $0\oplus nZ$ and $Z_2\oplus nZ$ for $n\geq 0.$

But if you have a different group, say $G=Z_6\oplus Z_4$, it's possible the subgroups aren't of the form $<a>\oplus<b>$ 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?

PhysOrg.com  science news on PhysOrg.com  >> Front-row seats to climate change>> Attacking MRSA with metals from antibacterial clays>> New formula invented for microscope viewing, substitutes for federally controlled drug

Blog Entries: 8 				 				 				 				         Recognitions:      Gold Member        Science  Advisor     Staff Emeritus  It seems you're looking for the subgroup lattice of finitely generated abelian groups?  Well, the following article may help: http://www.google.be/url?sa=t&source...5OYWYg&cad=rja  Also keep in mind that if G and H are groups such that gcd(|G|,|H|)=1, then $Sub(G\times H)\cong Sub(G)\times Sub(H)$  So in your example $$Sub(\mathbb{Z}_6\times \mathbb{Z}_4)\cong Sub(\mathbb{Z}_3)\times Sub(\mathbb{Z}_2\times \mathbb{Z}_4)$$  so you only need to find the subgroups of $\mathbb{Z}_2\times \mathbb{Z}_4$. The cyclic subgroups of this group are $$\{(0,0)\},<(1,0)>,<(0,1)>,<(0,2)>,<(1,1)>,<(1,2)>$$ so all the subgroups are just products of the above groups.

Thread Tools

|                                                                          |                            |         |
|--------------------------------------------------------------------------|----------------------------|---------|
| Similar Threads for: find subgroups of finitely generated abelian groups |                            |         |
| Thread                                                                   | Forum                      | Replies |
|                                                                          | Calculus & Beyond Homework | 4       |
|                                                                          | Linear & Abstract Algebra  | 1       |
|                                                                          | Calculus & Beyond Homework | 2       |
|                                                                          | Linear & Abstract Algebra  | 2       |
|                                                                          | Calculus & Beyond Homework | 2       |
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 8, "mathjax_display_tex": 2, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8894826173782349, "perplexity_flag": "middle"}