DOCSLIB.ORG

Arxiv:1709.01426V2 [Math.AC] 22 Feb 2018 N Rilssc S[] 3,[]

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Arxiv:1709.01426V2 [Math.AC] 22 Feb 2018 N Rilssc S[] 3,[] A FRESH LOOK INTO MONOID RINGS AND FORMAL POWER SERIES RINGS ABOLFAZL TARIZADEH Abstract. In this article, the ring of polynomials is studied in a systematic way through the theory of monoid rings. As a con- sequence, this study provides natural and canonical approaches in order to find easy and rigorous proofs and methods for many facts on polynomials and formal power series; some of them as sample are treated in this note. Besides the universal properties of the monoid rings and polynomial rings, a universal property for the formal power series rings is also established. 1. Introduction Formal power series specially polynomials are ubiquitous in all fields of mathematics and widely applied across the sciences and engineering. Hence, in the abstract setting, it is necessary to have a systematic the- ory of polynomials available in hand. In [5, pp. 104-107], the ring of polynomials is introduced very briefly in a systematic way but the de- tails specially the universal property are not investigated. In [4, Chap 3, §5], this ring is also defined in a satisfactory way but the approach is not sufficiently general. Unfortunately, in the remaining standard algebra text books, this ring is introduced in an unsystematic way. Beside some harmful affects of this approach in the learning, another defect which arises is that then it is not possible to prove many results arXiv:1709.01426v2 [math.AC] 22 Feb 2018 specially the universal property of the polynomial rings through this non-canonical way. In this note, we plan to fill all these gaps. This material will help to an interesting reader to obtain a better insight into the polynomials and formal power series. It also provides adequate preparation and motivation for reading some advanced books and articles such as [2], [3], [6] . 0 2010 Mathematics Subject Classification: 13F20, 13M10, 12E05, 13F25, 13J05, 30C10, 37F10, 37P05 etc Key words and phrases: monoid ring; ring of polynomials with multiple variables. 1 2 ABOLFAZLTARIZADEH 2. Monoid rings Let R be a ring and let (M, ∗) be a monoid. Let R[M] be the set of all functions f : M → R with the finite support, i.e. Supp(f) = {m ∈ M : f(m) =6 0} is a finite set. We make R[M] into a ring by defining the following operations over it. For f,g ∈ R[M] the addition is defined as f +g : M → R which maps each m ∈ M into f(m)+g(m). Note that Supp(f + g) ⊆ Supp(f) ∪ Supp(g) and hence f + g ∈ R[M]. The multiplication is defined as f.g : R → M which maps each m ∈ M into f(m1)g(m2). X 2 (m1,m2)∈M , m1∗m2=m 2 Note that Em := {(m1, m2) ∈ M : m1 ∗ m2 = m, f(m1)g(m2) =6 0} ⊆ Supp(f) × Supp(g). Hence Em is a finite set and (f.g)(m) = f(m1)g(m2). Therefore f.g is actually a function from M (m1,mP2)∈Em into R. If m ∈ Supp(f.g) then Em is nonempty. Thus the map m Em is an injective map from Supp(f.g) into the power set of Supp(f) × Supp(g). Therefore Supp(f.g) is a finite set and hence f.g ∈ R[M]. Lemma 2.1. The above multiplication is associative. Proof. Suppose f,g,h ∈ R[M]. For each m ∈ M, consider the 3 equivalence relation ∼ on the finite set E := {(m1, m2, m3) ∈ M : m1 ∗ m2∗m3 = m, f(m1)g(m2)h(m3) =06 } which is defined as (m1, m2, m3) ∼ (n1, n2, n3) if m1 ∗ m2 = n1 ∗ n2. Then we recalculate the sum c := f(m )g(m )h(m ) X 1 2 3 (m1,m2,m3)∈E by regarding the equivalent classes which are obtained from this rela- tion. Clearly c := f(m )g(m )h(m ) (n1,n2,n3) X 1 2 3 (m1,m2,m3)∈E, ′ m1∗m2=m is the sum of all terms of c whose indices are belonging to a typical ′ equivalence class with a representation (n1, n2, n3) where m := n1 ∗ n2. 3 Suppose there exists some (m1, m2, m3) ∈ M \ E such that m1 ∗ m2 = ′ ′ m , m ∗ m3 = m and either f(m1)g(m2) =6 0 or h(m3) =6 0. Then A FRESH LOOK INTO MONOID RINGS AND FORMAL POWER SERIES RINGS3 clearly f(m1)g(m2)h(m3) = 0. Therefore c(n1,n2,n3) = f(m1)g(m2)h(m3)= X X 2 m3∈M, (m1,m2)∈M , ′ ′ m ∗m3=m m1∗m2=m (f.g)(m′) h(m ) . X 3 m3∈M, ′ m ∗m3=m Let {(n1k, n2k, n3k):1 ≤ k ≤ s} be a choice set from the distinct ′ ′ ′ ′ equivalent classes. Let mk := n1k ∗ n2k and M := {m1, ..., ms}. ′ ′′ ′ Suppose there is some (m , m3) ∈ M × M such that m ∗ m3 = m ′′ ′ where M := M \ M . Then clearly f(m1)g(m2)h(m3) = 0 for each 2 ′ (m1, m2) ∈ M with m1 ∗ m2 = m . Therefore ′ (f.g)(m )h(m3)=0. ′ X ′′ (m ,m3)∈M ×M, ′ m ∗m3=m Now we may write s s c = c = (f.g)(m′ ) h(m ) = (n1k,n2k,n3k) k 3 X X X ′ X ′ k=1 k=1 m3∈M, (m ,m3)∈M ×M, ′ ′ mk∗m3=m m ∗m3=m ′ ′ (f.g)(m )h(m3)= (f.g)(m )h(m3)= (f.g).h (m). ′ X 2 (m ,m3)∈M , ′ m ∗m3=m Similarly, by considering the equivalence relation ∼′ over E defined as ′ (m1, m2, m3) ∼ (n1, n2, n3) if m2 ∗ m3 = n2 ∗ n3 then we obtain that c = f.(g.h) (m). The remaining axioms are obvious. Therefore R[M] admits a ring structure by these operations. It is called the monoid ring of M over R. In particular, if G is a group then R[G] is called the group ring of G over R. Let e ∈ M be the identity element of M, there is a canonical injective ring map η : R → R[M] which maps each a ∈ R into ηa : M → R where ηa(e) = a and ηa(m) =0 for m =6 e. We may identify R as a sub-ring of R[M] by regarding this embedding. If R is a non-zero ring then η is an isomorphism if and only if M is trivial. Moreover there is a canonical injective map of monoids δ : M → R[M] to the multiplicative monoid of R[M] which maps each m ∈ M into ′ δm : M → R where δm(m ) = δm,m′ is the Kronecker delta. The ring R[M] is commutative if and only if R is commutative and M is abelian. Since if R[M] is commutative then δm∗n = δm.δn = δn.δm = δn∗m so 4 ABOLFAZLTARIZADEH m ∗ n = n ∗ m similarly ηab = ηa.ηb = ηb.ηa = ηba and so ab = ba. The converse is also straightforward. Clearly ηa.f = af for all a ∈ R and all f ∈ R[M] where the function af : M → R maps each m ∈ M into af(m). Moreover ηa = aδe for all a ∈ R. Lemma 2.2. The ring R[M] is a free R−module with the basis {δm : m ∈ M}. Proof. Obviously R[M] has an R−module structure through η. Each f ∈ R[M] can be written uniquely as f = f(m)δm. mP∈M Remark 2.3. Let {ai : i ∈ I} be a set of elements of an additive monoid where ai is the identity element for all but a finite number of indices i and let ∼ be an equivalence relation on the index set I. Then a = a . X i X X i i∈I C∈I/∼ i∈C Clearly ηa.δm = δm.ηa for all a ∈ R and all m ∈ M, and the triple (R[M],η,δ) satisfies in the following universal property: Theorem 2.4. For any such triple (S,ϕ,ψ) where ϕ : R → S is a ring map and ψ : M → S is a homomorphism of monoids to the multiplica- tive monoid of S such that ϕ(a)ψ(m) = ψ(m)ϕ(a) for all a ∈ R and all m ∈ M then there exists a unique ring map θ : R[M] → S such that ϕ = θ ◦ η and ψ = θ ◦ δ. Proof. By the above Lemma, there is a unique R−linear map θ : R[M] → S such that ψ = θ ◦ δ. We have ϕ = θ ◦ η since θ is R−linear. Clearly θ maps each f ∈ R[M] into ϕ f(m) ψ(m). Let f,g ∈ mP∈M R[M]. We have to show that θ(f.g)= θ(f)θ(g). Clearly θ(f.g)= ϕ f(m1) ψ(m1)ϕ g(m2) ψ(m2) X X 2 m∈M (m1,m2)∈M , m1∗m2=m and θ(f)θ(g)= ϕ f(m ) ψ(m ) ϕ g(m ) ψ(m ) = X 1 1 X 2 2 m1∈M m2∈M A FRESH LOOK INTO MONOID RINGS AND FORMAL POWER SERIES RINGS5 ϕ f(m1) ψ(m1)ϕ g(m2) ψ(m2). X 2 (m1,m2)∈M 2 Consider the equivalence relation ∼ on M which is defined as (m1, m2) ∼ (n1, n2) if m1 ∗ m2 = n1 ∗ n2. The map [(m1, m2)] m1 ∗ m2 is a bi- jection from the set of distinct equivalent classes onto M. Now, using Remark 2.3, we get that θ(f)θ(g)= ϕ f(m1) ψ(m1)ϕ g(m2) ψ(m2) = θ(f.g). X X 2 m∈M (m1,m2)∈M , m1∗m2=m Hence θ is a ring homomorphism. Suppose there is another ring map θ′ : R[M] → S such that ϕ = θ′ ◦ η and ψ = θ′ ◦ δ.
Load more

