Integral Domains: ED, PID and UFDs

Size: px
Start display at page:

Download "Integral Domains: ED, PID and UFDs"

Transcription

1 CHAPTER 2 Integral Domains: ED, PID and UFDs 2.1. Domains In this whole chapter, R will denote a commutative ring. We will write R := R \{0} to refer to the set of all nonzero elements of R. DEFINITION Let R be a ring, a R. We say that a is a unit if there is some b R such that ab =1=ba. When such an element b exists, it is called the inverse of a, and denoted by b = a 1. The set of all units of the ring R is denoted by U(R) EXERCISE Show that U(R) is a multiplicative group. DEFINITION Let R be a nontrivial ring. We say that R is a field if every nonzero element of R is a unit, i.e. if for each a R there is some b R such that ab = ba =1. REMARK For historical reasons, normally one only considers commutative fields. There are examples of noncommutative rings such that every nonzero element is invertible, for example this happens for the quaternion ring. Some books call those rings noncommutative fields, but it is much more common to find them under the denomination of division rings. EXAMPLES i) Q, R and C are all fields. ii) Z p is a field whenever p is a prime number. iii) R(x) = f(x) g(x), f,g R[x],g = 0 the field of rational functions. DEFINITION Let R be a nontrivial ring. We say that R is an integral domain (ID for short) if whenever a, b R are such that ab =0, then necessarily a =0or b =0. In other words, if whenever a, b = 0then one has ab = 0. EXAMPLES i) The ring of integers Z. ii) Every field F is an integral domain. iii) If R is an ID, and S R is a subring of R, then S is also an ID. In particular, any subring of a field is an integral domain. iv) If R is an integral domain, then the polynomial ring R[x] is also an integral domain. Integral domains have very nice arithmetical properties similar to some well known ones that we find in the ring of integers. An example is the following: PROPOSITION (Cancellation law). Let R be an ID, and let a, b, c R such that ab = ac. If a = 0, one has b = c. PROOF. From ab = ac one gets 0=ab ac = a(b c); as a = 0it must be b c =0, and thus b = c. We know that every subring of a field is an integral domain. Actually, the converse is also true, i.e. for any integral domain R we can find a field Q such that R is a subring of Q. THEOREM (Field of fractions). Let R be an integral domain, then there is a field Q satisfying the following properties: 9

2 10 2. INTEGRAL DOMAINS: ED, PID AND UFDS (1) R Q subring, (2) Every q Q can be written as q = ab 1 for some a, b R, b = 0. The field Q is unique (up to isomorphism) and receives the name of field of fractions (or field of quotients) of R. PROOF. The proof is constructive, giving an explicit description of the field Q. Actually, the construction mimics the procedure of constructing the rational numbers from integers. More precisely, we define Q as where we define the equivalence relation Q := {(a, b) a R, b R } /, (a, b) (c, d) ad = bc. If the equivalence class of a pair (a, b) under the above equivalence relation is denoted by (a, b), we define the operations in Q as With these operations, Q is a field. 1 (a, b)+(c, d) :=(ad + bc, bd) (a, b)(c, d) :=(ac, bd). DEFINITION Let R be a nonzero ring. We say that R is simple if its only ideals are the zero ideal {0} and the total ideal R. PROPOSITION A (commutative) ring R is simple if and only if it is a field. PROOF. Assume that R is simple, and let a R. Since R is simple, one gets (a) =R, thus 1 (a), and hence there must exist some b R such that 1=ab, and hence a U(R); thus, every nonzero element of R is a unit. Conversely, if R is a field, and 0 = I R, let a I a nonzero element of I. Since R is a field, a must be a unit, so there is b R such that ab =1, but since a I, the absorbency property ensures that 1=ab I, and thus I = R, so R is simple. DEFINITION Let R be a ring and I R an ideal. We say that I is a maximal ideal if I = R is a proper ideal and whenever I J R one has J = I or J = R. In other words, I is maximal, with respect to inclusion, among proper ideals, that is, there is no proper ideal J such that I J. PROPOSITION Let R be a ring and I R an ideal. The quotient ring R/I is a field if and only if I is maximal. PROOF. R/I is a field if and only if it is simple, if and only if R/I = 0and for all K R/I, either K =0or K = R/I. By the correspondence theorem, each ideal K of R/I must be of the form J/I for I J R, so R/I is a field if and only if J/I =0or J/I = R/I for all J I, or equivalently if and only if for all J containing I, either J = I or J = R, i.e. if and only if I is maximal. DEFINITION An ideal I R is called a prime ideal if it is a proper ideal of R such that whenever ab I then either a I or b I. PROPOSITION Let I R for a ring R, then R/I is an integral domain if and only if I is a prime ideal. PROOF. R/I ID if and only if R/I = 0and for all a, b R/I such that ab =0then either a =0or b =0. This latest conditions are equivalent to I = R and whenever ab I, then either a I or b I, i.e. if and only if I is a prime ideal. 1 I will include a fully detailed proof of this theorem in the way it was stated on the exercise sheet. Lecture notes will be upgraded after Reading Week to include that detailed proof.

3 2.3. PRIMES AND IRREDUCIBLES 11 COROLLARY Every maximal ideal is a prime ideal. PROOF. If I maximal, then R/I is a field, in particular R/I is an ID, and thus I is prime Ideals and divisibility DEFINITION Let R a ring, a, b R. We say that a divides b, or that b is a multpiple of a, or that b is divisible by a, and write a b if there is some r R such that b = ar. Divisibility can be nicely described in terms of ideals, since a b if and only if b = ar for some r R, if and only if b (a), if and only if (b) (a). DEFINITION Let a, b R for some ring R, we say that b is associated to a, or that a and b are associates if there is some unit u U(R) such that b = ua. If a and b are associates, we will write a b. PROPOSITION Let R be an integral domain, a, b R. The following properties hold: (1) a b if and only if a b and b a, if and only if (a) =(b). (2) a 1 if and only if a U(R), if and only if (a) = (1) = R. (3) a 0 if and only if a =0, if and only if (a) = (0) = 0. (4) Being associates is an equivalence relation on R. PROOF. (1). If a b then b = au for some u U(R), so a b, but also a = bu 1, so b a. If a b, b a there are some c, d R such that b = ac, a = bd, and thus one gets b = ac = bdc. By the cancellative law it follows that cd =1, so both c, d U(R) and we get a b. Also, a b and b a if and only if (a) (b) and (b) (a), if and only if (a) =(b). (2). If a 1 then a = u1 =u U(R). Conversely, if a U(r), as a = a1 we get a 1. (3). a 0 if and only if (a) =(0), if and only if a =0. (4). By (1), a b if and only if (a) =(b), so being associates is an equivalence relation. EXAMPLES (1) U(Q) =Q, or more generally for any field F one has U(F) =F, and the only classes of associates are {0} and F. (2) Let R be an ID, then U(R[x]) = U(R). So for instance (x + 1) 2(x + 1) in Q[x], but not in Z[x], as U(Z[x]) = U(Z) ={ 1, 1}. (3) U(Z n )={a {1,...,n 1} gcd(a, n) =1} Primes and irreducibles DEFINITION Let R be a (commutative) ID. An element a R is said to be a prime, or a prime element of R if: (1) a = 0, a/ U(R), i.e. a is neither 0 nor a unit of R. (2) Whenever b, c R are such that a bc, then either a b or a c. The above conditions can be rewritten in terms of the principal ideal generated by a as follows: (1 ) (0) (a) R (2 ) If bc (a), then either b (a) or c (a). In other words, for a R, we have that a is prime if and only if the principal ideal (a) is a prime ideal. DEFINITION Let R be an ID, a R. We say that b R is a proper divisor of a if b a and b is neither a unit or an associate of a, i.e. if (a) (b) R.

