<p>For any positive integer <i>m</i>, let <InlineEquation ID="IEq1"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq1.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="24" /> </InlineMediaObject> <EquationSource Format="TEX">\(\mathbb {Z}_{m}\)</EquationSource> <EquationSource Format="MATHML"><math> <msub> <mi mathvariant="double-struck">Z</mi> <mi>m</mi> </msub> </math></EquationSource> </InlineEquation> be the set of residue classes modulo <i>m</i>. For <InlineEquation ID="IEq2"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq2.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="58" /> </InlineMediaObject> <EquationSource Format="TEX">\(S\subseteq \mathbb {Z}_{m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>S</mi> <mo>⊆</mo> <msub> <mi mathvariant="double-struck">Z</mi> <mi>m</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq3"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq3.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(\overline{n}\in \mathbb {Z}_{m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover> <mi>n</mi> <mo>¯</mo> </mover> <mo>∈</mo> <msub> <mi mathvariant="double-struck">Z</mi> <mi>m</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>, let the representation function <InlineEquation ID="IEq4"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq4.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(R_{S}(\overline{n})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>R</mi> <mi>S</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mover> <mi>n</mi> <mo>¯</mo> </mover> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> denote the number of solutions of the equation <InlineEquation ID="IEq5"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq5.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="75" /> </InlineMediaObject> <EquationSource Format="TEX">\(\overline{n}=\overline{s}+\overline{s'}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover> <mi>n</mi> <mo>¯</mo> </mover> <mo>=</mo> <mover> <mi>s</mi> <mo>¯</mo> </mover> <mo>+</mo> <mover> <msup> <mi>s</mi> <mo>′</mo> </msup> <mo>¯</mo> </mover> </mrow> </math></EquationSource> </InlineEquation> with unordered pairs <InlineEquation ID="IEq6"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq6.gif" Format="GIF" Height="20" Rendition="HTML" Resolution="72" Type="Linedraw" Width="108" /> </InlineMediaObject> <EquationSource Format="TEX">\((\overline{s}, \overline{s'})\in S \times S\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">(</mo> <mover> <mi>s</mi> <mo>¯</mo> </mover> <mo>,</mo> <mover> <msup> <mi>s</mi> <mo>′</mo> </msup> <mo>¯</mo> </mover> <mo stretchy="false">)</mo> <mo>∈</mo> <mi>S</mi> <mo>×</mo> <mi>S</mi> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq7"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq7.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="45" /> </InlineMediaObject> <EquationSource Format="TEX">\(\overline{s}\ne \overline{s'}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover> <mi>s</mi> <mo>¯</mo> </mover> <mo>≠</mo> <mover> <msup> <mi>s</mi> <mo>′</mo> </msup> <mo>¯</mo> </mover> </mrow> </math></EquationSource> </InlineEquation>. Let <InlineEquation ID="IEq8"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq8.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="103" /> </InlineMediaObject> <EquationSource Format="TEX">\(m=2^{\alpha }M&gt;2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>m</mi> <mo>=</mo> <msup> <mn>2</mn> <mi>α</mi> </msup> <mi>M</mi> <mo>&gt;</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, where <InlineEquation ID="IEq9"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq9.gif" Format="GIF" Height="10" Rendition="HTML" Resolution="72" Type="Linedraw" Width="14" /> </InlineMediaObject> <EquationSource Format="TEX">\(\alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mi>α</mi> </math></EquationSource> </InlineEquation> is a nonnegative integer and <i>M</i> is a positive odd integer. In this paper, we prove that if <InlineEquation ID="IEq10"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq10.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(M=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq11"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq11.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(2\not \mid \alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>∤</mo> <mi>α</mi> </mrow> </math></EquationSource> </InlineEquation>, then there exist two distinct sets <InlineEquation ID="IEq12"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq12.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="81" /> </InlineMediaObject> <EquationSource Format="TEX">\(A, B\subseteq \mathbb {Z}_{m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>,</mo> <mi>B</mi> <mo>⊆</mo> <msub> <mi mathvariant="double-struck">Z</mi> <mi>m</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq13"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq13.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="216" /> </InlineMediaObject> <EquationSource Format="TEX">\(|A\cup B|=m-1, |A\cap B|=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>A</mi> <mo>∪</mo> <mi>B</mi> <mo stretchy="false">|</mo> <mo>=</mo> <mi>m</mi> <mo>-</mo> <mn>1</mn> <mo>,</mo> <mo stretchy="false">|</mo> <mi>A</mi> <mo>∩</mo> <mi>B</mi> <mo stretchy="false">|</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq14"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq14.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="113" /> </InlineMediaObject> <EquationSource Format="TEX">\(R_{A}(\overline{n})=R_{B}(\overline{n})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>R</mi> <mi>A</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mover> <mi>n</mi> <mo>¯</mo> </mover> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>R</mi> <mi>B</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mover> <mi>n</mi> <mo>¯</mo> </mover> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq15"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq15.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(\overline{n}\in \mathbb {Z}_{m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover> <mi>n</mi> <mo>¯</mo> </mover> <mo>∈</mo> <msub> <mi mathvariant="double-struck">Z</mi> <mi>m</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>. We also prove that if <InlineEquation ID="IEq16"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq16.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="51" /> </InlineMediaObject> <EquationSource Format="TEX">\(M\ge 3\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>≥</mo> <mn>3</mn> </mrow> </math></EquationSource> </InlineEquation> or <InlineEquation ID="IEq17"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq17.gif" Format="GIF" Height="14" Rendition="HTML" Resolution="72" Type="Linedraw" Width="50" /> </InlineMediaObject> <EquationSource Format="TEX">\(M=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>M</mi> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq18"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq18.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="37" /> </InlineMediaObject> <EquationSource Format="TEX">\(2\mid \alpha \)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mn>2</mn> <mo>∣</mo> <mi>α</mi> </mrow> </math></EquationSource> </InlineEquation>, then there do not exist two distinct sets <InlineEquation ID="IEq19"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq19.gif" Format="GIF" Height="17" Rendition="HTML" Resolution="72" Type="Linedraw" Width="81" /> </InlineMediaObject> <EquationSource Format="TEX">\(A, B\subseteq \mathbb {Z}_{m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>A</mi> <mo>,</mo> <mi>B</mi> <mo>⊆</mo> <msub> <mi mathvariant="double-struck">Z</mi> <mi>m</mi> </msub> </mrow> </math></EquationSource> </InlineEquation> with <InlineEquation ID="IEq20"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq20.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="123" /> </InlineMediaObject> <EquationSource Format="TEX">\(|A\cup B|=m-1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>A</mi> <mo>∪</mo> <mi>B</mi> <mo stretchy="false">|</mo> <mo>=</mo> <mi>m</mi> <mo>-</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> and <InlineEquation ID="IEq21"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq21.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="88" /> </InlineMediaObject> <EquationSource Format="TEX">\(|A\cap B|=1\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mo stretchy="false">|</mo> <mi>A</mi> <mo>∩</mo> <mi>B</mi> <mo stretchy="false">|</mo> <mo>=</mo> <mn>1</mn> </mrow> </math></EquationSource> </InlineEquation> such that <InlineEquation ID="IEq22"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq22.gif" Format="GIF" Height="19" Rendition="HTML" Resolution="72" Type="Linedraw" Width="113" /> </InlineMediaObject> <EquationSource Format="TEX">\(R_{A}(\overline{n})=R_{B}(\overline{n})\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <msub> <mi>R</mi> <mi>A</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mover> <mi>n</mi> <mo>¯</mo> </mover> <mo stretchy="false">)</mo> </mrow> <mo>=</mo> <msub> <mi>R</mi> <mi>B</mi> </msub> <mrow> <mo stretchy="false">(</mo> <mover> <mi>n</mi> <mo>¯</mo> </mover> <mo stretchy="false">)</mo> </mrow> </mrow> </math></EquationSource> </InlineEquation> for all <InlineEquation ID="IEq23"> <InlineMediaObject> <ImageObject Color="BlackWhite" FileRef="11139_2024_1021_Article_IEq23.gif" Format="GIF" Height="16" Rendition="HTML" Resolution="72" Type="Linedraw" Width="55" /> </InlineMediaObject> <EquationSource Format="TEX">\(\overline{n}\in \mathbb {Z}_{m}\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mover> <mi>n</mi> <mo>¯</mo> </mover> <mo>∈</mo> <msub> <mi mathvariant="double-struck">Z</mi> <mi>m</mi> </msub> </mrow> </math></EquationSource> </InlineEquation>.</p>

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

On additive properties of two sets in a residue class ring

  • Zhao-Xin Duan,
  • Cui-Fang Sun

摘要

For any positive integer m, let \(\mathbb {Z}_{m}\) Z m be the set of residue classes modulo m. For \(S\subseteq \mathbb {Z}_{m}\) S Z m and \(\overline{n}\in \mathbb {Z}_{m}\) n ¯ Z m , let the representation function \(R_{S}(\overline{n})\) R S ( n ¯ ) denote the number of solutions of the equation \(\overline{n}=\overline{s}+\overline{s'}\) n ¯ = s ¯ + s ¯ with unordered pairs \((\overline{s}, \overline{s'})\in S \times S\) ( s ¯ , s ¯ ) S × S and \(\overline{s}\ne \overline{s'}\) s ¯ s ¯ . Let \(m=2^{\alpha }M>2\) m = 2 α M > 2 , where \(\alpha \) α is a nonnegative integer and M is a positive odd integer. In this paper, we prove that if \(M=1\) M = 1 and \(2\not \mid \alpha \) 2 α , then there exist two distinct sets \(A, B\subseteq \mathbb {Z}_{m}\) A , B Z m with \(|A\cup B|=m-1, |A\cap B|=1\) | A B | = m - 1 , | A B | = 1 such that \(R_{A}(\overline{n})=R_{B}(\overline{n})\) R A ( n ¯ ) = R B ( n ¯ ) for all \(\overline{n}\in \mathbb {Z}_{m}\) n ¯ Z m . We also prove that if \(M\ge 3\) M 3 or \(M=1\) M = 1 and \(2\mid \alpha \) 2 α , then there do not exist two distinct sets \(A, B\subseteq \mathbb {Z}_{m}\) A , B Z m with \(|A\cup B|=m-1\) | A B | = m - 1 and \(|A\cap B|=1\) | A B | = 1 such that \(R_{A}(\overline{n})=R_{B}(\overline{n})\) R A ( n ¯ ) = R B ( n ¯ ) for all \(\overline{n}\in \mathbb {Z}_{m}\) n ¯ Z m .