Effectiveness of Walker's Cancellation Theorem

Layth Al-Hellawi, Rachael Alvir, Barbara F. Csima +1

Walker's Cancellation theorem for abelian groups tells us that if $A$ is finitely generated and $G$ and $H$ are such that $A\oplus G\cong A\oplus H$, then $G\cong H$. Michael D…