4 12 2. INTEGRAL DOMAINS: ED, PID AND UFDS DEFINITION Let R be an ID. We say that an element a R is an irreducible element (also called an atom) if (1) a = 0, a/ U(R), (2) a has no proper divisors, i.e. if b a then either b U(R) or b a. In terms of ideals, a is irreducible if whenever (a) (b) then either (a) =(b) or (b) =R. In other words, a is irreducible if the principal ideal (a) is maximal among proper principal ideals. EXAMPLES (1) 2 and 3 are irreducible in Z (actually, in Z irreducible elements an primes are the same thing). (2) x 2 +1 is irreducible in R[x], but not in C[x], as one has (x 2 +1) = (x i)(x+i). (3) 6 is not irreducible in Z, as 6=2 3. The notion of irreducibility admits several equivalent descriptions: PROPOSITION Let a R a nonzero, nonunit element of an ID R. The following are equivalent: (1) a is irreducible. (2) If a = bc for some b, c R, then either b U(R) or c U(R). (3) If a = bc for some b, c R, then either b a or c a. The proof is completely straightforward. PROPOSITION Let R be an integral domain. Then every prime element a R is also irreducible. PROOF. Let R be a prime, and suppose a = bc, then one has b a, c a. As a bc and a is prime, then either a b or a c, yielding either a b or a c Principal ideal domains DEFINITION Let R be an ID. One says that R is a principal ideal domain (PID for short) if every ideal is a principal ideal, i.e. for any I R there is some a R such that I =(a). REMARK. If R is a PID and I =(a), then the element a is unique up to associates, as for any integral domain one has (a) =(b) if and only if a b. EXAMPLES (1) Let F be a field. If I R ideal, then either I = 0 = (0) or I = R = (1), so F is a principal ideal domain. (2) Let I Z, as Z is a cyclic group, every additive subgroup is also cyclic, and thus I =(n) for some n; hence, Z is a PID. PROPOSITION Let R be a PID, then every irreducible a R is also prime. PROOF. Let a R be irreducible, we will show that a is prime by showing the ideal (a) is a maximal ideal, and thus a prime ideal. Let I be an ideal such that (a) I. As R is a PID, it must be I =(b) for some b R, thus we have a (b) and hence a = bc for some c R. As a is irreducible, either b U(R), and hence (b) =R, or c U(R), in which case a b and thus (a) =(b) =I. So, (a) is a maximal ideal and by Corollary it follows that (a) is a prime ideal, and hence a is prime. COROLLARY In a PID the notions of prime and irreducible are equivalent.

5 2.4. PRINCIPAL IDEAL DOMAINS 13 Note that from the proof of Proposition it follows that if R is a PID and a R is irreducible, then (a) is a maximal ideal and thus R/(a) is a field. We know already that Z is a PID, and we will show later in this chapter that for any field F the polynomial ring F[x] is also a PID. As we will see, the technique that proves F[x] is PID is very similar to the one that allow us to prove that Z is a PID: There is some kind of norm or measure of how big nonzero elements are. There is a division with remainder with the remainder being strictly smaller than the divisor. These properties can be axiomatized, leading to a family of particularly nice rings. DEFINITION An Euclidean domain (ED for short) is an ID R endowed with a map N : R N such that ED1 For a, b R, if a b then N(a) N(b). ED2 For any a, b R, with b = 0, there exist q, r R such that a = bq + r and either r =0or N(r) <N(a). REMARK If (R, N) is a ED, since for all a R one has 1 a, one must have N(1) N(a). In other words, the norm of the unit element is the smallest amont the norms of all the elements in the ring. EXAMPLES (1) Z, with the map N defined as N(a) := a for all a = 0. The division is the usual one. (2) For any field F, the polynomial ring F[x] is and ED, with norm map N(f) := deg(f). Here we use the usual division of polynomials. (3) The ring of Gaussian integers Z[i] ={a + bi a, b Z}, with norm N(z) = zz = a 2 + b 2 for any z = a + bi Z[i], is an ED. PROOF. The ring Z[i] is an integral domain because we have Z[i] C, and C is a field. ED1. If z w, then w = zt, and then N(w) =N(zt) =ztzt = zztt = N(z)N(t), thus N(z) N(w). ED2. Let z,w Z[i], with w = 0. As Z[i] Q(i) and Q(i) is a field we can take zw 1 = a+bi in Q(i). Pick now integers u, v Z such that a u 1/2, b v 1/2 (u and v are the rounding of a and b, respectively); the element q = u + vi belongs to Z[i]. Now let s =(a u)+(b v)i Q(i), and define r := sw. Note that qw + r = qw + sw =(q + s)w =(a + bi)w = zw 1 w = z Z[i], and thus r = z qw Z[i]. Finally observe that N(r) = N(s)N(w) =ssn(w) =((a u) 2 +(b v) 2 )N(w) N(w) <N(w), 4 so q and r satisfy the required properties. PROPOSITION If R is an ID with a map N : R N satisfying ED2, then R is a PID. In particular, every Euclidean Domain is a PID. PROOF. Let I R be a (nonzero) ideal. Then there is some a I, a = 0, such that N(a) is minimal. Let b I; by ED2, there are some q, r R such that b = aq + r and wither r =0or N(r) <N(a), but r = b qa I (as both a, b I) and since N(a) is minimal, we must have r =0, and hence b = qa is a multiple of a, henceforth I =(a).

6 14 2. INTEGRAL DOMAINS: ED, PID AND UFDS COROLLARY The rings Z, F[x], Z[i] are all PDIs. PROPOSITION Let R be an ED, a R, then a U(R) if and only if N(a) = N(1). PROOF. Let a U(R), then there is some b R such that ab =1, thus a 1 and by ED1, N(a) N(1). But one always has 1 a and thus N(1) N(a). Henceforth N(a) =N(1). Using the division algorithm, write 1=aq + r. If it were r = 0one would have N(r) <N(a) =N(1) but that is not possible, since 1 r and thus N(1) N(r); thus, it must be r =0, and hence 1=aq, implying a U(R). EXAMPLES (1) U(Z) ={u Z u =1} = {1, 1}, (2) U(F[x]) = {f F[x] deg f =deg1=0} = F, (3) U(Z[i]) = a + bi Z[i] a 2 + b 2 =1 = {1, 1,i, i} Unique Factorization Domains DEFINITION An ID R is said to be a unique factorization domain (UFD for short) if every nonzero, nonunit element a R \ U(R) can be written as a product of irreducible elements a = p 1 p s, and such a expression is unique up to reordering of the factors and associates. PROPOSITION Let R be an ID. The following are equivalent: (1) R is a UFD. (2) Every a R \ U(R) can be written as a product of primes. (3) Every irreducible in R is prime, and every a R \ U(R) can be written as a product of irreducibles, PROOF. 1 3 By definition of UFD, every a R \ U(R) can be written as a product of irreducibles. Let a R be an irreducible element, and suppose that a bc, then there is some d R such that ad = bc. If bc =0then either b =0or c =0, and trivially a 0, so either a b or a c. So let us assume bc = 0. If either b or c are units, we immediately get that a divides the other one, so we can also assume b, c nonunits. Write b = b i, c = c j, d = d k where b i,c j,d k irreducibles. Then we get ad 1 d r = b 1 b s c 1 c t. Since R is a UFD, it must be a b i or a c j for some i or j; in the first case, a divides b, in the second a divides c, thus a is prime. 3 2 Obvious. 2 1 Let a R \ U(R). By (2), a = p 1 p r for p i primes. Every prime is also irreducible, so a is a product of irreducibles. Suppose p 1 p r = q i q s for some irreducibles q 1,...,q s. We will show by induction that r = s, and after some relabelling we get p i q i. For r =1, one has a = p 1 irreducible; if p 1 = q 1 q s, as p 1 is irreducible we must have s =1and q 1 = p 1. Assume now (inductive hypothesis) the property holds for r 1, with r>1, and any s, and let a = p 1 p r = q 1 q s. One has p r q 1 q s, and as p r is prime then p r divides some q j. After relabelling we can assume p r q s ; then, as q s is irreducible, it must be q s = up r for some u U(R), i.e. p r q s, and hence p 1 p r = q 1 q s = q 1 q s 1 p r u.

