<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq1.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> be a connected 7-valent symmetric Cayley graph on a finite non-abelian simple group <i>G</i>. If <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq1.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> is not normal, Li et al. (J Algebraic Combin 56:1097–1118, 2022) characterized the group pairs <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq3.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="181" /> </InlineMediaObject> <EquationSource Format="TEX">\((\textrm{soc}(\textrm{Aut}(\Gamma )/K),GK/K)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mtext>soc</mtext> <mo stretchy="false">(</mo> <mtext>Aut</mtext> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mi>K</mi> <mo stretchy="false">)</mo> <mo>,</mo> <mi>G</mi> <mi>K</mi> <mo stretchy="false">/</mo> <mi>K</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, where <i>K</i> is a maximal intransitive normal subgroup of <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{Aut}(\Gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Aut</mtext> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>. In this paper, we improve this result by proving that if <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq1.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> is not normal, then <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{Aut}(\Gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Aut</mtext> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> contains an arc-transitive non-abelian simple normal subgroup <i>T</i> such that <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq7.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(G&lt;T\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>G</mi> <mo>&lt;</mo> <mi>T</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq8.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="142" /> </InlineMediaObject> <EquationSource Format="TEX">\((T,G)=(\textrm{A}_{n},\textrm{A}_{n-1})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>T</mi> <mo>,</mo> <mi>G</mi> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <mrow> <mo stretchy="false">(</mo> <msub> <mtext>A</mtext> <mi>n</mi> </msub> <mo>,</mo> <msub> <mtext>A</mtext> <mrow> <mi>n</mi> <mo>-</mo> <mn>1</mn> </mrow> </msub> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq9.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="42" /> </InlineMediaObject> <EquationSource Format="TEX">\(n=7\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>n</mi> <mo>=</mo> <mn>7</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="30" /> </InlineMediaObject> <EquationSource Format="TEX">\(3\cdot 7\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>3</mn> <mo>·</mo> <mn>7</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq11.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="36" /> </InlineMediaObject> <EquationSource Format="TEX">\(3^2\cdot 7\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>3</mn> <mn>2</mn> </msup> <mo>·</mo> <mn>7</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq12.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(2^2\cdot 3\cdot 7\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>2</mn> <mn>2</mn> </msup> <mo>·</mo> <mn>3</mn> <mo>·</mo> <mn>7</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq13.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(2^3\cdot 3\cdot 7\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>2</mn> <mn>3</mn> </msup> <mo>·</mo> <mn>3</mn> <mo>·</mo> <mn>7</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq14.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(2^3\cdot 3^2\cdot 5\cdot 7\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>2</mn> <mn>3</mn> </msup> <mo>·</mo> <msup> <mn>3</mn> <mn>2</mn> </msup> <mo>·</mo> <mn>5</mn> <mo>·</mo> <mn>7</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq15.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="83" /> </InlineMediaObject> <EquationSource Format="TEX">\(2^4\cdot 3^2\cdot 5\cdot 7\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>2</mn> <mn>4</mn> </msup> <mo>·</mo> <msup> <mn>3</mn> <mn>2</mn> </msup> <mo>·</mo> <mn>5</mn> <mo>·</mo> <mn>7</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq16.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(2^6\cdot 3\cdot 7\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>2</mn> <mn>6</mn> </msup> <mo>·</mo> <mn>3</mn> <mo>·</mo> <mn>7</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq17.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="57" /> </InlineMediaObject> <EquationSource Format="TEX">\(2^7\cdot 3\cdot 7\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>2</mn> <mn>7</mn> </msup> <mo>·</mo> <mn>3</mn> <mo>·</mo> <mn>7</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq18.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="63" /> </InlineMediaObject> <EquationSource Format="TEX">\(2^6\cdot 3^2\cdot 7\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>2</mn> <mn>6</mn> </msup> <mo>·</mo> <msup> <mn>3</mn> <mn>2</mn> </msup> <mo>·</mo> <mn>7</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq19.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(2^6\cdot 3^4\cdot 5^2\cdot 7\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>2</mn> <mn>6</mn> </msup> <mo>·</mo> <msup> <mn>3</mn> <mn>4</mn> </msup> <mo>·</mo> <msup> <mn>5</mn> <mn>2</mn> </msup> <mo>·</mo> <mn>7</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq20.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(2^8\cdot 3^4\cdot 5^2\cdot 7\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>2</mn> <mn>8</mn> </msup> <mo>·</mo> <msup> <mn>3</mn> <mn>4</mn> </msup> <mo>·</mo> <msup> <mn>5</mn> <mn>2</mn> </msup> <mo>·</mo> <mn>7</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq21.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="90" /> </InlineMediaObject> <EquationSource Format="TEX">\(2^7\cdot 3^4\cdot 5^2\cdot 7\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>2</mn> <mn>7</mn> </msup> <mo>·</mo> <msup> <mn>3</mn> <mn>4</mn> </msup> <mo>·</mo> <msup> <mn>5</mn> <mn>2</mn> </msup> <mo>·</mo> <mn>7</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq22.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="69" /> </InlineMediaObject> <EquationSource Format="TEX">\(2^{10}\cdot 3^2\cdot 7\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>2</mn> <mn>10</mn> </msup> <mo>·</mo> <msup> <mn>3</mn> <mn>2</mn> </msup> <mo>·</mo> <mn>7</mn> </mrow> </math></EquationSource> </InlineEquation>, <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq23.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="69" /> </InlineMediaObject> <EquationSource Format="TEX">\(2^{24}\cdot 3^2\cdot 7\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msup> <mn>2</mn> <mn>24</mn> </msup> <mo>·</mo> <msup> <mn>3</mn> <mn>2</mn> </msup> <mo>·</mo> <mn>7</mn> </mrow> </math></EquationSource> </InlineEquation>. Furthermore, <InlineEquation ID="IEq24"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq24.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="212" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{soc}(\textrm{Aut}(\Gamma )/R)=(T\times R)/R\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>soc</mtext> <mo stretchy="false">(</mo> <mtext>Aut</mtext> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mi>R</mi> <mo stretchy="false">)</mo> <mo>=</mo> <mo stretchy="false">(</mo> <mi>T</mi> <mo>×</mo> <mi>R</mi> <mo stretchy="false">)</mo> <mo stretchy="false">/</mo> <mi>R</mi> </mrow> </math></EquationSource> </InlineEquation>, where <i>R</i> is the largest solvable normal subgroup of <InlineEquation ID="IEq25"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="10801_2025_1409_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(\textrm{Aut}(\Gamma )\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mtext>Aut</mtext> <mo stretchy="false">(</mo> <mi mathvariant="normal">Γ</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Symmetric Cayley graphs on non-abelian simple groups of valency 7

  • Xing Zhang,
  • Yan-Quan Feng,
  • Fu-Gang Yin,
  • Hong Wang

摘要

Let \(\Gamma \) Γ be a connected 7-valent symmetric Cayley graph on a finite non-abelian simple group G. If \(\Gamma \) Γ is not normal, Li et al. (J Algebraic Combin 56:1097–1118, 2022) characterized the group pairs \((\textrm{soc}(\textrm{Aut}(\Gamma )/K),GK/K)\) ( soc ( Aut ( Γ ) / K ) , G K / K ) , where K is a maximal intransitive normal subgroup of \(\textrm{Aut}(\Gamma )\) Aut ( Γ ) . In this paper, we improve this result by proving that if \(\Gamma \) Γ is not normal, then \(\textrm{Aut}(\Gamma )\) Aut ( Γ ) contains an arc-transitive non-abelian simple normal subgroup T such that \(G<T\) G < T and \((T,G)=(\textrm{A}_{n},\textrm{A}_{n-1})\) ( T , G ) = ( A n , A n - 1 ) with \(n=7\) n = 7 , \(3\cdot 7\) 3 · 7 , \(3^2\cdot 7\) 3 2 · 7 , \(2^2\cdot 3\cdot 7\) 2 2 · 3 · 7 , \(2^3\cdot 3\cdot 7\) 2 3 · 3 · 7 , \(2^3\cdot 3^2\cdot 5\cdot 7\) 2 3 · 3 2 · 5 · 7 , \(2^4\cdot 3^2\cdot 5\cdot 7\) 2 4 · 3 2 · 5 · 7 , \(2^6\cdot 3\cdot 7\) 2 6 · 3 · 7 , \(2^7\cdot 3\cdot 7\) 2 7 · 3 · 7 , \(2^6\cdot 3^2\cdot 7\) 2 6 · 3 2 · 7 , \(2^6\cdot 3^4\cdot 5^2\cdot 7\) 2 6 · 3 4 · 5 2 · 7 , \(2^8\cdot 3^4\cdot 5^2\cdot 7\) 2 8 · 3 4 · 5 2 · 7 , \(2^7\cdot 3^4\cdot 5^2\cdot 7\) 2 7 · 3 4 · 5 2 · 7 , \(2^{10}\cdot 3^2\cdot 7\) 2 10 · 3 2 · 7 , \(2^{24}\cdot 3^2\cdot 7\) 2 24 · 3 2 · 7 . Furthermore, \(\textrm{soc}(\textrm{Aut}(\Gamma )/R)=(T\times R)/R\) soc ( Aut ( Γ ) / R ) = ( T × R ) / R , where R is the largest solvable normal subgroup of \(\textrm{Aut}(\Gamma )\) Aut ( Γ ) .