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:

Status badges

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 >

Change History (0)

Note: See TracTickets for help on using tickets.