VARGA S THEOREM IN NUMBER FIELDS. Pete L. Clark Department of Mathematics, University of Georgia, Athens, Georgia. Lori D.
|
|
- Brittney Bond
- 5 years ago
- Views:
Transcription
1 #A74 INTEGERS 18 (2018) VARGA S THEOREM IN NUMBER FIELDS Pete L. Clark Department of Mathematics, University of Georgia, Athens, Georgia Lori D. Watson 1 Department of Mathematics, University of Georgia, Athens, Georgia Received: 11/9/17, Accepted: 8/21/18, Published: 8/31/18 Abstract We give a number field version of a recent result of Varga on solutions of polynomial equations with binary input variables and relaxed output variables. 1. Introduction This note gives a contribution to the study of solution sets of systems of polynomial equations over finite local principal rings in the restricted input / relaxed output setting. The following recent result should help to explain the setting and scope. Let n, a 1,..., a n 2 Z + and 1 apple N apple P n i=1 a i. Put ( 1 if N < n m(a 1,..., a n ; N) = min Q n i=1 y i if n apple N apple P n i=1 a ; i the minimum is over (y 1,..., y n ) 2 Z n with 1 apple y i apple a i for all i and P n i=1 y i = N. Theorem 1. ([6, Thm. 1.7]) Let R be a Dedekind domain, and let p be a maximal ideal in R with finite residue field R/p = F q. Let n, r, v 1,..., v r 2 Z +. Let A 1,..., A n, B 1,..., B r R be nonempty subsets each having the property that no two distinct elements are congruent modulo p. Let r, v 1,..., v r 2 Z +. Let P 1,..., P r 2 R[t 1,..., t n ] be nonzero polynomials, and put z B A := #{x 2 ny A i 81 apple j apple m P j (x) 2 B j (mod p vj )}. i=1 1 Partial support from National Science Foundation grant DMS
2 INTEGERS: 18 (2018) 2 Then za B = 0 or 0 1 nx 1,..., #A n ; #A i rx (q vj #B j ) deg(p j ) A. z B A i=1 Remark 1. In the notation of Theorem 1, put v := max 1applejappler v j. Then Theorem 1 may be viewed as a result on polynomials with coe cients in the residue ring R/p v (cf. [6, Thm. 1.6]), a finite, local principal ring. For every finite local principal ring r, there is a number field K, a prime ideal p of the ring of integers Z K of K, and v 2 Z + such that r = Z K /p v ([7, Thm. 2], [2, Thm. 1.12]). Henceforth we will work in the setting of residue rings of Z K. If in Theorem 1 we take v 1 = = v r = 1, A i = F q for all i and B j = {0} for all j, then we recover a result of E. Warning. Theorem 2. (Warning s Second Theorem [9]) Let P 1,..., P r 2 F q [t 1,..., t n ] be nonzero polynomials, and let z = #{x = (x 1,..., x n ) 2 F n q P 1 (x) = = P r (x) = 0}. Then z = 0 or z q n P n deg(pj). By Remark 1, we may write F q as Z K /p for some maximal ideal p in the ring of integers Z K of a suitable number field K. Having done so, Theorem 2 can be interpreted in terms of solutions to a congruence modulo p, whereas Theorem 1 concerns congruences modulo powers of p. At the same time, we are restricting the input variables x 1,..., x n to lie in certain subsets A 1,..., A n and also relaxing the output variables: we do not require that P j (x) = 0 but only that P j (x) lies in a certain subset B j modulo p vj. There is however a tradeo : Theorem 1 contains the hypothesis that no two elements of any A i (resp. B j ) are congruent modulo p. Thus, whereas when v j = 1 for all j we are restricting variables by choice e.g. we could take each A i to be a complete set of coset representatives for p in Z K as done above when v j > 1 we are restricting variables by necessity we cannot take A i to be a complete set of coset representatives for p vj in Z K. We would like to have a version of Theorem 1 in which the A i s can be any nonempty finite subsets of Z K, and the B j can be any nonempty finite subsets of Z K containing {0}. However, to do so the degree conditions need to be modified in order to take care of the arithmetic of the rings Z K /p dj. In general this seems like a di cult and worthy problem. An interesting special case was resolved in recent work of L. Varga [8]. His degree bound comes in terms of a new invariant of a subset B Z/p d Z \ {0} called the price of B and denoted pr(b) that makes connections to the theory of integer-valued polynomials.
3 INTEGERS: 18 (2018) 3 Theorem 3. (Varga [8, Thm. 6]) Let P 1,..., P r 2 Z[t 1,..., t n ]\{0} be polynomials without constant terms. For 1 apple j apple r, let d j 2 Z +, and let B j Z/p dj Z be a subset containing 0. If rx deg(p j ) pr(z/p dj Z \ B j ) < n, then #{x 2 {0, 1} n 81 apple j apple r, P j (x) 2 B j (mod p dj )} 2. In this note we will revisit and extend Varga s work. Here is our main result. Theorem 4. Let K be a number field of degree N, and let e 1,..., e N be a Z- basis for Z K. Let p be a nonzero prime ideal of Z K, and let d 1,..., d r 2 Z +. Let P 1,..., P r 2 Z K [t 1,..., t n ] be nonzero polynomials without constant terms. For each 1 apple j apple r, there are unique {' j,k } 1applekappleN 2 Z[t 1,..., t n ] such that P j (t) = NX ' j,k e j. (1) k=1 For 1 apple j apple r, let B j be a subset of Z K /p dj S := rx that contains 0 (mod p dj ). Let! NX deg(' j,k ) pr(z K /p dj \ B j ). k=1 Then #{x 2 {0, 1} n 81 apple j apple r, P j (x) (mod p dj ) 2 B j } 2 n S. Thus we extend Varga s Theorem 3 from Z to Z K number of solutions. and refine the bound on the In Section 2 we discuss the price of a subset of Z K /p d. It seems to us that Varga s definition of the price has minor technical flaws: as we understand it, he tacitly assumes that for an integer-valued polynomial f 2 Q[t] and m, n 2 Z, the output f(n) modulo m depends only on the input modulo m. This is not true: for instance t(t 1) if f(t) = 2, then f(n) modulo 2 depends on n modulo 4, not just modulo 2. So we take up the discussion from scratch, in the context of residue rings of Z K. The proof of Theorem 4 occupies Section 3. After setting notation in Section 3.1 and developing some preliminaries on multivariate Gregory-Newton expansions in Section 3.2, the proof proper occurs in Section 3.3.
4 INTEGERS: 18 (2018) 4 2. The Price Consider the ring of integer-valued polynomials We have inclusions of rings Let Int(Z K, Z K ) = {f 2 K[t] f(z K ) Z K }. Z K [t] Int(Z K, Z K ) K[t]. m(p, 0) := {f 2 Int(Z K, Z K ) f(0) 0 (mod p)}. Observe that m(p, 0) is the kernel of a ring homomorphism Int(Z K, Z K )! Z K /p: first evaluate f at 0 and then reduce modulo p. So m(p, 0) is a maximal ideal of Int(Z K, Z K ). We put U(p, 0) := Int(Z K, Z K ) \ m(p, 0) = {f 2 Int(Z K, Z K ) f(0) /2 p}. Let d 2 Z +, and let B be a subset of Z K /p d. We say that h 2 U(p, 0) covers B if: for all b 2 Z K such that b (mod p d ) 2 B, we have h(b) 2 p. The price of B, denoted pr(b), is the least degree of a polynomial h 2 U(p, 0) that covers B, or 1 if there is no such polynomial. Remark 2. a) If B 1, B 2 are subsets of Z K /p d \ {0}, then pr(b 1 [ B 2 ) apple pr(b 1 ) + pr(b 2 ) : If for i = 1, 2 the polynomial h i 2 U(p, 0) covers B i and has degree d i, then h 1 h 2 2 U(p, 0) covers B 1 [ B 2 and has degree d 1 + d 2. b) If 0 (mod p d ) 2 B, then pr(b) = 1: Since 0 2 B we need h(0) 2 p, contradicting h 2 U(p, 0). c) If d = 1, then for any subset B Z K /p \ {0}, we have pr(b) apple #B: Let B be any lift of B to Z K. Then h = Y x2 B(t x) 2 Z K [t] Int(Z K, Z K ) covers B and has degree #B. Note that here we use polynoimals with Z K -coe cients. It is clear that #B is the minimal degree of a covering polynomial h with Z K - coe cients: we can then reduce modulo p to get a polynomial in F q [t] that we want to be 0 at the points of B and nonzero at 0, so of course it must have degree at least #B. d) If we assume no element of B is 0 modulo p, let B be the image of B under the natural map Z K /p d! Z K /p = F q ; then our assumption gives 0 /2 B. Above we constructed a polynomial h 2 Z K [t] of degree #B such that h(0) /2 p and for all x 2 Z K such that x (mod p) 2 B, we have h(x) 2 p. This same polynomial h covers B and shows that pr(b) apple pr(b) apple #B.
5 INTEGERS: 18 (2018) 5 For B Z K /p d \ {0} we define apple(b) 2 Z +, as follows. For 1 apple i apple d we will recursively define B i Z K /p i \ {0} and k i 1 2 N. Put B d = B, and let k d 1 be the number of elements of B d that lie in p d 1. Having defined B i and k i 1, we let B i 1 be the set of x 2 Z K /p i 1 such that there are more than k i 1 elements of B i mapping to x under reduction modulo p i 1. We let k i 2 be the number of elements of B i 1 that lie in p i 2. Notice that 0 /2 B i for all i: indeed, B i is defined as the set of elements x such that the fiber under the map Z K /p i+1! Z K /p i has more elements of B i+1 than does the fiber over 0. We put Lemma 3. We have apple(b) apple q d 1. Xd 1 apple(b) := k i q i. Proof. Each k i is a set of elements in a fiber of a q-to-1 map, so certainly k i apple q. In order to have k i = q, then B i+1 would need to contain the entire fiber over 0 2 Z K /p i, but this fiber includes 0 2 Z K /p i+1, which as above does not lie in B i+1. So Xd 1 Xd 1 apple(b) = k i q i apple (q 1)q i = q d 1. i=0 Theorem 5. For any subset B Z K /p d \ {0}, we have pr(b) apple apple(b). i=0 Proof. Step 1: For r 1, let A = {a 1,..., a q d 1} Z K /p d be a complete residue system modulo p d 1 none of whose elements lie in p d. We will show how to cover A with f 2 U(p, 0) of degree q d 1. We denote by v p the p-adic valuation on K. Let 2 Z K be an element with v p ( ) = P d 2 j=0 qj, and let 2 Z K be an element such that v p ( ) = 0 and, for all nonzero prime ideals q 6= p of Z K, we have v q ( ) v q ( ). (Such elements exist by the Chinese Remainder Theorem.) Put g A (t) := q d 1 i=0 Y (t a j ) 2 Z K [t], h A (t) := g A (t) 2 K[t]. For all x 2 Z K, {x a 1,..., x a q d 1} is a complete residue system modulo p d 1, so in Q q d 1 (x a j), for all 0 apple j apple d 1 there are q d 1 j factors in p j, so P d 2 v p (g A (x)) j=0 qj and thus v p (h A (x)) 0. For any prime ideal q 6= p of Z K, both v q (g A (x)) and v q ( ) are non-negative, so v q (h A (x)) 0. Thus h A 2 Int Z K. Moreover, the condition that no a j lies in p d ensures that v p (g A (0)) = P d 2 j=0 qj, so h A 2 U(p, 0). If x 2 Z K is such that x a j (mod p d ) for some j, then v p (x a j ) d. Since in the above lower bounds of v p (g A (x)) we obtained a lower bound of at
6 INTEGERS: 18 (2018) 6 most d 1 on the p-adic valuation of each factor, this gives an extra divisibility and shows that v p (h A (x)) 0. Thus h A covers A with price at most q d 1. Step 2: Now let B Z K /p d \ {0}. The number of elements of B that lie in p d 1 is k d 1. For each of these elements x i we choose a complete residue system A i modulo p d 1 containing it; since no x i lies in p d this system satisfies the hypothesis of Step 1, so we can cover each A i with price at most q d 1 and thus (using Remark (2a)) all of the A i s with price at most k d 1 q d 1. However, by suitably choosing the A i s we can cover many other elements as well. Indeed, because we are choosing k d 1 complete residue systems modulo p d 1, we can cover every element x that is congruent modulo p d 1 to at most k d 1 elements of B. By definition of B d 1, this means that we can cover all elements of B that do not map modulo p d 1 into B d 1. Now suppose that we can cover B d 1 by h 2 U(p, 0) of degree apple 0. This means that for every x 2 Z K such that x (mod p d 1 ) lies in B d 1, h(x) 2 p. But then every element of B whose image in p d 1 lies in B d 1 is covered by h, so altogether we get pr(b) apple k d 1 q d 1 + pr(b d 1 ). Now applying the same argument successively to B d 1,..., B 1 gives pr(b i ) apple k i 1 q i 1 + pr(b i 1 ), and thus Xd 1 pr(b) apple k i q i = apple(b). i=0 3. Proof of the Main Theorem 3.1. Notation Let K be a number field of degree N, and let e 1,..., e N be a Z-basis for Z K. A Z-basis for Z K [t 1,..., t n ] is given by e j t I as j ranges over elements of {1,..., N} and I ranges over elements of N n. So for any f 2 Z K [t 1,..., t n ], we may write Then we have f = ' 1 (t 1,..., t n )e ' N (t 1,..., t n )e N, ' i 2 Z[t 1,..., t n ]. (2) For a subset B Z K /p d, we put deg f = max deg ' i. i B = Z K /p d \ B.
7 INTEGERS: 18 (2018) Multivariable Newton Expansions Lemma 4. If f 2 Q[t] is a polynomial and f(n) Z, then f(z) Z. Proof. See e.g. [3, p. 2]. Theorem 6. Let f 2 K[t]. a) There is a unique function (f) : N N! K, r 7! r (f) such that (i) we have r (f) = 0 for all but finitely many r 2 N N, and (ii) for all x = x 1 e x N e N 2 Z K, we have f(x) = X r2n N r (f) x1 r 1 xn b) The following are equivalent: (i) We have f 2 Int(Z K, Z K ). (ii) For all r 2 N N, r (f) 2 Z K. We call the r (f) the Gregory-Newton coe cients of f. r N. (3) Proof. Step 1: Let f 2 K[t]. Let e 1,..., e N be a Z-basis for Z K. We introduce new independent indeterminates t 1,..., t N and make the substitution to get a polynomial NX t = e k t k k=1 f 2 K[t]. This polynomial induces a map K N! K hence, by restriction, a map Z N! K. For x = (x 1,..., x N ) 2 Z N, write x = x 1 e x N e N 2 Z K. Then we have f(x) = f(x). Let M = Maps(Z N, K) be the set of all such functions, and let P be the K-subspace of M consisting of functions obtained by evaluating a polynomial in K[t] on Z N, as above. By the CATS Lemma [5, Thm. 12], the map K[t]! P is an isomorphism of K-vector spaces. Henceforth we will identify K[t] with P inside M. Step 2: For all 1 apple k apple N, we define a K-linear endomorphism k of M, the kth partial di erence operator: k(g) : x 2 Z N 7! g(x + e k ) g(x). These endomorphisms all commute with each other: ( i j)(g) = g(x + e i + e j ) g(x + e j ) g(x + e i ) + g(x) = ( j i)(g).
8 INTEGERS: 18 (2018) 8 Let 0 k be the identity operator on M, and for i 2 Z +, let i k be the i-fold composition of k. For I = (i 1,..., i N ) 2 N N, put I = i1... i N 2 End K (M). When we apply k to a monomial t I, we get another polynomial. More precisely, if deg tk (t I ) = 0 then kt I is the zero polynomial; otherwise deg tk ( kt I ) = (deg tk t I ) 1; 8l 6= k, deg tl ( kt I ) = deg tl t I. Thus for each f 2 P, for all but finitely many I 2 N N, we have that I (f) = 0. For the one variable di erence operator, we have x x + 1 x x = =. r r r r 1 From this it follows that for I, r 2 N N we have I x1 xn 0 (0) = r 1 r N r 1 i 1 r N 0 i N = r,i. (4) So if : N N! K is any finitely nonzero function then for all I 2 N N we have I ( X x1 xn )(0) = I, (5) r2n N and thus there is at most one such function satisfying (3), namely r r 1 r N (f) : r 7! r (f)(0). So for any f 2 M and r 2 N N, we define the Gregory-Newton coe cient r (f) := r (f)(0) 2 K. of Gregory-Newton coef- We may view the assignment of the package { r (f)} r2n N ficients to f 2 M as a K-linear mapping M! K NN. If we put M + = Maps(N N, K), then we get a factorization M! M +! K N N, where the first map restricts from Z N to N N, and the factorization occurs because the Gregory-Newton coe cients depend only on the values of f on N N. We make several observations.
9 INTEGERS: 18 (2018) 9 First Observation: The map is an isomorphism. Indeed, knowing all the successive di erences at 0 is equivalent to knowing all the values on N N, and all possible packages of Gregory-Newton coe cients arise. Namely, let S n be the assertion that for all x 2 N N with P k x k = n and all f 2 M, then f(x) is a Z-linear combination of its Gregory-Newton coe cients. The case n = 0 is clear: f(0) = 0 (f). Suppose S n holds for n, let x 2 N N be such that P k x k = n + 1, and choose k such that x = y + e k ; thus P k y k = n. Then f(x) = f(y) + k f(y). By induction, f(y) is a Z-linear combination of the Gregory-Newton coe cients of f and kf(y) is a Z-linear combination of the Gregory-Newton coe cients of kf. But every Gregory-Newton coe cient of kf is also a Gregory-Newton coe cient of f, completing the induction. Second Observation: The composite map K[t]! M! M +! K N N is an injection. Indeed, the kernel of M! K NN is the set of functions that vanish on Z N \ N N. In particular, any element of the kernel vanishes on the infinite Cartesian subset (Z <0 ) N and thus by the CATS Lemma is the zero polynomial. Third Observation: For a subring R K and f 2 M, we have f(n N ) R i all of the Gregory-Newton coe cients of f lie in R. This is a consequence of the First Observation: the Gregory-Newton coe cients are Z-linear combinations of the values of f on N N and conversely. Step 3: For F 2 K[t], we define the Newton expansion T (F ) = X t1 tn r (F ) 2 K[t]. r 1 r N r2n N This is a finite sum. Moreover, by definition of r (F ) and by (5) we get that for all r 2 N N, r (T (F )) = r (F ). It now follows from Step 2 that T (F ) = F 2 K[t]. Applying this to the f associated to f 2 K[t] in Step 1 completes the proof of part a). Step 4: If we assume that f 2 Int(Z K, Z K ) then f(z N ) Z K, so all the Gregory- Newton coe cents lie in Z K. Conversely, if all the Gregory-Newton coe cients of f lie in Z K, then for x = x 1 e x N e N 2 Z K, by Lemma 4 and (3) we have f(x) = f(x 1,..., x N ) 2 Z K, so f 2 Int(Z K, Z K ) Proof of Theorem 4 We begin by recalling the following result.
10 INTEGERS: 18 (2018) 10 Theorem 7. Let F be a field, and let P 2 F [t 1,..., t n ] be a polynomial. Let Then either #U = 0 or #U 2 n deg(p ). U := {x 2 {0, 1} n P (x) 6= 0}. Proof. This is a special case of a result of Alon-Füredi [1, Thm. 5]. We now turn to the proof of Theorem 4. Put Z := {x 2 {0, 1} n 81 apple j apple r, P j (x) (mod p dj ) 2 B j }. Step 0: If q = #Z K /p is a power of p, then we have p d 2 p d. Therefore in (1) if we modify any coe cient of ' j,k (t) by a multiple of p d, it does not change P j modulo p d and thus does not change the set Z. We may thus assume that every coe cient of every ' j,k is non-negative. Step 1: For w = P k i=1 tii a sum of monomials and 0 apple r apple k, we put X r(w) := t Ii 1 t I ir. 1applei 1<i 2<...<i rapplek For x 2 {0, 1} n, we have w(x) = #{1 apple i apple k x Ii = 1}, so w(x) r(w)(x) =. r For f 2 Z K [t 1,..., t n ], write f = P N k=1 ' k(t)e k and suppose that all the coe cients of each ' k are non-negative equivalently, each ' k (t) is a sum of monomials. For r 2 N N, we put r(f) := r 1 (' 1 ) r N (' N ) 2 Z[t]. For h 2 Int(Z K, Z K ) with Gregory-Newton coe h (f) := X r2n N r r(f) 2 Z K [t]. cients r, we put For x 2 {0, 1} n, we have so using (2) we get h (f)(x) = X r r(x) = NY 'k (x), k=1 r r(f)(x) = X r r k '1 (x) 'N (x) r r 1 r N = h(' 1 (x)e ' N (x)e N ) = h(f(x)).
11 INTEGERS: 18 (2018) 11 Step 2: For 1 apple j apple r, let h j 2 Int(Z K, Z K ) have degree pr(b j ) and cover B j. Put ry F := Note that rx deg(f ) apple deg h j (P j ) (mod p) 2 Z K /p[t] = F q [t].! rx nx h j (P j ) apple deg(h j ) deg(' j,k ) = S. k=1 Here is the key observation: for x 2 {0, 1} n, if F (x) 6= 0, then for all 1 apple j apple r we have p - h j (P j )(x) = h j (P j (x)), so P j (x) (mod p dj ) /2 B j, and thus x 2 Z. Step 3: For all 1 apple j apple r we have P j (0) = 0 and h j 2 U(p, 0), so h j (0) /2 p, so F (0) = ry h j (P j (0)) = ry h j (P j (0)) (mod p) = Applying Alon-Füredi to F, we get ry h j (0) (mod p) 6= 0. #Z #{x 2 {0, 1} n F (x) 6= 0} 2 n deg F 2 n S, completing the proof of Theorem 4. References [1] N. Alon and Z. Füredi, Covering the cube by a ne hyperplanes, European J. Combin. 14 (1993), [2] A. Brunyate and P.L. Clark, Extending the Zolotarev-Frobenius approach to quadratic reciprocity, Ramanujan J. 37 (2015), [3] P.-J. Cahen and J.-L. Chabert, Integer-Valued Polynomials, Mathematical Surveys and Monographs, 48, American Mathematical Society, Providence, RI, [4] P.L. Clark, A. Forrow and J.R. Schmitt, Warning s Second Theorem with restricted variables, Combinatorica 37 (2017), [5] P.L. Clark, The Combinatorial Nullstellensätze revisited,electron. J. Combin. 21, no. 4 (2014). Paper P4.15. [6] P.L. Clark, Warning s second theorem with relaxed outputs, pete/main Theorem.pdf [7] A.A. Nečaev, The structure of finite commutative rings with unity, Mat. Zametki 10 (1971), [8] L. Varga, Combinatorial Nullstellensatz modulo prime powers and the parity argument, Electron. J. Combin. 21, no. 4 (2014), Paper [9] E. Warning, Bemerkung zur vorstehenden Arbeit von Herrn Chevalley, Abh. Math. Semin. Univ. Hambg. 11 (1935),
VARGA S THEOREM IN NUMBER FIELDS
VARGA S THEOREM IN NUMBER FIELDS PETE L. CLARK AND LORI D. WATSON Abstract. We give a number field version of a recent result of Varga on solutions of polynomial equations with binary input variables and
More informationOn Zeros of a Polynomial in a Finite Grid: the Alon-Füredi Bound
On Zeros of a Polynomial in a Finite Grid: the Alon-Füredi Bound John R. Schmitt Middlebury College, Vermont, USA joint work with Anurag Bishnoi (Ghent), Pete L. Clark (U. Georgia), Aditya Potukuchi (Rutgers)
More informationCHAPTER 14. Ideals and Factor Rings
CHAPTER 14 Ideals and Factor Rings Ideals Definition (Ideal). A subring A of a ring R is called a (two-sided) ideal of R if for every r 2 R and every a 2 A, ra 2 A and ar 2 A. Note. (1) A absorbs elements
More informationWARNING S SECOND THEOREM WITH RESTRICTED VARIABLES
COMBINATORICA Bolyai Society Springer-Verlag Combinatorica 21pp. DOI: 10.1007/s00493-015-3267-8 WARNING S SECOND THEOREM WITH RESTRICTED VARIABLES PETE L. CLARK, ADEN FORROW, JOHN R. SCHMITT Received May
More informationMATH 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 informationWARNING S SECOND THEOREM WITH RESTRICTED VARIABLES
WARNING S SECOND THEOREM WITH RESTRICTED VARIABLES PETE L. CLARK, ADEN FORROW, AND JOHN R. SCHMITT Abstract. We present a restricted variable generalization of Warning s Second Theorem (a result giving
More informationCourse 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 informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More informationMath 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille
Math 429/581 (Advanced) Group Theory Summary of Definitions, Examples, and Theorems by Stefan Gille 1 2 0. Group Operations 0.1. Definition. Let G be a group and X a set. A (left) operation of G on X is
More informationx = π m (a 0 + a 1 π + a 2 π ) where a i R, a 0 = 0, m Z.
ALGEBRAIC NUMBER THEORY LECTURE 7 NOTES Material covered: Local fields, Hensel s lemma. Remark. The non-archimedean topology: Recall that if K is a field with a valuation, then it also is a metric space
More informationPolynomialExponential Equations in Two Variables
journal of number theory 62, 428438 (1997) article no. NT972058 PolynomialExponential Equations in Two Variables Scott D. Ahlgren* Department of Mathematics, University of Colorado, Boulder, Campus Box
More informationMath 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(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 information10. Noether Normalization and Hilbert s Nullstellensatz
10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.
More information14 Ordinary and supersingular elliptic curves
18.783 Elliptic Curves Spring 2015 Lecture #14 03/31/2015 14 Ordinary and supersingular elliptic curves Let E/k be an elliptic curve over a field of positive characteristic p. In Lecture 7 we proved that
More informationTHE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS. Bernd C. Kellner Göppert Weg 5, Göttingen, Germany
#A95 INTEGERS 18 (2018) THE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS Bernd C. Kellner Göppert Weg 5, 37077 Göttingen, Germany b@bernoulli.org Jonathan Sondow 209 West 97th Street, New Yor,
More informationFactorization 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 information4. Noether normalisation
4. Noether normalisation We shall say that a ring R is an affine ring (or affine k-algebra) if R is isomorphic to a polynomial ring over a field k with finitely many indeterminates modulo an ideal, i.e.,
More informationCHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and
CHAPTER I Rings 1.1 Definitions and Examples Definition 1.1.1. A ring R is a set with two binary operations, addition + and multiplication satisfying the following conditions for all a, b, c in R : (i)
More informationRINGS: SUMMARY OF MATERIAL
RINGS: SUMMARY OF MATERIAL BRIAN OSSERMAN This is a summary of terms used and main results proved in the subject of rings, from Chapters 11-13 of Artin. Definitions not included here may be considered
More informationDefinitions. 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 informationNotes on Systems of Linear Congruences
MATH 324 Summer 2012 Elementary Number Theory Notes on Systems of Linear Congruences In this note we will discuss systems of linear congruences where the moduli are all different. Definition. Given the
More informationChapter 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 informationHomework 10 M 373K by Mark Lindberg (mal4549)
Homework 10 M 373K by Mark Lindberg (mal4549) 1. Artin, Chapter 11, Exercise 1.1. Prove that 7 + 3 2 and 3 + 5 are algebraic numbers. To do this, we must provide a polynomial with integer coefficients
More informationIntegral 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= 1 2x. x 2 a ) 0 (mod p n ), (x 2 + 2a + a2. x a ) 2
8. p-adic numbers 8.1. Motivation: Solving x 2 a (mod p n ). Take an odd prime p, and ( an) integer a coprime to p. Then, as we know, x 2 a (mod p) has a solution x Z iff = 1. In this case we can suppose
More informationFactorization of integer-valued polynomials with square-free denominator
accepted by Comm. Algebra (2013) Factorization of integer-valued polynomials with square-free denominator Giulio Peruginelli September 9, 2013 Dedicated to Marco Fontana on the occasion of his 65th birthday
More informationCHAPTER 10: POLYNOMIALS (DRAFT)
CHAPTER 10: POLYNOMIALS (DRAFT) LECTURE NOTES FOR MATH 378 (CSUSM, SPRING 2009). WAYNE AITKEN The material in this chapter is fairly informal. Unlike earlier chapters, no attempt is made to rigorously
More informationLECTURE NOTES IN CRYPTOGRAPHY
1 LECTURE NOTES IN CRYPTOGRAPHY Thomas Johansson 2005/2006 c Thomas Johansson 2006 2 Chapter 1 Abstract algebra and Number theory Before we start the treatment of cryptography we need to review some basic
More information6 Lecture 6: More constructions with Huber rings
6 Lecture 6: More constructions with Huber rings 6.1 Introduction Recall from Definition 5.2.4 that a Huber ring is a commutative topological ring A equipped with an open subring A 0, such that the subspace
More informationMath 120 HW 9 Solutions
Math 120 HW 9 Solutions June 8, 2018 Question 1 Write down a ring homomorphism (no proof required) f from R = Z[ 11] = {a + b 11 a, b Z} to S = Z/35Z. The main difficulty is to find an element x Z/35Z
More informationMA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES
MA257: INTRODUCTION TO NUMBER THEORY LECTURE NOTES 2018 57 5. p-adic Numbers 5.1. Motivating examples. We all know that 2 is irrational, so that 2 is not a square in the rational field Q, but that we can
More informationFormal groups. Peter Bruin 2 March 2006
Formal groups Peter Bruin 2 March 2006 0. Introduction The topic of formal groups becomes important when we want to deal with reduction of elliptic curves. Let R be a discrete valuation ring with field
More informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
More informationLifting to non-integral idempotents
Journal of Pure and Applied Algebra 162 (2001) 359 366 www.elsevier.com/locate/jpaa Lifting to non-integral idempotents Georey R. Robinson School of Mathematics and Statistics, University of Birmingham,
More informationRings 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 informationMoreover this binary operation satisfies the following properties
Contents 1 Algebraic structures 1 1.1 Group........................................... 1 1.1.1 Definitions and examples............................. 1 1.1.2 Subgroup.....................................
More informationFormal 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 informationMATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM
MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM Basic Questions 1. Compute the factor group Z 3 Z 9 / (1, 6). The subgroup generated by (1, 6) is
More informationHigher-Dimensional Analogues of the Combinatorial Nullstellensatz
Higher-Dimensional Analogues of the Combinatorial Nullstellensatz Jake Mundo July 21, 2016 Abstract The celebrated Combinatorial Nullstellensatz of Alon describes the form of a polynomial which vanishes
More informationA few exercises. 1. Show that f(x) = x 4 x 2 +1 is irreducible in Q[x]. Find its irreducible factorization in
A few exercises 1. Show that f(x) = x 4 x 2 +1 is irreducible in Q[x]. Find its irreducible factorization in F 2 [x]. solution. Since f(x) is a primitive polynomial in Z[x], by Gauss lemma it is enough
More informationK. Johnson Department of Mathematics, Dalhousie University, Halifax, Nova Scotia, Canada D. Patterson
#A21 INTEGERS 11 (2011) PROJECTIVE P -ORDERINGS AND HOMOGENEOUS INTEGER-VALUED POLYNOMIALS K. Johnson Department of Mathematics, Dalhousie University, Halifax, Nova Scotia, Canada johnson@mathstat.dal.ca
More information9 - The Combinatorial Nullstellensatz
9 - The Combinatorial Nullstellensatz Jacques Verstraëte jacques@ucsd.edu Hilbert s nullstellensatz says that if F is an algebraically closed field and f and g 1, g 2,..., g m are polynomials in F[x 1,
More informationZEROS OF SPARSE POLYNOMIALS OVER LOCAL FIELDS OF CHARACTERISTIC p
ZEROS OF SPARSE POLYNOMIALS OVER LOCAL FIELDS OF CHARACTERISTIC p BJORN POONEN 1. Statement of results Let K be a field of characteristic p > 0 equipped with a valuation v : K G taking values in an ordered
More informationINFINITE RINGS WITH PLANAR ZERO-DIVISOR GRAPHS
INFINITE RINGS WITH PLANAR ZERO-DIVISOR GRAPHS YONGWEI YAO Abstract. For any commutative ring R that is not a domain, there is a zerodivisor graph, denoted Γ(R), in which the vertices are the nonzero zero-divisors
More informationINTEGER VALUED POLYNOMIALS AND LUBIN-TATE FORMAL GROUPS
INTEGER VALUED POLYNOMIALS AND LUBIN-TATE FORMAL GROUPS EHUD DE SHALIT AND ERAN ICELAND Abstract. If R is an integral domain and K is its field of fractions, we let Int(R) stand for the subring of K[x]
More informationReview of Linear Algebra
Review of Linear Algebra Throughout these notes, F denotes a field (often called the scalars in this context). 1 Definition of a vector space Definition 1.1. A F -vector space or simply a vector space
More informationIdeals, congruence modulo ideal, factor rings
Ideals, congruence modulo ideal, factor rings Sergei Silvestrov Spring term 2011, Lecture 6 Contents of the lecture Homomorphisms of rings Ideals Factor rings Typeset by FoilTEX Congruence in F[x] and
More informationMATH 361: NUMBER THEORY FOURTH LECTURE
MATH 361: NUMBER THEORY FOURTH LECTURE 1. Introduction Everybody knows that three hours after 10:00, the time is 1:00. That is, everybody is familiar with modular arithmetic, the usual arithmetic of the
More informationMathematics 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 informationMath 4400, Spring 08, Sample problems Final Exam.
Math 4400, Spring 08, Sample problems Final Exam. 1. Groups (1) (a) Let a be an element of a group G. Define the notions of exponent of a and period of a. (b) Suppose a has a finite period. Prove that
More informationPlaces of Number Fields and Function Fields MATH 681, Spring 2018
Places of Number Fields and Function Fields MATH 681, Spring 2018 From now on we will denote the field Z/pZ for a prime p more compactly by F p. More generally, for q a power of a prime p, F q will denote
More informationMATH 631: ALGEBRAIC GEOMETRY: HOMEWORK 1 SOLUTIONS
MATH 63: ALGEBRAIC GEOMETRY: HOMEWORK SOLUTIONS Problem. (a.) The (t + ) (t + ) minors m (A),..., m k (A) of an n m matrix A are polynomials in the entries of A, and m i (A) = 0 for all i =,..., k if and
More informationLocal Fields. Chapter Absolute Values and Discrete Valuations Definitions and Comments
Chapter 9 Local Fields The definition of global field varies in the literature, but all definitions include our primary source of examples, number fields. The other fields that are of interest in algebraic
More informationU + V = (U V ) (V U), UV = U V.
Solution of Some Homework Problems (3.1) Prove that a commutative ring R has a unique 1. Proof: Let 1 R and 1 R be two multiplicative identities of R. Then since 1 R is an identity, 1 R = 1 R 1 R. Since
More informationRings. 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 informationAlgebraic 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 informationChapter 1 : The language of mathematics.
MAT 200, Logic, Language and Proof, Fall 2015 Summary Chapter 1 : The language of mathematics. Definition. A proposition is a sentence which is either true or false. Truth table for the connective or :
More informationComputing with polynomials: Hensel constructions
Course Polynomials: Their Power and How to Use Them, JASS 07 Computing with polynomials: Hensel constructions Lukas Bulwahn March 28, 2007 Abstract To solve GCD calculations and factorization of polynomials
More informationDavid Adam. Jean-Luc Chabert LAMFA CNRS-UMR 6140, Université de Picardie, France
#A37 INTEGERS 10 (2010), 437-451 SUBSETS OF Z WITH SIMULTANEOUS ORDERINGS David Adam GAATI, Université de la Polynésie Française, Tahiti, Polynésie Française david.adam@upf.pf Jean-Luc Chabert LAMFA CNRS-UMR
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationAlgebra Review 2. 1 Fields. A field is an extension of the concept of a group.
Algebra Review 2 1 Fields A field is an extension of the concept of a group. Definition 1. A field (F, +,, 0 F, 1 F ) is a set F together with two binary operations (+, ) on F such that the following conditions
More informationIRREDUCIBILITY TESTS IN Q[T ]
IRREDUCIBILITY TESTS IN Q[T ] KEITH CONRAD 1. Introduction For a general field F there is no simple way to determine if an arbitrary polynomial in F [T ] is irreducible. Here we will focus on the case
More informationComputations/Applications
Computations/Applications 1. Find the inverse of x + 1 in the ring F 5 [x]/(x 3 1). Solution: We use the Euclidean Algorithm: x 3 1 (x + 1)(x + 4x + 1) + 3 (x + 1) 3(x + ) + 0. Thus 3 (x 3 1) + (x + 1)(4x
More informationMINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS
MINIMAL GENERATING SETS OF GROUPS, RINGS, AND FIELDS LORENZ HALBEISEN, MARTIN HAMILTON, AND PAVEL RŮŽIČKA Abstract. A subset X of a group (or a ring, or a field) is called generating, if the smallest subgroup
More informationϕ : Z F : ϕ(t) = t 1 =
1. Finite Fields The first examples of finite fields are quotient fields of the ring of integers Z: let t > 1 and define Z /t = Z/(tZ) to be the ring of congruence classes of integers modulo t: in practical
More informationTHUE S LEMMA AND IDONEAL QUADRATIC FORMS
THUE S LEMMA AND IDONEAL QUADRATIC FORMS PETE L. CLARK Abstract. The representation of integers by binary quadratic forms is one of the oldest problems in number theory, going back at least to Fermat s
More informationwhere 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 informationMATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions
MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions Basic Questions 1. Give an example of a prime ideal which is not maximal. In the ring Z Z, the ideal {(0,
More informationA NOTE ON GOLOMB TOPOLOGIES
A NOTE ON GOLOMB TOPOLOGIES PETE L. CLARK, NOAH LEBOWITZ-LOCKARD, AND PAUL POLLACK Abstract. In 1959 Golomb defined a connected topology on Z. An analogous Golomb topology on an arbitrary integral domain
More informationFormal 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 information1. Algebra 1.5. Polynomial Rings
1. ALGEBRA 19 1. Algebra 1.5. Polynomial Rings Lemma 1.5.1 Let R and S be rings with identity element. If R > 1 and S > 1, then R S contains zero divisors. Proof. The two elements (1, 0) and (0, 1) are
More informationMath 121 Homework 2 Solutions
Math 121 Homework 2 Solutions Problem 13.2 #16. Let K/F be an algebraic extension and let R be a ring contained in K that contains F. Prove that R is a subfield of K containing F. We will give two proofs.
More informationFinite Fields. Sophie Huczynska. Semester 2, Academic Year
Finite Fields Sophie Huczynska Semester 2, Academic Year 2005-06 2 Chapter 1. Introduction Finite fields is a branch of mathematics which has come to the fore in the last 50 years due to its numerous applications,
More informationMATH 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 informationCDM. Finite Fields. Klaus Sutner Carnegie Mellon University. Fall 2018
CDM Finite Fields Klaus Sutner Carnegie Mellon University Fall 2018 1 Ideals The Structure theorem Where Are We? 3 We know that every finite field carries two apparently separate structures: additive and
More informationA CONSTRUCTION FOR ABSOLUTE VALUES IN POLYNOMIAL RINGS. than define a second approximation V 0
A CONSTRUCTION FOR ABSOLUTE VALUES IN POLYNOMIAL RINGS by SAUNDERS MacLANE 1. Introduction. An absolute value of a ring is a function b which has some of the formal properties of the ordinary absolute
More informationCharacterization of Multivariate Permutation Polynomials in Positive Characteristic
São Paulo Journal of Mathematical Sciences 3, 1 (2009), 1 12 Characterization of Multivariate Permutation Polynomials in Positive Characteristic Pablo A. Acosta-Solarte Universidad Distrital Francisco
More information1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by
Seminar 1 1. Which ones of the usual symbols of addition, subtraction, multiplication and division define an operation (composition law) on the numerical sets N, Z, Q, R, C? 2. Let A = {a 1, a 2, a 3 }.
More information1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism
1 RINGS 1 1 Rings Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism (a) Given an element α R there is a unique homomorphism Φ : R[x] R which agrees with the map ϕ on constant polynomials
More informationR S. with the property that for every s S, φ(s) is a unit in R S, which is universal amongst all such rings. That is given any morphism
8. Nullstellensatz We will need the notion of localisation, which is a straightforward generalisation of the notion of the field of fractions. Definition 8.1. Let R be a ring. We say that a subset S of
More informationPolynomial functions on subsets of non-commutative rings a link between ringsets and null-ideal sets
Polynomial functions on subsets of non-commutative rings a lin between ringsets and null-ideal sets Sophie Frisch 1, 1 Institut für Analysis und Zahlentheorie, Technische Universität Graz, Koperniusgasse
More informationOn Permutation Polynomials over Local Finite Commutative Rings
International Journal of Algebra, Vol. 12, 2018, no. 7, 285-295 HIKARI Ltd, www.m-hikari.com https://doi.org/10.12988/ija.2018.8935 On Permutation Polynomials over Local Finite Commutative Rings Javier
More informationTHUE S LEMMA AND IDONEAL QUADRATIC FORMS
THUE S LEMMA AND IDONEAL QUADRATIC FORMS PETE L. CLARK Introduction Recently I learned about Thue s Lemma, an elementary result on congruences due to the Norwegian mathematician Axel Thue (1863-1922).
More informationPolynomial 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 informationD-MATH Algebra I HS 2013 Prof. Brent Doran. Exercise 11. Rings: definitions, units, zero divisors, polynomial rings
D-MATH Algebra I HS 2013 Prof. Brent Doran Exercise 11 Rings: definitions, units, zero divisors, polynomial rings 1. Show that the matrices M(n n, C) form a noncommutative ring. What are the units of M(n
More informationJosé Felipe Voloch. Abstract: We discuss the problem of constructing elements of multiplicative high
On the order of points on curves over finite fields José Felipe Voloch Abstract: We discuss the problem of constructing elements of multiplicative high order in finite fields of large degree over their
More informationPROBLEMS ON CONGRUENCES AND DIVISIBILITY
PROBLEMS ON CONGRUENCES AND DIVISIBILITY 1. Do there exist 1,000,000 consecutive integers each of which contains a repeated prime factor? 2. A positive integer n is powerful if for every prime p dividing
More informationMath 2070BC Term 2 Weeks 1 13 Lecture Notes
Math 2070BC 2017 18 Term 2 Weeks 1 13 Lecture Notes Keywords: group operation multiplication associative identity element inverse commutative abelian group Special Linear Group order infinite order cyclic
More informationALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
More informationStrongly 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 informationAbstract Algebra: Chapters 16 and 17
Study polynomials, their factorization, and the construction of fields. Chapter 16 Polynomial Rings Notation Let R be a commutative ring. The ring of polynomials over R in the indeterminate x is the set
More informationHonors 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 informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35 1. Let R 0 be a commutative ring with 1 and let S R be the subset of nonzero elements which are not zero divisors. (a)
More informationRings. Chapter Definitions and Examples
Chapter 5 Rings Nothing proves more clearly that the mind seeks truth, and nothing reflects more glory upon it, than the delight it takes, sometimes in spite of itself, in the driest and thorniest researches
More informationGröbner bases for the polynomial ring with infinite variables and their applications
Gröbner bases for the polynomial ring with infinite variables and their applications Kei-ichiro Iima and Yuji Yoshino Abstract We develop the theory of Gröbner bases for ideals in a polynomial ring with
More informationbe 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φ(xy) = (xy) n = x n y n = φ(x)φ(y)
Groups 1. (Algebra Comp S03) Let A, B and C be normal subgroups of a group G with A B. If A C = B C and AC = BC then prove that A = B. Let b B. Since b = b1 BC = AC, there are a A and c C such that b =
More informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
More information