Arithmetic Funtions Over Rings with Zero Divisors

Size: px
Start display at page:

Download "Arithmetic Funtions Over Rings with Zero Divisors"

Transcription

1 BULLETIN of the Bull Malaysian Math Sc Soc (Second Series) 24 ( MALAYSIAN MATHEMATICAL SCIENCES SOCIETY Arithmetic Funtions Over Rings with Zero Divisors 1 PATTIRA RUANGSINSAP, 1 VICHIAN LAOHAKOSOL AND 2 PATTANEE UDOMKAVANICH 1 Department of Mathematics, Kasetsart University, Bangkok, Thailand 2 Department of Mathematics, Chulalongkorn University, Bangkok, Thailand Abstract It is well known that the complex-valued arithmetic functions form a unique factorization domain under addition and convolution, and so do those functions with values in other suitable rings Here we consider instead such functions with values in a unique factorization ring with zero divisors and prove that under certain yet similar conditions, they also form a unique factorization ring with zero divisors 1 Introduction The set of complex-valued arithmetic functions, denoted by A C, is known to be an integral domain under addition and convolution (or Dirichlet multiplication), see eg Apostol [1] Cashwell and Everett [5] proved in 1959 that A C is in fact a unique factorization domain or factorial ring The proof of factoriality due to Cashwell and Everett runs briefly as follows: first, it is shown that A C is isomorphic to C [[ x1, x2, ] ], the ring of formal power series in countably many indeterminates Since the rings of formal power series (over C) in a finite number of indeterminates are factorial, and C is a field, this induces C [[ x1, x2, ] ] to be factorial which in turn establishes factoriality for A C That C is a field plays significant role in the proof, for changing it to other integral domains the situations become much more complicated This sparked off, especially in the sixties, a number of investigations related to problems about unique factorization, see eg Auslander and Buchsbaum [2], Buchsbaum [4], Cashwell and Everett [6], Cohn [7], Lu [12], Samuel [13], [14] All afore-mentioned investigations are done over rings without zero divisors In this work, we consider instead the case where the complex field is replaced by a unique factorization ring with zero divisors We take essentially the same definition of unique factorization rings with zero divisors as in Galovich [9] Our proof of the main theorem is a combination of the ones due to Cashwell and Everett [5] and Lu [12] There are, however, additional difficulties due firstly to the fact that the usual cancellation law in the case of domain must be replaced by a weak cancellation law, which amounts to multiplying by units, and secondly the presence of units makes it impossible to take appropriate limits This is overcome by invoking upon the idea of compactness

2 82 P Ruangsinsap et al 2 Unique factorization rings with zero divisors Let R be a commutative ring with unity An element u R is a unit if there is v R such that uv = 1 If r, s R, then r divides s, written r s, if there exists t R such that rt = s Two elements r and s are associates, written r ~ s, if there exists a unit u such that ru = s An element r R {0} is a zero divisor if there exists s R {0} such that rs = 0 Let r R {0] ; r is prime if, whenever r ab, where a, b R {0}, then r a or r b ; r is reducible if there exist non-units a, b such that r = ab ; r is irreducible if r is not reducible It is easily shown that if r and s are irreducible, then r s if and only if r ~ s An element d R {0} is called a greatest common divisor of a, b R, not both 0, if d a and d b, and if c R {0} is such that c a and c b, then c d A commutative ring R, with unity and zero divisors, is a unique factorization ring, UFR for short, if for each non-zero non-unit r R, there exist irreducible elements r 1,, rn such that r = r 1 rn and (ii) whenever r = r1 rn = s1 sm where r 1,, rn, s1,, sm are irreducible, then n = m and the s can be renumbered so that ri ~ si ( i = 1,, n) m A typical example of UFR is Z p Z, where p is a rational prime and m is a positive integer 2, see Billis [3] A very useful fact which will be repeatedly used is that any UFR satisfies a weak cancellation law, ie whenever ax = ay 0, then x ~ y This is easily shown as follows: from the unique factorization into irreducible elements a = r1 rn, x = s1 sm, y = t1 t k, the equation ax = ay 0 together with uniqueness implies that m = k and after some renumbering s ~ t ( = 1,, m) and so x ~ y Denote the set of arithmetic functions over the UFR R by AR, ie A R : = { f : N R; R is a UFR } It is easily checked that ( A R, +, ) is a ring with respect to addition ( f + g)( n) = f ( n) + g( n), and convolution f g( n) : = f ( i) g( ) That A R has zero divisors is directly inherited from R as seen by the following example Let x, y R {0} be zero divisors in R such that xy = 0 Take f ( = x, f ( n) = 0 for all n > 1, and g ( = y, g( n) = 0 for all n > 1 Then f g = 0 AR, while f, g A {0} R i= n

3 Arithmetic Functions Over Rings with Zero Divisors 83 Our first theorem gives a characterization of UFR Theorem 1 Let R be a commutative ring with unity and with zero divisors Assume that every non-zero non-unit element of R can be written as a product of finitely many irreducible elements of R Then the following assertions are equivalent: (ii) R is a UFR Any two elements of R have a greatest common divisor and R satisfies the weak cancellation law Proof Assume the truth of assertion That R satisfies the weak cancellation law has already been observed Let a, b be two elements of R, which we may assume to be non-zero and non-unit, for otherwise the proof is trivial Since R is a UFR, we can write n n m 1 k 1 m a = r1 r, k k b = r1 rk, where r i are distinct irreducible elements of R and n i, mi max( n1, m1 ) max(, k ) are non-negative integers Taking n k d = r m 1 rk, we easily check that d is a greatest common divisor of a, b Assume the truth of assertion (ii) It follows easily by induction that the existence of a greatest common divisor of any two elements of R induces the existence of a greatest common divisor of any finite number of elements of R Denote by ( a, b) a greatest common divisor of a, b R Then, with the aid of the weak cancellation law, we easily deduce the following properties (see eg pp of Jacobson [10]): (( a, b), c) ~ ( a, ( b, c)), c( a, b) = ( ca, cb), ( a, b) ~ 1 and ( a, c) ~ 1 ( a, bc) ~ 1 Let p be an irreducible element of R such that p ab with a, b R If p does not divide a and b, then by the existence of greatest common divisors, ( p, a) = 1 For otherwise there would be a non-zero non-unit c R such that c = ( p, a) and so cd = p for some d R Since p is irreducible, d must be a unit, yielding p ~ c, and so p a, a contradiction Similarly ( p, b) = 1 Now by the third property above, ( p, ab) = 1, contradicting p ab Therefore, p a or p b, indicating that an irreducible element must be a prime in R In order to conclude that R is a UFR, we must show the uniqueness of factorization Let a be a non-zero non-unit element of R having two factorizations into irreducible elements a = r1 rk = s1 sn where r and s are irreducible Since irreducible elements are primes, r1 some s, say s1 Since s 1 is irreducible, then r 1 ~ s 1 Cancelling out the factor r 1, which is permissible by the weak cancellation law, and continue the arguments Should k n, we would end up having a product of irreducible elements equal to a unit, which is impossible Thus k = n and simultaneously, after appropriate renumbering r i ~ si for all i

4 84 P Ruangsinsap et al 3 Power series Denote by R w : = R[[ x1, x2, ]], Rm : = R[[ x1,, xm ]] the rings of formal power series in countably many indeterminates x 1, x2,, respectively, finitely many indeterminates x1,, xm, over a UFR R Since R R w, it follows that ( R w, +, ) and ( R m, +, ) are rings with zero divisors, with respect to addition and multiplication of formal power series As shown in Section 14 of Cashwell and Everett [5], for 1 2 n = p α 1 p α 2, where p 1 < p 2 < denotes the (ascending) set of rational primes, 1 2 the correspondence f f ( n) x α 1 x α 2, establishes the fact that ( A R, +, ) is isomorphic to ( R w, +, ) Recall that a commutative ring with unity, R, is said to satisfy the ascending chain condition for principal ideals, ACCP for short, provided that every strictly increasing sequence of principal ideals of R admits a maximal element It is easy to check that any UFR satisfies the ACCP and for any two isomorphic commutative rings with unity R 1 and R 2, if R 1 satisfies the ACCP, so does R 2 Before we proceed to consider the power series ring, we recall another definition which will be used in the next lemma The order of f A is defined to be R min{ n; f ( n) 0} if f 0 v ( f ) : = if and only if f = 0 It is easily checked that v( f g) v( f ) v( g), and v( f + g) min{ v( f ), v( g)} Lemma 21 Let R be a commutative ring with unity satisfying the weak cancellation law If R satisfies the ACCP, so does R w Proof Since R w is isomorphic to A R, it suffices to show that A R satisfies the ACCP Let ( f ( f 2 ) be an ascending chain of principal ideals in A R Without loss of generality, assume that f 1 0 and so f i 0 for all i > 1 Ideal inclusions imply that there exists g A {0} such that f = f + g Considering orders, we get i R v ( fi ) v( fi+ 1 gi ) v( fi+ v( gi integers ( f v( f2) i i 1 i = ) This yields a non-increasing sequence of positive v which must then terminate, ie there are two positive integers r and k for which v( f + ) = v( f ) k, say, for each integer 0 Now r r = 0 f r ( k) = ( f r+ 1 g r )( k) = f r+ 1( k) g r ( and so we obtain an ascending chain of non-zero principal ideals in R of the form ( f r ( k)) ( f r+ 1( k)) As R satisfies the ACCP, there exists an integer m r such that ( f m ( k)) = ( f m+ ( k)) of all 0, which implies, using the weak cancellation law of R, that f m ( k) = u f m+ ( k), where u is a

5 Arithmetic Functions Over Rings with Zero Divisors 85 unit in R But the chain inclusions in A R give f m = h fm+ for some h A R {0} By the weak cancellation law of R, u ~ h ( and so h is a unit in A R, which means that the chain in A R terminates, and we are done Lemma 22 Let R be a commutative ring with unity satisfying the weak cancellation law If R satisfies the ACCP, then every non-zero non-unit element of R w is a product of a finite number of irreducible factors Proof From the last lemma, R w satisfies the ACCP Take any non-zero, non-unit F in R w If F is irreducible, we have nothing to prove Assume that F is reducible Then there exists non-zero, non-units F 1,G1 in R w such that F = F 1 G 1 This yields an inclusion of principal ideals ( F) ( F1 ) If both F 1 and G 1 are irreducible, we are done; otherwise at least one of them, say F 1 is reducible Thus there are non-zero, non-units F 2, G 2 in R w such that F 1 = F2G2 yielding another inclusion of principal ideals ( F1 ) ( F2 ) Should F not be written as a product of finitely many irreducible factors, we would get an infinite ascending chain of principal ideals generated by proper factors of F But the ACCP insists that the chain must be finite, a desired contradiction Let N and F( x1, x2, ) Rw or R m with m By ( F ), the proection of F on R, we mean the series F ( x 1,, x, 0, 0, ) obtained from F by putting equal to 0 all terms of F actually involving any x i with i > The map F ( F) is a ring homomorphism of R w or R m onto R and FG ) = ( F) ( G) ( Lemma 23 Let F be a non-zero, non-unit element of R w Then there is a least positive integer J = J (F), hereby called the index of F, for which ( F) is a non-zero, non-unit element of R for all J Proof Since F is a non-zero non-unit element of R w, then F contains a non-zero n coefficient of some monomial term 1 n x 1 x2 2 with n i not all zero If x k is the last variable in this term with positive n k, then ( F ) k 0 Among all such k, the least one is our desired J Lemma 24 Let F be a non-zero, non-unit element of R w Let J be the index of F If ( F) is irreducible in R for some J, then ( F) m is irreducible in R m for all m and F is also irreducible in R w

6 86 P Ruangsinsap et al Proof Take any m J and suppose we have a factorization ( F ) m = G H, for some G, H R Observe that ( F ) (( F) ) = ( G H ) = m = m ( G ) ( H ) By the irreducibility of ( F ), either (G ) or (H ) (m) is a unit of (m) R and so G or H is a unit of R m Hence, ( F) m is irreducible The proof of the last assertion is similar The proof of the next lemma requires a number of new concepts and definitions which we now elaborate Let F be a non-zero non-unit in R w and let be a positive integer A proper divisor of ( F ) 0 in R is an element α R such that ( F ) = αβ, where β is a non-unit in R By a true factor of ( F ) 0, N, we mean a non-unit proper divisor of ( F) in R, and call such factorization of ( F) a true factorization F is said to be finitely irreducible if there is a least integer I the index J of F, for ( (2) which ( F) is irreducible in R for all I We call a chain [ G, G, ], with ( i) ( i) ( i+ each G Ri, telescopic, respectively pseudo-telescopic, if G = ( G ) i, ( i) ( i+ respectively G ~ ( G ) i in R i for all i Following Lu [12], we introduce a topology which eases the discussion considerably We say that a non-zero monomial cx k k 1 k2 1 x2 x R is of weight r when r = k1 + 2k k 1 Clearly any F R can be written as F = F 0 + F1 + where each F i is a sum of all monomials of weight i Define an order function ord on R R as follows: ord(0) = n, ord( F ) = min{ n; F 0} if F 0 For F R w, k a non-negative integer, define { Bk ( F) : = { G Rw ; ord( G F) k} Observe that R w = B 0 (0) and that if Bs ( F) Bt ( G) φ with s t, then Bt ( G) Bs ( F) By Theorem 32, p67 of Dugundi [8], it follows that B ( F); F R, k a non-negative integer} is a basis for a topology, called the weight { k w topology, of R w Indeed, by the same arguments as used in the proof of Theorem 1 in Lu[12], R w is the completion of R with respect to this topology By the same =1 proof as in Lemma 2 of Lu [12], any infinite telescopic chain is a Cauchy sequence and by completeness has a limit in R w The case of pseudo-telescopic chain, which will be encountered, is more complicated and requires some compactness arguments For convenience, we adopt the following definition The ring R is said to be u-sequentially compact (with respect to the weight topology) if every sequence of units in w w Rw has a convergent subsequence Clearly, the limit of such a subsequence must then be a unit in R w

7 Arithmetic Functions Over Rings with Zero Divisors 87 Lemma 25 If Rw is u-sequentially compact, then any pseudo-telescopic chain has a convergent subchain Proof Take a pseudo-telescopic chain [ G, G, ] Thus ( ( G ( i) ( i) ( i+ i Put F = G, F = u G,, ( ) ( ) ( ) F (2) G = v, where ( (2) ( (2) = ( u G ), where u is a unit in R ( ) ( (2) ( F ( 1 ( ) ( (2) ( ( ) i = u u u G Clearly, v = ( u u ) is a unit in R and more importantly, [ F, F, ] is a telescopic chain, which must then converge to a limit F, say, in R w Since Rw ( ) is u-sequentially compact, there is a subsequence v of v which ( k ) ( k ) ( k ) R Hence, the subchain [ G = v F ] converges converges to a unit v, say, in w to the limit vf ( k ) Lemma 26 Let R be a UFR If u-sequentially compact, then all irreducible elements of R is a UFR for every positive integer and Rw are finitely irreducible Rw is Proof We claim that for non-zero non-unit F R w, if ( F) is reducible in R for all the index J of F, then F is reducible in R w To prove the claim, take any non-zero non-unit F in R Assume that for each J, w ( ) ( ) ( F ) = G H where ( ) G and ( ) H are true factors of ( F) in R m m 1 = (( F) m) m 1 = ( G ) m 1( H ) m 1 = ( J ) ( J ) J G H, Any true factorization ( F ) = G H, with m > J, induces a true factorization of ( m ( m ( F ) G H Continuing down to ( J ) ( J + ( F ) = we get a telescopic chain of true factors [ G, G, G ] From the original assumption that for each J, ( F) is expressible as a product of two true factors in R, we have the existence of a sequence k = [ G00], k1 = [ G10 = ( G1 J, G11], k2 = [ G20 = ( G2 J, G21 = ( G22) J + 1, G22], 0 each k i being a telescopic chain of true factors G i, = 0, 1,, i, of ( F ) J + By the unique factorization of R, the number of true factors of ( F) is finite for each Thus there is a true factor T 0 of ( F) J such that there is an infinite set of the chains k i having k Of this their first entry being an associate of T 0 Choose one of these and call it 0,

8 88 P Ruangsinsap et al infinite set, there is an infinite subset of k i whose second entry is an associate of some one true factor T 1 of ( F ) J + 1 Choose one and call it k 1 Continuing in this way we get a sequence of telescopic chains k = g, ], k = [ g, g, ], k = [ g, g,, ], 0 [ g 22 each of which extends, at least to the main diagonal, such that the entries on the diagonal and below have the property that, for each 0, g i ~ T for all i Now construct the telescopic infinite chain k by working only with the main diagonal and the diagonal next below it, as follows: define g J = g00 Since g 10 ~ T0 ~ g00 in R J, there is a unit J u ( ) J J RJ such that g ( ) ( ) J g10u ( g11 ( J ) = = u ) J Define g J + 1 = g11 u in R J + 1 Then g J = ( g J + 1 ) J Note that g J + 1 is a true factor of ( F ) J + 1 and g J + 1 ~ T1 in R J +1 Since 21 ~ T 1 ~ g J + 1 J +1 ( J + ( J + J + 1 = ( g21 u = g 22 u ) J + 1 J + 1 = ( g J + 2 ) J + 1 J + 2 ( J + g in R, there is a unit u R J + 1 such that ( J + g Define g = g u in R Then J g Note that g is a true factor of ( F ) J + 2 and g J + 2 ~ T2 in R J +2 Continuing in the same manner, we get an infinite telescopic chain of true factors J +2 k [ g, g, g, ], = J J + 1 J + 2 ( J ) ( J ) ( J ) ( J + ( J + J = ( 11 J J J + 1 ( J + ( J + 2) ( J + 2) J + 2 = g 22 u = g 32 u = ( g 33 u ) J + 2,, R Now for all 0, we have ( F ) J g J + hj +, where g g = g u = g u ), g = g u = g u = ( g u ), g which must converge to a limit g, say, in w + = where h J + are non-zero, non-unit in R J +, and so g J + hj + = ( F) J + = (( ) J ) ( g J J + J J + = J + J J + F J + = ) ( h ) g ( h ), which by the weak cancellation law gives ~ in R 1 + Thus we get a pseudo-telescopic chain h J + ( hj + + ) J + J [ h J, h J + 1, ], which by u-sequential compactness of R w has a subchain converging to a limit h, say, in R w Now ( F ) J + = g J + hj + = ( g) J + hj + and so by passing to a subsequence, we arrive at F = gh Clearly, both g and h are non-units in R w implying that F is reducible in R w and the claim is established It follows from the claim that if F is irreducible in R w, then there is a least integer I J for which ( F) I is irreducible in R I and by Lemma 24 for which ( F) is irreducible in R for all I Consequently, F is finitely irreducible

9 Arithmetic Functions Over Rings with Zero Divisors 89 ( ) Lemma 27 Let R be a UFR, F and G R w, D a greatest common divisor in R ( ( ) of ( F) and ( G), N If R is a UFR for every N, then ( D + ) ~ D for all L( F, G), where L ( F, G) is a certain non-negative integer Proof If F or G is zero, then the assertion is trivial Assume that both F and G are non-zero Let n be the smallest integer such that ( F) n and ( G) n are both non-zero and let i be an integer n Since R i is a UFR, we can represent D as a finite product of irreducible elements of R i Denote by N i the number of irreducible factors counted with multiplicity of D Since D is a greatest common divisor of ( F) i and ( G) i in ( i+ R i, i n, ( D ) i 0, and the number of irreducible factors of (D ) i is not ( i+ ( i ( i) less than the number of irreducible factors of D, then ( D + ) D, which thus gives N i N i+1 Note that the proection of each irreducible factor of ( D ) on R i may not be irreducible in R i Thus we have the following descending chain of non-negative integers N n N n +1 and so there are integers and k such that k = N n + + r for every integer r 0 Thus for every m n +, the proection of each ( m+ ( m irreducible factor of D on R m is also irreducible, yielding ( D + ) m ~ D Taking L ( F, G) = n +, we are done ( i+ i ( i+ 4 Main results Theorem 2 Let R be a UFR If u-sequentially compact, then R is a UFR for each positive integer and R w is a UFR R w is Proof Since R is a UFR, it satisfies the ACCP and so by Lemma 22 any non-zero non-unit element of R w can be written as a finite product of irreducible elements of R w We shall use the characterization in Theorem 1 First, we show that any two elements F and G of R w have a greatest common divisor Since this is trivial when F or G is zero, we assume that both are non-zero Let D be a greatest common divisor of ( F) i and ( L+ ( G ) i We construct an infinite telescopic chain [ E, E,, ] with the initial term in R L, where L = L( F, G) is as in Lemma 27, as follows: put E = D Assume ( ) E ( +, L, has been defined and let D be any greatest common divisor of ( ) + 1 F and G ) Then by Lemma 27 there is a unit E ( ) ( ) ( + 1 ( + ( ) ( + ( ) u in R such that = ( u D ) = ( u ( D )) Taking E = u D we get a ( + ( ) ( +

10 90 P Ruangsinsap et al ( L+ telescopic chain [ E, E, ] This chain has a limit E Rw Note that ( ) ( ) ( ) ( E ) = E or (E ) according as L or 0 < L Let F and G be two ( ) ( ) elements of R such that ( F ) = F ( E), ( G ) = G ( E) for each L Then ( ( ) ( F + ) ~ F and ( ( G + ) ~ G ( ) by the weak cancellation law Hence we have ( L+ ( L+ two pseudo-telescopic chains [ F, F, ] and [ G, G, ] with the ( L+ initial terms in R L By Lemma 25, a subchain of [ F, F, ], respectively a ( L+ subchain of [ G, G, ] converge to limits f, respectively g in R w Passing to ( ) subchain in ( F ) = F ( E), we deduce that F = fe In the same manner, we get G = ge for the weight topology, ie E is a common divisor of F and G To show that E is a greatest divisor of F and G, we let E be any common divisor of F and G in R w Then ( E) is also a common divisor of ( F) and ( G) in R for each L Since ( E) is a greatest common divisor of ( F) and ( G) for such, then ( E ) ( E) Thus there is an element a ( ) R such that ( ) ( E) = a ( E), L Thus for L, we have ( ) ( + ( + ( E) = ( E) = (( E) + = ( a ( E) + = ( a a ) ( E) and so by the weak cancellation law ( L+ ( ) ( + a ~ ( a ) which yields a pseudo-telescopic chain [ a, a, ] By Lemma 25, let its subchain converge to a limit a in R w Passing to subchain in ( E ) = ( a) ( E), we get E = ae Hence, E is a greatest common divisor of F and G Lastly, we show that R w satisfies the weak cancellation law Let F, G and H Rw be such that FG = FH 0 Then there are integers n and k for which ( FG ) ( FH ) 0 for all k and ( F ) 0 for all = i n Put m = max ( k, n) Then for all m, we get ( F ) ( G) ( FG) = ( FH ) = ( F) ( H ) 0 By the weak cancellation in R, we deduce that = ( ) ( G ) = u ( H ) for some unit u R Now the definition of ) u-sequential compactness implies that ( u ) has a subsequence converging to a unit u in R w Passing to subchain in ( G ) ( ) = u ( H ) we get G = uh The result now follows from Theorem 1 As an immediate consequence, we mention ( ) i

11 Arithmetic Functions Over Rings with Zero Divisors 91 Corollary If R is a UFR such that u-sequentially compact, then A R is a UFR R is a UFR for each positive integer and R w is Final remarks The main results in this paper can be extended by replacing the domain N of arithmetic function with an arithmetical semigroup G This is done in the same manner as that in the proof of Proposition 13 in Knopfmacher [11] as follows: if G has infinitely many primes, then G is algebraically isomorphic to N and we are done If G has only finitely many primes, say, then the ring A R ( G) : = { f : G R} is isomorphic to R [[ x1, x2,, x ]] = R and the condition of R being a UFR thus implies that A R (G) is a UFR Note that u-sequential compactness does not come into consideration in this case Acknowledgement We wish to thank the referee who read the first version of the paper with care and generously provided us with several useful advices References 1 TM Apostol, Introduction to Analytic Number Theory, Springer-Verlag, Berlin-Heidelberg- New York, MA Auslander and DA Buchsbaum, Unique factorization in regular rings, Proc Nat Acad Sci USA 45 (1959), M Billis, Unique factorization in the integers modulo n, Amer Math Monthly 75 (1968), DA Buchsbaum, Some remarks on factorization in power series rings, J Math Mech 10 (196, ED Cashwell and CJ Everett, The ring of number-theoretic functions, Pacific J Math 9 (1959), ED Cashwell and CJ Everett, Formal power series, Pacific J Math 13 (1963), PM Cohn, Unique factorization domains, Amer Math Monthly 80 (1973), J Dugundi, Topology, Allyn & Bacon, Boston, S Galovich, Unique factorization rings with zero divisors, Math Magazine 51 (1978), N Jacobson, Basic Algebra I, WH Freeman & Co, San Francisco, J Knopfmacher, Arithmetical properties of finite rings and algebras, and analytic number theoryv, J Reine Angew Math 271 (1974), CP Lu, On the unique factorization theorem in the ring of number theoretic functions, Illinois J Math 9 (1965), P Samuel, On unique factorization domains, Illinois J Math 5 (196, P Samuel, Unique factorization, Amer Math Monthly 75 (1968), Keywords and phrases: arithmetic functions, rings with zero divisors AMS Subect Classification: 13F15, 11A25, 13F25

MATH 326: RINGS AND MODULES STEFAN GILLE

MATH 326: RINGS AND MODULES STEFAN GILLE MATH 326: RINGS AND MODULES STEFAN GILLE 1 2 STEFAN GILLE 1. Rings We recall first the definition of a group. 1.1. Definition. Let G be a non empty set. The set G is called a group if there is a map called

More information

ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS. Christian Gottlieb

ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS. Christian Gottlieb ON STRONGLY PRIME IDEALS AND STRONGLY ZERO-DIMENSIONAL RINGS Christian Gottlieb Department of Mathematics, University of Stockholm SE-106 91 Stockholm, Sweden gottlieb@math.su.se Abstract A prime ideal

More information

COMMUNICATIONS IN ALGEBRA, 15(3), (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY. John A. Beachy and William D.

COMMUNICATIONS IN ALGEBRA, 15(3), (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY. John A. Beachy and William D. COMMUNICATIONS IN ALGEBRA, 15(3), 471 478 (1987) A NOTE ON PRIME IDEALS WHICH TEST INJECTIVITY John A. Beachy and William D. Weakley Department of Mathematical Sciences Northern Illinois University DeKalb,

More information

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings Throughout these notes, F denotes a field. 1 Long division with remainder We begin with some basic definitions. Definition 1.1. Let f, g F [x]. We say that f divides g,

More information

Prime Properties of the Smallest Ideal of β N

Prime Properties of the Smallest Ideal of β N This paper was published in Semigroup Forum 52 (1996), 357-364. To the best of my knowledge, this is the final version as it was submitted to the publisher. NH Prime Properties of the Smallest Ideal of

More information

Criteria for existence of semigroup homomorphisms and projective rank functions. George M. Bergman

Criteria for existence of semigroup homomorphisms and projective rank functions. George M. Bergman Criteria for existence of semigroup homomorphisms and projective rank functions George M. Bergman Suppose A, S, and T are semigroups, e: A S and f: A T semigroup homomorphisms, and X a generating set for

More information

32 Divisibility Theory in Integral Domains

32 Divisibility Theory in Integral Domains 3 Divisibility Theory in Integral Domains As we have already mentioned, the ring of integers is the prototype of integral domains. There is a divisibility relation on * : an integer b is said to be divisible

More information

RINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS

RINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS RINGS ISOMORPHIC TO THEIR NONTRIVIAL SUBRINGS JACOB LOJEWSKI AND GREG OMAN Abstract. Let G be a nontrivial group, and assume that G = H for every nontrivial subgroup H of G. It is a simple matter to prove

More information

On the vanishing of Tor of the absolute integral closure

On the vanishing of Tor of the absolute integral closure On the vanishing of Tor of the absolute integral closure Hans Schoutens Department of Mathematics NYC College of Technology City University of New York NY, NY 11201 (USA) Abstract Let R be an excellent

More information

Part IX. Factorization

Part 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 information

NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1.

NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS. Contents. 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4. 1. NOTES ON LINEAR ALGEBRA OVER INTEGRAL DOMAINS Contents 1. Introduction 1 2. Rank and basis 1 3. The set of linear maps 4 1. Introduction These notes establish some basic results about linear algebra over

More information

8. Prime Factorization and Primary Decompositions

8. Prime Factorization and Primary Decompositions 70 Andreas Gathmann 8. Prime Factorization and Primary Decompositions 13 When it comes to actual computations, Euclidean domains (or more generally principal ideal domains) are probably the nicest rings

More information

2. Intersection Multiplicities

2. Intersection Multiplicities 2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.

More information

Introduction Non-uniqueness of factorization in A[x]... 66

Introduction Non-uniqueness of factorization in A[x]... 66 Abstract In this work, we study the factorization in A[x], where A is an Artinian local principal ideal ring (briefly SPIR), whose maximal ideal, (t), has nilpotency h: this is not a Unique Factorization

More information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information MRQ 2017 School of Mathematics and Statistics MT5836 Galois Theory Handout 0: Course Information Lecturer: Martyn Quick, Room 326. Prerequisite: MT3505 (or MT4517) Rings & Fields Lectures: Tutorials: Mon

More information

(Rgs) Rings Math 683L (Summer 2003)

(Rgs) Rings Math 683L (Summer 2003) (Rgs) Rings Math 683L (Summer 2003) We will first summarise the general results that we will need from the theory of rings. A unital ring, R, is a set equipped with two binary operations + and such that

More information

where c R and the content of f is one. 1

where c R and the content of f is one. 1 9. Gauss Lemma Obviously it would be nice to have some more general methods of proving that a given polynomial is irreducible. The first is rather beautiful and due to Gauss. The basic idea is as follows.

More information

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d The Algebraic Method 0.1. Integral Domains. Emmy Noether and others quickly realized that the classical algebraic number theory of Dedekind could be abstracted completely. In particular, rings of integers

More information

Rings and groups. Ya. Sysak

Rings and groups. Ya. Sysak Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...

More information

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman October 17, 2006 TALK SLOWLY AND WRITE NEATLY!! 1 0.1 Factorization 0.1.1 Factorization of Integers and Polynomials Now we are going

More information

Handout - Algebra Review

Handout - Algebra Review Algebraic Geometry Instructor: Mohamed Omar Handout - Algebra Review Sept 9 Math 176 Today will be a thorough review of the algebra prerequisites we will need throughout this course. Get through as much

More information

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma Chapter 2 Integral Extensions 2.1 Integral Elements 2.1.1 Definitions and Comments Let R be a subring of the ring S, and let α S. We say that α is integral over R if α isarootofamonic polynomial with coefficients

More information

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ. ANDREW SALCH 1. Hilbert s Nullstellensatz. The last lecture left off with the claim that, if J k[x 1,..., x n ] is an ideal, then

More information

4.4 Noetherian Rings

4.4 Noetherian Rings 4.4 Noetherian Rings Recall that a ring A is Noetherian if it satisfies the following three equivalent conditions: (1) Every nonempty set of ideals of A has a maximal element (the maximal condition); (2)

More information

ZERO-DIMENSIONALITY AND SERRE RINGS. D. Karim

ZERO-DIMENSIONALITY AND SERRE RINGS. D. Karim Serdica Math. J. 30 (2004), 87 94 ZERO-DIMENSIONALITY AND SERRE RINGS D. Karim Communicated by L. Avramov Abstract. This paper deals with zero-dimensionality. We investigate the problem of whether a Serre

More information

Polynomial Rings. i=0. i=0. n+m. i=0. k=0

Polynomial Rings. i=0. i=0. n+m. i=0. k=0 Polynomial Rings 1. Definitions and Basic Properties For convenience, the ring will always be a commutative ring with identity. Basic Properties The polynomial ring R[x] in the indeterminate x with coefficients

More information

Formal power series rings, inverse limits, and I-adic completions of rings

Formal power series rings, inverse limits, and I-adic completions of rings Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely

More information

Prime Rational Functions and Integral Polynomials. Jesse Larone, Bachelor of Science. Mathematics and Statistics

Prime Rational Functions and Integral Polynomials. Jesse Larone, Bachelor of Science. Mathematics and Statistics Prime Rational Functions and Integral Polynomials Jesse Larone, Bachelor of Science Mathematics and Statistics Submitted in partial fulfillment of the requirements for the degree of Master of Science Faculty

More information

arxiv: v3 [math.ac] 29 Aug 2018

arxiv: 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 information

ALGEBRA HANDOUT 2.3: FACTORIZATION IN INTEGRAL DOMAINS. In this handout we wish to describe some aspects of the theory of factorization.

ALGEBRA HANDOUT 2.3: FACTORIZATION IN INTEGRAL DOMAINS. In this handout we wish to describe some aspects of the theory of factorization. ALGEBRA HANDOUT 2.3: FACTORIZATION IN INTEGRAL DOMAINS PETE L. CLARK In this handout we wish to describe some aspects of the theory of factorization. The first goal is to state what it means for an arbitrary

More information

Mathematics for Cryptography

Mathematics for Cryptography Mathematics for Cryptography Douglas R. Stinson David R. Cheriton School of Computer Science University of Waterloo Waterloo, Ontario, N2L 3G1, Canada March 15, 2016 1 Groups and Modular Arithmetic 1.1

More information

Chapter 8. P-adic numbers. 8.1 Absolute values

Chapter 8. P-adic numbers. 8.1 Absolute values Chapter 8 P-adic numbers Literature: N. Koblitz, p-adic Numbers, p-adic Analysis, and Zeta-Functions, 2nd edition, Graduate Texts in Mathematics 58, Springer Verlag 1984, corrected 2nd printing 1996, Chap.

More information

MODEL ANSWERS TO HWK #10

MODEL ANSWERS TO HWK #10 MODEL ANSWERS TO HWK #10 1. (i) As x + 4 has degree one, either it divides x 3 6x + 7 or these two polynomials are coprime. But if x + 4 divides x 3 6x + 7 then x = 4 is a root of x 3 6x + 7, which it

More information

How many units can a commutative ring have?

How many units can a commutative ring have? How many units can a commutative ring have? Sunil K. Chebolu and Keir Locridge Abstract. László Fuchs posed the following problem in 960, which remains open: classify the abelian groups occurring as the

More information

arxiv: v1 [math.ac] 28 Dec 2007

arxiv: v1 [math.ac] 28 Dec 2007 arxiv:0712.4329v1 [math.ac] 28 Dec 2007 On the value-semigroup of a simple complete ideal in a two-dimensional regular local ring S. Greco Politecnico di Torino Abstract K. Kiyek University of Paderborn

More information

TROPICAL SCHEME THEORY

TROPICAL 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 information

On z -ideals in C(X) F. A z a r p a n a h, O. A. S. K a r a m z a d e h and A. R e z a i A l i a b a d (Ahvaz)

On z -ideals in C(X) F. A z a r p a n a h, O. A. S. K a r a m z a d e h and A. R e z a i A l i a b a d (Ahvaz) F U N D A M E N T A MATHEMATICAE 160 (1999) On z -ideals in C(X) by F. A z a r p a n a h, O. A. S. K a r a m z a d e h and A. R e z a i A l i a b a d (Ahvaz) Abstract. An ideal I in a commutative ring

More information

Example: This theorem is the easiest way to test an ideal (or an element) is prime. Z[x] (x)

Example: This theorem is the easiest way to test an ideal (or an element) is prime. Z[x] (x) Math 4010/5530 Factorization Theory January 2016 Let R be an integral domain. Recall that s, t R are called associates if they differ by a unit (i.e. there is some c R such that s = ct). Let R be a commutative

More information

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u.

Theorem 5.3. Let E/F, E = F (u), be a simple field extension. Then u is algebraic if and only if E/F is finite. In this case, [E : F ] = deg f u. 5. Fields 5.1. Field extensions. Let F E be a subfield of the field E. We also describe this situation by saying that E is an extension field of F, and we write E/F to express this fact. If E/F is a field

More information

Polynomials, Ideals, and Gröbner Bases

Polynomials, 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 information

Chapter One. The Real Number System

Chapter One. The Real Number System Chapter One. The Real Number System We shall give a quick introduction to the real number system. It is imperative that we know how the set of real numbers behaves in the way that its completeness and

More information

TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH

TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH TIGHT CLOSURE IN NON EQUIDIMENSIONAL RINGS ANURAG K. SINGH 1. Introduction Throughout our discussion, all rings are commutative, Noetherian and have an identity element. The notion of the tight closure

More information

Discrete valuation rings. Suppose F is a field. A discrete valuation on F is a function v : F {0} Z such that:

Discrete valuation rings. Suppose F is a field. A discrete valuation on F is a function v : F {0} Z such that: Discrete valuation rings Suppose F is a field. A discrete valuation on F is a function v : F {0} Z such that: 1. v is surjective. 2. v(ab) = v(a) + v(b). 3. v(a + b) min(v(a), v(b)) if a + b 0. Proposition:

More information

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism

be any ring homomorphism and let s S be any element of S. Then there is a unique ring homomorphism 21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UFD. Therefore

More information

Minimal order semigroups with specified commuting probability

Minimal order semigroups with specified commuting probability Minimal order semigroups with specified commuting probability STEPHEN M. BUCKLEY Abstract. We determine the minimal order of a semigroup whose commuting probability equals any specified rational value

More information

VARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES

VARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES Bull. Austral. Math. Soc. 78 (2008), 487 495 doi:10.1017/s0004972708000877 VARIETIES OF ABELIAN TOPOLOGICAL GROUPS AND SCATTERED SPACES CAROLYN E. MCPHAIL and SIDNEY A. MORRIS (Received 3 March 2008) Abstract

More information

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R.

Rings. Chapter 1. Definition 1.2. A commutative ring R is a ring in which multiplication is commutative. That is, ab = ba for all a, b R. Chapter 1 Rings We have spent the term studying groups. A group is a set with a binary operation that satisfies certain properties. But many algebraic structures such as R, Z, and Z n come with two binary

More information

2. Prime and Maximal Ideals

2. Prime and Maximal Ideals 18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let

More information

Factorization in Polynomial Rings

Factorization in Polynomial Rings Factorization in Polynomial Rings These notes are a summary of some of the important points on divisibility in polynomial rings from 17 and 18. PIDs Definition 1 A principal ideal domain (PID) is an integral

More information

P-Ideals and PMP-Ideals in Commutative Rings

P-Ideals and PMP-Ideals in Commutative Rings Journal of Mathematical Extension Vol. 10, No. 4, (2016), 19-33 Journal ISSN: 1735-8299 of Mathematical Extension Vol. URL: 10, http://www.ijmex.com No. 4, (2016), 19-33 ISSN: 1735-8299 URL: http://www.ijmex.com

More information

Noetherian property of infinite EI categories

Noetherian property of infinite EI categories Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result

More information

MATH FINAL EXAM REVIEW HINTS

MATH FINAL EXAM REVIEW HINTS MATH 109 - FINAL EXAM REVIEW HINTS Answer: Answer: 1. Cardinality (1) Let a < b be two real numbers and define f : (0, 1) (a, b) by f(t) = (1 t)a + tb. (a) Prove that f is a bijection. (b) Prove that any

More information

Finite pseudocomplemented lattices: The spectra and the Glivenko congruence

Finite pseudocomplemented lattices: The spectra and the Glivenko congruence Finite pseudocomplemented lattices: The spectra and the Glivenko congruence T. Katriňák and J. Guričan Abstract. Recently, Grätzer, Gunderson and Quackenbush have characterized the spectra of finite pseudocomplemented

More information

THE 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. 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 information

ON RIGHT S-NOETHERIAN RINGS AND S-NOETHERIAN MODULES

ON RIGHT S-NOETHERIAN RINGS AND S-NOETHERIAN MODULES ON RIGHT S-NOETHERIAN RINGS AND S-NOETHERIAN MODULES ZEHRA BİLGİN, MANUEL L. REYES, AND ÜNSAL TEKİR Abstract. In this paper we study right S-Noetherian rings and modules, extending notions introduced by

More information

arxiv:math/ v1 [math.ac] 19 Sep 2002 Ian M. Aberbach

arxiv:math/ v1 [math.ac] 19 Sep 2002 Ian M. Aberbach EXTENSION OF WEAKLY AND STRONGLY F-REGULAR RINGS BY FLAT MAPS arxiv:math/0209251v1 [math.ac] 19 Sep 2002 Ian M. Aberbach 1. Introduction Throughout this paper all rings will be Noetherian of positive characteristic

More information

Strongly Nil -Clean Rings

Strongly Nil -Clean Rings Strongly Nil -Clean Rings Abdullah HARMANCI Huanyin CHEN and A. Çiğdem ÖZCAN Abstract A -ring R is called strongly nil -clean if every element of R is the sum of a projection and a nilpotent element that

More information

STRONG CONVERGENCE PROPERTIES OF SFT RINGS. John T. Condo 748 Jamie Way Atlanta, GA 30188

STRONG CONVERGENCE PROPERTIES OF SFT RINGS. John T. Condo 748 Jamie Way Atlanta, GA 30188 STRONG CONVERGENCE PROPERTIES OF SFT RINGS John T. Condo 748 Jamie Way Atlanta, GA 30188 Jim Coykendall Department of Mathematics North Dakota State University Fargo, ND 58105-5075 Abstract This paper

More information

SOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS. Roger C. Alperin

SOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS. Roger C. Alperin SOLVABLE GROUPS OF EXPONENTIAL GROWTH AND HNN EXTENSIONS Roger C. Alperin An extraordinary theorem of Gromov, [Gv], characterizes the finitely generated groups of polynomial growth; a group has polynomial

More information

McCoy Rings Relative to a Monoid

McCoy Rings Relative to a Monoid International Journal of Algebra, Vol. 4, 2010, no. 10, 469-476 McCoy Rings Relative to a Monoid M. Khoramdel Department of Azad University, Boushehr, Iran M khoramdel@sina.kntu.ac.ir Mehdikhoramdel@gmail.com

More information

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC). Lecture 2 1. Noetherian and Artinian rings and modules Let A be a commutative ring with identity, A M a module, and φ : M N an A-linear map. Then ker φ = {m M : φ(m) = 0} is a submodule of M and im φ is

More information

A Note on Finitely Generated Multiplication Semimodules over Commutative Semirings

A Note on Finitely Generated Multiplication Semimodules over Commutative Semirings International Journal of Algebra, Vol. 4, 2010, no. 8, 389-396 A Note on Finitely Generated Multiplication Semimodules over Commutative Semirings S. Ebrahimi Atani 1 and M. Shajari Kohan Department of

More information

Ideals Of The Ring Of Higher Dimensional Dual Numbers

Ideals Of The Ring Of Higher Dimensional Dual Numbers Journal of Advances in Algebra (AA). ISSN 0973-6964 Volume 9, Number 1 (2016), pp. 1 8 Research India Publications http://www.ripublication.com/aa.htm Ideals Of The Ring Of Higher Dimensional Dual Numbers

More information

Algebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.

More information

On some properties of elementary derivations in dimension six

On some properties of elementary derivations in dimension six Journal of Pure and Applied Algebra 56 (200) 69 79 www.elsevier.com/locate/jpaa On some properties of elementary derivations in dimension six Joseph Khoury Department of Mathematics, University of Ottawa,

More information

NOTES ON SIMPLE NUMBER THEORY

NOTES ON SIMPLE NUMBER THEORY NOTES ON SIMPLE NUMBER THEORY DAMIEN PITMAN 1. Definitions & Theorems Definition: We say d divides m iff d is positive integer and m is an integer and there is an integer q such that m = dq. In this case,

More information

Lecture 6. s S} is a ring.

Lecture 6. s S} is a ring. Lecture 6 1 Localization Definition 1.1. Let A be a ring. A set S A is called multiplicative if x, y S implies xy S. We will assume that 1 S and 0 / S. (If 1 / S, then one can use Ŝ = {1} S instead of

More information

arxiv: v1 [math.ra] 6 Sep 2018

arxiv: v1 [math.ra] 6 Sep 2018 arxiv:1809.02117v1 [math.ra] 6 Sep 2018 UNITAL RINGS, RINGS WITH ENOUGH IDEMPOTENTS, RINGS WITH SETS OF LOCAL UNITS, LOCALLY UNITAL RINGS, S-UNITAL RINGS AND IDEMPOTENT RINGS PATRIK NYSTEDT University

More information

Math Introduction to Modern Algebra

Math Introduction to Modern Algebra Math 343 - Introduction to Modern Algebra Notes Field Theory Basics Let R be a ring. M is called a maximal ideal of R if M is a proper ideal of R and there is no proper ideal of R that properly contains

More information

Chapter 5. Modular arithmetic. 5.1 The modular ring

Chapter 5. Modular arithmetic. 5.1 The modular ring Chapter 5 Modular arithmetic 5.1 The modular ring Definition 5.1. Suppose n N and x, y Z. Then we say that x, y are equivalent modulo n, and we write x y mod n if n x y. It is evident that equivalence

More information

11. Finitely-generated modules

11. Finitely-generated modules 11. Finitely-generated modules 11.1 Free modules 11.2 Finitely-generated modules over domains 11.3 PIDs are UFDs 11.4 Structure theorem, again 11.5 Recovering the earlier structure theorem 11.6 Submodules

More information

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime

More information

STRONGLY JÓNSSON AND STRONGLY HS MODULES

STRONGLY JÓNSSON AND STRONGLY HS MODULES STRONGLY JÓNSSON AND STRONGLY HS MODULES GREG OMAN Abstract. Let R be a commutative ring with identity and let M be an infinite unitary R-module. Then M is a Jónsson module provided every proper R-submodule

More information

Rings and Fields Theorems

Rings and Fields Theorems Rings and Fields Theorems Rajesh Kumar PMATH 334 Intro to Rings and Fields Fall 2009 October 25, 2009 12 Rings and Fields 12.1 Definition Groups and Abelian Groups Let R be a non-empty set. Let + and (multiplication)

More information

PRIMALITY, IRREDUCIBILITY, AND COMPLETE IRREDUCIBILITY IN MODULES OVER COMMUTATIVE RINGS

PRIMALITY, IRREDUCIBILITY, AND COMPLETE IRREDUCIBILITY IN MODULES OVER COMMUTATIVE RINGS PRIMALITY, IRREDUCIBILITY, AND COMPLETE IRREDUCIBILITY IN MODULES OVER COMMUTATIVE RINGS TOMA ALBU and PATRICK F. SMITH The aim of this paper is to extend from ideals to modules over commutative rings

More information

Algebraic function fields

Algebraic function fields Algebraic function fields 1 Places Definition An algebraic function field F/K of one variable over K is an extension field F K such that F is a finite algebraic extension of K(x) for some element x F which

More information

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792 Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838

More information

Primary Decompositions of Powers of Ideals. Irena Swanson

Primary Decompositions of Powers of Ideals. Irena Swanson Primary Decompositions of Powers of Ideals Irena Swanson 2 Department of Mathematics, University of Michigan Ann Arbor, Michigan 48109-1003, USA iswanson@math.lsa.umich.edu 1 Abstract Let R be a Noetherian

More information

THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter

THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS. K. R. Goodearl and E. S. Letzter THE CLOSED-POINT ZARISKI TOPOLOGY FOR IRREDUCIBLE REPRESENTATIONS K. R. Goodearl and E. S. Letzter Abstract. In previous work, the second author introduced a topology, for spaces of irreducible representations,

More information

ARCHIVUM MATHEMATICUM (BRNO) Tomus 48 (2012), M. Sambasiva Rao

ARCHIVUM MATHEMATICUM (BRNO) Tomus 48 (2012), M. Sambasiva Rao ARCHIVUM MATHEMATICUM (BRNO) Tomus 48 (2012), 97 105 δ-ideals IN PSEUDO-COMPLEMENTED DISTRIBUTIVE LATTICES M. Sambasiva Rao Abstract. The concept of δ-ideals is introduced in a pseudo-complemented distributive

More information

DIVISIBLE MULTIPLICATIVE GROUPS OF FIELDS

DIVISIBLE MULTIPLICATIVE GROUPS OF FIELDS DIVISIBLE MULTIPLICATIVE GROUPS OF FIELDS GREG OMAN Abstract. Some time ago, Laszlo Fuchs asked the following question: which abelian groups can be realized as the multiplicative group of (nonzero elements

More information

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12 MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

More information

The Number of Homomorphic Images of an Abelian Group

The Number of Homomorphic Images of an Abelian Group International Journal of Algebra, Vol. 5, 2011, no. 3, 107-115 The Number of Homomorphic Images of an Abelian Group Greg Oman Ohio University, 321 Morton Hall Athens, OH 45701, USA ggoman@gmail.com Abstract.

More information

ANNIHILATOR IDEALS IN ALMOST SEMILATTICE

ANNIHILATOR IDEALS IN ALMOST SEMILATTICE BULLETIN OF THE INTERNATIONAL MATHEMATICAL VIRTUAL INSTITUTE ISSN (p) 2303-4874, ISSN (o) 2303-4955 www.imvibl.org /JOURNALS / BULLETIN Vol. 7(2017), 339-352 DOI: 10.7251/BIMVI1702339R Former BULLETIN

More information

A Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes.

A Harvard Sampler. Evan Chen. February 23, I crashed a few math classes at Harvard on February 21, Here are notes from the classes. A Harvard Sampler Evan Chen February 23, 2014 I crashed a few math classes at Harvard on February 21, 2014. Here are notes from the classes. 1 MATH 123: Algebra II In this lecture we will make two assumptions.

More information

Homotopy and homology groups of the n-dimensional Hawaiian earring

Homotopy and homology groups of the n-dimensional Hawaiian earring F U N D A M E N T A MATHEMATICAE 165 (2000) Homotopy and homology groups of the n-dimensional Hawaiian earring by Katsuya E d a (Tokyo) and Kazuhiro K a w a m u r a (Tsukuba) Abstract. For the n-dimensional

More information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of

More information

Homological Dimension

Homological Dimension Homological Dimension David E V Rose April 17, 29 1 Introduction In this note, we explore the notion of homological dimension After introducing the basic concepts, our two main goals are to give a proof

More information

However another possibility is

However 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 information

THE UNREASONABLE SLIGHTNESS OF E 2 OVER IMAGINARY QUADRATIC RINGS

THE UNREASONABLE SLIGHTNESS OF E 2 OVER IMAGINARY QUADRATIC RINGS THE UNREASONABLE SLIGHTNESS OF E 2 OVER IMAGINARY QUADRATIC RINGS BOGDAN NICA ABSTRACT. It is almost always the case that the elementary matrices generate the special linear group SL n over a ring of integers

More information

Bulletin of the. Iranian Mathematical Society

Bulletin of the. Iranian Mathematical Society ISSN: 1017-060X (Print) ISSN: 1735-8515 (Online) Bulletin of the Iranian Mathematical Society Vol. 41 (2015), No. 4, pp. 815 824. Title: Pseudo-almost valuation rings Author(s): R. Jahani-Nezhad and F.

More information

Math 210B. Artin Rees and completions

Math 210B. Artin Rees and completions Math 210B. Artin Rees and completions 1. Definitions and an example Let A be a ring, I an ideal, and M an A-module. In class we defined the I-adic completion of M to be M = lim M/I n M. We will soon show

More information

NOTES ON FINITE FIELDS

NOTES ON FINITE FIELDS NOTES ON FINITE FIELDS AARON LANDESMAN CONTENTS 1. Introduction to finite fields 2 2. Definition and constructions of fields 3 2.1. The definition of a field 3 2.2. Constructing field extensions by adjoining

More information

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples Chapter 3 Rings Rings are additive abelian groups with a second operation called multiplication. The connection between the two operations is provided by the distributive law. Assuming the results of Chapter

More information

Primal, completely irreducible, and primary meet decompositions in modules

Primal, completely irreducible, and primary meet decompositions in modules Bull. Math. Soc. Sci. Math. Roumanie Tome 54(102) No. 4, 2011, 297 311 Primal, completely irreducible, and primary meet decompositions in modules by Toma Albu and Patrick F. Smith Abstract This paper was

More information

Chapter 5: The Integers

Chapter 5: The Integers c Dr Oksana Shatalov, Fall 2014 1 Chapter 5: The Integers 5.1: Axioms and Basic Properties Operations on the set of integers, Z: addition and multiplication with the following properties: A1. Addition

More information

Formal Groups. Niki Myrto Mavraki

Formal Groups. Niki Myrto Mavraki Formal Groups Niki Myrto Mavraki Contents 1. Introduction 1 2. Some preliminaries 2 3. Formal Groups (1 dimensional) 2 4. Groups associated to formal groups 9 5. The Invariant Differential 11 6. The Formal

More information

SUMS OF UNITS IN SELF-INJECTIVE RINGS

SUMS OF UNITS IN SELF-INJECTIVE RINGS SUMS OF UNITS IN SELF-INJECTIVE RINGS ANJANA KHURANA, DINESH KHURANA, AND PACE P. NIELSEN Abstract. We prove that if no field of order less than n + 2 is a homomorphic image of a right self-injective ring

More information

Jónsson posets and unary Jónsson algebras

Jónsson posets and unary Jónsson algebras Jónsson posets and unary Jónsson algebras Keith A. Kearnes and Greg Oman Abstract. We show that if P is an infinite poset whose proper order ideals have cardinality strictly less than P, and κ is a cardinal

More information