×

Computing a basis for a finite Abelian p-group. (English) Zbl 0591.20002

If an abelian group is given by a finite presentation, there is a well known algorithm that obtains its decomposition into a direct product of cyclic groups by reduction of the relation matrix into Smith normal form. The authors claim to give a more efficient algorithm for the case of a finite abelian p-group but they assume that e.g. orders of certain elements are known or can be computed, i.e. that the elements of the group are known in a form that allows easy computation of products. So the use of the algorithm is restricted essentially to the case that one has to deal with a subgroup of a group for which a base is known. The article contains some undefined notation which must be guessed from the context.
Reviewer: J.Neubüser

MSC:

20-04 Software, source code, etc. for problems pertaining to group theory
20K01 Finite abelian groups
20F05 Generators, relations, and presentations of groups
Full Text: DOI

References:

[1] Iliopoulos, C. S., Algorithms in the theory of abelian groups, (Ph.D. Thesis (1983), Warwick University) · Zbl 0712.68048
[2] C.S. Iliopoulos, Computing on general abelian groups is hard, submitted.; C.S. Iliopoulos, Computing on general abelian groups is hard, submitted. · Zbl 0585.68053
[3] C.S. Iliopoulos, Analysis of algorithms in problems on general abelian groups, submitted.; C.S. Iliopoulos, Analysis of algorithms in problems on general abelian groups, submitted. · Zbl 0573.68009
[4] Ja’Ja’, J., Computation of algebraic functions, (22nd Annual Symposium on FOCS (1981))
[5] Knuth, D. E., Seminumerical Algorithms (1969), Addison-Wesley: Addison-Wesley Reading, MA · Zbl 0191.18001
[6] Schönhage, A., Schnelle Berechnung von Kettenbruchentwicklungen, Acta Informatica, 1, 139-144 (1971) · Zbl 0223.68008
[7] Shanks, D., Class number, a theory of factorisation and genera, (Proc. Symp. Pure Math., Vol. 20 (1971), AMS), 435-440 · Zbl 0223.12006
[8] Sims, C. C., The influence of computers in algebra, (Proc. of Symposia in Applied Math., 20 (1974)), 13-30 · Zbl 0283.20001
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.