<p>Let (<i>W</i>,&#xa0;<i>R</i>) be a Coxeter system and let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(w \in W\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>w</mi> <mo>∈</mo> <mi>W</mi> </mrow> </math></EquationSource> </InlineEquation>. We say that <i>u</i> is a <i>prefix</i> of <i>w</i> if there is a reduced expression for <i>u</i> that can be extended to one for <i>w</i>. That is, <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(w = uv\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>w</mi> <mo>=</mo> <mi>u</mi> <mi>v</mi> </mrow> </math></EquationSource> </InlineEquation> for some <i>v</i> in <i>W</i> such that <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\ell (w) = \ell (u) + \ell (v)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>ℓ</mi> <mo stretchy="false">(</mo> <mi>w</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mi>ℓ</mi> <mo stretchy="false">(</mo> <mi>u</mi> <mo stretchy="false">)</mo> <mo>+</mo> <mi>ℓ</mi> <mo stretchy="false">(</mo> <mi>v</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. We say that <i>w</i> has the <i>ancestor property</i> if the set of prefixes of <i>w</i> contains a unique involution of maximal length. In this paper, we show that all Coxeter elements of finitely generated Coxeter groups have the ancestor property, and hence a canonical expression as a product of involutions. We conjecture that the property in fact holds for all non-identity elements of finite Coxeter groups.</p>

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

A note on involution prefixes in Coxeter groups

  • Sarah B. Hart,
  • Peter J. Rowley

摘要

Let (WR) be a Coxeter system and let \(w \in W\) w W . We say that u is a prefix of w if there is a reduced expression for u that can be extended to one for w. That is, \(w = uv\) w = u v for some v in W such that \(\ell (w) = \ell (u) + \ell (v)\) ( w ) = ( u ) + ( v ) . We say that w has the ancestor property if the set of prefixes of w contains a unique involution of maximal length. In this paper, we show that all Coxeter elements of finitely generated Coxeter groups have the ancestor property, and hence a canonical expression as a product of involutions. We conjecture that the property in fact holds for all non-identity elements of finite Coxeter groups.