7 2.6. CHAIN CONDITIONS 15 Applying the cancellation law, one gets p 1 p r 1 = q 1 q s 1 u, and the result follows by the inductive hypothesis Chain conditions Our goal now is to show that every PID is also a UFD. We have already shown that in a PID every ireducible is prime, so we only have to check that every element a R \ U(R) in a PID can be written as a product of irreducibles. DEFINITION A ring R is said to satisfy the ascending chain condition on principal ideals (ACC on principal ideals) if whenever we have an ascending chain of principal ideals I 1 I 2 I n I n+1 then there is some N N such that I n = I N for all n N. REMARK For some rings, the ascending chain condition can be satisfied for all ideals, not just principal ones. When this happens, we say that the ring is noetherian. Noetherian rings are an important topic in other areas of mathematics such as Number Theory and Algebraic Geometry. PROPOSITION Let R be a ring satisfying the ACC on (principal) ideals, and let S be a nonempty family of (principal) ideals of R, then S has a maximal element, i.e. there exists some J Ssuch that for all I Ssatisfying J I one has I = J. PROOF. By contradiction, assume that S does not have such a maximal element. As S is not empty, let I 1 S. By our assumption, I 1 is not maximal in S, so there is some I 2 Ssuch that I 1 I 2. Again, I 2 cannot be maximal in S so there must exist I 3 S such that I 1 I 2 I 3. By proceeding along the same lines, we end up providing an infinite chain I 1 I 2 I n of (principal) ideals of R, contradicting the ACC for (principal) ideals. Thus, if R satisfies ACC, then S must have a maximal element. REMARK The converse of the result is also true (the proof is an easy exercise). We have only stated the result for principal ideals, but the same proof works verbatim for any family of ideals if R is noetherian. EXAMPLE Let R be a UFD, a R \ U(R), and write a = a 1 a s for some irreducible elements a i R. Suppose that (a) (b), then b a = a 1 a s. As R is a UFD, it must be b a i1 a it for some 1 i 1 < <i t s, thus there are only a finite number of principal ideals containing (a), namely the ones generated by some product of the irreducibles appearing in the factorization of a. Thus, every UFD satisfies the ACC on principal ideals. PROPOSITION Let R be an ID. If R satisfies the ACC on principal ideals, then every nonzero, nonunit element of R can be written as a product of irreducibles. PROOF. Suppose there is an element a R \ U(R) which is not a product of irreducibles, then the family S := {(a) a is not a product of irreducibles} is non-empty and since R satisfies ACC for principal ideals, by Proposition we can pick a such that (a) is maximal in S. In particular, a cannot be irreducible, so there are some b, c R \ U(R) such that a = bc, where b, c are proper divisors of a, and thus one gets (a) (b) R and (a) (c) R. Since (a) is maximal in S, bith b and c must be written as a product of irreducibles, b = b 1 b s, c = c 1 c s, but then we get a = b 1 b s c 1 c t product of irreducibles, which is a contradiction.

8 16 2. INTEGRAL DOMAINS: ED, PID AND UFDS PROPOSITION Any PID satisfies the ACC on (principal) ideals. PROOF. Let I 1 I 2 an ascending chain of ideals of R. Consider I = n 0 I n. We claim that I R is an ideal of R: 0 I 1 I, hence 0 I and I1 is satisfied. Let a, b I, then a I r, b I s for some r, s, and then a, b I max{r,s}, hence a + b I max{r,s} I, thus I is an additive subgroup of R. Let a I, r R, then a I n for some n, and since I n is an ideal, ar I n I, hence the absorbency property is also satisfied, and thus I is an ideal of R. Now, since R is a PID, the ideal I must be principal, i.e. there must exist some a R such that I =(a). But then a I = I n, so there must be some N N such that a I N, and hence I N (a) =I, and it follows I N = I. Consequently, for all n N one has (a) I N I n I =(a), and thus I n = I N for all n N, so R satisfies ACC on (principal) ideals. COROLLARY ED PID UFD GCD, LCM and factorization DEFINITION Let R be a UFD, and let a, b R. An element d R is said to be a greatest common divisor (gcd for short) of a and b if the following conditions are satisfied: (1) d a, d b, (2) For any e R such that e a and e b one has e d. These conditions can be restated in terms of ideals as follows: (1 ) (a) (d), (b) (d), (2 ) For any e R such that (a) (e) and (b) (e) one has (d) (e). Note that if both d and d are gcd s of a and b, by the second property one gets (d) (d ) and (d ) (d), thus (d) =(d ) and thus d d. Henceforth, the greatest common divisor (if it exists at all!) is unique up to associates. REMARK. In some particular UFDs we can make canonical choices for gcd s. For instance in the ring of integers Z we can always pick the positive gcd, or in a polynomial ring F[x] with coefficients in a field we can choose the monic one. For more general UFDs, there is no way of making a canonical choice. EXAMPLES (1) If a =0, then for any b R one has gcd(a, b) =b. (2) If a U(R), for any b R one has gcd(a, b) =1 a. (3) If R is a UFD, and a, b R \ U(R), then we can write a = up α1 1 pαr r and b = vp β1 1 pβr r where u, v U(R) are units, p i R are distinct primes, and α i,β i 0. In this case, the element d = p γ1 1 pγr r is a greatest common divisor of a and b. In particular, gcd s always exist in a UFD. (4) Let R be a PID (and hence a UFD), a, b R. The ideal (a) +(b) ={ra + sb r, s R} must be principal, so there must exist d R such that (a) + (b) =(d). Then d is a greatest common divisor of a and b, and moreover, since d (d) =(a)+(b) there must exist h, k R such that d = ha + kb. In other words, we have a Bézout s identity for gcd s in a PID.

9 2.8. PROPERTIES OF POLYNOMIAL RINGS OVER DOMAINS 17 (5) Let R be an ED with norm map N (in particular, R is a PID); then we know that gcd(a, b) exists for all a and b and can be written as d = ah + bk for some h, k R. In this case, both d, h and k can be explicitly computed by repeated use of the division algorithm. The resulting algorithm is exactly the same as the well-known Euclidean algorithm for computing the gcd of integers. DEFINITION Let R be an ID, a, b R. An element e R is a least common multiple (lcm) of a and b if the following properties are satisfied: (1) a e, b e, (2) For any f R such that a f and b f one has e f. Or in terms of ideals: (1 ) (e) (a), (e) (b), (2 ) For any f R such that (f) (a) and (f) (b) one has (f) (e). PROPOSITION (1) If a =0, then for any b R one has lcm(a, b) =0. (2) If a U(R), then for any b R one has lcm(a, b) =b. (3) If R is a UFD, a, b R \U(R) elements that can be written as a = up α1 1 pαt t and b = vp β1 1 pβt t, where u, v U(R) are units, p i R are distinct primes, and α i,β i 0, and denote δ i := max{α i,β i }. Then lcm(a, b) =p γ1 1 pγt t. (4) If R is a UFD, a, b R, then (a) (b) =(lcm(a, b)). DEFINITION Let R be a UFD, we say that elements a, b R are coprime if gcd(a, b) =1, i.e. if (a)+(b) =R. PROPOSITION Let R be a UFD, r R. The one has gcd(ra 1,...,ra k )= r gcd(a 1,...,a k ). In particular, if d = gcd(a 1,...,a k ) then one has gcd( a1 d,..., a k d )= Properties of polynomial rings over domains We already know some properties of the ring of polynomials for certain types of rings of coeeficients. For instance: (1) If F is a field, then F[x] is NOT a field. In fact, the polynomial ring R[x] is never a field. (2) If R is an ID, then R[x] is also an ID. (3) If F is a field, then F[x] is a ED, and hece a PID. Our goal in this section is to show that R is a UFD if and only if R[x] is also a UFD. The only if part is fairly trivial, but the if part, i.e. showing that if R is a UFD then R[x] is also a UFD, is trickier. The main idea that we will use for this proof will be to go from the ring R[x] to the ring Q[x], where Q is the field of fractions of R, and then take advantage of the fact that Q[x] is a PID and in particular a UFD. Note that a polynomial f R[x] might be irreducible in Q[x] but not in R[x], for instance f(x) =2x 2 +4is irreducible in Q[x], but in Z[x] we have f(x) = 2(x 2 + 2). This happens because 2 is a unit in Q but not in Z. To look at irreducibles f R[x] we will need to chack that f does not have a non-unit constant factor in R. DEFINITION Let R be a UFD, 0 = f = a 0 + a 1 x + + a n x n R[x]. The polynomial f is said to be primitive if gcd(a 0,...,a n )=1, i.e. if there isn t any prime p R such that p a i for all i =0,...,n. EXAMPLES (1) If f = x n + a n 1 x n a 0 is monic, then f is also primitive. (2) The polynomial 3+4x+2x 2 is primitive in Z[x], but 4+4x 2x 2 +10x 3 +20x 4 is not, since gcd(4, 4, 2, 10, 20) = 2.

