Theory of square-like abelian groups is decidable
Logic
2007-05-23 v1 Group Theory
Abstract
A 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.
Cite
@article{arxiv.math/0602203,
title = {Theory of square-like abelian groups is decidable},
author = {Oleg Belegradek},
journal= {arXiv preprint arXiv:math/0602203},
year = {2007}
}
Comments
10 pages, AMS-LaTeX, minor formatting change in abstract