<p>Let <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(G\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>G</mi> </math></EquationSource> </InlineEquation> be a finite abelian group and <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(S\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>S</mi> </math></EquationSource> </InlineEquation> a sequence with elements of <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(G\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>G</mi> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq4"> <EquationSource Format="TEX">\(|S|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>S</mi> <mo stretchy="false">|</mo> </mrow> </math></EquationSource> </InlineEquation> denote the length of <InlineEquation ID="IEq5"> <EquationSource Format="TEX">\(S\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>S</mi> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq6"> <EquationSource Format="TEX">\(\mathrm{supp}(S)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">supp</mi> <mo stretchy="false">(</mo> <mi>S</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> the set of all the distinct terms in <InlineEquation ID="IEq7"> <EquationSource Format="TEX">\(S\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>S</mi> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq8"> <EquationSource Format="TEX">\(\Sigma(S)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">(</mo> <mi>S</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> denote the set of group elements which can be expressed as a sum of a nonempty subsequence of <InlineEquation ID="IEq9"> <EquationSource Format="TEX">\(S\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>S</mi> </math></EquationSource> </InlineEquation>. It is known that if <InlineEquation ID="IEq10"> <EquationSource Format="TEX">\({0\notin\Sigma(S)}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>∉</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">(</mo> <mi>S</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation>, then <InlineEquation ID="IEq11"> <EquationSource Format="TEX">\(|\Sigma(S)| \geq |S|+|\mathrm{supp}(S)|-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">(</mo> <mi>S</mi> <mo stretchy="false">)</mo> <mo stretchy="false">|</mo> <mo>≥</mo> <mo stretchy="false">|</mo> <mi>S</mi> <mo stretchy="false">|</mo> <mo>+</mo> <mo stretchy="false">|</mo> <mi mathvariant="normal">supp</mi> <mo stretchy="false">(</mo> <mi>S</mi> <mo stretchy="false">)</mo> <mo stretchy="false">|</mo> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation>. The sequence <InlineEquation ID="IEq12"> <EquationSource Format="TEX">\(S\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>S</mi> </math></EquationSource> </InlineEquation> satisfying <InlineEquation ID="IEq13"> <EquationSource Format="TEX">\(0\not\in\Sigma(S)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>∉</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">(</mo> <mi>S</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq14"> <EquationSource Format="TEX">\(|\Sigma(S)| = |S| + |\mathrm{supp}(S)| - 1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">(</mo> <mi>S</mi> <mo stretchy="false">)</mo> <mo stretchy="false">|</mo> <mo>=</mo> <mo stretchy="false">|</mo> <mi>S</mi> <mo stretchy="false">|</mo> <mo>+</mo> <mo stretchy="false">|</mo> <mi mathvariant="normal">supp</mi> <mo stretchy="false">(</mo> <mi>S</mi> <mo stretchy="false">)</mo> <mo stretchy="false">|</mo> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> has been described. In this paper, we determine the sequence <InlineEquation ID="IEq201"> <EquationSource Format="TEX">\(S\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>S</mi> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq15"> <EquationSource Format="TEX">\(0\not\in\Sigma(S)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>∉</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">(</mo> <mi>S</mi> <mo stretchy="false">)</mo> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq16"> <EquationSource Format="TEX">\(|\Sigma(S)|=|S|+|\mathrm{supp}(S)|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi mathvariant="normal">Σ</mi> <mo stretchy="false">(</mo> <mi>S</mi> <mo stretchy="false">)</mo> <mo stretchy="false">|</mo> <mo>=</mo> <mo stretchy="false">|</mo> <mi>S</mi> <mo stretchy="false">|</mo> <mo>+</mo> <mo stretchy="false">|</mo> <mi mathvariant="normal">supp</mi> <mo stretchy="false">(</mo> <mi>S</mi> <mo stretchy="false">)</mo> <mo stretchy="false">|</mo> </mrow> </math></EquationSource> </InlineEquation>. As a consequence, we obtain some new results on the sequence <InlineEquation ID="IEq17"> <EquationSource Format="TEX">\(S\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>S</mi> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq18"> <EquationSource Format="TEX">\(0\not\in\Sigma_{|G|}(S)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>0</mn> <mo>∉</mo> <msub> <mi mathvariant="normal">Σ</mi> <mrow> <mo stretchy="false">|</mo> <mi>G</mi> <mo stretchy="false">|</mo> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>S</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq19"> <EquationSource Format="TEX">\(|\Sigma_{|G|}(S)|=|S|-|G|+|\mathrm{supp}(S)|-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mrow> <mo stretchy="false">|</mo> </mrow> <msub> <mi mathvariant="normal">Σ</mi> <mrow> <mo stretchy="false">|</mo> <mi>G</mi> <mo stretchy="false">|</mo> </mrow> </msub> <mrow> <mrow> <mo stretchy="false">(</mo> <mi>S</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mo>=</mo> <mo stretchy="false">|</mo> <mi>S</mi> <mo stretchy="false">|</mo> <mo>-</mo> <mo stretchy="false">|</mo> <mi>G</mi> <mo stretchy="false">|</mo> <mo>+</mo> <mo stretchy="false">|</mo> <mi mathvariant="normal">supp</mi> <mrow> <mo stretchy="false">(</mo> <mi>S</mi> <mo stretchy="false">)</mo> </mrow> <mo stretchy="false">|</mo> <mo>-</mo> <mn>1</mn> </mrow> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq20"> <EquationSource Format="TEX">\(\Sigma_{|G|}(S)\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi mathvariant="normal">Σ</mi> <mrow> <mo stretchy="false">|</mo> <mi>G</mi> <mo stretchy="false">|</mo> </mrow> </msub> <mrow> <mo stretchy="false">(</mo> <mi>S</mi> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denotes the set of group elements which can be expressed as a sum of a subsequence of <InlineEquation ID="IEq21"> <EquationSource Format="TEX">\(S\)</EquationSource> <EquationSource Format="MATHML"><math> <mi>S</mi> </math></EquationSource> </InlineEquation> of length <InlineEquation ID="IEq22"> <EquationSource Format="TEX">\(|G|\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>G</mi> <mo stretchy="false">|</mo> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

Inverse problems of subsequence sums related to the support of sequences in finite abelian groups

  • H. Chao,
  • J. He,
  • J. Peng,
  • Z. Wang,
  • Y. Yang

摘要

Let \(G\) G be a finite abelian group and \(S\) S a sequence with elements of \(G\) G . Let \(|S|\) | S | denote the length of \(S\) S and \(\mathrm{supp}(S)\) supp ( S ) the set of all the distinct terms in \(S\) S . Let \(\Sigma(S)\) Σ ( S ) denote the set of group elements which can be expressed as a sum of a nonempty subsequence of \(S\) S . It is known that if \({0\notin\Sigma(S)}\) 0 Σ ( S ) , then \(|\Sigma(S)| \geq |S|+|\mathrm{supp}(S)|-1\) | Σ ( S ) | | S | + | supp ( S ) | - 1 . The sequence \(S\) S satisfying \(0\not\in\Sigma(S)\) 0 Σ ( S ) and \(|\Sigma(S)| = |S| + |\mathrm{supp}(S)| - 1\) | Σ ( S ) | = | S | + | supp ( S ) | - 1 has been described. In this paper, we determine the sequence \(S\) S with \(0\not\in\Sigma(S)\) 0 Σ ( S ) such that \(|\Sigma(S)|=|S|+|\mathrm{supp}(S)|\) | Σ ( S ) | = | S | + | supp ( S ) | . As a consequence, we obtain some new results on the sequence \(S\) S with \(0\not\in\Sigma_{|G|}(S)\) 0 Σ | G | ( S ) and \(|\Sigma_{|G|}(S)|=|S|-|G|+|\mathrm{supp}(S)|-1\) | Σ | G | ( S ) | = | S | - | G | + | supp ( S ) | - 1 , where \(\Sigma_{|G|}(S)\) Σ | G | ( S ) denotes the set of group elements which can be expressed as a sum of a subsequence of \(S\) S of length \(|G|\) | G | .