<i>p</i>-Numerical Semigroups of Triples from the Three-Term Recurrence Relations
Many people, including Horadam, have studied the numbers <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><msub><mi>W</mi><mi>n</mi></msub></semantics></math></inline-...
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
MDPI AG
2024-09-01
|
| Series: | Axioms |
| Subjects: | |
| Online Access: | https://www.mdpi.com/2075-1680/13/9/608 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1850258929305518080 |
|---|---|
| author | Jiaxin Mu Takao Komatsu |
| author_facet | Jiaxin Mu Takao Komatsu |
| author_sort | Jiaxin Mu |
| collection | DOAJ |
| description | Many people, including Horadam, have studied the numbers <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><msub><mi>W</mi><mi>n</mi></msub></semantics></math></inline-formula>, satisfying the recurrence relation <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><msub><mi>W</mi><mi>n</mi></msub><mo>=</mo><mi>u</mi><msub><mi>W</mi><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></msub><mo>+</mo><mi>v</mi><msub><mi>W</mi><mrow><mi>n</mi><mo>−</mo><mn>2</mn></mrow></msub></mrow></semantics></math></inline-formula> (<inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mi>n</mi><mo>≥</mo><mn>2</mn></mrow></semantics></math></inline-formula>) with <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><msub><mi>W</mi><mn>0</mn></msub><mo>=</mo><mn>0</mn></mrow></semantics></math></inline-formula> and <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><msub><mi>W</mi><mn>1</mn></msub><mo>=</mo><mn>1</mn></mrow></semantics></math></inline-formula>. In this paper, we study the <i>p</i>-numerical semigroups of the triple <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mo>(</mo><msub><mi>W</mi><mi>i</mi></msub><mo>,</mo><msub><mi>W</mi><mrow><mi>i</mi><mo>+</mo><mn>2</mn></mrow></msub><mo>,</mo><msub><mi>W</mi><mrow><mi>i</mi><mo>+</mo><mi>k</mi></mrow></msub><mo>)</mo></mrow></semantics></math></inline-formula> for integers <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mi>i</mi><mo>,</mo><mi>k</mi><mo>(</mo><mo>≥</mo><mn>3</mn><mo>)</mo></mrow></semantics></math></inline-formula>. For a nonnegative integer <i>p</i>, the <i>p</i>-numerical semigroup <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><msub><mi>S</mi><mi>p</mi></msub></semantics></math></inline-formula> is defined as the set of integers whose nonnegative integral linear combinations of given positive integers <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><msub><mi>a</mi><mn>1</mn></msub><mo>,</mo><msub><mi>a</mi><mn>2</mn></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mi>a</mi><mi>κ</mi></msub></mrow></semantics></math></inline-formula> with <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mi>gcd</mi><mo>(</mo><msub><mi>a</mi><mn>1</mn></msub><mo>,</mo><msub><mi>a</mi><mn>2</mn></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mi>a</mi><mi>κ</mi></msub><mo>)</mo><mo>=</mo><mn>1</mn></mrow></semantics></math></inline-formula> are expressed in more than <i>p</i> ways. When <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mi>p</mi><mo>=</mo><mn>0</mn></mrow></semantics></math></inline-formula>, <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mi>S</mi><mo>=</mo><msub><mi>S</mi><mn>0</mn></msub></mrow></semantics></math></inline-formula> is the original numerical semigroup. The largest element and the cardinality of <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><msub><mi mathvariant="double-struck">N</mi><mn>0</mn></msub><mrow><mo>∖</mo></mrow><msub><mi>S</mi><mi>p</mi></msub></mrow></semantics></math></inline-formula> are called the <i>p</i>-Frobenius number and the <i>p</i>-genus, respectively. |
| format | Article |
| id | doaj-art-8ed7c2e72bb94e98bc08eec44a57a536 |
| institution | OA Journals |
| issn | 2075-1680 |
| language | English |
| publishDate | 2024-09-01 |
| publisher | MDPI AG |
| record_format | Article |
| series | Axioms |
| spelling | doaj-art-8ed7c2e72bb94e98bc08eec44a57a5362025-08-20T01:56:00ZengMDPI AGAxioms2075-16802024-09-0113960810.3390/axioms13090608<i>p</i>-Numerical Semigroups of Triples from the Three-Term Recurrence RelationsJiaxin Mu0Takao Komatsu1Department of Mathematical Sciences, School of Science, Zhejiang Sci-Tech University, Hangzhou 310018, ChinaFaculty of Education, Nagasaki University, Nagasaki 852-8521, JapanMany people, including Horadam, have studied the numbers <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><msub><mi>W</mi><mi>n</mi></msub></semantics></math></inline-formula>, satisfying the recurrence relation <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><msub><mi>W</mi><mi>n</mi></msub><mo>=</mo><mi>u</mi><msub><mi>W</mi><mrow><mi>n</mi><mo>−</mo><mn>1</mn></mrow></msub><mo>+</mo><mi>v</mi><msub><mi>W</mi><mrow><mi>n</mi><mo>−</mo><mn>2</mn></mrow></msub></mrow></semantics></math></inline-formula> (<inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mi>n</mi><mo>≥</mo><mn>2</mn></mrow></semantics></math></inline-formula>) with <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><msub><mi>W</mi><mn>0</mn></msub><mo>=</mo><mn>0</mn></mrow></semantics></math></inline-formula> and <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><msub><mi>W</mi><mn>1</mn></msub><mo>=</mo><mn>1</mn></mrow></semantics></math></inline-formula>. In this paper, we study the <i>p</i>-numerical semigroups of the triple <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mo>(</mo><msub><mi>W</mi><mi>i</mi></msub><mo>,</mo><msub><mi>W</mi><mrow><mi>i</mi><mo>+</mo><mn>2</mn></mrow></msub><mo>,</mo><msub><mi>W</mi><mrow><mi>i</mi><mo>+</mo><mi>k</mi></mrow></msub><mo>)</mo></mrow></semantics></math></inline-formula> for integers <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mi>i</mi><mo>,</mo><mi>k</mi><mo>(</mo><mo>≥</mo><mn>3</mn><mo>)</mo></mrow></semantics></math></inline-formula>. For a nonnegative integer <i>p</i>, the <i>p</i>-numerical semigroup <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><msub><mi>S</mi><mi>p</mi></msub></semantics></math></inline-formula> is defined as the set of integers whose nonnegative integral linear combinations of given positive integers <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><msub><mi>a</mi><mn>1</mn></msub><mo>,</mo><msub><mi>a</mi><mn>2</mn></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mi>a</mi><mi>κ</mi></msub></mrow></semantics></math></inline-formula> with <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mi>gcd</mi><mo>(</mo><msub><mi>a</mi><mn>1</mn></msub><mo>,</mo><msub><mi>a</mi><mn>2</mn></msub><mo>,</mo><mo>…</mo><mo>,</mo><msub><mi>a</mi><mi>κ</mi></msub><mo>)</mo><mo>=</mo><mn>1</mn></mrow></semantics></math></inline-formula> are expressed in more than <i>p</i> ways. When <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mi>p</mi><mo>=</mo><mn>0</mn></mrow></semantics></math></inline-formula>, <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><mi>S</mi><mo>=</mo><msub><mi>S</mi><mn>0</mn></msub></mrow></semantics></math></inline-formula> is the original numerical semigroup. The largest element and the cardinality of <inline-formula><math xmlns="http://www.w3.org/1998/Math/MathML" display="inline"><semantics><mrow><msub><mi mathvariant="double-struck">N</mi><mn>0</mn></msub><mrow><mo>∖</mo></mrow><msub><mi>S</mi><mi>p</mi></msub></mrow></semantics></math></inline-formula> are called the <i>p</i>-Frobenius number and the <i>p</i>-genus, respectively.https://www.mdpi.com/2075-1680/13/9/608Frobenius problemFrobenius numbersHoradam numbersApéry setrecurrence |
| spellingShingle | Jiaxin Mu Takao Komatsu <i>p</i>-Numerical Semigroups of Triples from the Three-Term Recurrence Relations Axioms Frobenius problem Frobenius numbers Horadam numbers Apéry set recurrence |
| title | <i>p</i>-Numerical Semigroups of Triples from the Three-Term Recurrence Relations |
| title_full | <i>p</i>-Numerical Semigroups of Triples from the Three-Term Recurrence Relations |
| title_fullStr | <i>p</i>-Numerical Semigroups of Triples from the Three-Term Recurrence Relations |
| title_full_unstemmed | <i>p</i>-Numerical Semigroups of Triples from the Three-Term Recurrence Relations |
| title_short | <i>p</i>-Numerical Semigroups of Triples from the Three-Term Recurrence Relations |
| title_sort | i p i numerical semigroups of triples from the three term recurrence relations |
| topic | Frobenius problem Frobenius numbers Horadam numbers Apéry set recurrence |
| url | https://www.mdpi.com/2075-1680/13/9/608 |
| work_keys_str_mv | AT jiaxinmu ipinumericalsemigroupsoftriplesfromthethreetermrecurrencerelations AT takaokomatsu ipinumericalsemigroupsoftriplesfromthethreetermrecurrencerelations |