[GAP Forum] Quotients of abelian groups

[Lyosha Beshenov]

Hello,

Here is a typical computational task.

Given bases of two abelian groups A_1 and A_2, A_2 \subset A_1,
compute the structure of A_1/A_2.


For instance, if A_1 has a basis {a - b, c} and A_2 has a basis
{a - b - c, -a + b - c}, then A_1/A_2 is isomorphic to Z/2Z.


I'm wondering, is there a straightforward formulation and solution
of this problem in terms of the GAP system?


Thank you.

-- Lyosha