Theory of square-like abelian groups is decidable

Thumbnail Image

Date

Authors

Journal Title

Journal ISSN

Volume Title

Publisher

Abstract

Description

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.
10 pages, AMS-LaTeX, minor formatting change in abstract

Keywords

Logic, Group Theory, 20A15 (Primary); 20K99; 20E26; 03C60; 03D35 (Secondary)

Citation

URI

http://salesiana.dossiersoluciones.com/handle/123456789/108914

Consulte el texto completo en el siguiente enlace:

https://arxiv.org/abs/math/0602203
 http://arxiv.org/abs/math/0602203

Collections

arXiv