Computing the structure of a finite abelian group

We present an algorithm that computes the structure of a finite abelian group $G$ from a generating system $M$. The algorithm executes $\operatorname{O}(\vert M\vert\sqrt{\vert G\vert})$ group operations and stores $\operatorname{O}(\sqrt{\vert G\vert})$ group elements.