On the Delta set of a singular arithmetical congruence monoid

Paul Baginski; Scott T. Chapman; George J. Schaeffer

doi:10.5802/jtnb.615

Paul Baginski ¹; Scott T. Chapman ²; George J. Schaeffer ³

¹ University of California at Berkeley Department of Mathematics Berkeley, California 94720
² Trinity University Department of Mathematics One Trinity Place San Antonio, TX. 78212-7200
³ Carnegie Mellon University Department of Mathematical Sciences Pittsburgh, PA 15213

Journal de théorie des nombres de Bordeaux, Volume 20 (2008) no. 1, pp. 45-59.

Abstract
Résumé

If $a$ and $b$ are positive integers with $a \leq b$ and $a^{2} \equiv a \mod b$ , then the set

M_{a, b} = {x \in ℕ : x \equiv a \mod b or x = 1}

is a multiplicative monoid known as an arithmetical congruence monoid (or ACM). For any monoid $M$ with units $M^{\times}$ and any $x \in M ∖ M^{\times}$ we say that $t \in ℕ$ is a factorization length of $x$ if and only if there exist irreducible elements $y_{1}, ..., y_{t}$ of $M$ and $x = y_{1} \dots y_{t}$ . Let $ℒ (x) = {t_{1}, ..., t_{j}}$ be the set of all such lengths (where $t_{i} < t_{i + 1}$ whenever $i < j$ ). The Delta-set of the element $x$ is defined as the set of gaps in $ℒ (x)$ : $Δ (x) = {t_{i + 1} - t_{i} : 1 \leq i < k}$ and the Delta-set of the monoid $M$ is given by $⋃_{x \in M ∖ M^{\times}} Δ (x)$ . We consider the $Δ (M)$ when $M = M_{a, b}$ is an ACM with $gcd (a, b) > 1$ . This set is fully characterized when $gcd (a, b) = p^{α}$ for $p$ prime and $α > 0$ . Bounds on $Δ (M_{a, b})$ are given when $gcd (a, b)$ has two or more distinct prime factors

Si $a$ et $b$ sont des entiers positifs, avec $a \leq b$ et $a^{2} \equiv a \mod b$ , l’ensemble

M_{a, b} = {x \in ℕ : x \equiv a \mod b ou x = 1}

est un monoïde multiplicatif, appelé monoïde de congruence arithmétique (ACM). Pour chaque monoïde avec ses unités $M^{\times}$ et pour chaque $x \in M ∖ M^{\times}$ , nous dirons que $t \in ℕ$ est une longueur de décomposition en facteurs de $x$ si et seulement s’il existe des éléments irréductibles $y_{1}, ..., y_{t} \in M$ tels que $x = y_{1} \dots y_{t}$ . Soit $ℒ (x) = {t_{1}, ..., t_{j}}$ l’ensemble des longueurs (avec $t_{i} < t_{i + 1}$ pour $i < j$ ). Le Delta-ensemble d’un élément $x$ est $Δ (x) = {t_{i + 1} - t_{i} : 1 \leq i < j}$ et le Delta-ensemble du monoïde $M$ est $Δ (M) = ⋃_{x \in M ∖ M^{\times}} Δ (x)$ . Nous examinons $Δ (M)$ quand $M = M_{a, b}$ est un ACM avec $pgcd (a, b) > 1$ . Cet ensemble est complètement caractérisé quand $pgcd (a, b) = p^{α}$ , $p$ un nombre premier et $α > 0$ . Quand $pgcd (a, b)$ a plus d’un facteur premier, nous donnons des bornes pour $Δ (M)$ .

MR

DOI: 10.5802/jtnb.615

Author's affiliations:

Paul Baginski ¹; Scott T. Chapman ²; George J. Schaeffer ³

¹ University of California at Berkeley Department of Mathematics Berkeley, California 94720
² Trinity University Department of Mathematics One Trinity Place San Antonio, TX. 78212-7200
³ Carnegie Mellon University Department of Mathematical Sciences Pittsburgh, PA 15213

