Theory of Square-like Abelian Groups Is Decidable
نویسنده
چکیده
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.
منابع مشابه
On the Exponent of Triple Tensor Product of p-Groups
The non-abelian tensor product of groups which has its origins in algebraic K-theory as well as inhomotopy theory, was introduced by Brown and Loday in 1987. Group theoretical aspects of non-abelian tensor products have been studied extensively. In particular, some studies focused on the relationship between the exponent of a group and exponent of its tensor square. On the other hand, com...
متن کاملMonoid Kernels and Profinite Topologies on the Free Abelian Group
To each pseudovariety of abelian groups residually containing the integers, there is naturally associated a proonite topology on any nite rank free abelian group. We show in this paper that if the pseudovariety in question has a decidable membership problem, then one can eeectively compute membership in the closure of a subgroup and more generally, in the closure of a rational subset of such a ...
متن کاملThe Post correspondence problem in groups
We generalize the classical Post correspondence problem (PCPn) and its non-homogeneous variation (GPCPn) to non-commutative groups and study the computational complexity of these new problems. We observe that PCPn is closely related to the equalizer problem in groups, while GPCPn is connected to the double twisted conjugacy problem for endomorphisms. Furthermore, it is shown that one of the str...
متن کاملFinitely Presented Abelian Lattice-Ordered Groups
We give necessary and sufficient conditions for the first-order theory of a finitely presented abelian lattice-ordered group to be decidable. We also show that if the number of generators is at most 3, then elementary equivalence implies isomorphism. We deduce from our methods that the theory of the free MV -algebra on at least 2 generators is undecidable.
متن کاملA Stone-Weierstrass theorem for MV-algebras and unital ℓ-groups
Working jointly in the equivalent categories of MV-algebras and lattice-ordered abelian groups with strong order unit (for short, unital l-groups), we prove that isomorphism is a sufficient condition for a separating subalgebra A of a finitely presented algebra F to coincide with F . The separation and isomorphism conditions do not individually imply A = F . Various related problems, like the s...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2006