10 18 2. INTEGRAL DOMAINS: ED, PID AND UFDS (3) If f R[x] is irreducible, then f is primitive. LEMMA Let R be a UFD with field of fractions Q = a b a, b R, b = 0, and let f Q[x] a non-zero polynomial. The f can be written as f = λ f where λ Q and f R[x] is primitive. Moreover λ and f are unique up to multiplication by units in R. PROOF. Let f = a0 b an b n x n Q[x]. Take r = b 0 b n R, and a i = a ir/b i. Let d = gcd(a 0,...,a n), and denote c i := a i /d R. We then have f = d r (c c n x n ) Obviously d/r Q. By Proposition 2.7.6, gcd(c 0,...,c n )=1, thus f := c 0 + +c n x n is primitive. Assume now that f = λ f = µ g where f and g are primitive. Write λ = a/b, µ = c/d, where a, b, c, d R, and let f = a 0 + +a n x n, g = b 0 + +b n x n. From the equality λ f = µ g we get ad(a a n x n )=bc(b b n x n ), thus ada i = bcb i for all i =0,...,n. One then has ad ad gcd(a 0,...,a n ) = gcd(ada 0,...,ada n ) = gcd(bcb 0,...,bcb n ) = bc gcd(b 0,...,b n ) bc, where we are using the fact f and g are primitive. Since the gcd is only defined up to a unit in R, we get that there must exist u U(R) such that bc = uad, and therefore µ = uλ. Now, since we have ada i = bcb i = uadb i, and a, d = 0, we obtain b i = u 1 a i, and thus g = u 1 f, so λ and f are unique up to multiplication by a unit of R. DEFINITION If f Q[x] is written as f = λ f as in the previous lemma, the element λ Q is called the content of f, and denoted by λ = c(f), and the polynomial f is called the primitive part of f. EXAMPLE Let f = x +2x2 Q[x], then c(f) = 2 21 and f = x + 21x 2. PROPOSITION Let R be a UFD with field of fractions Q, f Q[x], f = 0. The following properties hold: i) If λ Q, then c(λf) =λc(f) and λf = f. ii) f R[x] if and only if c(f) R. iii) f R[x] is primitive if and only if c(f) =1. iv) If f,g R[x] are primitive, and f g in Q[x], then f g R[x]. PROOF. i) f = c(f) f, where f primitive. Thus λf = λc(f) f. By uniqueness of the content and the primitive part, c(λf) =λc(f) and λf = f. ii) If f = a a n x n, and d = gcd(a 0,,a n ), then f = d( a0 d + + an d xn ), and gcd(a 0 /d,..., a n /d) =1, thus c(f) =d R. If c(f) R, as f R[x], then obviously f = c(f) f R[x]. iii) If f is primitive, then f = f = c(f) f, thus c(f) =1. Conversely, if c(f) =1, then f = c(f) f = f, and thus f is primitive. iv) Let f,g be primitive, then c(f) =c(g) =1. If f g in Q[x] there is some λ U(Q[x]) = Q such that g = λf, but then 1=c(g) =c(λf) =λc(f) =λ,

11 2.8. PROPERTIES OF POLYNOMIAL RINGS OVER DOMAINS 19 so λ =1(up to units in R), and thus f g in R[x]. THEOREM (Gauss lemma). Let R be a UFD, if f,g R[x] are primitive, then fg is also primitive. PROOF. Write f = a a n x n, g = b b m x m ; then fg = c c m+n + x m+n, where c i = j+k=i a jb k = a 0 b i + a i b 0. Suppose that fg is not primitive, then there must exist p R prime such that p c i for all i. Now, since f and g are primitive, they must have a first coefficient which is not divisible by p, i.e. there are some i, j such that p a 0,...,p a i 1,p a i, and p b o,...,p b j 1,p b j. But then one has c i+j = a 0 b i+j + a i i b j+1 +a i b j + a i+1 b j a i+j b 0. A B Now, p divides A because it divides a 0,...,a i 1, and p divides B because it divides b 0,...,b j 1. By assumption p divides c i+j, and as a i b j = c i+j A B, one gets that p divides a i b j, since p is prime, it must divide either a i or b j which is a contradiction. Henceforth, fg must be primitive. PROPOSITION Let R be a UFD with field of fractions Q, and let f,g Q[x], then one has fg = f g and c(fg)=c(f)c(g). PROOF. As f = c(f) f and g = c(g) g, one gets fg = c(f) fc(g) g = c(f)c(g) f g. By Gauss Lemma, f g is primitive, so it is the primitive part of fg, i.e. fg = f g, and by the uniqueness of the content-primitive part decomposition we get c(fg)=c(f)c(g). By using the previous results, we can describe the irreducibles in R[x] in terms of the irreducibles in Q[x]: PROPOSITION Let R be a UFD with field of fractions Q, and let f R[x], f = 0. The following properties hold: i) If deg f =0(so f R ) then f is irreducible in R[x] if and only if it is irreducible in R. ii) If deg f 1, then f is irreducible in R[x] if and only if f is primitive and is irreducible in Q[x]. PROOF. i) If f is not irreducible in R[x], then f = gh for some g, h R[x]. As deg f =0we must have deg g =degh =0as well, but then g and h are also elemets of R, and thus f is not irreducible in R. The converse statement is immediate. ii) If f is irreducible in R[x], then f is primitive. Assume f is not irreducible in Q[x], then we can write f = gh for some g, h Q[x], and then we have f = f = c(g)c(h) g h. As by Gauss Lemma f g is primitive, we get c(g)c(h) = 1, and hence f = g h with g, h R[x], contradicting the irreducibility of f in R[x]. Hence, f must be irreducible in Q[x]. The converse statement is obvious. THEOREM If R is a UFD, then R[x] is also a UFD. PROOF. Let f R[x] a nonzero, nonunit element of R[x]. If deg f =0, then f R, and since R is a UFD we can write f = p 1 p s where p i are irreducible in R. By Proposition 2.8.9, p i are also irreducible in R[x]. If deg f 1, as R[x] Q[x] we can look at f as an element in Q[x]. SInce Q is a field, Q[x] is a PID (in particular a UFD), and hence we can write f = f 1 f k where f i are irreducible in Q[x]. By taking content-primitive part we get f = c(f) f = c(f 1 ) c(f k ) f 1 f k,

