<p>Let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2132_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {k}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">k</mi> </math></EquationSource> </InlineEquation> be a characteristic zero Dedekind domain, <i>S</i> be a <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2132_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {k}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">k</mi> </math></EquationSource> </InlineEquation>-algebra, and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2132_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(T\subseteq S\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>⊆</mo> <mi>S</mi> </mrow> </math></EquationSource> </InlineEquation> be a full rank subalgebra. Suppose the algebra <i>T</i> is symmetric. It is important to know when <i>T</i> is a <i>maximally symmetric subalgebra</i> of <i>S</i>, i.e., no <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2132_Article_IEq1.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="11" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {k}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">k</mi> </math></EquationSource> </InlineEquation>-subalgebra <i>C</i> satisfying <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="13_2025_2132_Article_IEq5.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="86" /> </InlineMediaObject> <EquationSource Format="TEX">\(T\subsetneq C\subseteq S\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>T</mi> <mo>⊊</mo> <mi>C</mi> <mo>⊆</mo> <mi>S</mi> </mrow> </math></EquationSource> </InlineEquation> is symmetric. In this note, we establish a useful sufficient condition for this using a notion of a quasi-unit of an algebra. This condition is used to obtain an old and a new result on maximal symmetricity for generalized Schur algebras corresponding to certain Brauer tree algebras. The old result was used in our work with Evseev on RoCK blocks of symmetric groups. The new result will be used in our forthcoming work on RoCK blocks of double covers of symmetric groups.</p>

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

On maximally symmetric subalgebras

  • Alexander Kleshchev

摘要

Let \(\mathbb {k}\) k be a characteristic zero Dedekind domain, S be a \(\mathbb {k}\) k -algebra, and \(T\subseteq S\) T S be a full rank subalgebra. Suppose the algebra T is symmetric. It is important to know when T is a maximally symmetric subalgebra of S, i.e., no \(\mathbb {k}\) k -subalgebra C satisfying \(T\subsetneq C\subseteq S\) T C S is symmetric. In this note, we establish a useful sufficient condition for this using a notion of a quasi-unit of an algebra. This condition is used to obtain an old and a new result on maximal symmetricity for generalized Schur algebras corresponding to certain Brauer tree algebras. The old result was used in our work with Evseev on RoCK blocks of symmetric groups. The new result will be used in our forthcoming work on RoCK blocks of double covers of symmetric groups.