<p>We first prove that if an affine semigroup ring has a maximal regular sequence consisting of monomials, then the type is equal to the number of maximal elements of the Apéry set with respect to the set of exponents of the monomials, which form a maximal regular sequence. Further, we consider affine semigroups having finite complement in their rational polyhedral cone, called <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(\mathscr {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation>-semigroups, and prove that the notions of symmetric and almost symmetric <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(\mathscr {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation>-semigroups are independent of term orders. We further investigate the conductor and the Apéry set of a <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(\mathscr {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation>-semigroup with respect to a minimal extremal ray. Building upon this, we extend the notion of reduced type to <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathscr {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation>-semigroups and study its extremal behavior. For all <i>d</i> and fixed <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(e \ge 2d\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>e</mi> <mo>≥</mo> <mn>2</mn> <mi>d</mi> </mrow> </math></EquationSource> </InlineEquation>, we give a class of <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\mathscr {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation>-semigroups of embedding dimension <i>e</i> such that both the type and the reduced type do not have any upper bound in terms of the embedding dimension. We further explore irreducible decompositions of a <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(\mathscr {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation>-semigroup and give a lower bound on the irreducible components in an irreducible decomposition. Consequently, we deduce that for each positive integer <i>k</i>, there exists a <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\(\mathscr {C}\)</EquationSource> <EquationSource Format="MATHML"><math> <mi mathvariant="script">C</mi> </math></EquationSource> </InlineEquation>-semigroup <i>S</i> such that the number of irreducible components of <i>S</i> is at least <i>k</i>.</p>

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

On unboundedness of some invariants of \(\mathscr {C}\)-semigroups

  • Om Prakash Bhardwaj,
  • Carmelo Cisto

摘要

We first prove that if an affine semigroup ring has a maximal regular sequence consisting of monomials, then the type is equal to the number of maximal elements of the Apéry set with respect to the set of exponents of the monomials, which form a maximal regular sequence. Further, we consider affine semigroups having finite complement in their rational polyhedral cone, called \(\mathscr {C}\) C -semigroups, and prove that the notions of symmetric and almost symmetric \(\mathscr {C}\) C -semigroups are independent of term orders. We further investigate the conductor and the Apéry set of a \(\mathscr {C}\) C -semigroup with respect to a minimal extremal ray. Building upon this, we extend the notion of reduced type to \(\mathscr {C}\) C -semigroups and study its extremal behavior. For all d and fixed \(e \ge 2d\) e 2 d , we give a class of \(\mathscr {C}\) C -semigroups of embedding dimension e such that both the type and the reduced type do not have any upper bound in terms of the embedding dimension. We further explore irreducible decompositions of a \(\mathscr {C}\) C -semigroup and give a lower bound on the irreducible components in an irreducible decomposition. Consequently, we deduce that for each positive integer k, there exists a \(\mathscr {C}\) C -semigroup S such that the number of irreducible components of S is at least k.