@article{JTNB_2008__20_1_45_0,
     author = {Paul Baginski and Scott T. Chapman and George J. Schaeffer},
     title = {On the {Delta} set of a singular arithmetical congruence monoid},
     journal = {Journal de th\'eorie des nombres de Bordeaux},
     pages = {45--59},
     publisher = {Universit\'e Bordeaux 1},
     volume = {20},
     number = {1},
     year = {2008},
     doi = {10.5802/jtnb.615},
     mrnumber = {2434157},
     language = {en},
     url = {https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.615/}
}

TY  - JOUR
AU  - Paul Baginski
AU  - Scott T. Chapman
AU  - George J. Schaeffer
TI  - On the Delta set of a singular arithmetical congruence monoid
JO  - Journal de théorie des nombres de Bordeaux
PY  - 2008
SP  - 45
EP  - 59
VL  - 20
IS  - 1
PB  - Université Bordeaux 1
UR  - https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.615/
DO  - 10.5802/jtnb.615
LA  - en
ID  - JTNB_2008__20_1_45_0
ER  -

%0 Journal Article
%A Paul Baginski
%A Scott T. Chapman
%A George J. Schaeffer
%T On the Delta set of a singular arithmetical congruence monoid
%J Journal de théorie des nombres de Bordeaux
%D 2008
%P 45-59
%V 20
%N 1
%I Université Bordeaux 1
%U https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.615/
%R 10.5802/jtnb.615
%G en
%F JTNB_2008__20_1_45_0

Paul Baginski; Scott T. Chapman; George J. Schaeffer. On the Delta set of a singular arithmetical congruence monoid. Journal de théorie des nombres de Bordeaux, Volume 20 (2008) no. 1, pp. 45-59. doi : 10.5802/jtnb.615. https://jtnb.centre-mersenne.org/articles/10.5802/jtnb.615/

References
Cited by

[1] D.F. Anderson, Elasticity of factorizations in integral domains: a survey. Lecture Notes in Pure and Appl. Math. 189 (1997), 1–29. | MR | Zbl

[2] M. Banister, S. T. Chapman, J. Chaika, W. Meyerson, On a result of James and Niven concerning unique factorization in congruence semigroups. To appear in Elemente der Mathematik. | MR

[3] M. Banister, S. T. Chapman, J. Chaika, W. Meyerson, On the arithmetic of arithmetical congruence monoids. Colloq. Math. 108 (2007), 105–118. | MR

[4] C. Bowles, S.T. Chapman, N. Kaplan, D. Reiser, On $Δ$ -sets of numerical monoids. J. Pure Appl. Algebra 5 (2006), 1–24. | MR | Zbl

[5] S. T. Chapman, A. Geroldinger, Krull domains and their monoids, their sets of lengths, and associated combinatorial problems. Lecture Notes in Pure and Applied Mathematics 189 (1997), 73–112. | Zbl

[6] A. Geroldinger, Uber nicht-eindeutige Zerlegungen in irreduzible Elemente. Math. Z. 197 (1988), 505–529. | MR | Zbl

[7] A. Geroldinger, F. Halter-Koch, Non-unique factorizations. Algebraic, Combinatorial and Analytic Theory, Chapman & Hall/CRC, 2006. | MR | Zbl

[8] A. Geroldinger, F. Halter-Koch, Congruence monoids. Acta Arith. 112 (2004), 263–296. | MR | Zbl

[9] F. Halter-Koch, Arithmetical semigroups defined by congruences. Semigroup Forum 42 (1991), 59–62. | MR | Zbl

[10] F. Halter-Koch, Elasticity of factorizations in atomic monoids and integral domains. J. Théor. Nombres Bordeaux 7 (1995), 367–385. | Numdam | MR | Zbl

[11] F. Halter-Koch, C-monoids and congruence monoids in Krull domains. Lect. Notes Pure Appl. Math. 241 (2005), 71–98. | MR | Zbl

[12] R. D. James, I. Niven, Unique factorization in multiplicative systems. Proc. Amer. Math. Soc. 5 (1954), 834–838. | MR | Zbl

Cited by Sources: