Opened 8 years ago

Last modified 8 years ago

## #14813 closed enhancement

# Finitely generated abelian group presentations — at Initial Version

Reported by: | dshurbert | Owned by: | tbd |
---|---|---|---|

Priority: | minor | Milestone: | sage-5.13 |

Component: | group theory | Keywords: | abelian group presentations |

Cc: | rbeezer, vbraun, mmarco | Merged in: | |

Authors: | Davis Shurbert | Reviewers: | |

Report Upstream: | N/A | Work issues: | |

Branch: | Commit: | ||

Dependencies: | #14790, #14791 | Stopgaps: |

### Description

Method to construct finitely generated abelian groups as quotients of free groups. User inputs a list of integers to define an abelian group, then the invariants of the input list are used to build the group as a finite presentation.

sage:groups.presentation.FGAbelian([2,2]) Finitely presented group < a, b | a^2, b^2, a^-1*b^-1*a*b > sage: groups.presentation.FGAbelian([6,3,5,17]) Finitely presented group < a, b | a^3, b^510, a^-1*b^-1*a*b >

**Note:**See TracTickets for help on using tickets.