<p>Starting with an integral domain <i>D</i> of characteristic 0, we consider a class of iterated wreath product <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(W_n\)</EquationSource> </InlineEquation> of <i>n</i> copies of <i>D</i>. In order that <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(W_n\)</EquationSource> </InlineEquation> be transfinite hypercentral, it is necessary to restrict to the case of wreath products defined by way of numerical polynomials. We also associate to each of these groups a Lie ring, providing a correspondence preserving most of the structure. This construction generalizes a result of Sushchansky and Netreba (Algebra Discrete Math 122–132, 2005) which characterizes the Lie algebras associated to the Sylow <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(p\)</EquationSource> </InlineEquation>-subgroups of the symmetric group <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\({{\,\textrm{Sym}\,}}(p^n)\)</EquationSource> </InlineEquation>. As an application, we explore the normalizer chain <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\lbrace \textbf{N}_{i}\rbrace _{i\ge -1}\)</EquationSource> </InlineEquation> starting from the canonical regular abelian subgroup <i>T</i> of <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(W_n\)</EquationSource> </InlineEquation>. Finally, we characterize the regular abelian normal subgroups of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(\textbf{N}_0\)</EquationSource> </InlineEquation> that are isomorphic to <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(D^n\)</EquationSource> </InlineEquation>.</p>

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

Transfinite hypercentral iterated wreath product of integral domains

  • Riccardo Aragona,
  • Norberto Gavioli,
  • Giuseppe Nozzi

摘要

Starting with an integral domain D of characteristic 0, we consider a class of iterated wreath product \(W_n\) of n copies of D. In order that \(W_n\) be transfinite hypercentral, it is necessary to restrict to the case of wreath products defined by way of numerical polynomials. We also associate to each of these groups a Lie ring, providing a correspondence preserving most of the structure. This construction generalizes a result of Sushchansky and Netreba (Algebra Discrete Math 122–132, 2005) which characterizes the Lie algebras associated to the Sylow \(p\) -subgroups of the symmetric group \({{\,\textrm{Sym}\,}}(p^n)\) . As an application, we explore the normalizer chain \(\lbrace \textbf{N}_{i}\rbrace _{i\ge -1}\) starting from the canonical regular abelian subgroup T of \(W_n\) . Finally, we characterize the regular abelian normal subgroups of \(\textbf{N}_0\) that are isomorphic to \(D^n\) .