<p>For unital and commutative algebras over an algebraically closed field, <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(\mathbb {K}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="double-struck">K</mi> </math></EquationSource> </InlineEquation>, any inclusion of finite codimension can be characterised as a chain of subalgebra inclusions of codimension 1. Each such inclusion <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(A \subset B\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>⊂</mo> <mi>B</mi> </mrow> </math></EquationSource> </InlineEquation> can also be interpreted as a linear condition that holds on <i>A</i> but not on the whole of <i>B</i>. The set of conditions above <i>A</i> in the chain are called the subalgebra conditions of <i>A</i>. We investigate the behaviour of such chains (or sets of conditions) when the said algebras are ideal subalgebras. That is, when they are sums of the base field and an ideal. We then move to the setting of subalgebras of the univariate polynomial ring, where we can give a more concrete description of subalgebra conditions. We consider a wider class of so-called single-clustered polynomial subalgebras. We show that any subalgebra in <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathbb {K}[x]\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">K</mi> <mo stretchy="false">[</mo> <mi>x</mi> <mo stretchy="false">]</mo> </mrow> </math></EquationSource> </InlineEquation> of finite codimension is a finite intersection of single-clustered subalgebras. We then present an algorithm to compute subalgebra conditions of single-clustered subalgebras from generators using linear methods. This method is a generalisation of a method used for almost monomial subalgebras, that is, subalgebras with only one element in the spectrum.</p>

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

Efficient descriptions of univariate polynomial subalgebras and their initial algebras

  • Erik Kennerland,
  • Anna Torstensson

摘要

For unital and commutative algebras over an algebraically closed field, \(\mathbb {K}\) K , any inclusion of finite codimension can be characterised as a chain of subalgebra inclusions of codimension 1. Each such inclusion \(A \subset B\) A B can also be interpreted as a linear condition that holds on A but not on the whole of B. The set of conditions above A in the chain are called the subalgebra conditions of A. We investigate the behaviour of such chains (or sets of conditions) when the said algebras are ideal subalgebras. That is, when they are sums of the base field and an ideal. We then move to the setting of subalgebras of the univariate polynomial ring, where we can give a more concrete description of subalgebra conditions. We consider a wider class of so-called single-clustered polynomial subalgebras. We show that any subalgebra in \(\mathbb {K}[x]\) K [ x ] of finite codimension is a finite intersection of single-clustered subalgebras. We then present an algorithm to compute subalgebra conditions of single-clustered subalgebras from generators using linear methods. This method is a generalisation of a method used for almost monomial subalgebras, that is, subalgebras with only one element in the spectrum.