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.
Similar content being viewed by others
References
C. Perin and R. Sklinos, “Homogeneity in the free groups,” Duke Math. J., 161, No. 13, 2635-2668 (2012).
D. Marker, Model Theory: An Introduction, Grad. Texts Math., 217, Springer, New York (2002).
A. Nies, “Aspects of free groups,” J. Alg., 263, No. 1, 119-125 (2003).
A. Ould Houcine, “Homogeneity and prime models in torsion-free hyperbolic groups,” Confl. Math., 3, No. 1, 121-155 (2011).
W. Hodges, Model Theory, Enc. Math. Appl., 42, Cambridge Univ. Press, Cambridge (1993).
F. Oger and G. Sabbagh, “Quasi-finitely axiomatizable nilpotent groups,” J. Group Th., 9, No. 1, 95-106 (2006).
O. Kharlampovich and A. Myasnikov, “Definable sets in a hyperbolic group,” Int. J. Alg. Comput., 23, No. 1, 91-110 (2013).
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).
A. I. Mal’tsev, “Equation zxyx−1y−1z−1 = aba−1b−1 in a free group,” Algebra Logika, 1, No. 5, 45-50 (1962).
The Erlagol Notebook, Selected Open Questions in Algebra and Model Theory, Novosibirsk State Tech. Univ., Novosibirsk (2018).
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.
A. W. Mostowski, “On automorphisms of relatively free groups,” Fund. Math., 50, 403-411 (1962).
G. Zhitomirski, “Types of points and algebras,” Int. J. Alg. Comput., 28, No. 8, 1717-1730 (2018)
Author information
Authors and Affiliations
Corresponding author
Additional information
E. I. Timoshenko Supported by RFBR, project No. 18-01-00100.
Translated from Algebra i Logika, Vol. 58, No. 4, pp. 512-527, July-August, 2019.
Rights and permissions
About this article
Cite this article
Timoshenko, E.I. Prime and Homogeneous Rings and Algebras. Algebra Logic 58, 345–355 (2019). https://doi.org/10.1007/s10469-019-09556-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-019-09556-w