2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/108914A group is called square-like if it is universally equivalent to its direct square. It is known that the class of all square-like groups admits an explicit first order axiomatization but its theory is undecidable. We prove that the theory of square-like abelian groups is decidable. This answers a question posed by D. Spellman.10 pages, AMS-LaTeX, minor formatting change in abstractLogicGroup Theory20A15 (Primary); 20K99; 20E26; 03C60; 03D35 (Secondary)Theory of square-like abelian groups is decidabletext