<p>For a group <i>H</i> and a non-empty subset <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_930_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma \subseteq H\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mo>⊆</mo> <mi>H</mi> </mrow> </math></EquationSource> </InlineEquation>, the commuting graph <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_930_Article_IEq2.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="91" /> </InlineMediaObject> <EquationSource Format="TEX">\(G=\mathcal {C}(H,\Gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>=</mo> <mi mathvariant="script">C</mi> <mo stretchy="false">(</mo> <mi>H</mi> <mo>,</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> is the graph with <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_930_Article_IEq3.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="12" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="normal">Γ</mi> </math></EquationSource> </InlineEquation> as the vertex set and where any <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_930_Article_IEq4.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="59" /> </InlineMediaObject> <EquationSource Format="TEX">\(x,y \in \Gamma \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>x</mi> <mo>,</mo> <mi>y</mi> <mo>∈</mo> <mi mathvariant="normal">Γ</mi> </mrow> </math></EquationSource> </InlineEquation> are joined by an edge if <i>x</i> and <i>y</i> commute in <i>H</i>. In this paper, we solve the realizability problem for Coxeter groups by proving that any simple graph can be obtained as a commuting graph of such a group. In particular, we can recover the Dynkin diagrams of ADE type as commuting graphs. We further investigate the commuting graphs <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_930_Article_IEq5.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="56" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathcal {C}(H,\Gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="script">C</mi> <mo stretchy="false">(</mo> <mi>H</mi> <mo>,</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> for every finite subgroup <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_930_Article_IEq6.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="103" /> </InlineMediaObject> <EquationSource Format="TEX">\(H\subset {{\,\textrm{SL}\,}}(2,\mathbb {C})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>H</mi> <mo>⊂</mo> <mrow> <mspace width="0.166667em" /> <mtext>SL</mtext> <mspace width="0.166667em" /> </mrow> <mo stretchy="false">(</mo> <mn>2</mn> <mo>,</mo> <mi mathvariant="double-struck">C</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and different subsets <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_930_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="52" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma \subseteq H\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mo>⊆</mo> <mi>H</mi> </mrow> </math></EquationSource> </InlineEquation>. We also study certain distance properties of these graphs when <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11587_2025_930_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(\Gamma =H\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Γ</mi> <mo>=</mo> <mi>H</mi> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Properties of commuting graphs over finite non-abelian groups

  • Fawad Ali,
  • Umar Hayat,
  • Álvaro Nolla

摘要

For a group H and a non-empty subset \(\Gamma \subseteq H\) Γ H , the commuting graph \(G=\mathcal {C}(H,\Gamma )\) G = C ( H , Γ ) is the graph with \(\Gamma \) Γ as the vertex set and where any \(x,y \in \Gamma \) x , y Γ are joined by an edge if x and y commute in H. In this paper, we solve the realizability problem for Coxeter groups by proving that any simple graph can be obtained as a commuting graph of such a group. In particular, we can recover the Dynkin diagrams of ADE type as commuting graphs. We further investigate the commuting graphs \(\mathcal {C}(H,\Gamma )\) C ( H , Γ ) for every finite subgroup \(H\subset {{\,\textrm{SL}\,}}(2,\mathbb {C})\) H SL ( 2 , C ) and different subsets \(\Gamma \subseteq H\) Γ H . We also study certain distance properties of these graphs when \(\Gamma =H\) Γ = H .