Skip to main content
SpringerLink
Log in

Theories of Relatively Free Solvable Groups with Extra Predicate

  • Published:
Algebra and Logic Aims and scope

We study elementary and universal theories of relatively free solvable groups in a group signature expanded by one predicate distinguishing primitive or annihilating systems of elements.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. W. Szmielew, “Elementary properties of Abelian groups,” Fund. Math., 41, 203-271 (1955).

    Article  MathSciNet  Google Scholar 

  2. A. I. Mal’tsev, “Free solvable groups,” Dokl. Akad. Nauk SSSR, 130, No. 3, 495-498 (1960).

    Google Scholar 

  3. O. Chapuis, “On the theories of free solvable groups,” J. Pure Appl. Alg., 131, No. 1, 13-24 (1998).

    Article  MathSciNet  Google Scholar 

  4. O. Chapuis, “Universal theory of certain solvable groups and bounded Ore group rings,” J. Alg., 176, No. 2, 368-391 (1995).

    Article  MathSciNet  Google Scholar 

  5. O. Chapuis, “∀-free metabelian groups,” J. Symb. Log., 62, No. 1, 159-174 (1997).

    Article  MathSciNet  Google Scholar 

  6. N. S. Romanovskii, “Universal theories for free solvable groups,” Algebra and Logic, 51, No. 3, 259-263 (2012).

    Article  MathSciNet  Google Scholar 

  7. M. I. Kargapolov, V. N. Remeslennikov, N. S. Romanovskii, V. A. Roman’kov, and V. A. Churkin, “Algorithmic problems for ´O-power groups,” Algebra and Logic, 8, No. 6, 364-373 (1969).

    Article  Google Scholar 

  8. Yu. L. Ershov, “Elementary group theories,” Dokl. Akad. Nauk SSSR, 203, No. 6, 1240-1243 (1972).

    MathSciNet  Google Scholar 

  9. N. S. Romanovskii, “On the elementary theory of an almost polycyclic group,” Mat. Sb., 111(153), No. 1, 135-143 (1980).

  10. G. A. Noskov, “On the elementary theory of a finitely generated almost solvable group,” Izv. Akad. Nauk SSSR, Ser. Mat., 47, No. 3, 498-517 (1983).

    MathSciNet  MATH  Google Scholar 

  11. V. A. Roman’kov, “Unsolvability of the endomorphic reducibility problem in free nilpotent groups and in free rings,” Algebra and Logic, 16, No. 4, 310-320 (1977).

    Article  Google Scholar 

  12. V. A. Roman’kov, “Equations in free metabelian groups,” Sib. Math. J., 20, No. 3, 469-471 (1979).

    Article  MathSciNet  Google Scholar 

  13. V. A. Roman’kov, “Equations over groups,” Groups Complex. Cryptol., 4, No. 2, 191-239 (2012).

    MathSciNet  MATH  Google Scholar 

  14. V. A. Roman’kov, “Universal theory of nilpotent groups,” Mat. Zametki., 25, No. 4, 487-495 (1979).

    MathSciNet  MATH  Google Scholar 

  15. E. I. Timoshenko, “Universal theory of a free polynilpotent group,” Izv. Ross. Akad. Nauk, Ser. Mat., 80, No. 3, 173-183 (2016).

    Article  MathSciNet  Google Scholar 

  16. A. Myasnikov and N. Romanovskii, “Logical aspects of the theory of divisible rigid groups,” Dokl. Ross. Akad. Nauk, 459, No. 2, 154/155 (2014).

  17. A. H. Rhemtulla and M. Akhavan-Malayeri, “Commutator length of abelian-by-nilpotent groups,” Glasg. Math. J., 40, No. 1, 117-121 (1998).

    Article  MathSciNet  Google Scholar 

  18. E. I. Timoshenko, “Toward a question about elementary equivalence of groups,” in Algebra. 1 [in Russian], Irkutsk State University, Irkutsk (1972), pp. 92-96.

  19. E. I. Timoshenko, “On universally equivalent solvable groups,” Algebra and Logic, 39, No. 2, 131-138 (2000).

    Article  MathSciNet  Google Scholar 

  20. Ch. K. Gupta and E. I. Timoshenko, “First-order definability and algebraicity of the sets of annihilating and generating collections of elements for some relatively free solvable groups,” Sib. Math. J., 47, No. 4, 634-642 (2006).

    Article  MathSciNet  Google Scholar 

  21. H. Neumann, Varieties of Groups, Springer, Berlin (1967).

    Book  Google Scholar 

  22. E. I. Timoshenko, Endomorphisms and Universal Theories of Soluble Groups [in Russian], NGTU, Novosibirsk (2011).

    Google Scholar 

  23. C. K. Gupta and E. I. Timoshenko, “Primitivity in the free groups of the variety AmAn,” Comm. Alg., 24, No. 9, 2859-2876 (1996).

    Article  Google Scholar 

  24. V. A. Roman’kov, “The criterion of being primitive for a system of elements in a free metabelian group,” Ukr. Mat. Zh., 43, Nos. 7/8, 996-1002 (1991).

  25. S. Bachmuth, “Automorphisms of free metabelian groups,” Trans. Am. Math. Soc., 118, No. 6, 93-104 (1965).

    Article  MathSciNet  Google Scholar 

  26. C. K. Gupta, N. D. Gupta, and G. A. Noskov, “Some applications of Artamonov–Quillen–Suslin theorems to metabelian inner rank and primitivity,” Can. J. Math., 46, No. 2, 298-307 (1994).

    Article  MathSciNet  Google Scholar 

  27. M. J. Evans, “Presentations of the free metabelian group of rank 2,” Can. Math. Bull., 37, No. 4, 468-472 (1994).

    Article  MathSciNet  Google Scholar 

  28. N. S. Romanovskii and E. I. Timoshenko, “On some elementary properties of soluble groups of derived length 2,” Sib. Math. J., 44, No. 2, 350-354 (2003).

    Article  Google Scholar 

  29. E. I. Timoshenko, “Primitive systems of elements in the variety AN2 and some locally finite varieties of groups,” Algebra and Logic, 37, No. 6, 391-398 (1998).

    Article  MathSciNet  Google Scholar 

  30. Yu. G. Penzin, “Decidability of certain theories of integers,” Sib. Math. J., 14, No. 5, 796-799 (1973).

    Article  MathSciNet  Google Scholar 

  31. P. W. Stroud, “Topics in the theory of verbal subgroups,” PhD Thesis, Univ. Cambridge (1966).

  32. J. Nielsen, “Die Isomorphismen der allgemeinen, unendlichen Gruppe mit zwei Erzeugenden,” Math. Ann., 78, 385-397 (1917).

    Article  MathSciNet  Google Scholar 

  33. A. I. Mal’tsev, “Equation zxyx−1y−1z−1 = aba−1b−1 in a free group,” Algebra Logika, 1, No. 5, 45-50 (1962).

  34. O. Kharlampovich and A. Myasnikov, “Definable sets in a hyperbolic group,” Int. J. Alg. Comput., 23, No. 1, 91-110 (2013).

    Article  MathSciNet  Google Scholar 

  35. A. L. Shmel’kin, “Free polynilpotent groups,” Dokl. Akad. Nauk SSSR, 151, No. 1, 73-75 (1963).

    MathSciNet  MATH  Google Scholar 

  36. A. L. Shmel’kin, “Free polynilpotent groups,” Izv. Akad. Nauk SSSR, Ser. Mat., 28 91-122 (1964).

  37. P. C. Eklof and R. F. Fischer, “The elementary theory of Abelian groups,” Ann. Math. Log., 4, No. 2, 115-171 (1972).

    Article  MathSciNet  Google Scholar 

  38. Yu. L. Ershov and E. A. Palyutin, Mathematical Logic [in Russian], 2nd edn., Nauka, Moscow (1987).

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Novosibirsk State Technical University, pr. Marksa 20, Novosibirsk, 630092, Russia

    E. I. Timoshenko

Authors
  1. E. I. Timoshenko
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to E. I. Timoshenko.

Additional information

*Supported by RFBR, project No. 18-01-00100.

Translated from Algebra i Logika, Vol. 57, No. 4, pp. 456-475, July-August, 2018.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Timoshenko, E.I. Theories of Relatively Free Solvable Groups with Extra Predicate. Algebra Logic 57, 295–308 (2018). https://doi.org/10.1007/s10469-018-9501-x

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10469-018-9501-x

Keywords

Search

Navigation