MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I learned from MO Subgroups of a finite abelian group that the problem of enumerating subgroups (not up to isomorphism) of finite abelian groups is a difficult one.

Are there simple formulas if one restricts to low rank for the subgroups? For example, are there formulas for enumerating cyclic subgroups, or subgroups whose minimal number of generators is $2$?

share|cite|improve this question
    
Some results in this direction were obtained by P.E. Djubjuk (IAN SSSR, Ser. Mat. (\bf12} (1948, 352-378 DAN SSSR {\bf137} (1961), 506-508. See also Sec. 198 in `Reviews on Finite Groeps' (editor D. Gorenstein). – yakov 1 hour ago
up vote 7 down vote accepted

I think that you can find the formulas that you are looking for in the paper "An arithmetic method of counting the subgroups of a finite abelian group" by Marius Tarnauceanu, Bull. Math. Soc. Sci. Math. Roumanie (N.S.) 53(101) (2010), no. 4, 373–386.

In particular, Theorem 4.3 seems relevant, but there are other results that might be of interest to your question.

The paper can be downloaded from the journal's website.

share|cite|improve this answer
    
Thank you very much for your answer! I am very surprised that the answer to this question seems to be the main topic of a contemporary research paper. I would have expected that at least the cyclic case would be reasonably doable. – user22518 Apr 4 '12 at 12:57

If $G$ is an abelian $p$-group and $p^k\le\exp(G)$, then the number of cyclic subgropups in $G$ is $$ {\rm c}_k(G)=\frac{|\Omega_k(G)-\Omega_{k-1}(G)|}{(p-1)p^{k-1}}. $$ If the type of $G$ is given, it is easy to compute $|\Omega_k(G)|$. The displayed formula is also suit for the regular $p$-groups. Computation of subgroups of given order is known for not very complicated $p$-groups, for example, for metacyclic $p$-groups (see \S 124 in the book of Berkovich-Janko; in that series a great number of counting theorems is proved, in particular, celebrated Kulakoff's theorem for all $p$).

share|cite|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.