Recommended publications
  • Notes on Ring Theory
    Notes on Ring Theory by Avinash Sathaye, Professor of Mathematics February 1, 2007 Contents 1 1 Ring axioms and definitions. Definition: Ring We define a ring to be a non empty set R together with two binary operations f,g : R × R ⇒ R such that: 1. R is an abelian group under the operation f. 2. The operation g is associative, i.e. g(g(x, y),z)=g(x, g(y,z)) for all x, y, z ∈ R. 3. The operation g is distributive over f. This means: g(f(x, y),z)=f(g(x, z),g(y,z)) and g(x, f(y,z)) = f(g(x, y),g(x, z)) for all x, y, z ∈ R. Further we define the following natural concepts. 1. Definition: Commutative ring. If the operation g is also commu- tative, then we say that R is a commutative ring. 2. Definition: Ring with identity. If the operation g has a two sided identity then we call it the identity of the ring. If it exists, the ring is said to have an identity. 3. The zero ring. A trivial example of a ring consists of a single element x with both operations trivial. Such a ring leads to pathologies in many of the concepts discussed below and it is prudent to assume that our ring is not such a singleton ring. It is called the “zero ring”, since the unique element is denoted by 0 as per convention below. Warning: We shall always assume that our ring under discussion is not a zero ring.
    [Show full text]
  • Ring (Mathematics) 1 Ring (Mathematics)
    Ring (mathematics) 1 Ring (mathematics) In mathematics, a ring is an algebraic structure consisting of a set together with two binary operations usually called addition and multiplication, where the set is an abelian group under addition (called the additive group of the ring) and a monoid under multiplication such that multiplication distributes over addition.a[›] In other words the ring axioms require that addition is commutative, addition and multiplication are associative, multiplication distributes over addition, each element in the set has an additive inverse, and there exists an additive identity. One of the most common examples of a ring is the set of integers endowed with its natural operations of addition and multiplication. Certain variations of the definition of a ring are sometimes employed, and these are outlined later in the article. Polynomials, represented here by curves, form a ring under addition The branch of mathematics that studies rings is known and multiplication. as ring theory. Ring theorists study properties common to both familiar mathematical structures such as integers and polynomials, and to the many less well-known mathematical structures that also satisfy the axioms of ring theory. The ubiquity of rings makes them a central organizing principle of contemporary mathematics.[1] Ring theory may be used to understand fundamental physical laws, such as those underlying special relativity and symmetry phenomena in molecular chemistry. The concept of a ring first arose from attempts to prove Fermat's last theorem, starting with Richard Dedekind in the 1880s. After contributions from other fields, mainly number theory, the ring notion was generalized and firmly established during the 1920s by Emmy Noether and Wolfgang Krull.[2] Modern ring theory—a very active mathematical discipline—studies rings in their own right.
    [Show full text]
  • Chapter 10 an Introduction to Rings
    Chapter 10 An Introduction to Rings 10.1 Definitions and Examples Recall that a group is a set together with a single binary operation, which together satisfy a few modest properties. Loosely speaking, a ring is a set together with two binary oper- ations (called addition and multiplication) that are related via a distributive property. Definition 10.1. A ring R is a set together with two binary operations + and (called addition and multiplication, respectively) satisfying the following: · (i) (R,+) is an abelian group. (ii) is associative: (a b) c = a (b c) for all a,b,c R. · · · · · 2 (iii) The distributive property holds: a (b + c)=(a b)+(a c) and (a + b) c =(a c)+(b c) · · · · · · for all a,b,c R. 2 Remark 10.2. We make a couple comments about notation. (a) We often write ab in place a b. · (b) The additive inverse of the ring element a R is denoted a. 2 − Theorem 10.3. Let R be a ring. Then for all a,b R: 2 1. 0a = a0=0 2. ( a)b = a( b)= (ab) − − − 3. ( a)( b)=ab − − Definition 10.4. A ring R is called commutative if multiplication is commutative. Definition 10.5. A ring R is said to have an identity (or called a ring with 1) if there is an element 1 R such that 1a = a1=a for all a R. 2 2 Exercise 10.6. Justify that Z is a commutative ring with 1 under the usual operations of addition and multiplication. Which elements have multiplicative inverses in Z? CHAPTER 10.
    [Show full text]
  • Complex Spaces
    Complex Spaces Lecture 2017 Eberhard Freitag Contents Chapter I. Local complex analysis 1 1. The ring of power series 1 2. Holomorphic Functions and Power Series 2 3. The Preparation and the Division Theorem 6 4. Algebraic properties of the ring of power series 12 5. Hypersurfaces 14 6. Analytic Algebras 16 7. Noether Normalization 19 8. Geometric Realization of Analytic Ideals 21 9. The Nullstellensatz 25 10. Oka's Coherence Theorem 27 11. Rings of Power Series are Henselian 34 12. A Special Case of Grauert's Projection Theorem 37 13. Cartan's Coherence Theorem 40 Chapter II. Local theory of complex spaces 45 1. The notion of a complex space in the sense of Serre 45 2. The general notion of a complex space 47 3. Complex spaces and holomorphic functions 47 4. Germs of complex spaces 49 5. The singular locus 49 6. Finite maps 56 Chapter III. Stein spaces 58 1. The notion of a Stein space 58 2. Approximation theorems for cuboids 61 3. Cartan's gluing lemma 64 4. The syzygy theorem 69 5. Theorem B for cuboids 74 6. Theorem A and B for Stein spaces 79 Contents II 7. Meromorphic functions 82 8. Cousin problems 84 Chapter IV. Finiteness Theorems 87 1. Compact Complex Spaces 87 Chapter V. Sheaves 88 1. Presheaves 88 2. Germs and Stalks 89 3. Sheaves 90 4. The generated sheaf 92 5. Direct and inverse image of sheaves 94 6. Sheaves of rings and modules 96 7. Coherent sheaves 99 Chapter VI. Cohomology of sheaves 105 1.
    [Show full text]
  • Homework 4 Solutions
    Homework 4 Solutions p Problem 5.1.4. LetpR = fm + n 2 j m; n 2 Zg. 2 2 (a) Show that m +pn 2 is a unit in R if and only if m − 2n = ±1. (b) Show that 1 + 2 has infinite order in R×. (c) Show that 1 and −1 are the only units that have finite order in R×. p Proof. (a) Define a map N : R ! Z where N(r) = m2 − 2n2 where r = m + n 2. One can verify that N is multiplicative, i.e. N(rs) = N(r)N(s) for r; s 2 R. Thus if r 2 R× then rs = q for some s 2 R. This implies 2 2 that N(r)N(s) = N(rs) = N(1) = 1 andp hence N(rp);N(s) 2 Zpimplies that m − 2n = N(r) = ±p1. 2 2 2 2 × For the converse observep that (m + n 2)(m +pn 2)(m − n 2) = (m − 2np) = 1, i.e. m + n 2 2 R . (b) Note that 1 + 2 > 1 and therefore (1 + 2)k > 1k = 1. Therefore 1 + 2 has infinite order. (c) Since R is a subring of R and the only elements in R with finite order in R× are ±1 it follows that the only elements in R× with finite order are ±1. Problem 5.1.5. Let R be a subset of an integral domain D. Prove that if R 6= f0g is a ring under the operations of D, then R is a subring of D. Proof.
    [Show full text]
  • Ring Theory, Part I: Introduction to Rings
    Ring Theory, Part I: Introduction to Rings Jay Havaldar Definition: A ring R is a set with an addition and a multiplication operation which satisfies the following properties: - R is an abelian group under addition. - Distributivity of addition and multiplication. - There is a multiplicative identity 1. Some authors do not include this property, in which case we have what is called a rng. Note that I denote 0 to be the additive identity, i.e. r + 0 = 0 + r = 0 for r 2 R. A commutative ring has a commutative multiplication operation. Definition: Suppose xy = 0, but x =6 0 and y =6 0. Then x; y are called zero divisors. Definition: A commutative ring without zero divisors, where 1 =6 0 (in other words our ring is not the zero ring), is called an integral domain. Definition: A unit element in a ring is one that has a multiplicative inverse. The set of all units × in a ring is denoted R , often called the multiplicative group of R. Definition: A field is a commutative ring in which every nonzero element is a unit. Examples of rings include: Z; End(R; R). Examples of integral domains include Z (hence the name), as well as the ring of complex polynomials. Examples of fields include Q; C; R. Note that not every integral domain is a field, but as we will later show, every field is an integral domain. Now we can define a fundamental concept of ring theory: ideals, which can be thought of as the analogue of normal groups for rings, in the sense that they serve the same practical role in the isomorphism theorems.
    [Show full text]
  • Some Aspects of Semirings
    Appendix A Some Aspects of Semirings Semirings considered as a common generalization of associative rings and dis- tributive lattices provide important tools in different branches of computer science. Hence structural results on semirings are interesting and are a basic concept. Semi- rings appear in different mathematical areas, such as ideals of a ring, as positive cones of partially ordered rings and fields, vector bundles, in the context of topolog- ical considerations and in the foundation of arithmetic etc. In this appendix some algebraic concepts are introduced in order to generalize the corresponding concepts of semirings N of non-negative integers and their algebraic theory is discussed. A.1 Introductory Concepts H.S. Vandiver gave the first formal definition of a semiring and developed the the- ory of a special class of semirings in 1934. A semiring S is defined as an algebra (S, +, ·) such that (S, +) and (S, ·) are semigroups connected by a(b+c) = ab+ac and (b+c)a = ba+ca for all a,b,c ∈ S.ThesetN of all non-negative integers with usual addition and multiplication of integers is an example of a semiring, called the semiring of non-negative integers. A semiring S may have an additive zero ◦ defined by ◦+a = a +◦=a for all a ∈ S or a multiplicative zero 0 defined by 0a = a0 = 0 for all a ∈ S. S may contain both ◦ and 0 but they may not coincide. Consider the semiring (N, +, ·), where N is the set of all non-negative integers; a + b ={lcm of a and b, when a = 0,b= 0}; = 0, otherwise; and a · b = usual product of a and b.
    [Show full text]
  • On The´Etale Fundamental Group of Schemes Over the Natural Numbers
    On the Etale´ Fundamental Group of Schemes over the Natural Numbers Robert Hendrik Scott Culling February 2019 A thesis submitted for the degree of Doctor of Philosophy of the Australian National University It is necessary that we should demonstrate geometrically, the truth of the same problems which we have explained in numbers. | Muhammad ibn Musa al-Khwarizmi For my parents. Declaration The work in this thesis is my own except where otherwise stated. Robert Hendrik Scott Culling Acknowledgements I am grateful beyond words to my thesis advisor James Borger. I will be forever thankful for the time he gave, patience he showed, and the wealth of ideas he shared with me. Thank you for introducing me to arithmetic geometry and suggesting such an interesting thesis topic | this has been a wonderful journey which I would not have been able to go on without your support. While studying at the ANU I benefited from many conversations about al- gebraic geometry and algebraic number theory (together with many other inter- esting conversations) with Arnab Saha. These were some of the most enjoyable times in my four years as a PhD student, thank you Arnab. Anand Deopurkar helped me clarify my own ideas on more than one occasion, thank you for your time and help to give me new perspective on this work. Finally, being a stu- dent at ANU would not have been nearly as fun without the chance to discuss mathematics with Eloise Hamilton. Thank you Eloise for helping me on so many occasions. To my partner, Beth Vanderhaven, and parents, Cherry and Graeme Culling, thank you for your unwavering support for my indulgence of my mathematical curiosity.
    [Show full text]
  • Solutions to Assignment 5
    Solutions to Assignment 5 Throughout, A is a commutative ring with 0 6= 1. 1. We say that a ∈ A is a zerodivisor if there exists b 6= 0 in A such that ab = 0. (This differs from Lang’s definition only to the extent that 0 will be called a zerodivisor.) Let F be the set of all ideals of A in which every element is a zerodivisor. (a) Prove that F has maximal elements. (b) Prove that every maximal element of F is a prime ideal. (c) Conclude that the set of zerodivisors is a union of prime ideals. Solution: (a) Since (0) ∈ F, the set F is nonempty. Given a chain {aα} of elements of F, it S is easily seen that α aα is an ideal as well. Since each element of this ideal is a zerodivisor, it S follows that α aα ∈ F. By Zorn’s Lemma, the set F has maximal elements. (b) Let p ∈ F be a maximal element. If x∈ / p and y∈ / p, then the ideals p + (x) and p + (y) are strictly bigger than p, and hence there exist nonzerodivisors a ∈ p + (x) and b ∈ p + (y). But then ab ∈ p + (xy) is a nonzerodivisor, and so xy∈ / p. Consequently p is a prime ideal. (c) If x ∈ A is a zerodivisor, then every element of the ideal (x) is a zerodivisor. Hence (x) ∈ F, and so (x) ⊆ p for some prime ideal p ∈ F. It follows that [ {x | x ∈ A is a zerodivisor} = p. p∈F 2. Let a be a nilpotent element of A.
    [Show full text]
  • 28. Com. Rings: Units and Zero-Divisors
    M7210 Lecture 28 Friday October 26, 2012 Commutative Rings III We assume all rings are commutative and have multiplicative identity (different from 0). Units and zero-divisors Definition. Let A be a commutative ring and let a ∈ A. i) a is called a unit if a 6=0A and there is b ∈ A such that ab =1A. ii) a is called a zero-divisor if a 6= 0A and there is non-zero b ∈ A such that ab = 0A. A (commutative) ring with no zero-divisors is called an integral domain. Remark. In the zero ring Z = {0}, 0Z = 1Z. This is an annoying detail that our definition must take into account, and this is why the stipulation “a 6= 0A” appears in i). The zero ring plays a very minor role in commutative algebra, but it is important nonetheless because it is a valid model of the equational theory of rings-with-identity and it is the final object in the category of rings. We exclude this ring in the discussion below (and occasionally include a reminder that we are doing so). Fact. In any (non-zero commutative) ring R the set of zero-divisors and the set of units are disjoint. Proof . Let u ∈ R \{0}. If there is z ∈ R such that uz = 0, then for any t ∈ R, (tu)z = 0. Thus, there is no t ∈ R such that tu = 1. Fact. Let R be a ring. The set U(R) of units of R forms a group. Examples. The units in Z are 1 and −1.
    [Show full text]
  • Math 323: Homework 2 1
    Math 323: Homework 2 1. Section 7.2 Problem 3, Part (c) Define the set R[[x]] of formal power series in the indeterminate x with coefficients from R to be all formal infinite sums ∞ n 2 3 anx = a0 + a1x + a2x + a3x + ··· n=0 X Define addition and multiplication of power series in the same way as for power series with real or complex coefficients i.e. extend polynomial addition and multi- plication to power series as though they were “polynomials of infinite degree” ∞ ∞ ∞ n n n anx + bnx = (an + bn)x n=0 n=0 n=0 X X X ∞ ∞ ∞ n n n n anx × bnx = akbn−k x n=0 ! n=0 ! n=0 k=0 ! X X X X Part (a) asks to prove that R[[x]] is a commutative ring with 1. While you should convince yourself that this is true, do not hand in this proof. ∞ n Prove that n=0 anx is a unit in R[[x]] if and only if a0 is a unit in R. Hint: look at Part (b) first: Part (b) asks to prove that 1 − x is a unit in R[[x]] with (1 − x)−1 =1+P x + x2 + ... 2. Section 7.3 Problem 17. Let R and S be nonzero rings with identity and denote their respective identities by 1R and 1S. Let φ : R → S be a nonzero homomorphism of rings. (a) Prove that if φ(1R) =6 1S, then φ(1R) is a zero divisor in S. Deduce that if S is an integral domain, then every non-zero ring homomorphism from R to S sends the identity of R to the identity of S.
    [Show full text]
  • 1.1 Rings and Ideals
    1.1 Rings and Ideals A ring A is a set with + , such that • (1) (A, +) is an abelian group; (2) (A, ) is a semigroup; • (3) distributes over + on both sides. • 22 In this course all rings A are commutative, that is, (4) ( x,y A) x y = y x ∀ ∈ • • and have an identity element 1 (easily seen to be unique) (5) ( 1 A)( x A) 1 x = x 1 = x . ∃ ∈ ∀ ∈ • • 23 If 1=0 then A = 0 (easy to see), { } called the zero ring. Multiplication will be denoted by juxtaposition, and simple facts used without comment, such as ( x,y A) ∀ ∈ x 0 = 0 , ( x)y = x( y) = (xy) , − − − ( x)( y) = xy . − − 24 Call a subset S of a ring A a subring if (i) 1 S ; ∈ (ii) ( x,y S) x+y, xy, x S . ∀ ∈ − ∈ Condition (ii) is easily seen to be equivalent to (ii)′ ( x,y S) x y, xy S . ∀ ∈ − ∈ 25 Note: In other contexts authors replace the condition 1 S by S = (which is ∈ 6 ∅ not equivalent!). Examples: (1) Z is the only subring of Z . (2) Z is a subring of Q , which is a subring of R , which is a subring of C . 26 (3) Z[i] = a + bi a, b Z (i = √ 1) , { | ∈ } − the ring of Gaussian integers is a subring of C . (4) Z = 0, 1,...,n 1 n { − } with addition and multiplication mod n . (Alternatively Zn may be defined to be the quotient ring Z/nZ , defined below). 27 (5) R any ring, x an indeterminate. Put R[[x]] = a +a x+a x2 +..
    [Show full text]