dc.contributor.author |
Huxford, P |
en |
dc.date.accessioned |
2019-01-09T02:23:03Z |
en |
dc.date.available |
2019-01-09T02:23:03Z |
en |
dc.date.issued |
2018 |
en |
dc.identifier.citation |
CDMTCS Research Reports CDMTCS-517 (2018) |
en |
dc.identifier.issn |
1178-3540 |
en |
dc.identifier.uri |
http://hdl.handle.net/2292/45065 |
en |
dc.description.abstract |
This aim of this report is to explain the theory of finitely generated abelian groups, and
some computational methods pertaining to them. Knowledge of introductory group theory
is required to understand the main ideas.
There is no algorithm to determine if a given finite presentation defines a group of
finite order (or even defines the trivial group). However, such an algorithm exists if the
group is also known to be abelian. We give a procedure in this report which, given a
description of a finitely generated abelian group G, calculates integers d1,...,dr, k such
that G ≥= Zd1 ü ··· ü Zdr ü Zk. The description of G is given by an integer matrix, which
we transform into a diagonal matrix, known as its Smith Normal Form.
Naive algorithms inspired by Gaussian elimination often fail because of integer overflow.
Intermediate matrices have entries which are very large even for relatively small inputs,
making calculations in practice far too expensive to carry out. We will explore some useful
techniques, which allow us to perform calculations with respect to an appropriate modulus. |
en |
dc.publisher |
Department of Computer Science, The University of Auckland, New Zealand |
en |
dc.relation.ispartofseries |
CDMTCS Research Report Series |
en |
dc.rights |
Items in ResearchSpace are protected by copyright, with all rights reserved, unless otherwise indicated. Previously published items are made available in accordance with the copyright policy of the publisher. |
en |
dc.rights.uri |
https://researchspace.auckland.ac.nz/docs/uoa-docs/rights.htm |
en |
dc.source.uri |
https://www.cs.auckland.ac.nz/research/groups/CDMTCS/researchreports/index.php |
en |
dc.title |
Computation with Finitely Generated Abelian Groups |
en |
dc.type |
Technical Report |
en |
dc.subject.marsden |
Fields of Research |
en |
dc.rights.holder |
Copyright: The author(s) |
en |
dc.rights.accessrights |
http://purl.org/eprint/accessRights/OpenAccess |
en |