[GAP Forum] Quotients of abelian groups
Lyosha Beshenov
al at cadadr.org
Sun Mar 7 14:53:04 GMT 2010
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
More information about the Forum
mailing list