<p>For a group <i>G</i>, let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(g\rightarrow g^k\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo stretchy="false">→</mo> <msup> <mi>g</mi> <mi>k</mi> </msup> </mrow> </math></EquationSource> </InlineEquation> be the <i>k</i>-th power map <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(P_k\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mi>k</mi> </msub> </math></EquationSource> </InlineEquation> on <i>G</i>. The purpose of this article is two-fold. First, we consider <i>G</i> as an algebraic group defined over <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\({\mathbb {R}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">R</mi> </math></EquationSource> </InlineEquation> and characterise the density of the images of the power map <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(P_k\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi>P</mi> <mi>k</mi> </msub> </math></EquationSource> </InlineEquation> on <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(G({\mathbb {R}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">R</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> in terms of Cartan subgroups. Next, we consider the linear algebraic group <i>G</i> over a non-Archimedean local field <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\({\mathbb {F}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">F</mi> </math></EquationSource> </InlineEquation> with any characteristic. If the residual characteristic of <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\({\mathbb {F}}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">F</mi> </math></EquationSource> </InlineEquation> is <i>p</i>, and an element admits <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(p^k\)</EquationSource> <EquationSource Format="MATHML"><math> <msup> <mi>p</mi> <mi>k</mi> </msup> </math></EquationSource> </InlineEquation>-th root in <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(G({\mathbb {F}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">F</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for each <i>k</i>, then we prove that some power of the element is unipotent. In particular, we prove that an element <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(g\in G({\mathbb {F}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>g</mi> <mo>∈</mo> <mi>G</mi> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">F</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> admits roots of all orders if and only if <i>g</i> is contained in a one-parameter subgroup in <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(G({\mathbb {F}})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo stretchy="false">(</mo> <mi mathvariant="double-struck">F</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. Also, we extend these results to all linear algebraic groups over global fields.</p>

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

Roots of elements for groups over local fields

  • Arunava Mandal,
  • Parteek Kumar

摘要

For a group G, let \(g\rightarrow g^k\) g g k be the k-th power map \(P_k\) P k on G. The purpose of this article is two-fold. First, we consider G as an algebraic group defined over \({\mathbb {R}}\) R and characterise the density of the images of the power map \(P_k\) P k on \(G({\mathbb {R}})\) G ( R ) in terms of Cartan subgroups. Next, we consider the linear algebraic group G over a non-Archimedean local field \({\mathbb {F}}\) F with any characteristic. If the residual characteristic of \({\mathbb {F}}\) F is p, and an element admits \(p^k\) p k -th root in \(G({\mathbb {F}})\) G ( F ) for each k, then we prove that some power of the element is unipotent. In particular, we prove that an element \(g\in G({\mathbb {F}})\) g G ( F ) admits roots of all orders if and only if g is contained in a one-parameter subgroup in \(G({\mathbb {F}})\) G ( F ) . Also, we extend these results to all linear algebraic groups over global fields.