27
$\begingroup$

Let $$G=\mathbb{Z}/p_1^{e_1}\times\cdots\times\mathbb{Z}/p_n^{e_n}$$ be any finite abelian group.

What are $G$'s subgroups? I can get many subgroups by grouping the factors and multiplying them by constants, for example: If $$G=\mathbb{Z}/3\times \mathbb{Z}/9\times \mathbb{Z}/4\times \mathbb{Z}/8,$$ then I can take $$H=3(\mathbb{Z}/3\times \mathbb{Z}/9)\times 2(\mathbb{Z}/4) \times \mathbb{Z}/8.$$ Do I get all subgroups that way? (I'm interested in all subgroups, not just up-to-isomorphism).

Which are the subgroups $H$ in $G$ for which $G/H$ is primary cyclic?

$\endgroup$
8
  • 1
    $\begingroup$ You may reduce to a fixed prime number, since every abelian torsion group canonically splits into its primary parts. $\endgroup$ Nov 15, 2010 at 14:50
  • 2
    $\begingroup$ If Z/3 * Z/9 * Z/4 * Z/8 is too complicated, why don't you try to understand Z/2 * Z/2? BTW, this is not the right medium for questions like that. $\endgroup$ Nov 15, 2010 at 14:51
  • 1
    $\begingroup$ You may want to look at Goursat's Lemma, which determines the subgroups of a direct product group. Then specialise this to the abelian case. $\endgroup$ Nov 15, 2010 at 15:01
  • 4
    $\begingroup$ I wrote the Magma code for this - it does it roughly by enumerating matrices in Hermite Normal Form whose row span contains the list of invariants of the finite abelian group. $\endgroup$
    – Derek Holt
    Nov 15, 2010 at 20:53
  • $\begingroup$ This question went through a close/reopen cycle. Some of the above comments may disappear if they're no longer relevant (i.e. if they related to whether the question should be closed or not). If you want to read them, you can find them at tea.mathoverflow.net/discussion/773/reopen-this-question/… $\endgroup$ Nov 16, 2010 at 21:14

3 Answers 3

4
$\begingroup$

These three answers were originally comments. I am answering the part of the question which was deleted:

Is there anything else (interesting) to say about the collection of subgroups of an [finite] abelian group.

  1. This paper: Ganjuškin, A. G. Enumeration of subgroups of a finite abelian group (theory). Computations in algebra and combinatorial analysis, pp. 148–164, Akad. Nauk Ukrain. SSR, Inst. Kibernet., Kiev, 1978 gives an algorithm for enumerating all subgroups of a finite Abelian group.

Update. The answer by Amritanshu Prasad, comments by Derek Holt and Robin Chapman here provide much more (very interesting) information about enumerating subgroups.

  1. On the other hand, the elementary theory of pairs $(A,H)$ where $A$ is a finite Abelian group and $H$ is its subgroup is undecidable (see Taĭclin, M. A. Elementary theories of lattices of subgroups, Algebra i Logika 9 1970 473–483 and references there). Hence there cannot be a nice description of subgroups of finite Abelian groups (say, one cannot represent a pair $(A,H)$ as a direct product of pairs of sizes bounded in terms of the period of $A$).

  2. This is a better reference than Taiclin. Slobodskoĭ, A. M.; Fridman, È. I.: Theories of abelian groups with predicates that distinguish subgroups. Algebra i Logika 14 (1975), no. 5, 572–575.

Update In fact, in the paper, Sapir, M. V. Varieties with a finite number of subquasivarieties. Sibirsk. Mat. Zh. 22 (1981), no. 6, 168–187, I proved that for every prime $p$ one cannot find finitely many pairs $(A_i,H_i)$ such that every pair $(A,H)$ where $A$ is Abelian group of period $p^6$ (it is not true for $p^5$) is a direct product of copies of $(A_i,H_i)$.

$\endgroup$
9
$\begingroup$

The problem of enumerating subgroups of a finite abelian group is both non-trivial and interesting. It is also worthwhile to study this set as a lattice. As far as I know, the reference "Subgroup lattices and symmetric functions" by Lynne M. Butler (Memoirs of the AMS, no. 539; MR1223236) reflects the state of art. It is beautifully written and has a good survey of the history of the problem.

$\endgroup$
6
$\begingroup$

It's worth noting this special case: if $G$ is isomorphic to $(\mathbb{Z}/p)^r$ then it can be regarded as a vector space of dimension $r$ over the field $\mathbb{Z}/p$, and the subgroups are just the subspaces. The number of linearly independent lists of length $n$ is

$(p^r-1)(p^r-p)\dotsb(p^r-p^{n-1})$

(choose a nonzero vector $v_1$, then a vector $v_2$ not in the one-dimensional space spanned by $v_1$, then $v_2$ not in the 2-dimensional space spanned by $v_1$ and $v_2$, and so on). For any subspace $V$ of dimension $n$, the number of bases is

$(p^n-1)(p^n-p)\dotsb(p^n-p^{n-1})$

by the same argument. It follows that the number $N_n$ of subspaces of dimension $n$ is

$ N_n = \frac{(p^r-1)\dotsb(p^r-p^{n-1})}{(p^n-1)\dotsb(p^n-p^{n-1})} = \frac{(p^r-1)(p^{r-1}-1)\dotsb(p^{r-n+1}-1)}{(p^n-1)(p^{n-1}-1)\dotsb(p-1)} $

$\endgroup$
2
  • 3
    $\begingroup$ This kind of numerology generalizes to general finite Abelian $p$-groups via the formalism of Hall polynomials: en.wikipedia.org/wiki/Hall_polynomial . $\endgroup$ Nov 19, 2010 at 11:26
  • 1
    $\begingroup$ The number $N_n$ is the Gaussian binomial coefficient $\binom rn_p$. Taking the limit $p\to 1$ gives the usual binomial coefficients. There is an interesting analogous fact for finite abelian groups; if $\lambda$ and $\mu$ are partitions, and $\binom\lambda\mu_p$ is the number of abelian $p$-subgroups of type $\mu$ in an abelian $p$-group of type $\lambda$, then the limit $\p\to 1$ is the answer to a question in multiset combinators: the number of multisets of type $\mu$ in a multiset of type $\lambda$ (see Butler's monograph in my answer above). $\endgroup$ Nov 20, 2010 at 7:54

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.