12 20 2. INTEGRAL DOMAINS: ED, PID AND UFDS where now each f i is primitive and belongs to R[x]. As f i are irreducible in Q[x] and f i f i in Q[x], we have f i irreducible in Q[x]; by proposition 2.8.9, we obtain that f i are irreducible in R[x]. Now, as f R[x] then c(f) R, so we can write c(f) = p 1 p s,with p i irreducible in R (and thus in R[x]). Putting everything together, we can write f = p 1 p s f1 f k, where each term is irreducible in R[x]. Thus, every nonzero, nonunit element of R[x] can be written as a product of irreducibles. Now we need to show uniqueness of the factorization. Suppose that f = p 1 p s f 1 f k = q 1 q s g 1 g k where p i,q j are irreducibles in R and f i,g j are irreducibles in R[x] of degree bigger than 0. As every irreducible is primitive, taking content and primitive part we get p 1 p s = q 1 q s, and f 1 f k = g 1 g k. Now, using the fact that R is a UFD we obtain that s = s and (after possibly some reordering) p i q i for all i =1,...,s. Now since all f i and g j are irreducible in R[x], by they are also irreducible in Q[x], so we have two equal decompositions as products of irreducibles f 1 f k = g 1 g k in Q[x]. Since Q is a field, Q[x] is a UFD, so we have k = k and, up to reordering, f i g i in Q[x]. As f i and g i are primitive, by proposition f i g i in R[x]. REMARK By repeated use of the previous theorem, we obtain that for any UFD R the multivariate polynomial ring R[x 1,...,x n ] s also a UFD.

Unique Factorization

Unique Factorization Unique Factorization Waffle Mathcamp 2010 Throughout these notes, all rings will be assumed to be commutative. 1 Factorization in domains: definitions and examples In this class, we will study the phenomenon

More information

Quotient Rings and Field Extensions

Quotient Rings and Field Extensions Chapter 5 Quotient Rings and Field Extensions In this chapter we describe a method for producing field extension of a given field. If F is a field, then a field extension is a field K that contains F.

More information

11 Ideals. 11.1 Revisiting Z

11 Ideals. 11.1 Revisiting Z 11 Ideals The presentation here is somewhat different than the text. In particular, the sections do not match up. We have seen issues with the failure of unique factorization already, e.g., Z[ 5] = O Q(

More information

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS

POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS RUSS WOODROOFE 1. Unique Factorization Domains Throughout the following, we think of R as sitting inside R[x] as the constant polynomials (of degree 0).

More information

Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2)

Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2) Modern Algebra Lecture Notes: Rings and fields set 4 (Revision 2) Kevin Broughan University of Waikato, Hamilton, New Zealand May 13, 2010 Remainder and Factor Theorem 15 Definition of factor If f (x)

More information

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.

Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize

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 of Gallian s Contemporary Abstract Algebra. Most of the important

More information

3 Factorisation into irreducibles

3 Factorisation into irreducibles 3 Factorisation into irreducibles Consider the factorisation of a non-zero, non-invertible integer n as a product of primes: n = p 1 p t. If you insist that primes should be positive then, since n could

More information

1 Homework 1. [p 0 q i+j +... + p i 1 q j+1 ] + [p i q j ] + [p i+1 q j 1 +... + p i+j q 0 ]

1 Homework 1. [p 0 q i+j +... + p i 1 q j+1 ] + [p i q j ] + [p i+1 q j 1 +... + p i+j q 0 ] 1 Homework 1 (1) Prove the ideal (3,x) is a maximal ideal in Z[x]. SOLUTION: Suppose we expand this ideal by including another generator polynomial, P / (3, x). Write P = n + x Q with n an integer not

More information

it is easy to see that α = a

it is easy to see that α = a 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 UF. Therefore

More information

Algebraic Structures II

