Advertisement

Algebra and Logic

, Volume 58, Issue 4, pp 345–355 | Cite as

Prime and Homogeneous Rings and Algebras

  • E. I. TimoshenkoEmail author
Article
  • 8 Downloads

Let ℳ be a structure of a signature Σ. For any ordered tuple \( \overline{a}=\left({a}_1,\dots, {a}_{\mathrm{n}}\right) \) of elements of ℳ, \( {\mathrm{tp}}^{\mathcal{M}}\left(\overline{a}\right) \) denotes the set of formulas θ(x1, …, xn) of a first-order language over Σ with free variables x1, . . . , xn such that \( \mathcal{M}\left|=\theta \left({a}_1,\dots, {a}_n\right)\right. \). A structure ℳ is said to be strongly ω-homogeneous if, for any finite ordered tuples \( \overline{a} \) and \( \overline{b} \) of elements of ℳ, the coincidence of \( {\mathrm{tp}}^{\mathcal{M}}\left(\overline{a}\right) \) and \( {\mathrm{tp}}^{\mathrm{M}}\left(\overline{b}\right) \) implies that these tuples are mapped into each other (componentwise) by some automorphism of the structure ℳ. A structure ℳ is said to be prime in its theory if it is elementarily embedded in every structure of the theory Th (ℳ). It is proved that the integral group rings of finitely generated relatively free orderable groups are prime in their theories, and that this property is shared by the following finitely generated countable structures: free nilpotent associative rings and algebras, free nilpotent rings and Lie algebras. It is also shown that finitely generated non-Abelian free nilpotent associative algebras and finitely generated non-Abelian free nilpotent Lie algebras over uncountable fields are strongly ω-homogeneous.

Keywords

homogeneous structure structure prime in its theory relatively free structure orderable group group ring nilpotent algebra nilpotent ring associative ring Lie ring 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    C. Perin and R. Sklinos, “Homogeneity in the free groups,” Duke Math. J., 161, No. 13, 2635-2668 (2012).MathSciNetCrossRefGoogle Scholar
  2. 2.
    D. Marker, Model Theory: An Introduction, Grad. Texts Math., 217, Springer, New York (2002).Google Scholar
  3. 3.
    A. Nies, “Aspects of free groups,” J. Alg., 263, No. 1, 119-125 (2003).MathSciNetCrossRefGoogle Scholar
  4. 4.
    A. Ould Houcine, “Homogeneity and prime models in torsion-free hyperbolic groups,” Confl. Math., 3, No. 1, 121-155 (2011).MathSciNetCrossRefGoogle Scholar
  5. 5.
    W. Hodges, Model Theory, Enc. Math. Appl., 42, Cambridge Univ. Press, Cambridge (1993).Google Scholar
  6. 6.
    F. Oger and G. Sabbagh, “Quasi-finitely axiomatizable nilpotent groups,” J. Group Th., 9, No. 1, 95-106 (2006).MathSciNetzbMATHGoogle Scholar
  7. 7.
    O. Kharlampovich and A. Myasnikov, “Definable sets in a hyperbolic group,” Int. J. Alg. Comput., 23, No. 1, 91-110 (2013).MathSciNetCrossRefGoogle Scholar
  8. 8.
    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).MathSciNetCrossRefGoogle Scholar
  9. 9.
    A. I. Mal’tsev, “Equation zxyx 1y 1z 1 = aba 1b 1 in a free group,” Algebra Logika, 1, No. 5, 45-50 (1962).Google Scholar
  10. 10.
    The Erlagol Notebook, Selected Open Questions in Algebra and Model Theory, Novosibirsk State Tech. Univ., Novosibirsk (2018).Google Scholar
  11. 11.
    A. E. Zalesskii and A. V. Mikhalev, “Group rings,” in Itogi Nauki Tekhniki, Sovr. Probl. Mat. [in Russian], 2, VINITI, Moscow (1973), pp. 5-118.Google Scholar
  12. 12.
    A. W. Mostowski, “On automorphisms of relatively free groups,” Fund. Math., 50, 403-411 (1962).MathSciNetCrossRefGoogle Scholar
  13. 13.
    G. Zhitomirski, “Types of points and algebras,” Int. J. Alg. Comput., 28, No. 8, 1717-1730 (2018)MathSciNetCrossRefGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2019

Authors and Affiliations

  1. 1.Novosibirsk State Technical UniversityNovosibirskRussia

Personalised recommendations