Varieties of exponential \(R\)-groups (Q6199355)

The notion of an exponential \(R\)-group, where \(R\) is an arbitrary associative ring with unity, was introduced by \textit{R. Lyndon} in [Trans. Am. Math. Soc. 96, 518--533 (1960; Zbl 0108.02501)], this notion has been refined to that of \(MR\)-groups by \textit{A. G. Myasnikov} and \textit{V. N. Remeslennikov} in [Sib. Math. J. 35, No. 5, 986--996 (1994; Zbl 0851.20050)], by introducing an additional axiom. The advantage of the revised notion is that, in the case of abelian groups, it coincides with the notion of a module over a ring. In the paper under review the authors study the notions of variety of \(MR\)-groups and tensor completions of groups in varieties. They describe abelian varieties of \(MR\)-groups and introduce some notions of nilpotency into that category. In particular they prove that the completion of a \(2\)-step nilpotent \(MR\)-group is \(2\)-step nilpotent.