Abstract
We deal with the decidability problem for first-order theories of a complete linear group GL(n,ℤ) of all integral matrices of order n ≥ 3. and of a respective complete linear monoid ML(n,ℤ). It is proved that theories ∀¬ ∧ GL(3,ℤ). ∃∀∧ GL(3,ℤ). ∀¬ ∧ ML(3,ℤ), and ∃¬ ∧ ML(3,ℤ) are critical. and that ∃∀ ∧ νGL(n,ℤ) and ∃∀ ∧ML(n,ℤ) are decidable for any n ≥ 3.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
A. I. Mal’tsev, “Elementary properties of linear groups,” inSome Problems in Mathematics and Mechanics [in Russian], SO AN SSSR, Novosibirsk (1961), pp. 110–132.
Yu. V. Matiyasevich, “Being Diophantine for enumerable sets,”Dokl. Akad. Nauk SSSR,191, No. 2, 279–282 (1970).
A. I. Slobodskoy, “The universal theory forGL(3,ℤ),” inAlgorithm Problems for Algebraic Systems and Computers [in Russian], Irkutsk University, Irkutsk (1979), pp. 200–217.
Yu. M. Vazhenin, “Critical theories,”Sib. Mat. Zh.,29, No. 1, 23–31 (1996).
Yu. M. Vazhenin and V. Yu. Popov, “Critical theories for free nilpotent rings of some types,”Izv. Vyssh. Uch. Zav., Mat., No. 3, 74–76 (1991).
Yu. M. Vazhenin, “Algorithm problems and hierarchies of first-order languages,”Algebra Logika,26, No. 4, 419–434 (1987).
Yu. M. Vazhenin and Yu. V. Nagrebetskaya, “Decidability boundaries for rings of integral matrices,”Proc. Int. Alg. Conf. dedicated to D. K. Fadeev, St. Petersburg (1997), p. 178.
W. Magnus, A. Karrass, and D. Solitar,Combinatorial Group Theory, Interscience, New York (1966).
M. I. Kargapolov and Yu. I. Merzlyakov,Foundations of Group Theory [in Russian], Nauka, Moscow (1982).
A. G. Kurosh,General Algebra [in Russian], Nauka, Moscow (1968).
Additional information
Translated fromAlgebra i Logika, Vol. 39, No. 4, pp. 480–504, July–August, 2000.
Rights and permissions
About this article
Cite this article
Nagrebetskaya, Y.V. Decidability of first-order theories for groups and monoids of integral matrices. Algebr Logic 39, 276–291 (2000). https://doi.org/10.1007/BF02681652
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02681652