<p>We study tensor completions <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\({G\otimes }_{{\mathcal{N}}_{2,R}}R\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mi>G</mi> <mo>⊗</mo> </mrow> <msub> <mi mathvariant="script">N</mi> <mrow> <mn>2</mn> <mo>,</mo> <mi>R</mi> </mrow> </msub> </msub> <mi>R</mi> </mrow> </math></EquationSource> </InlineEquation> of finitely generated torsion-free 2-nilpotent groups <i>G</i> in the class <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\({\mathcal{N}}_{2,R}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">N</mi> <mrow> <mn>2</mn> <mo>,</mo> <mi>R</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> of all 2-nilpotent <i>R</i>-groups over a binomial domain <i>R</i>. We show that <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({G\otimes }_{{\mathcal{N}}_{2,R}}R\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mi>G</mi> <mo>⊗</mo> </mrow> <msub> <mi mathvariant="script">N</mi> <mrow> <mn>2</mn> <mo>,</mo> <mi>R</mi> </mrow> </msub> </msub> <mi>R</mi> </mrow> </math></EquationSource> </InlineEquation> is isomorphic to the group (<InlineEquation ID="IEq4"> <EquationSource Format="TEX">\({G\otimes }_{\mathcal{H}}R\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mi>G</mi> <mo>⊗</mo> </mrow> <mi mathvariant="script">H</mi> </msub> <mi>R</mi> </mrow> </math></EquationSource> </InlineEquation>) × <i>D</i>, where <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\({G\otimes }_{\mathcal{H}}R\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mrow> <mi>G</mi> <mo>⊗</mo> </mrow> <mi mathvariant="script">H</mi> </msub> <mi>R</mi> </mrow> </math></EquationSource> </InlineEquation> is the classical Hall <i>R</i>-completion of <i>G</i>, <i>D</i> is an Abelian <i>R</i>-group, and the direct product is a product of abstract groups (not <i>R</i>-groups!). In particular, this answers an old question of Remeslennikov about the algebraic structure of free 2-nilpotent <i>R</i>-groups in the quasivariety <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({\mathcal{N}}_{2,R}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="script">N</mi> <mrow> <mn>2</mn> <mo>,</mo> <mi>R</mi> </mrow> </msub> </math></EquationSource> </InlineEquation> (they are precisely the tensor <i>R</i>-completions of free 2-nilpotent groups).</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Algebraic Structure of Tensor Completions of 2-Nilpotent Torsion-Free Groups

  • M. G. Amaglobeli,
  • A. G. Myasnikov

摘要

We study tensor completions \({G\otimes }_{{\mathcal{N}}_{2,R}}R\) G N 2 , R R of finitely generated torsion-free 2-nilpotent groups G in the class \({\mathcal{N}}_{2,R}\) N 2 , R of all 2-nilpotent R-groups over a binomial domain R. We show that \({G\otimes }_{{\mathcal{N}}_{2,R}}R\) G N 2 , R R is isomorphic to the group ( \({G\otimes }_{\mathcal{H}}R\) G H R ) × D, where \({G\otimes }_{\mathcal{H}}R\) G H R is the classical Hall R-completion of G, D is an Abelian R-group, and the direct product is a product of abstract groups (not R-groups!). In particular, this answers an old question of Remeslennikov about the algebraic structure of free 2-nilpotent R-groups in the quasivariety \({\mathcal{N}}_{2,R}\) N 2 , R (they are precisely the tensor R-completions of free 2-nilpotent groups).