Algebraic Structures II MAS 305 Algebraic Structures II Notes 12 Autumn 2006 Factorization in integral domains Lemma If a, b, c are elements of an integral domain R and ab = ac then either a = 0 R or b = c. Proof ab = ac a(b

More information

Chapter 13: Basic ring theory

Chapter 13: Basic ring theory Chapter 3: Basic ring theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 3: Basic ring

More information

(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9

(a) Write each of p and q as a polynomial in x with coefficients in Z[y, z]. deg(p) = 7 deg(q) = 9 Homework #01, due 1/20/10 = 9.1.2, 9.1.4, 9.1.6, 9.1.8, 9.2.3 Additional problems for study: 9.1.1, 9.1.3, 9.1.5, 9.1.13, 9.2.1, 9.2.2, 9.2.4, 9.2.5, 9.2.6, 9.3.2, 9.3.3 9.1.1 (This problem was not assigned

More information

How To Know If A Domain Is Unique In An Octempo (Euclidean) Or Not (Ecl)

How To Know If A Domain Is Unique In An Octempo (Euclidean) Or Not (Ecl) Subsets of Euclidean domains possessing a unique division algorithm Andrew D. Lewis 2009/03/16 Abstract Subsets of a Euclidean domain are characterised with the following objectives: (1) ensuring uniqueness

More information

Today s Topics. Primes & Greatest Common Divisors

Today s Topics. Primes & Greatest Common Divisors Today s Topics Primes & Greatest Common Divisors Prime representations Important theorems about primality Greatest Common Divisors Least Common Multiples Euclid s algorithm Once and for all, what are prime

More information

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

More information

FACTORING IN QUADRATIC FIELDS. 1. Introduction. This is called a quadratic field and it has degree 2 over Q. Similarly, set

FACTORING IN QUADRATIC FIELDS. 1. Introduction. This is called a quadratic field and it has degree 2 over Q. Similarly, set FACTORING IN QUADRATIC FIELDS KEITH CONRAD For a squarefree integer d other than 1, let 1. Introduction K = Q[ d] = {x + y d : x, y Q}. This is called a quadratic field and it has degree 2 over Q. Similarly,

More information

Non-unique factorization of polynomials over residue class rings of the integers

Non-unique factorization of polynomials over residue class rings of the integers Comm. Algebra 39(4) 2011, pp 1482 1490 Non-unique factorization of polynomials over residue class rings of the integers Christopher Frei and Sophie Frisch Abstract. We investigate non-unique factorization

More information

CS 103X: Discrete Structures Homework Assignment 3 Solutions

CS 103X: Discrete Structures Homework Assignment 3 Solutions CS 103X: Discrete Structures Homework Assignment 3 s Exercise 1 (20 points). On well-ordering and induction: (a) Prove the induction principle from the well-ordering principle. (b) Prove the well-ordering

More information

FACTORIZATION IN INTEGRAL DOMAINS

FACTORIZATION IN INTEGRAL DOMAINS FACTORIZATION IN INTEGRAL DOMAINS PETE L. CLARK Contents Introduction 2 1. Norm functions 3 1.1. Weak multiplicative norms and multiplicative norms 3 1.2. Abstract number rings 3 1.3. Dirichlet rings 5

More information

Factoring Polynomials

Factoring Polynomials Factoring Polynomials Sue Geller June 19, 2006 Factoring polynomials over the rational numbers, real numbers, and complex numbers has long been a standard topic of high school algebra. With the advent

More information

8 Divisibility and prime numbers

8 Divisibility and prime numbers 8 Divisibility and prime numbers 8.1 Divisibility In this short section we extend the concept of a multiple from the natural numbers to the integers. We also summarize several other terms that express

More information

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

More information

COMMUTATIVE RINGS. Definition: A domain is a commutative ring R that satisfies the cancellation law for multiplication:

COMMUTATIVE RINGS. Definition: A domain is a commutative ring R that satisfies the cancellation law for multiplication: COMMUTATIVE RINGS Definition: A commutative ring R is a set with two operations, addition and multiplication, such that: (i) R is an abelian group under addition; (ii) ab = ba for all a, b R (commutative

More information

Kevin James. MTHSC 412 Section 2.4 Prime Factors and Greatest Comm

Kevin James. MTHSC 412 Section 2.4 Prime Factors and Greatest Comm MTHSC 412 Section 2.4 Prime Factors and Greatest Common Divisor Greatest Common Divisor Definition Suppose that a, b Z. Then we say that d Z is a greatest common divisor (gcd) of a and b if the following

More information

PROBLEM SET 6: POLYNOMIALS

PROBLEM SET 6: POLYNOMIALS PROBLEM SET 6: POLYNOMIALS 1. introduction In this problem set we will consider polynomials with coefficients in K, where K is the real numbers R, the complex numbers C, the rational numbers Q or any other

More information

H/wk 13, Solutions to selected problems

H/wk 13, Solutions to selected problems H/wk 13, Solutions to selected problems Ch. 4.1, Problem 5 (a) Find the number of roots of x x in Z 4, Z Z, any integral domain, Z 6. (b) Find a commutative ring in which x x has infinitely many roots.

More information

7. Some irreducible polynomials

7. Some irreducible polynomials 7. Some irreducible polynomials 7.1 Irreducibles over a finite field 7.2 Worked examples Linear factors x α of a polynomial P (x) with coefficients in a field k correspond precisely to roots α k [1] of

More information

The Division Algorithm for Polynomials Handout Monday March 5, 2012

The Division Algorithm for Polynomials Handout Monday March 5, 2012 The Division Algorithm for Polynomials Handout Monday March 5, 0 Let F be a field (such as R, Q, C, or F p for some prime p. This will allow us to divide by any nonzero scalar. (For some of the following,

More information

Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013

Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013 Module MA3411: Abstract Algebra Galois Theory Appendix Michaelmas Term 2013 D. R. Wilkins Copyright c David R. Wilkins 1997 2013 Contents A Cyclotomic Polynomials 79 A.1 Minimum Polynomials of Roots of

More information

Factorization Algorithms for Polynomials over Finite Fields

Factorization Algorithms for Polynomials over Finite Fields Degree Project Factorization Algorithms for Polynomials over Finite Fields Sajid Hanif, Muhammad Imran 2011-05-03 Subject: Mathematics Level: Master Course code: 4MA11E Abstract Integer factorization is

More information

RESULTANT AND DISCRIMINANT OF POLYNOMIALS

RESULTANT AND DISCRIMINANT OF POLYNOMIALS RESULTANT AND DISCRIMINANT OF POLYNOMIALS SVANTE JANSON Abstract. This is a collection of classical results about resultants and discriminants for polynomials, compiled mainly for my own use. All results

More information

A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number

A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number Number Fields Introduction A number field is a field of finite degree over Q. By the Primitive Element Theorem, any number field K = Q(α) for some α K. The minimal polynomial Let K be a number field and

More information

3. Prime and maximal ideals. 3.1. Definitions and Examples.

3. Prime and maximal ideals. 3.1. Definitions and Examples. COMMUTATIVE ALGEBRA 5 3.1. Definitions and Examples. 3. Prime and maximal ideals Definition. An ideal P in a ring A is called prime if P A and if for every pair x, y of elements in A\P we have xy P. Equivalently,

More information

z 0 and y even had the form

z 0 and y even had the form Gaussian Integers The concepts of divisibility, primality and factoring are actually more general than the discussion so far. For the moment, we have been working in the integers, which we denote by Z

More information

CHAPTER 5. Number Theory. 1. Integers and Division. Discussion

CHAPTER 5. Number Theory. 1. Integers and Division. Discussion CHAPTER 5 Number Theory 1. Integers and Division 1.1. Divisibility. Definition 1.1.1. Given two integers a and b we say a divides b if there is an integer c such that b = ac. If a divides b, we write a

More information

Introduction to Modern Algebra

Introduction to Modern Algebra Introduction to Modern Algebra David Joyce Clark University Version 0.0.6, 3 Oct 2008 1 1 Copyright (C) 2008. ii I dedicate this book to my friend and colleague Arthur Chou. Arthur encouraged me to write

More information

Section 4.2: The Division Algorithm and Greatest Common Divisors

Section 4.2: The Division Algorithm and Greatest Common Divisors Section 4.2: The Division Algorithm and Greatest Common Divisors The Division Algorithm The Division Algorithm is merely long division restated as an equation. For example, the division 29 r. 20 32 948

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it

More information

Algebra 3: algorithms in algebra

Algebra 3: algorithms in algebra Algebra 3: algorithms in algebra Hans Sterk 2003-2004 ii Contents 1 Polynomials, Gröbner bases and Buchberger s algorithm 1 1.1 Introduction............................ 1 1.2 Polynomial rings and systems

More information

3 1. Note that all cubes solve it; therefore, there are no more

3 1. Note that all cubes solve it; therefore, there are no more Math 13 Problem set 5 Artin 11.4.7 Factor the following polynomials into irreducible factors in Q[x]: (a) x 3 3x (b) x 3 3x + (c) x 9 6x 6 + 9x 3 3 Solution: The first two polynomials are cubics, so if

More information

fg = f g. 3.1.1. Ideals. An ideal of R is a nonempty k-subspace I R closed under multiplication by elements of R:

fg = f g. 3.1.1. Ideals. An ideal of R is a nonempty k-subspace I R closed under multiplication by elements of R: 30 3. RINGS, IDEALS, AND GRÖBNER BASES 3.1. Polynomial rings and ideals The main object of study in this section is a polynomial ring in a finite number of variables R = k[x 1,..., x n ], where k is an

More information

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra

U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009. Notes on Algebra U.C. Berkeley CS276: Cryptography Handout 0.1 Luca Trevisan January, 2009 Notes on Algebra These notes contain as little theory as possible, and most results are stated without proof. Any introductory

More information

Some Polynomial Theorems. John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom.

Some Polynomial Theorems. John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom. Some Polynomial Theorems by John Kennedy Mathematics Department Santa Monica College 1900 Pico Blvd. Santa Monica, CA 90405 rkennedy@ix.netcom.com This paper contains a collection of 31 theorems, lemmas,

More information

Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.

Elementary Number Theory and Methods of Proof. CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook. Elementary Number Theory and Methods of Proof CSE 215, Foundations of Computer Science Stony Brook University http://www.cs.stonybrook.edu/~cse215 1 Number theory Properties: 2 Properties of integers (whole

More information

MATH10040 Chapter 2: Prime and relatively prime numbers

MATH10040 Chapter 2: Prime and relatively prime numbers MATH10040 Chapter 2: Prime and relatively prime numbers Recall the basic definition: 1. Prime numbers Definition 1.1. Recall that a positive integer is said to be prime if it has precisely two positive

More information

EXERCISES FOR THE COURSE MATH 570, FALL 2010

EXERCISES FOR THE COURSE MATH 570, FALL 2010 EXERCISES FOR THE COURSE MATH 570, FALL 2010 EYAL Z. GOREN (1) Let G be a group and H Z(G) a subgroup such that G/H is cyclic. Prove that G is abelian. Conclude that every group of order p 2 (p a prime

More information

Math 345-60 Abstract Algebra I Questions for Section 23: Factoring Polynomials over a Field

Math 345-60 Abstract Algebra I Questions for Section 23: Factoring Polynomials over a Field Math 345-60 Abstract Algebra I Questions for Section 23: Factoring Polynomials over a Field 1. Throughout this section, F is a field and F [x] is the ring of polynomials with coefficients in F. We will

More information

26 Ideals and Quotient Rings

26 Ideals and Quotient Rings Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan 26 Ideals and Quotient Rings In this section we develop some theory of rings that parallels the theory of groups discussed

More information

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points

Introduction to Algebraic Geometry. Bézout s Theorem and Inflection Points Introduction to Algebraic Geometry Bézout s Theorem and Inflection Points 1. The resultant. Let K be a field. Then the polynomial ring K[x] is a unique factorisation domain (UFD). Another example of a

More information

Introduction to Finite Fields (cont.)

Introduction to Finite Fields (cont.) Chapter 6 Introduction to Finite Fields (cont.) 6.1 Recall Theorem. Z m is a field m is a prime number. Theorem (Subfield Isomorphic to Z p ). Every finite field has the order of a power of a prime number

More information

The last three chapters introduced three major proof techniques: direct,

The last three chapters introduced three major proof techniques: direct, CHAPTER 7 Proving Non-Conditional Statements The last three chapters introduced three major proof techniques: direct, contrapositive and contradiction. These three techniques are used to prove statements

More information

Winter Camp 2011 Polynomials Alexander Remorov. Polynomials. Alexander Remorov alexanderrem@gmail.com

Winter Camp 2011 Polynomials Alexander Remorov. Polynomials. Alexander Remorov alexanderrem@gmail.com Polynomials Alexander Remorov alexanderrem@gmail.com Warm-up Problem 1: Let f(x) be a quadratic polynomial. Prove that there exist quadratic polynomials g(x) and h(x) such that f(x)f(x + 1) = g(h(x)).

More information

9. POLYNOMIALS. Example 1: The expression a(x) = x 3 4x 2 + 7x 11 is a polynomial in x. The coefficients of a(x) are the numbers 1, 4, 7, 11.

9. POLYNOMIALS. Example 1: The expression a(x) = x 3 4x 2 + 7x 11 is a polynomial in x. The coefficients of a(x) are the numbers 1, 4, 7, 11. 9. POLYNOMIALS 9.1. Definition of a Polynomial A polynomial is an expression of the form: a(x) = a n x n + a n-1 x n-1 +... + a 1 x + a 0. The symbol x is called an indeterminate and simply plays the role

More information

MOP 2007 Black Group Integer Polynomials Yufei Zhao. Integer Polynomials. June 29, 2007 Yufei Zhao yufeiz@mit.edu

MOP 2007 Black Group Integer Polynomials Yufei Zhao. Integer Polynomials. June 29, 2007 Yufei Zhao yufeiz@mit.edu Integer Polynomials June 9, 007 Yufei Zhao yufeiz@mit.edu We will use Z[x] to denote the ring of polynomials with integer coefficients. We begin by summarizing some of the common approaches used in dealing

More information

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY

CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY January 10, 2010 CHAPTER SIX IRREDUCIBILITY AND FACTORIZATION 1. BASIC DIVISIBILITY THEORY The set of polynomials over a field F is a ring, whose structure shares with the ring of integers many characteristics.

More information

PYTHAGOREAN TRIPLES KEITH CONRAD

PYTHAGOREAN TRIPLES KEITH CONRAD PYTHAGOREAN TRIPLES KEITH CONRAD 1. Introduction A Pythagorean triple is a triple of positive integers (a, b, c) where a + b = c. Examples include (3, 4, 5), (5, 1, 13), and (8, 15, 17). Below is an ancient

More information

The Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors.

The Prime Numbers. Definition. A prime number is a positive integer with exactly two positive divisors. The Prime Numbers Before starting our study of primes, we record the following important lemma. Recall that integers a, b are said to be relatively prime if gcd(a, b) = 1. Lemma (Euclid s Lemma). If gcd(a,

More information

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization

More information

GREATEST COMMON DIVISOR

GREATEST COMMON DIVISOR DEFINITION: GREATEST COMMON DIVISOR The greatest common divisor (gcd) of a and b, denoted by (a, b), is the largest common divisor of integers a and b. THEOREM: If a and b are nonzero integers, then their

More information

How To Prove The Dirichlet Unit Theorem

How To Prove The Dirichlet Unit Theorem Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if

More information

r + s = i + j (q + t)n; 2 rs = ij (qj + ti)n + qtn.

r + s = i + j (q + t)n; 2 rs = ij (qj + ti)n + qtn. Chapter 7 Introduction to finite fields This chapter provides an introduction to several kinds of abstract algebraic structures, particularly groups, fields, and polynomials. Our primary interest is in

More information

2. Let H and K be subgroups of a group G. Show that H K G if and only if H K or K H.

2. Let H and K be subgroups of a group G. Show that H K G if and only if H K or K H. Math 307 Abstract Algebra Sample final examination questions with solutions 1. Suppose that H is a proper subgroup of Z under addition and H contains 18, 30 and 40, Determine H. Solution. Since gcd(18,

More information

Number Theory Hungarian Style. Cameron Byerley s interpretation of Csaba Szabó s lectures

Number Theory Hungarian Style. Cameron Byerley s interpretation of Csaba Szabó s lectures Number Theory Hungarian Style Cameron Byerley s interpretation of Csaba Szabó s lectures August 20, 2005 2 0.1 introduction Number theory is a beautiful subject and even cooler when you learn about it

More information

GROUP ALGEBRAS. ANDREI YAFAEV

GROUP ALGEBRAS. ANDREI YAFAEV GROUP ALGEBRAS. ANDREI YAFAEV We will associate a certain algebra to a finite group and prove that it is semisimple. Then we will apply Wedderburn s theory to its study. Definition 0.1. Let G be a finite

More information

GCDs and Relatively Prime Numbers! CSCI 2824, Fall 2014!

GCDs and Relatively Prime Numbers! CSCI 2824, Fall 2014! GCDs and Relatively Prime Numbers! CSCI 2824, Fall 2014!!! Challenge Problem 2 (Mastermind) due Fri. 9/26 Find a fourth guess whose scoring will allow you to determine the secret code (repetitions are

More information

4. CLASSES OF RINGS 4.1. Classes of Rings class operator A-closed Example 1: product Example 2:

4. CLASSES OF RINGS 4.1. Classes of Rings class operator A-closed Example 1: product Example 2: 4. CLASSES OF RINGS 4.1. Classes of Rings Normally we associate, with any property, a set of objects that satisfy that property. But problems can arise when we allow sets to be elements of larger sets

More information

Cyclotomic Extensions

Cyclotomic Extensions Chapter 7 Cyclotomic Extensions A cyclotomic extension Q(ζ n ) of the rationals is formed by adjoining a primitive n th root of unity ζ n. In this chapter, we will find an integral basis and calculate

More information

Gröbner Bases and their Applications

Gröbner Bases and their Applications Gröbner Bases and their Applications Kaitlyn Moran July 30, 2008 1 Introduction We know from the Hilbert Basis Theorem that any ideal in a polynomial ring over a field is finitely generated [3]. However,

More information

MATH 289 PROBLEM SET 4: NUMBER THEORY

MATH 289 PROBLEM SET 4: NUMBER THEORY MATH 289 PROBLEM SET 4: NUMBER THEORY 1. The greatest common divisor If d and n are integers, then we say that d divides n if and only if there exists an integer q such that n = qd. Notice that if d divides

More information

8 Primes and Modular Arithmetic

8 Primes and Modular Arithmetic 8 Primes and Modular Arithmetic 8.1 Primes and Factors Over two millennia ago already, people all over the world were considering the properties of numbers. One of the simplest concepts is prime numbers.

More information

Basic Algorithms In Computer Algebra

Basic Algorithms In Computer Algebra Basic Algorithms In Computer Algebra Kaiserslautern SS 2011 Prof. Dr. Wolfram Decker 2. Mai 2011 References Cohen, H.: A Course in Computational Algebraic Number Theory. Springer, 1993. Cox, D.; Little,

More information

Math 4310 Handout - Quotient Vector Spaces

Math 4310 Handout - Quotient Vector Spaces Math 4310 Handout - Quotient Vector Spaces Dan Collins The textbook defines a subspace of a vector space in Chapter 4, but it avoids ever discussing the notion of a quotient space. This is understandable

More information

Galois Theory III. 3.1. Splitting fields.

Galois Theory III. 3.1. Splitting fields. Galois Theory III. 3.1. Splitting fields. We know how to construct a field extension L of a given field K where a given irreducible polynomial P (X) K[X] has a root. We need a field extension of K where

More information

Factoring of Prime Ideals in Extensions

Factoring of Prime Ideals in Extensions Chapter 4 Factoring of Prime Ideals in Extensions 4. Lifting of Prime Ideals Recall the basic AKLB setup: A is a Dedekind domain with fraction field K, L is a finite, separable extension of K of degree

More information

On the generation of elliptic curves with 16 rational torsion points by Pythagorean triples

On the generation of elliptic curves with 16 rational torsion points by Pythagorean triples On the generation of elliptic curves with 16 rational torsion points by Pythagorean triples Brian Hilley Boston College MT695 Honors Seminar March 3, 2006 1 Introduction 1.1 Mazur s Theorem Let C be a

More information

Lecture 3: Finding integer solutions to systems of linear equations

Lecture 3: Finding integer solutions to systems of linear equations Lecture 3: Finding integer solutions to systems of linear equations Algorithmic Number Theory (Fall 2014) Rutgers University Swastik Kopparty Scribe: Abhishek Bhrushundi 1 Overview The goal of this lecture

More information

ALGEBRAIC NUMBER THEORY AND QUADRATIC RECIPROCITY

ALGEBRAIC NUMBER THEORY AND QUADRATIC RECIPROCITY ALGEBRAIC NUMBER THEORY AND QUADRATIC RECIPROCITY HENRY COHN, JOSHUA GREENE, JONATHAN HANKE 1. Introduction These notes are from a series of lectures given by Henry Cohn during MIT s Independent Activities

More information

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2.

a 11 x 1 + a 12 x 2 + + a 1n x n = b 1 a 21 x 1 + a 22 x 2 + + a 2n x n = b 2. Chapter 1 LINEAR EQUATIONS 1.1 Introduction to linear equations A linear equation in n unknowns x 1, x,, x n is an equation of the form a 1 x 1 + a x + + a n x n = b, where a 1, a,..., a n, b are given

More information

1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain

1 = (a 0 + b 0 α) 2 + + (a m 1 + b m 1 α) 2. for certain elements a 0,..., a m 1, b 0,..., b m 1 of F. Multiplying out, we obtain Notes on real-closed fields These notes develop the algebraic background needed to understand the model theory of real-closed fields. To understand these notes, a standard graduate course in algebra is

More information

Die ganzen zahlen hat Gott gemacht

Die ganzen zahlen hat Gott gemacht Die ganzen zahlen hat Gott gemacht Polynomials with integer values B.Sury A quote attributed to the famous mathematician L.Kronecker is Die Ganzen Zahlen hat Gott gemacht, alles andere ist Menschenwerk.

More information

= 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that

= 2 + 1 2 2 = 3 4, Now assume that P (k) is true for some fixed k 2. This means that Instructions. Answer each of the questions on your own paper, and be sure to show your work so that partial credit can be adequately assessed. Credit will not be given for answers (even correct ones) without

More information

(0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order 4; (1, 0) : order 2; (1, 1) : order 4; (1, 2) : order 2; (1, 3) : order 4.

(0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order 4; (1, 0) : order 2; (1, 1) : order 4; (1, 2) : order 2; (1, 3) : order 4. 11.01 List the elements of Z 2 Z 4. Find the order of each of the elements is this group cyclic? Solution: The elements of Z 2 Z 4 are: (0, 0) : order 1; (0, 1) : order 4; (0, 2) : order 2; (0, 3) : order

More information

Test1. Due Friday, March 13, 2015.

Test1. Due Friday, March 13, 2015. 1 Abstract Algebra Professor M. Zuker Test1. Due Friday, March 13, 2015. 1. Euclidean algorithm and related. (a) Suppose that a and b are two positive integers and that gcd(a, b) = d. Find all solutions

More information

Commutative Algebra Notes Introduction to Commutative Algebra Atiyah & Macdonald

Commutative Algebra Notes Introduction to Commutative Algebra Atiyah & Macdonald Commutative Algebra Notes Introduction to Commutative Algebra Atiyah & Macdonald Adam Boocher 1 Rings and Ideals 1.1 Rings and Ring Homomorphisms A commutative ring A with identity is a set with two binary

More information

On the Infinitude of Prime Elements

On the Infinitude of Prime Elements Revista Colombiana de Matemáticas Volumen 47(2013)2, páginas 167-179 On the Infinitude of Prime Elements Acerca de la infinitud de elementos primos Luis F. Cáceres-Duque 1, José A. Vélez-Marulanda 2,a,

More information

MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

More information

Solutions to TOPICS IN ALGEBRA I.N. HERSTEIN. Part II: Group Theory

Solutions to TOPICS IN ALGEBRA I.N. HERSTEIN. Part II: Group Theory Solutions to TOPICS IN ALGEBRA I.N. HERSTEIN Part II: Group Theory No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Version: 1.1 Release: Jan 2013

More information

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

More information

Copy in your notebook: Add an example of each term with the symbols used in algebra 2 if there are any.

Copy in your notebook: Add an example of each term with the symbols used in algebra 2 if there are any. Algebra 2 - Chapter Prerequisites Vocabulary Copy in your notebook: Add an example of each term with the symbols used in algebra 2 if there are any. P1 p. 1 1. counting(natural) numbers - {1,2,3,4,...}

More information

calculating the result modulo 3, as follows: p(0) = 0 3 + 0 + 1 = 1 0,

calculating the result modulo 3, as follows: p(0) = 0 3 + 0 + 1 = 1 0, Homework #02, due 1/27/10 = 9.4.1, 9.4.2, 9.4.5, 9.4.6, 9.4.7. Additional problems recommended for study: (9.4.3), 9.4.4, 9.4.9, 9.4.11, 9.4.13, (9.4.14), 9.4.17 9.4.1 Determine whether the following polynomials

More information

Primality - Factorization

Primality - Factorization Primality - Factorization Christophe Ritzenthaler November 9, 2009 1 Prime and factorization Definition 1.1. An integer p > 1 is called a prime number (nombre premier) if it has only 1 and p as divisors.

More information

ON UNIQUE FACTORIZATION DOMAINS

ON UNIQUE FACTORIZATION DOMAINS ON UNIQUE FACTORIZATION DOMAINS JIM COYKENDALL AND WILLIAM W. SMITH Abstract. In this paper we attempt to generalize the notion of unique factorization domain in the spirit of half-factorial domain. It

More information

1 if 1 x 0 1 if 0 x 1

1 if 1 x 0 1 if 0 x 1 Chapter 3 Continuity In this chapter we begin by defining the fundamental notion of continuity for real valued functions of a single real variable. When trying to decide whether a given function is or

More information

Irreducibility criteria for compositions and multiplicative convolutions of polynomials with integer coefficients

Irreducibility criteria for compositions and multiplicative convolutions of polynomials with integer coefficients DOI: 10.2478/auom-2014-0007 An. Şt. Univ. Ovidius Constanţa Vol. 221),2014, 73 84 Irreducibility criteria for compositions and multiplicative convolutions of polynomials with integer coefficients Anca

More information

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12

CONTINUED FRACTIONS AND PELL S EQUATION. Contents 1. Continued Fractions 1 2. Solution to Pell s Equation 9 References 12 CONTINUED FRACTIONS AND PELL S EQUATION SEUNG HYUN YANG Abstract. In this REU paper, I will use some important characteristics of continued fractions to give the complete set of solutions to Pell s equation.

More information

The Chinese Remainder Theorem

The Chinese Remainder Theorem The Chinese Remainder Theorem Evan Chen evanchen@mit.edu February 3, 2015 The Chinese Remainder Theorem is a theorem only in that it is useful and requires proof. When you ask a capable 15-year-old why

More information

SUM OF TWO SQUARES JAHNAVI BHASKAR

SUM OF TWO SQUARES JAHNAVI BHASKAR SUM OF TWO SQUARES JAHNAVI BHASKAR Abstract. I will investigate which numbers can be written as the sum of two squares and in how many ways, providing enough basic number theory so even the unacquainted

More information

Section IV.21. The Field of Quotients of an Integral Domain

Section IV.21. The Field of Quotients of an Integral Domain IV.21 Field of Quotients 1 Section IV.21. The Field of Quotients of an Integral Domain Note. This section is a homage to the rational numbers! Just as we can start with the integers Z and then build the

More information

So let us begin our quest to find the holy grail of real analysis.

So let us begin our quest to find the holy grail of real analysis. 1 Section 5.2 The Complete Ordered Field: Purpose of Section We present an axiomatic description of the real numbers as a complete ordered field. The axioms which describe the arithmetic of the real numbers

More information