Exploring the Catenary Degrees of Singular Arithmetical Congruence Monoids
|
|
- Hollie Johnston
- 6 years ago
- Views:
Transcription
1 Exploring the Catenary Degrees of Singular Arithmetical Congruence Monoids Scott Chapman Sam Houston State University November 13, 2016 Chapman (Sam Houston State University) November 13, / 13
2 The Student Authors This talk is based on the work completed under my direction at the 2013 PURE REU at the University of Hawaii at Hilo by the following students. Theo McKenzie, Harvard and Sherilyn Tamagawa, Scripps College Chapman (Sam Houston State University) November 13, / 13
3 Prologue Here are some background papers for this talk. [1] A. Geroldinger and F. Halter-Koch. Congruence monoids. ACTA Arithmetica 112(2004): [2] M. Banister, M., J. Chaika, S. Chapman, and W. Meyerson. On the arithmetic of arithmetical congruence monoids. Colloq. Math 108(2007), [3] P. Baginski, and S. Chapman. Arithmetic congruence monoids: A survey. In Combinatorial and Additive Number Theory, pp Springer New York, Chapman (Sam Houston State University) November 13, / 13
4 Prologue Here are some background papers for this talk. [1] A. Geroldinger and F. Halter-Koch. Congruence monoids. ACTA Arithmetica 112(2004): [2] M. Banister, M., J. Chaika, S. Chapman, and W. Meyerson. On the arithmetic of arithmetical congruence monoids. Colloq. Math 108(2007), [3] P. Baginski, and S. Chapman. Arithmetic congruence monoids: A survey. In Combinatorial and Additive Number Theory, pp Springer New York, Chapman (Sam Houston State University) November 13, / 13
5 Prologue Here are some background papers for this talk. [1] A. Geroldinger and F. Halter-Koch. Congruence monoids. ACTA Arithmetica 112(2004): [2] M. Banister, M., J. Chaika, S. Chapman, and W. Meyerson. On the arithmetic of arithmetical congruence monoids. Colloq. Math 108(2007), [3] P. Baginski, and S. Chapman. Arithmetic congruence monoids: A survey. In Combinatorial and Additive Number Theory, pp Springer New York, Chapman (Sam Houston State University) November 13, / 13
6 Prologue Here are some background papers for this talk. [1] A. Geroldinger and F. Halter-Koch. Congruence monoids. ACTA Arithmetica 112(2004): [2] M. Banister, M., J. Chaika, S. Chapman, and W. Meyerson. On the arithmetic of arithmetical congruence monoids. Colloq. Math 108(2007), [3] P. Baginski, and S. Chapman. Arithmetic congruence monoids: A survey. In Combinatorial and Additive Number Theory, pp Springer New York, Chapman (Sam Houston State University) November 13, / 13
7 Motivation THIS IS A COMMUTATIVE ALGEBRA TALK? KIND OF. Theorem Z = {... 3, 2, 1, 0, 1, 2, 3,...} is a unique factorization domain (UFD). Theorem The multiplicative monoid Z = {... 3, 2, 1, 1, 2, 3,...} is a unique factorization monoid (UFM). Chapman (Sam Houston State University) November 13, / 13
8 Motivation THIS IS A COMMUTATIVE ALGEBRA TALK? KIND OF. Theorem Z = {... 3, 2, 1, 0, 1, 2, 3,...} is a unique factorization domain (UFD). Theorem The multiplicative monoid Z = {... 3, 2, 1, 1, 2, 3,...} is a unique factorization monoid (UFM). Chapman (Sam Houston State University) November 13, / 13
9 Motivation THIS IS A COMMUTATIVE ALGEBRA TALK? KIND OF. Theorem Z = {... 3, 2, 1, 0, 1, 2, 3,...} is a unique factorization domain (UFD). Theorem The multiplicative monoid Z = {... 3, 2, 1, 1, 2, 3,...} is a unique factorization monoid (UFM). Chapman (Sam Houston State University) November 13, / 13
10 Motivation THIS IS A COMMUTATIVE ALGEBRA TALK? KIND OF. Theorem Z = {... 3, 2, 1, 0, 1, 2, 3,...} is a unique factorization domain (UFD). Theorem The multiplicative monoid Z = {... 3, 2, 1, 1, 2, 3,...} is a unique factorization monoid (UFM). Chapman (Sam Houston State University) November 13, / 13
11 Our Object of Interest Definition Let Γ Z n = {0, 1,..., n 1} be a multiplicatively closed subset. The subset Z Γ = {n Z n x (mod n) for some x Γ} {1}. is a multiplicatively closed subset of Z known as a congruence monoid (of modulus n). Chapman (Sam Houston State University) November 13, / 13
12 A Classic Result Theorem (James & Niven, 1954 PAMS) Let n 2 be a positive integer. A congruence monoid S Γ is a UFM if and only if Γ = {x gcd(x, n) = 1}. An alternate proof of this result can be found in Halter-Koch (Semigroup Forum 1991) which uses the notion of a divisor theory divisor theory Krull domains. Chapman (Sam Houston State University) November 13, / 13
13 A Classic Result Theorem (James & Niven, 1954 PAMS) Let n 2 be a positive integer. A congruence monoid S Γ is a UFM if and only if Γ = {x gcd(x, n) = 1}. An alternate proof of this result can be found in Halter-Koch (Semigroup Forum 1991) which uses the notion of a divisor theory divisor theory Krull domains. Chapman (Sam Houston State University) November 13, / 13
14 A Classic Result Theorem (James & Niven, 1954 PAMS) Let n 2 be a positive integer. A congruence monoid S Γ is a UFM if and only if Γ = {x gcd(x, n) = 1}. An alternate proof of this result can be found in Halter-Koch (Semigroup Forum 1991) which uses the notion of a divisor theory divisor theory Krull domains. Chapman (Sam Houston State University) November 13, / 13
15 The Other Extreme Theorem If Γ = {x gcd(x, n) 1}, then Z Γ is a half-factorial monoid. Half-factorial means that if α 1 α s = β 1 β t where each α i and β j is irreducible, then s = t. Chapman (Sam Houston State University) November 13, / 13
16 The Other Extreme Theorem If Γ = {x gcd(x, n) 1}, then Z Γ is a half-factorial monoid. Half-factorial means that if α 1 α s = β 1 β t where each α i and β j is irreducible, then s = t. Chapman (Sam Houston State University) November 13, / 13
17 A Special Case If Γ = {x}, then Z Γ is called an arithmetical congruence monoid (or ACM). Hence, an ACM is merely an arithmetic sequence that is closed under multiplication. Example is known as the Hilbert Monoid. Example is known as Myerson s monoid 1, 5, 9, 13, 17, 21,... = 1 + 4N 0 1, 4, 10, 16, 22,... = 4 + 6N 0 {1} Chapman (Sam Houston State University) November 13, / 13
18 A Special Case If Γ = {x}, then Z Γ is called an arithmetical congruence monoid (or ACM). Hence, an ACM is merely an arithmetic sequence that is closed under multiplication. Example is known as the Hilbert Monoid. Example is known as Myerson s monoid 1, 5, 9, 13, 17, 21,... = 1 + 4N 0 1, 4, 10, 16, 22,... = 4 + 6N 0 {1} Chapman (Sam Houston State University) November 13, / 13
19 A Special Case If Γ = {x}, then Z Γ is called an arithmetical congruence monoid (or ACM). Hence, an ACM is merely an arithmetic sequence that is closed under multiplication. Example is known as the Hilbert Monoid. Example is known as Myerson s monoid 1, 5, 9, 13, 17, 21,... = 1 + 4N 0 1, 4, 10, 16, 22,... = 4 + 6N 0 {1} Chapman (Sam Houston State University) November 13, / 13
20 A Special Case If Γ = {x}, then Z Γ is called an arithmetical congruence monoid (or ACM). Hence, an ACM is merely an arithmetic sequence that is closed under multiplication. Example is known as the Hilbert Monoid. Example is known as Myerson s monoid 1, 5, 9, 13, 17, 21,... = 1 + 4N 0 1, 4, 10, 16, 22,... = 4 + 6N 0 {1} Chapman (Sam Houston State University) November 13, / 13
21 Types of ACMs Thus every ACM can be written uniquely in the form M a,b = a + bn 0 {1} and they break into three catagories. Regular ACMs: These correspond to a = 1. Singlar ACMs: These come in two types: Local: gcd (a, b) = p n for some prime p; Global: gcd (a, b) = d > 1 and d is composite and not a power of a prime. Chapman (Sam Houston State University) November 13, / 13
22 Types of ACMs Thus every ACM can be written uniquely in the form M a,b = a + bn 0 {1} and they break into three catagories. Regular ACMs: These correspond to a = 1. Singlar ACMs: These come in two types: Local: gcd (a, b) = p n for some prime p; Global: gcd (a, b) = d > 1 and d is composite and not a power of a prime. Chapman (Sam Houston State University) November 13, / 13
23 Types of ACMs Thus every ACM can be written uniquely in the form M a,b = a + bn 0 {1} and they break into three catagories. Regular ACMs: These correspond to a = 1. Singlar ACMs: These come in two types: Local: gcd (a, b) = p n for some prime p; Global: gcd (a, b) = d > 1 and d is composite and not a power of a prime. Chapman (Sam Houston State University) November 13, / 13
24 Types of ACMs Thus every ACM can be written uniquely in the form M a,b = a + bn 0 {1} and they break into three catagories. Regular ACMs: These correspond to a = 1. Singlar ACMs: These come in two types: Local: gcd (a, b) = p n for some prime p; Global: gcd (a, b) = d > 1 and d is composite and not a power of a prime. Chapman (Sam Houston State University) November 13, / 13
25 Types of ACMs Thus every ACM can be written uniquely in the form M a,b = a + bn 0 {1} and they break into three catagories. Regular ACMs: These correspond to a = 1. Singlar ACMs: These come in two types: Local: gcd (a, b) = p n for some prime p; Global: gcd (a, b) = d > 1 and d is composite and not a power of a prime. Chapman (Sam Houston State University) November 13, / 13
26 The Regular Case If a = 1, then the factorization properties of M 1,b are identical to those of the multiplicative monoid of a Dedekind domain D with class group Z b where each divisor class of the class group contains a nonzero prime ideal. For instance, ρ(m 1,b ) = D(Z n ) 2. Moreover, if M a,b is global, then ρ(m a,b ) =. If M a,b is local, then ρ(m a,b ) = n+k 1 k where n is the smallest integer such that p n M a,b. Chapman (Sam Houston State University) November 13, / 13
27 The Regular Case If a = 1, then the factorization properties of M 1,b are identical to those of the multiplicative monoid of a Dedekind domain D with class group Z b where each divisor class of the class group contains a nonzero prime ideal. For instance, ρ(m 1,b ) = D(Z n ) 2. Moreover, if M a,b is global, then ρ(m a,b ) =. If M a,b is local, then ρ(m a,b ) = n+k 1 k where n is the smallest integer such that p n M a,b. Chapman (Sam Houston State University) November 13, / 13
28 The Regular Case If a = 1, then the factorization properties of M 1,b are identical to those of the multiplicative monoid of a Dedekind domain D with class group Z b where each divisor class of the class group contains a nonzero prime ideal. For instance, ρ(m 1,b ) = D(Z n ) 2. Moreover, if M a,b is global, then ρ(m a,b ) =. If M a,b is local, then ρ(m a,b ) = n+k 1 k where n is the smallest integer such that p n M a,b. Chapman (Sam Houston State University) November 13, / 13
29 The Regular Case If a = 1, then the factorization properties of M 1,b are identical to those of the multiplicative monoid of a Dedekind domain D with class group Z b where each divisor class of the class group contains a nonzero prime ideal. For instance, ρ(m 1,b ) = D(Z n ) 2. Moreover, if M a,b is global, then ρ(m a,b ) =. If M a,b is local, then ρ(m a,b ) = n+k 1 k where n is the smallest integer such that p n M a,b. Chapman (Sam Houston State University) November 13, / 13
30 Definitions Suppose that M is reduced, x M is not the identity, and that F : x = α 1 α n β 1 β s and F : x = α 1 α n γ 1 γ t are distinct atomic factorizations such that β i γ j for all i, j. With notation as above, we define gcd(f, F ) = α 1 α n and the distance between F and F by d(f, F ) = max{s, t}. Extend d to all pairs of factorizations by d(f, F ) = 0. Chapman (Sam Houston State University) November 13, / 13
31 Definitions Suppose that M is reduced, x M is not the identity, and that F : x = α 1 α n β 1 β s and F : x = α 1 α n γ 1 γ t are distinct atomic factorizations such that β i γ j for all i, j. With notation as above, we define gcd(f, F ) = α 1 α n and the distance between F and F by d(f, F ) = max{s, t}. Extend d to all pairs of factorizations by d(f, F ) = 0. Chapman (Sam Houston State University) November 13, / 13
32 The Distance is Amazing The distance function acts as a metric. The following for a numerical monoid can easily be shown (and are in fact true in general). Theorem Let F 1, F 2 and F 3 be factorizations of x in a numerical monoid S. 1. d(f 1, F 2 ) = 0 if and only if F 1 = F d(f 1, F 2 ) = d(f 2, F 1 ). 3. d(f 1, F 2 ) d(f 1, F 3 ) + d(f 3, F 2 ). 4. d(f 3 F 1, F 3 F 2 ) = d(f 1, F 2 ). 5. d(f k 1, F k 2 ) = kd(f 1, F 2 ). Chapman (Sam Houston State University) November 13, / 13
33 The Distance is Amazing The distance function acts as a metric. The following for a numerical monoid can easily be shown (and are in fact true in general). Theorem Let F 1, F 2 and F 3 be factorizations of x in a numerical monoid S. 1. d(f 1, F 2 ) = 0 if and only if F 1 = F d(f 1, F 2 ) = d(f 2, F 1 ). 3. d(f 1, F 2 ) d(f 1, F 3 ) + d(f 3, F 2 ). 4. d(f 3 F 1, F 3 F 2 ) = d(f 1, F 2 ). 5. d(f k 1, F k 2 ) = kd(f 1, F 2 ). Chapman (Sam Houston State University) November 13, / 13
34 More Definitions An N-chain of factorizations from F to F is a sequence F 0,..., F k such that each F i is a factorization of x, F 0 = F and F k = F, and d(f i, F i+1 ) N for all i < k. The catenary degree of x, denoted c(x), is the least N Z 0 { } such that for any two factorizations F, F of x there is an N-chain between F and F. The catenary degree of the monoid M is defined as c(m) = sup{ c(x) x M \ M }. Note: If S does not have unique factorization, then c(s) 2 and if c(s) = 2, then S is half-factorial. Chapman (Sam Houston State University) November 13, / 13
35 More Definitions An N-chain of factorizations from F to F is a sequence F 0,..., F k such that each F i is a factorization of x, F 0 = F and F k = F, and d(f i, F i+1 ) N for all i < k. The catenary degree of x, denoted c(x), is the least N Z 0 { } such that for any two factorizations F, F of x there is an N-chain between F and F. The catenary degree of the monoid M is defined as c(m) = sup{ c(x) x M \ M }. Note: If S does not have unique factorization, then c(s) 2 and if c(s) = 2, then S is half-factorial. Chapman (Sam Houston State University) November 13, / 13
36 More Definitions An N-chain of factorizations from F to F is a sequence F 0,..., F k such that each F i is a factorization of x, F 0 = F and F k = F, and d(f i, F i+1 ) N for all i < k. The catenary degree of x, denoted c(x), is the least N Z 0 { } such that for any two factorizations F, F of x there is an N-chain between F and F. The catenary degree of the monoid M is defined as c(m) = sup{ c(x) x M \ M }. Note: If S does not have unique factorization, then c(s) 2 and if c(s) = 2, then S is half-factorial. Chapman (Sam Houston State University) November 13, / 13
37 More Definitions An N-chain of factorizations from F to F is a sequence F 0,..., F k such that each F i is a factorization of x, F 0 = F and F k = F, and d(f i, F i+1 ) N for all i < k. The catenary degree of x, denoted c(x), is the least N Z 0 { } such that for any two factorizations F, F of x there is an N-chain between F and F. The catenary degree of the monoid M is defined as c(m) = sup{ c(x) x M \ M }. Note: If S does not have unique factorization, then c(s) 2 and if c(s) = 2, then S is half-factorial. Chapman (Sam Houston State University) November 13, / 13
#A38 INTEGERS 17 (2017) ON THE PERIODICITY OF IRREDUCIBLE ELEMENTS IN ARITHMETICAL CONGRUENCE MONOIDS
#A38 INTEGERS 17 (2017) ON THE PERIODICITY OF IRREDUCIBLE ELEMENTS IN ARITHMETICAL CONGRUENCE MONOIDS Jacob Hartzer Mathematics Department, Texas A&M University, College Station, Texas jmhartzer@tamu.edu
More informationON THE DELTA SET AND CATENARY DEGREE OF KRULL MONOIDS WITH INFINITE CYCLIC DIVISOR CLASS GROUP. 1. Introduction
ON THE DELTA SET AND CATENARY DEGREE OF KRULL MONOIDS WITH INFINITE CYCLIC DIVISOR CLASS GROUP PAUL BAGINSKI, S. T. CHAPMAN, RYAN RODRIGUEZ, GEORGE J. SCHAEFFER, AND YIWEI SHE Abstract. Let M be a Krull
More informationON DELTA SETS AND THEIR REALIZABLE SUBSETS IN KRULL MONOIDS WITH CYCLIC CLASS GROUPS
ON DELTA SETS AND THEIR REALIZABLE SUBSETS IN KRULL MONOIDS WITH CYCLIC CLASS GROUPS SCOTT T. CHAPMAN, FELIX GOTTI, AND ROBERTO PELAYO Abstract. Let M be a commutative cancellative monoid. The set (M),
More informationON DELTA SETS AND THEIR REALIZABLE SUBSETS IN KRULL MONOIDS WITH CYCLIC CLASS GROUPS
C O L L O Q U I U M M A T H E M A T I C U M VOL. 137 2014 NO. 1 ON DELTA SETS AND THEIR REALIZABLE SUBSETS IN KRULL MONOIDS WITH CYCLIC CLASS GROUPS BY SCOTT T. CHAPMAN (Huntsville, TX), FELIX GOTTI (Gainesville,
More informationTHE CATENARY AND TAME DEGREES ON A NUMERICAL MONOID ARE EVENTUALLY PERIODIC
J. Aust. Math. Soc. 97 (2014), 289 300 doi:10.1017/s1446788714000330 THE CATENARY AND TAME DEGREES ON A NUMERICA MONOID ARE EVENTUAY PERIODIC SCOTT T. CHAPMAN, MARY CORRAES, ANDREW MIER, CHRIS MIER and
More informationAVOIDING ZERO-SUM SUBSEQUENCES OF PRESCRIBED LENGTH OVER THE INTEGERS
AVOIDING ZERO-SUM SUBSEQUENCES OF PRESCRIBED LENGTH OVER THE INTEGERS C. AUGSPURGER, M. MINTER, K. SHOUKRY, P. SISSOKHO, AND K. VOSS MATHEMATICS DEPARTMENT, ILLINOIS STATE UNIVERSITY NORMAL, IL 61790 4520,
More informationComputing the elasticity of a Krull monoid
Linear Algebra and its Applications 336 (2001) 191 200 www.elsevier.com/locate/laa Computing the elasticity of a Krull monoid S.T. Chapman a,, J.I. García-García b,1, P.A. García-Sánchez b,1, J.C. Rosales
More informationarxiv: v3 [math.ac] 29 Aug 2018
ON THE LOCAL K-ELASTICITIES OF PUISEUX MONOIDS MARLY GOTTI arxiv:1712.00837v3 [math.ac] 29 Aug 2018 Abstract. If M is an atomic monoid and x is a nonzero non-unit element of M, then the set of lengths
More informationDraft. Additive properties of sequences on semigroups. Guoqing Wang Tianjin Polytechnic University Home.
Additive properties of sequences on semigroups Guoqing Wang Tianjin Polytechnic University E-mail: gqwang1979@aliyun.com Page Page 1 of 35 Two starting additive researches in group theory For any finite
More informationOn the delta set and the Betti elements of a BF-monoid
Arab J Math (2012) 1:5 61 DOI 10.1007/s40065-012-0019-0 RESEARCH ARTICLE S. T. Chapman P. A. García-Sánchez D. Llena A. Malyshev D. Steinberg On the delta set and the Betti elements of a BF-monoid Received:
More informationinv lve a journal of mathematics 2009 Vol. 2, No. 1 Atoms of the relative block monoid mathematical sciences publishers
inv lve a journal of mathematics Atoms of the relative block monoid Nicholas Baeth and Justin Hoffmeier mathematical sciences publishers 2009 Vol. 2, No. INVOLVE 2:(2009 Atoms of the relative block monoid
More informationarxiv: v2 [math.co] 25 Jun 2015
ON THE SET OF ELASTICITIES IN NUMERICAL MONOIDS THOMAS BARRON, CHRISTOPHER O NEILL, AND ROBERTO PELAYO arxiv:409.345v [math.co] 5 Jun 05 Abstract. In an atomic, cancellative, commutative monoid S, the
More informationA CHARACTERIZATION OF CLASS GROUPS VIA SETS OF LENGTHS. 1. Introduction
A CHARACTERIZATION OF CLASS GROUPS VIA SETS OF LENGTHS ALFRED GEROLDINGER AND WOLFGANG A. SCHMID Abstract. Let H be a Krull monoid with class group G such that every class contains a prime divisor. Then
More informationMATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.
MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences. Congruences Let n be a postive integer. The integers a and b are called congruent modulo n if they have the same
More informationNon-Unique Factorizations : A Survey
Non-Unique Factorizations : A Survey Alfred Geroldinger 1 and Franz Halter-Koch 2 1 Institut für Mathematik, Karl-Franzens-Universität Graz, Heinrichstrasse 36, 8010 Graz, Austria, alfred.geroldinger@uni-graz.at
More informationON STRONGLY PRIMARY MONOIDS AND DOMAINS
ON STRONGLY PRIMARY MONOIDS AND DOMAINS ALFRED GEROLDINGER AND MOSHE ROITMAN Abstract. A commutative integral domain is primary if and only if it is one-dimensional and local. A domain is strongly primary
More informationSOLUTIONS Math 345 Homework 6 10/11/2017. Exercise 23. (a) Solve the following congruences: (i) x (mod 12) Answer. We have
Exercise 23. (a) Solve the following congruences: (i) x 101 7 (mod 12) Answer. We have φ(12) = #{1, 5, 7, 11}. Since gcd(7, 12) = 1, we must have gcd(x, 12) = 1. So 1 12 x φ(12) = x 4. Therefore 7 12 x
More informationInvariant Polynomials and Minimal Zero Sequences
Invariant Polynomials and Minimal Zero Sequences Bryson W. Finklea St. John s College (undergraduate Terri Moore University of Washington (undergraduate Vadim Ponomarenko Department of Mathematics and
More informationinv lve a journal of mathematics 2008 Vol. 1, No. 2 Invariant polynomials and minimal zero sequences mathematical sciences publishers
inv lve a journal of mathematics Invariant polynomials and minimal zero sequences Bryson W. Finklea, Terri Moore, Vadim Ponomarenko and Zachary J. Turner mathematical sciences publishers 2008 Vol. 1, No.
More informationarxiv: v1 [math.ac] 19 Nov 2017
SYSTEMS OF SETS OF LENGTHS OF PUISEUX MONOIDS arxiv:1711.06961v1 [math.ac] 19 Nov 2017 FELIX GOTTI Abstract. In this paper we study the system of sets of lengths of non-finitely generated atomic Puiseux
More informationSolution Sheet (i) q = 5, r = 15 (ii) q = 58, r = 15 (iii) q = 3, r = 7 (iv) q = 6, r = (i) gcd (97, 157) = 1 = ,
Solution Sheet 2 1. (i) q = 5, r = 15 (ii) q = 58, r = 15 (iii) q = 3, r = 7 (iv) q = 6, r = 3. 2. (i) gcd (97, 157) = 1 = 34 97 21 157, (ii) gcd (527, 697) = 17 = 4 527 3 697, (iii) gcd (2323, 1679) =
More informationFACTORIZATION IN THE SELF-IDEALIZATION OF A PID
FACTORIZATION IN THE SELF-IDEALIZATION OF A PID GYU WHAN CHANG AND DANIEL SMERTNIG Abstract. Let D be a principal ideal domain and R(D) { ( a b ) a, b D} be its self-idealization. It is known that R(D)
More informationGENERATING IDEALS IN SUBRINGS OF K[[X]] VIA NUMERICAL SEMIGROUPS
GENERATING IDEALS IN SUBRINGS OF K[[X]] VIA NUMERICAL SEMIGROUPS SCOTT T. CHAPMAN Abstract. Let K be a field and S be the numerical semigroup generated by the positive integers n 1,..., n k. We discuss
More informationNON-COMMUTATIVE KRULL MONOIDS: A DIVISOR THEORETIC APPROACH AND THEIR ARITHMETIC
Geroldinger, A. Osaka J. Math. 50 (2013), 503 539 NON-COMMUTATIVE KRULL MONOIDS: A DIVISOR THEORETIC APPROACH AND THEIR ARITHMETIC ALFRED GEROLDINGER (Received May 10, 2011, revised September 26, 2011)
More information1. multiplication is commutative and associative;
Chapter 4 The Arithmetic of Z In this chapter, we start by introducing the concept of congruences; these are used in our proof (going back to Gauss 1 ) that every integer has a unique prime factorization.
More informationLecture 7.4: Divisibility and factorization
Lecture 7.4: Divisibility and factorization Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley (Clemson)
More informationA GENERALIZATION OF DAVENPORT S CONSTANT AND ITS ARITHMETICAL APPLICATIONS
C O L L O Q U I U M M A T H E M A T I C U M VOL. LXIII 1992 FASC. 2 A GENERALIZATION OF DAVENPORT S CONSTANT AND ITS ARITHMETICAL APPLICATIONS BY FRANZ H A L T E R - K O C H (GRAZ) 1. For an additively
More informationrepresent the natural numbers adjoin 0 and
For notational purposes, let N = {1, 2, 3,...} represent the natural numbers, N 0 = {0, 1, 2,...} represent the natural numbers adjoin 0 and Z = {..., 3, 2, 1, 0, 1, 2, 3,...} represent the integers. Definition:
More informationTHE MONOTONE CATENARY DEGREE OF MONOIDS OF IDEALS. 1. Introduction
THE MONOTONE CATENARY DEGREE OF MONOIDS OF IDEALS ALFRED GEROLDINGER AND ANDREAS REINHART Abstract. Factoring ideals in integral domains is a central topic in multiplicative ideal theory. In the present
More informationHomework #2 solutions Due: June 15, 2012
All of the following exercises are based on the material in the handout on integers found on the class website. 1. Find d = gcd(475, 385) and express it as a linear combination of 475 and 385. That is
More informationHalf-factorial sets in finite abelian groups: a survey
11. Mathematikertreffen, Zagreb-Graz D. Butković, D. Gronau, H. Kraljević, O. Röschel (Eds.) Grazer Math. Ber., ISSN 1016 7692 Bericht Nr. 348 (2005), 41-64 Half-factorial sets in finite abelian groups:
More informationChapter 14: Divisibility and factorization
Chapter 14: Divisibility and factorization Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Summer I 2014 M. Macauley (Clemson) Chapter
More informationSets of Lengths of Puiseux Monoids
UC Berkeley Conference on Rings and Factorizations Institute of Mathematics and Scientific Computing University of Graz, Austria February 21, 2018 Introduction Online reference: https://arxiv.org/abs/1711.06961
More informationFactorizations of ideals in noncommutative rings similar to factorizations of ideals in commutative Dedekind domains
Factorizations of ideals in noncommutative rings similar to factorizations of ideals in commutative Dedekind domains Alberto Facchini Università di Padova Conference on Rings and Factorizations Graz, 21
More informationSETS OF LENGTHS ALFRED GEROLDINGER
SETS OF LENGTHS ALFRED GEROLDINGER Abstract. Oftentimes the elements of a ring or semigroup H can be written as finite products of irreducible elements, say a = u 1... u k = v 1... v l, where the number
More informationarxiv: v2 [math.ac] 21 Jan 2016
FACTORIZATION INVARIANTS IN NUMERICAL MONOIDS CHRISTOPHER O NEILL AND ROBERTO PELAYO arxiv:1508.00128v2 [math.ac] 21 Jan 2016 Abstract. Nonunique factorization in commutative monoids is often studied using
More informationAlgebra. Modular arithmetic can be handled mathematically by introducing a congruence relation on the integers described in the above example.
Coding Theory Massoud Malek Algebra Congruence Relation The definition of a congruence depends on the type of algebraic structure under consideration Particular definitions of congruence can be made for
More informationAll variables a, b, n, etc are integers unless otherwise stated. Each part of a problem is worth 5 points.
Math 152, Problem Set 2 solutions (2018-01-24) All variables a, b, n, etc are integers unless otherwise stated. Each part of a problem is worth 5 points. 1. Let us look at the following equation: x 5 1
More informationg(x) = 1 1 x = 1 + x + x2 + x 3 + is not a polynomial, since it doesn t have finite degree. g(x) is an example of a power series.
6 Polynomial Rings We introduce a class of rings called the polynomial rings, describing computation, factorization and divisibility in such rings For the case where the coefficients come from an integral
More informationLecture 4 February 5
Math 239: Discrete Mathematics for the Life Sciences Spring 2008 Lecture 4 February 5 Lecturer: Lior Pachter Scribe/ Editor: Michaeel Kazi/ Cynthia Vinzant 4.1 Introduction to Gröbner Bases In this lecture
More information4. Congruence Classes
4 Congruence Classes Definition (p21) The congruence class mod m of a Z is Example With m = 3 we have Theorem For a b Z Proof p22 = {b Z : b a mod m} [0] 3 = { 6 3 0 3 6 } [1] 3 = { 2 1 4 7 } [2] 3 = {
More informationOn the Rank and Integral Points of Elliptic Curves y 2 = x 3 px
International Journal of Algebra, Vol. 3, 2009, no. 8, 401-406 On the Rank and Integral Points of Elliptic Curves y 2 = x 3 px Angela J. Hollier, Blair K. Spearman and Qiduan Yang Mathematics, Statistics
More informationA field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties:
Byte multiplication 1 Field arithmetic A field F is a set of numbers that includes the two numbers 0 and 1 and satisfies the properties: F is an abelian group under addition, meaning - F is closed under
More informationMATH 433 Applied Algebra Lecture 22: Semigroups. Rings.
MATH 433 Applied Algebra Lecture 22: Semigroups. Rings. Groups Definition. A group is a set G, together with a binary operation, that satisfies the following axioms: (G1: closure) for all elements g and
More informationPart IX. Factorization
IX.45. Unique Factorization Domains 1 Part IX. Factorization Section IX.45. Unique Factorization Domains Note. In this section we return to integral domains and concern ourselves with factoring (with respect
More informationinv lve a journal of mathematics 2009 Vol. 2, No. 2 Bounds for Fibonacci period growth mathematical sciences publishers Chuya Guo and Alan Koch
inv lve a journal of mathematics Bounds for Fibonacci period growth Chuya Guo and Alan Koch mathematical sciences publishers 2009 Vol. 2, No. 2 INVOLVE 2:2(2009) Bounds for Fibonacci period growth Chuya
More informationChapter 4 Finite Fields
Chapter 4 Finite Fields Introduction will now introduce finite fields of increasing importance in cryptography AES, Elliptic Curve, IDEA, Public Key concern operations on numbers what constitutes a number
More informationDivisibility in the Fibonacci Numbers. Stefan Erickson Colorado College January 27, 2006
Divisibility in the Fibonacci Numbers Stefan Erickson Colorado College January 27, 2006 Fibonacci Numbers F n+2 = F n+1 + F n n 1 2 3 4 6 7 8 9 10 11 12 F n 1 1 2 3 8 13 21 34 89 144 n 13 14 1 16 17 18
More informationMath 430 Exam 1, Fall 2006
c IIT Dept. Applied Mathematics, October 21, 2008 1 PRINT Last name: Signature: First name: Student ID: Math 430 Exam 1, Fall 2006 These theorems may be cited at any time during the test by stating By
More informationarxiv: v1 [math.ac] 6 Jul 2016
ON THE ATOMIC STRUCTURE OF PUISEUX MONOIDS FELIX GOTTI arxiv:1607.01731v1 [math.ac] 6 Jul 2016 Abstract. In this paper, we study the atomic structure of the family of Puiseux monoids, i.e, the additive
More informationRELATIVE ASCENT AND DESCENT IN A DOMAIN EXTENSION. Tariq Shah
International Electronic Journal of Algebra Volume 7 (2010) 34-46 RELATIVE ASCENT AND DESCENT IN A DOMAIN EXTENSION Tariq Shah Received: 11 December 2008; Revised: 29 June 2009 Communicated by Abdullah
More informationAlgebra Homework, Edition 2 9 September 2010
Algebra Homework, Edition 2 9 September 2010 Problem 6. (1) Let I and J be ideals of a commutative ring R with I + J = R. Prove that IJ = I J. (2) Let I, J, and K be ideals of a principal ideal domain.
More informationORAL QUALIFYING EXAM QUESTIONS. 1. Algebra
ORAL QUALIFYING EXAM QUESTIONS JOHN VOIGHT Below are some questions that I have asked on oral qualifying exams (starting in fall 2015). 1.1. Core questions. 1. Algebra (1) Let R be a noetherian (commutative)
More informationSEMIGROUP-THEORETICAL CHARACTERIZATIONS OF ARITHMETICAL INVARIANTS WITH APPLICATIONS TO NUMERICAL MONOIDS AND KRULL MONOIDS. 1.
SEMIGROUP-THEORETICAL CHARACTERIZATIONS OF ARITHMETICAL INVARIANTS WITH APPLICATIONS TO NUMERICAL MONOIDS AND KRULL MONOIDS VICTOR BLANCO AND PEDRO A. GARCIA-S ANCHEZ AND ALFRED GEROLDINGER Abstract. Arithmetical
More informationFor your quiz in recitation this week, refer to these exercise generators:
Monday, Oct 29 Today we will talk about inverses in modular arithmetic, and the use of inverses to solve linear congruences. For your quiz in recitation this week, refer to these exercise generators: GCD
More informationMath 319 Problem Set #2 Solution 14 February 2002
Math 39 Problem Set # Solution 4 February 00. (.3, problem 8) Let n be a positive integer, and let r be the integer obtained by removing the last digit from n and then subtracting two times the digit ust
More informationMath 611 Homework 6. Paul Hacking. November 19, All rings are assumed to be commutative with 1.
Math 611 Homework 6 Paul Hacking November 19, 2015 All rings are assumed to be commutative with 1. (1) Let R be a integral domain. We say an element 0 a R is irreducible if a is not a unit and there does
More informationNumber Theory Math 420 Silverman Exam #1 February 27, 2018
Name: Number Theory Math 420 Silverman Exam #1 February 27, 2018 INSTRUCTIONS Read Carefully Time: 50 minutes There are 5 problems. Write your name neatly at the top of this page. Write your final answer
More informationNotes on Systems of Linear Congruences
MATH 324 Summer 2012 Elementary Number Theory Notes on Systems of Linear Congruences In this note we will discuss systems of linear congruences where the moduli are all different. Definition. Given the
More informationEXCELLENT RINGS WITH SINGLETON FORMAL FIBERS. 1. Introduction. Although this paper focuses on a commutative algebra result, we shall begin by
Furman University Electronic Journal of Undergraduate Mathematics Volume 5, 1 9, 1999 EXCELLENT RINGS WITH SINGLETON FORMAL FIBERS DAN LEE, LEANNE LEER, SHARA PILCH, YU YASUFUKU Abstract. In this paper
More informationHowever another possibility is
19. Special Domains Let R be an integral domain. Recall that an element a 0, of R is said to be prime, if the corresponding principal ideal p is prime and a is not a unit. Definition 19.1. Let a and b
More informationDelta Set of Affine Semigroups
of Affine Semigroups Carrasco Departament of Mathematics University Of Almería Conference on Rings and Factorizations Graz 2018 2 / 20 s This is a work collecting some ideas published in the next three
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1)
Tuesday 10 February 2004 (Day 1) 1a. Prove the following theorem of Banach and Saks: Theorem. Given in L 2 a sequence {f n } which weakly converges to 0, we can select a subsequence {f nk } such that the
More informationIn this paper, we show that the bound given in Theorem A also holds for a class of abelian groups of rank 4.
SUBSEQUENCE SUMS OF ZERO-SUM FREE SEQUENCES OVER FINITE ABELIAN GROUPS YONGKE QU, XINGWU XIA, LIN XUE, AND QINGHAI ZHONG Abstract. Let G be a finite abelian group of rank r and let X be a zero-sum free
More informationMath 312/ AMS 351 (Fall 17) Sample Questions for Final
Math 312/ AMS 351 (Fall 17) Sample Questions for Final 1. Solve the system of equations 2x 1 mod 3 x 2 mod 7 x 7 mod 8 First note that the inverse of 2 is 2 mod 3. Thus, the first equation becomes (multiply
More informationTHE HALF-FACTORIAL PROPERTY IN INTEGRAL EXTENSIONS. Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND.
THE HALF-FACTORIAL PROPERTY IN INTEGRAL EXTENSIONS Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND. 58105-5075 ABSTRACT. In this paper, the integral closure of a half-factorial
More informationLecture Notes. Advanced Discrete Structures COT S
Lecture Notes Advanced Discrete Structures COT 4115.001 S15 2015-01-13 Recap Divisibility Prime Number Theorem Euclid s Lemma Fundamental Theorem of Arithmetic Euclidean Algorithm Basic Notions - Section
More informationProof 1: Using only ch. 6 results. Since gcd(a, b) = 1, we have
Exercise 13. Consider positive integers a, b, and c. (a) Suppose gcd(a, b) = 1. (i) Show that if a divides the product bc, then a must divide c. I give two proofs here, to illustrate the different methods.
More informationLocal Generic Formal Fibers of Excellent Rings
Local Generic Formal Fibers of Excellent Rings Williams College SMALL REU 2013 Commutative Algebra Group Peihong Jiang, University of Rochester Anna Kirkpatrick, University of South Carolina Sander Mack-Crane,
More informationON SOME GENERALIZED VALUATION MONOIDS
Novi Sad J. Math. Vol. 41, No. 2, 2011, 111-116 ON SOME GENERALIZED VALUATION MONOIDS Tariq Shah 1, Waheed Ahmad Khan 2 Abstract. The valuation monoids and pseudo-valuation monoids have been established
More informationarxiv: v2 [math.ac] 14 May 2018
PUISEUX MONOIDS AND TRANSFER HOMOMORPHISMS arxiv:1709.01693v2 [math.ac] 14 May 2018 FELIX GOTTI Abstract. There are several families of atomic monoids whose arithmetical invariants have received a great
More informationSplitting sets and weakly Matlis domains
Commutative Algebra and Applications, 1 8 de Gruyter 2009 Splitting sets and weakly Matlis domains D. D. Anderson and Muhammad Zafrullah Abstract. An integral domain D is weakly Matlis if the intersection
More informationCS 5319 Advanced Discrete Structure. Lecture 9: Introduction to Number Theory II
CS 5319 Advanced Discrete Structure Lecture 9: Introduction to Number Theory II Divisibility Outline Greatest Common Divisor Fundamental Theorem of Arithmetic Modular Arithmetic Euler Phi Function RSA
More informationCHAPTER 10: POLYNOMIALS (DRAFT)
CHAPTER 10: POLYNOMIALS (DRAFT) LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN The material in this chapter is fairly informal. Unlike earlier chapters, no attempt is made to rigorously
More informationALFRED GEROLDINGER AND DAVID J. GRYNKIEWICZ
. ON THE ARITHMETIC OF KRULL MONOIDS WITH FINITE DAVENPORT CONSTANT ALFRED GEROLDINGER AND DAVID J. GRYNKIEWICZ Abstract. Let H be a Krull monoid with class group G, G P G the set of classes containing
More informationJohns Hopkins Math Tournament 2018 Proof Round: Sequences
Johns Hopkins Math Tournament 2018 Proof Round: Sequences February 17, 2018 Section Total Points Score 1 5 2 20 3 15 4 25 Instructions The exam is worth 60 points; each part s point value is given in brackets
More informationarxiv: v1 [math.nt] 2 Feb 2014
ON THE INDEX OF LENGTH FOUR MINIMAL ZERO-SUM SEQUENCES CAIXIA SHEN 1, LI-MENG XIA,1, AND YUANLIN LI arxiv:140.019v1 [math.nt] Feb 014 1 Faculty of Science, Jiangsu University, Zhenjiang, 1013, Jiangsu
More information2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?
Chapter 3: Theory of Modular Arithmetic 25 SECTION C Solving Linear Congruences By the end of this section you will be able to solve congruence equations determine the number of solutions find the multiplicative
More informationTROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),
More informationMathematical Foundations of Public-Key Cryptography
Mathematical Foundations of Public-Key Cryptography Adam C. Champion and Dong Xuan CSE 4471: Information Security Material based on (Stallings, 2006) and (Paar and Pelzl, 2010) Outline Review: Basic Mathematical
More informationNUMBER SYSTEMS. Number theory is the study of the integers. We denote the set of integers by Z:
NUMBER SYSTEMS Number theory is the study of the integers. We denote the set of integers by Z: Z = {..., 3, 2, 1, 0, 1, 2, 3,... }. The integers have two operations defined on them, addition and multiplication,
More informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
More informationOn reducible and primitive subsets of F p, II
On reducible and primitive subsets of F p, II by Katalin Gyarmati Eötvös Loránd University Department of Algebra and Number Theory and MTA-ELTE Geometric and Algebraic Combinatorics Research Group H-1117
More informationIrreducible Polynomials and Factorization Properties of the Ring of Integer-Valued Polynomials
Trinity University Digital Commons @ Trinity Math Honors Theses Mathematics Department 4-18-2007 Irreducible Polynomials and Factorization Properties of the Ring of Integer-Valued Polynomials Megan Gallant
More informationON INTEGERS NONREPRESENTABLE BY A GENERALIZED ARITHMETIC PROGRESSION
ON INTEGERS NONREPRESENTABLE BY A GENERALIZED ARITHMETIC PROGRESSION Gretchen L. Matthews 1 Department of Mathematical Sciences, Clemson University, Clemson, SC 9634-0975, USA gmatthe@clemson.edu Received:
More informationA Diophantine System and a Problem on Cubic Fields
International Mathematical Forum, Vol. 6, 2011, no. 3, 141-146 A Diophantine System and a Problem on Cubic Fields Paul D. Lee Department of Mathematics and Statistics University of British Columbia Okanagan
More informationAN ALGEBRAIC PROOF OF RSA ENCRYPTION AND DECRYPTION
AN ALGEBRAIC PROOF OF RSA ENCRYPTION AND DECRYPTION Recall that RSA works as follows. A wants B to communicate with A, but without E understanding the transmitted message. To do so: A broadcasts RSA method,
More information2x 1 7. A linear congruence in modular arithmetic is an equation of the form. Why is the solution a set of integers rather than a unique integer?
Chapter 3: Theory of Modular Arithmetic 25 SECTION C Solving Linear Congruences By the end of this section you will be able to solve congruence equations determine the number of solutions find the multiplicative
More informationOn the Abhyankar-Moh inequality
On the Abhyankar-Moh inequality Evelia García Barroso La Laguna University, Tenerife September, 2014 In this talk we present some results of R.D. Barrolleta, E. García Barroso and A. Płoski, On the Abhyankar-Moh
More informationOn Dual Versions of Krull s Intersection Theorem
International Mathematical Forum, 2, 2007, no. 54, 2655-2659 On Dual Versions of Krull s Intersection Theorem H. Ansari-Toroghy and F. Farshadifar Department of Mathematics Faculty of Science, Guilan University
More informationLOCALLY PRINCIPAL IDEALS AND FINITE CHARACTER arxiv: v1 [math.ac] 16 May 2013
LOCALLY PRINCIPAL IDEALS AND FINITE CHARACTER arxiv:1305.3829v1 [math.ac] 16 May 2013 STEFANIA GABELLI Abstract. It is well-known that if R is a domain with finite character, each locally principal nonzero
More information3+4=2 5+6=3 7 4=4. a + b =(a + b) mod m
Rings and fields The ring Z m -part2(z 5 and Z 8 examples) Suppose we are working in the ring Z 5, consisting of the set of congruence classes Z 5 := {[0] 5, [1] 5, [2] 5, [3] 5, [4] 5 } with the operations
More informationCOMP239: Mathematics for Computer Science II. Prof. Chadi Assi EV7.635
COMP239: Mathematics for Computer Science II Prof. Chadi Assi assi@ciise.concordia.ca EV7.635 The Euclidean Algorithm The Euclidean Algorithm Finding the GCD of two numbers using prime factorization is
More informationMATH 115, SUMMER 2012 LECTURE 4 THURSDAY, JUNE 21ST
MATH 115, SUMMER 2012 LECTURE 4 THURSDAY, JUNE 21ST JAMES MCIVOR Today we enter Chapter 2, which is the heart of this subject. Before starting, recall that last time we saw the integers have unique factorization
More informationDomination and Independence Numbers of Γ(Z n )
International Mathematical Forum, 3, 008, no. 11, 503-511 Domination and Independence Numbers of Γ(Z n ) Emad E. AbdAlJawad and Hasan Al-Ezeh 1 Department of Mathematics, Faculty of Science Jordan University,
More informationList of topics for the preliminary exam in algebra
List of topics for the preliminary exam in algebra 1 Basic concepts 1. Binary relations. Reflexive, symmetric/antisymmetryc, and transitive relations. Order and equivalence relations. Equivalence classes.
More informationRelations. Binary Relation. Let A and B be sets. A (binary) relation from A to B is a subset of A B. Notation. Let R A B be a relation from A to B.
Relations Binary Relation Let A and B be sets. A (binary) relation from A to B is a subset of A B. Notation Let R A B be a relation from A to B. If (a, b) R, we write a R b. 1 Binary Relation Example:
More informationHomework #2 Solutions Due: September 5, for all n N n 3 = n2 (n + 1) 2 4
Do the following exercises from the text: Chapter (Section 3):, 1, 17(a)-(b), 3 Prove that 1 3 + 3 + + n 3 n (n + 1) for all n N Proof The proof is by induction on n For n N, let S(n) be the statement
More informationMIT Algebraic techniques and semidefinite optimization February 16, Lecture 4
MIT 6.972 Algebraic techniques and semidefinite optimization February 16, 2006 Lecture 4 Lecturer: Pablo A. Parrilo Scribe: Pablo A. Parrilo In this lecture we will review some basic elements of abstract
More informationExploring the Exotic Setting for Algebraic Geometry
Exploring the Exotic Setting for Algebraic Geometry Victor I. Piercey University of Arizona Integration Workshop Project August 6-10, 2010 1 Introduction In this project, we will describe the basic topology
More information