Is there a general way to simplify such group presentations (Free Abelian Group with Relations)?

If I want to simplify the group presentation (free abelian group with relations)

$$\langle a,b,c\mid 2a=b=2c\rangle,$$

I can simplify it as $$\langle a,c\mid 2a=2c\rangle\cong\langle a,a-c\mid 2(a-c)\rangle\cong\mathbb{Z}\oplus\mathbb{Z}_2.$$

How about for more complicated presentations such as $$\langle a,b,c\mid 2a=3b=5c\rangle?$$

How do I simplify it, if possible?

In general, I am interested in simplifying $$\langle a,b,c\mid n_1a=n_2b=n_3c\rangle,$$ where $$n_1,n_2,n_3\in\mathbb{Z}$$.

Thanks.

• The general method for this problem is the Smith Normal Form diagonlization algorithm for matrices over the integers. – Derek Holt Feb 5 '18 at 9:46