Abstract
A subset M of a universal algebra A is called finitely separated in A if, for any element x∈A/M, there exists an homomorphism ϕ of A into a finite algebra, for which ϕ(x)∋ϕ(M). A ring is said to be S-separable (R-separable) if its subrings (resp., right ideals) are all finitely separated in it. We give equational (in the language of identities) and indicator (in the language of “prohibited” rings) characterizations of varieties consisting of S-separable (R-separable) rings. Moreover, varieties are described in which, not all, but finitely generated rings only share the properties mentioned.
Similar content being viewed by others
References
A. I. Mal'tsev, “Homomorphisms onto finite groups,”Uch. Zap. Ivanov. Ped. Inst., 18, No. 5, 49–60 (1958).
I. V. L'vov, “Varieties of residually finite rings,”Algebra Logika, 17, No. 2, 488 (1978).
R. McKenzie, “Residually small varieties ofK-rings,”Alg. Univ., 14, No. 2, 181–196 (1982).
A. Z. Ananyin, “Locally residually finite and locally presented varieties of associative algebras,”Algebra Logika, 16, No. 1, 3–23 (1977).
I. V. L'vov, “Locally weakly Noetherian varieties of algebras over Noetherian rings,”Proc. III All-Union Symp. on Theory of Rings, Algebras, and Modules, Tartu (1976), pp. 67–68.
S. I. Kublanovskii, “Varieties of associative algebras with local finiteness conditions,”Alg. Anal., 9, No. 4, 119–174 (1997).
S. I. Kublanovskii, “Locally residually finite and locally presented varieties of associative algebras,” VINITI, Dep. No. 6143-82 (1982).
O. G. Kharlampovich and M. V. Sapir, “Algorithmic problems in varieties,”Int. J. Alg. Comp., 5, Nos. 4-5, 379–602 (1995).
M. V. Volkov, “Varieties of associative rings with the embedding property for amalgams,”Mat. Zametki, 33, No. 1, 3–13 (1983).
M. V. Volkov, “Separation of the radical in ring varieties,”Acta Sc. Math., 46, No. 1, 73–75 (1983).
I. V. L'vov, “Varieties of associative rings. I,”Algebra Logika, 12, No. 3, 269–297 (1973).
M. V. Volkov, “Periodic varieties of associative rings,”Izv. Vyssh. Uch. Zav., Ser. Mat., No. 8, 1–13 (1979).
V. N. Latyshev, “A generalization of the Hilbert theorem on finite bases,”Sib. Mat. Zh., 7, No. 6, 1422–1424 (1966).
I. V. L'vov, “Maximal conditions in algebras with identical relations,”Algebra Logika, 8, No. 4, 449–459 (1969).
V. T. Markov, “Systems of generators ofT-ideals in finitely generated free algebras,”Algebra Logika, 18, No. 5, 587–598 (1979).
Additional information
Translated fromAlgebra i Logika, Vol. 38, No. 2, pp. 201–227, march–April, 1999.
Rights and permissions
About this article
Cite this article
Paison, O.B., Volkov, M.V. & Sapir, M.V. Finite separability in varieties of associative rings. Algebr Logic 38, 107–120 (1999). https://doi.org/10.1007/BF02671724
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF02671724