<p>Let <i>D</i> be a division ring with center <i>Z</i> of char ≠ 2, with an involution*. Let <i>D</i><sup>†</sup> be the multiplicative group of <i>D</i>, and let <i>N</i> ⊲ <i>D</i><sup>†</sup> be a normal subgroup. An element <i>u</i> ∈ <i>D</i><sup>†</sup> is said to be symmetric (unitary) if <i>u*</i> = <i>u</i> (respectively <i>u*</i> = <i>u</i><sup>−1</sup>). Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\frak{U}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mrow> <mi mathvariant="fraktur">U</mi> </mrow> </math></EquationSource> </InlineEquation> be the group of unitary units of <i>D</i>, and let <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(N \triangleleft \frak{U}\)</EquationSource> <EquationSource Format="MATHML"><math display="block"> <mi>N</mi> <mo>◃</mo> <mrow> <mi mathvariant="fraktur">U</mi> </mrow> </math></EquationSource> </InlineEquation> be a non-central subgroup. Under some mild conditions we show that <i>N</i> contains a free unitary pair. We also present some results for the presence of free symmetric pairs in <i>N</i> ⊲ <i>D</i><sup>†</sup>.</p>

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

Free unitary and symmetric pairs in normal subgroups of division rings with involution

  • Jairo Z. Gonçalves

摘要

Let D be a division ring with center Z of char ≠ 2, with an involution*. Let D be the multiplicative group of D, and let ND be a normal subgroup. An element uD is said to be symmetric (unitary) if u* = u (respectively u* = u−1). Let \(\frak{U}\) U be the group of unitary units of D, and let \(N \triangleleft \frak{U}\) N U be a non-central subgroup. Under some mild conditions we show that N contains a free unitary pair. We also present some results for the presence of free symmetric pairs in ND.