DOCSLIB.ORG

Ring Homomorphisms

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Ring Homomorphisms Ring Homomorphisms 26 Ring Homomorphism and Isomorphism Definition A ring homomorphism φ from a ring R to a ring S is a mapping from R to S that preserves the two ring operations; that is, for all a; b in R, φ(a + b) = φ(a) + φ(b) and φ(ab) = φ(a)φ(b): Definition A ring isomorphism is a ring homomorphism that is both one-to-one and onto. 27 Properties of Ring Homomorphisms Theorem Let φ be a ring homomorphism from a ring R to a ring S. Let A be a subring of R and let B be an ideal of S. 1. For any r in R and any positive integer n, φ(nr) = nφ(r) and φ(r n) = (φ(r))n. 2. φ(A) = fφ(a): a 2 Ag is a subring of S. 3. If A is an ideal and φ is onto S, then φ(A) is an ideal. 4. φ−1(B) = fr 2 R : φ(r) 2 Bg is an ideal of R. 28 Properties of Ring Homomorphisms Cont. Theorem Let φ be a ring homomorphism from a ring R to a ring S. Let A be a subring of R and let B be an ideal of S. 5. If R is commutative, then φ(R) is commutative. 6. If R has a unity 1, S 6= f0g, and φ is onto, then φ(1) is the unity of S. 7. φ is an isomorphism if and only if φ is onto and Ker φ = fr 2 R : φ(r) = 0g = f0g. 8. If φ is an isomorphism from R onto S, then φ−1 is an isomorphism from S onto R. 29 Kernels are Ideals Theorem Let φ be a ring homomorphism from a ring R to a ring S. Then Ker φ = fr 2 R : φ(r) = 0g is an ideal of R. 30 First Isomorphism Theorem for Rings Theorem Let φ be a ring homomorphism from R to S. Then the mapping from R=Ker φ to φ(R), given by r + Ker φ 7! φ(r), is an isomorphism. In symbols, R=Ker φ ∼= φ(R). 31 Ideals are Kernels Theorem Every ideal of a ring R is the kernel of a ring homomorphism of R. In particular, an ideal A is the kernel of the mapping r 7! r + A from R to R=A. 32 Homomorphism from Z to a Ring with Unity Theorem Let R be a ring with unity 1. The mapping φ : Z ! R given by n 7! n · 1 is a ring homomorphism. 33 A Ring with Unity Contains Zn or Z Corollary If R is a ring with unity and the characteristic of R is n > 0, then R contains a subring isomorphic to Zn. If the characteristic of R is 0, then R contains a subring isomorphic to Z. 34 Zm is a Homomorphic Image of Z Corollary For any positive integer m, the mapping φ : Z ! Zm given by x 7! x mod m is a ring homomorphism. 35 A Field Contains Zp or Q Corollary If F is a field of characteristic p, then F contains a subfield isomorphic to Zp. If F is a field of characteristic 0, then F contains a subfield isomorphic to the rational numbers. 36 Field of Quotients Theorem Let D be an integral domain. Then there exists a field F (called the field of quotients of D) that contains a subring isomorphic to D. Proof Idea Let S = f(a; b): a; b 2 D and b 6= 0g and let F be the set of equivalence classes of S under the relation (a; b) ∼ (c; d) iff ad = bc. Write the a equivalence class of (a; b) in S as b . Then F is a field under the usual fraction operations, and the x mapping φ : D ! F given by φ(x) = 1 is an injective ring homomorphism. 37 Acknowledgement Statements of results and some examples follow the notation and wording of Gallian's Contemporary Abstract Algebra, 9th edition. .
Load more

Recommended publications
  • Exercises and Solutions in Groups Rings and Fields
    EXERCISES AND SOLUTIONS IN GROUPS RINGS AND FIELDS Mahmut Kuzucuo˘glu Middle East Technical University [email protected] Ankara, TURKEY April 18, 2012 ii iii TABLE OF CONTENTS CHAPTERS 0. PREFACE . v 1. SETS, INTEGERS, FUNCTIONS . 1 2. GROUPS . 4 3. RINGS . .55 4. FIELDS . 77 5. INDEX . 100 iv v Preface These notes are prepared in 1991 when we gave the abstract al- gebra course. Our intention was to help the students by giving them some exercises and get them familiar with some solutions. Some of the solutions here are very short and in the form of a hint. I would like to thank B¨ulent B¨uy¨ukbozkırlı for his help during the preparation of these notes. I would like to thank also Prof. Ismail_ S¸. G¨ulo˘glufor checking some of the solutions. Of course the remaining errors belongs to me. If you find any errors, I should be grateful to hear from you. Finally I would like to thank Aynur Bora and G¨uldaneG¨um¨u¸sfor their typing the manuscript in LATEX. Mahmut Kuzucuo˘glu I would like to thank our graduate students Tu˘gbaAslan, B¨u¸sra C¸ınar, Fuat Erdem and Irfan_ Kadık¨oyl¨ufor reading the old version and pointing out some misprints. With their encouragement I have made the changes in the shape, namely I put the answers right after the questions. 20, December 2011 vi M. Kuzucuo˘glu 1. SETS, INTEGERS, FUNCTIONS 1.1. If A is a finite set having n elements, prove that A has exactly 2n distinct subsets.
    [Show full text]
  • The Structure Theory of Complete Local Rings
    The structure theory of complete local rings Introduction In the study of commutative Noetherian rings, localization at a prime followed by com- pletion at the resulting maximal ideal is a way of life. Many problems, even some that seem \global," can be attacked by first reducing to the local case and then to the complete case. Complete local rings turn out to have extremely good behavior in many respects. A key ingredient in this type of reduction is that when R is local, Rb is local and faithfully flat over R. We shall study the structure of complete local rings. A complete local ring that contains a field always contains a field that maps onto its residue class field: thus, if (R; m; K) contains a field, it contains a field K0 such that the composite map K0 ⊆ R R=m = K is an isomorphism. Then R = K0 ⊕K0 m, and we may identify K with K0. Such a field K0 is called a coefficient field for R. The choice of a coefficient field K0 is not unique in general, although in positive prime characteristic p it is unique if K is perfect, which is a bit surprising. The existence of a coefficient field is a rather hard theorem. Once it is known, one can show that every complete local ring that contains a field is a homomorphic image of a formal power series ring over a field. It is also a module-finite extension of a formal power series ring over a field. This situation is analogous to what is true for finitely generated algebras over a field, where one can make the same statements using polynomial rings instead of formal power series rings.
    [Show full text]
  • Ring Homomorphisms Definition
    4-8-2018 Ring Homomorphisms Definition. Let R and S be rings. A ring homomorphism (or a ring map for short) is a function f : R → S such that: (a) For all x,y ∈ R, f(x + y)= f(x)+ f(y). (b) For all x,y ∈ R, f(xy)= f(x)f(y). Usually, we require that if R and S are rings with 1, then (c) f(1R) = 1S. This is automatic in some cases; if there is any question, you should read carefully to find out what convention is being used. The first two properties stipulate that f should “preserve” the ring structure — addition and multipli- cation. Example. (A ring map on the integers mod 2) Show that the following function f : Z2 → Z2 is a ring map: f(x)= x2. First, f(x + y)=(x + y)2 = x2 + 2xy + y2 = x2 + y2 = f(x)+ f(y). 2xy = 0 because 2 times anything is 0 in Z2. Next, f(xy)=(xy)2 = x2y2 = f(x)f(y). The second equality follows from the fact that Z2 is commutative. Note also that f(1) = 12 = 1. Thus, f is a ring homomorphism. Example. (An additive function which is not a ring map) Show that the following function g : Z → Z is not a ring map: g(x) = 2x. Note that g(x + y)=2(x + y) = 2x + 2y = g(x)+ g(y). Therefore, g is additive — that is, g is a homomorphism of abelian groups. But g(1 · 3) = g(3) = 2 · 3 = 6, while g(1)g(3) = (2 · 1)(2 · 3) = 12.
    [Show full text]
  • A Review of Commutative Ring Theory Mathematics Undergraduate Seminar: Toric Varieties
    A REVIEW OF COMMUTATIVE RING THEORY MATHEMATICS UNDERGRADUATE SEMINAR: TORIC VARIETIES ADRIANO FERNANDES Contents 1. Basic Definitions and Examples 1 2. Ideals and Quotient Rings 3 3. Properties and Types of Ideals 5 4. C-algebras 7 References 7 1. Basic Definitions and Examples In this first section, I define a ring and give some relevant examples of rings we have encountered before (and might have not thought of as abstract algebraic structures.) I will not cover many of the intermediate structures arising between rings and fields (e.g. integral domains, unique factorization domains, etc.) The interested reader is referred to Dummit and Foote. Definition 1.1 (Rings). The algebraic structure “ring” R is a set with two binary opera- tions + and , respectively named addition and multiplication, satisfying · (R, +) is an abelian group (i.e. a group with commutative addition), • is associative (i.e. a, b, c R, (a b) c = a (b c)) , • and the distributive8 law holds2 (i.e.· a,· b, c ·R, (·a + b) c = a c + b c, a (b + c)= • a b + a c.) 8 2 · · · · · · Moreover, the ring is commutative if multiplication is commutative. The ring has an identity, conventionally denoted 1, if there exists an element 1 R s.t. a R, 1 a = a 1=a. 2 8 2 · ·From now on, all rings considered will be commutative rings (after all, this is a review of commutative ring theory...) Since we will be talking substantially about the complex field C, let us recall the definition of such structure. Definition 1.2 (Fields).
    [Show full text]
  • Formal Power Series Rings, Inverse Limits, and I-Adic Completions of Rings
    Formal power series rings, inverse limits, and I-adic completions of rings Formal semigroup rings and formal power series rings We next want to explore the notion of a (formal) power series ring in finitely many variables over a ring R, and show that it is Noetherian when R is. But we begin with a definition in much greater generality. Let S be a commutative semigroup (which will have identity 1S = 1) written multi- plicatively. The semigroup ring of S with coefficients in R may be thought of as the free R-module with basis S, with multiplication defined by the rule h k X X 0 0 X X 0 ( risi)( rjsj) = ( rirj)s: i=1 j=1 s2S 0 sisj =s We next want to construct a much larger ring in which infinite sums of multiples of elements of S are allowed. In order to insure that multiplication is well-defined, from now on we assume that S has the following additional property: (#) For all s 2 S, f(s1; s2) 2 S × S : s1s2 = sg is finite. Thus, each element of S has only finitely many factorizations as a product of two k1 kn elements. For example, we may take S to be the set of all monomials fx1 ··· xn : n (k1; : : : ; kn) 2 N g in n variables. For this chocie of S, the usual semigroup ring R[S] may be identified with the polynomial ring R[x1; : : : ; xn] in n indeterminates over R. We next construct a formal semigroup ring denoted R[[S]]: we may think of this ring formally as consisting of all functions from S to R, but we shall indicate elements of the P ring notationally as (possibly infinite) formal sums s2S rss, where the function corre- sponding to this formal sum maps s to rs for all s 2 S.
    [Show full text]
  • Lecture 7.3: Ring Homomorphisms
    Lecture 7.3: Ring homomorphisms Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley (Clemson) Lecture 7.3: Ring homomorphisms Math 4120, Modern algebra 1 / 10 Motivation (spoilers!) Many of the big ideas from group homomorphisms carry over to ring homomorphisms. Group theory The quotient group G=N exists iff N is a normal subgroup. A homomorphism is a structure-preserving map: f (x ∗ y) = f (x) ∗ f (y). The kernel of a homomorphism is a normal subgroup: Ker φ E G. For every normal subgroup N E G, there is a natural quotient homomorphism φ: G ! G=N, φ(g) = gN. There are four standard isomorphism theorems for groups. Ring theory The quotient ring R=I exists iff I is a two-sided ideal. A homomorphism is a structure-preserving map: f (x + y) = f (x) + f (y) and f (xy) = f (x)f (y). The kernel of a homomorphism is a two-sided ideal: Ker φ E R. For every two-sided ideal I E R, there is a natural quotient homomorphism φ: R ! R=I , φ(r) = r + I . There are four standard isomorphism theorems for rings. M. Macauley (Clemson) Lecture 7.3: Ring homomorphisms Math 4120, Modern algebra 2 / 10 Ring homomorphisms Definition A ring homomorphism is a function f : R ! S satisfying f (x + y) = f (x) + f (y) and f (xy) = f (x)f (y) for all x; y 2 R: A ring isomorphism is a homomorphism that is bijective. The kernel f : R ! S is the set Ker f := fx 2 R : f (x) = 0g.
    [Show full text]
  • RING THEORY 1. Ring Theory a Ring Is a Set a with Two Binary Operations
    CHAPTER IV RING THEORY 1. Ring Theory A ring is a set A with two binary operations satisfying the rules given below. Usually one binary operation is denoted `+' and called \addition," and the other is denoted by juxtaposition and is called \multiplication." The rules required of these operations are: 1) A is an abelian group under the operation + (identity denoted 0 and inverse of x denoted x); 2) A is a monoid under the operation of multiplication (i.e., multiplication is associative and there− is a two-sided identity usually denoted 1); 3) the distributive laws (x + y)z = xy + xz x(y + z)=xy + xz hold for all x, y,andz A. Sometimes one does∈ not require that a ring have a multiplicative identity. The word ring may also be used for a system satisfying just conditions (1) and (3) (i.e., where the associative law for multiplication may fail and for which there is no multiplicative identity.) Lie rings are examples of non-associative rings without identities. Almost all interesting associative rings do have identities. If 1 = 0, then the ring consists of one element 0; otherwise 1 = 0. In many theorems, it is necessary to specify that rings under consideration are not trivial, i.e. that 1 6= 0, but often that hypothesis will not be stated explicitly. 6 If the multiplicative operation is commutative, we call the ring commutative. Commutative Algebra is the study of commutative rings and related structures. It is closely related to algebraic number theory and algebraic geometry. If A is a ring, an element x A is called a unit if it has a two-sided inverse y, i.e.
    [Show full text]
  • Modern Algebra Lecture Notes: Rings and Fields Set 2, Revision 2
    Modern Algebra Lecture Notes: Rings and fields set 2, revision 2 Kevin Broughan University of Waikato, Hamilton, New Zealand May 6, 2010 Definition Ring homomorphism Let R and S be rings, not necessarily distinct. A ring homomorphism is a function f : R ! S such that for all a; b 2 R we have f (a + b) = f (a) + f (b); f (ab) = f (a)f (b); where the operations on the left are those of R and on the right those of S. Ring isomorphism If a ring homomorphism is both one-to-one (injective) and onto (surjective) then we say the function is a ring isomorphism and that R and S are isomorphic rings. Examples (1) Define a function f : Z ! Z=nZ by the rule x ! [x]. Then this is a homomorphism which is onto but not injective. (2) The function g : C ! C defined by x + iy ! x − iy is a ring isomorphism of the complex numbers. (3) If R is a commutative ring with char R = 2 then the map x ! x 2 is a ring homomorphism of R. (4) The additive groups Z and 3Z are isomorphic via x ! 3x which is injective and surjective, but not isomorphic as rings, since Z has an identity but 3Z does not. Homomorphisms and ideals Definition of a kernel Let f : R ! S be a homomorphism of rings. Define Ker f = fx 2 R : f (x) = 0g: Theorem 7 The kernel K of f is an ideal of R. Conversely if I is an ideal in R the natural map f : R ! R=I is a homomorphism with kernel I Proof of Theorem 7 If x; y 2 K then f (x + y) = f (x) + f (y) = 0 + 0 = 0 so x + y 2 K.
    [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]
  • Mutation-Linear Algebra and Universal Geometric Cluster Algebras
    Mutation-linear algebra and universal geometric cluster algebras Nathan Reading NC State University Mutation-linear (\µ-linear") algebra Universal geometric cluster algebras The mutation fan Universal geometric cluster algebras from surfaces B Mutation maps ηk Let B be a skew-symmetrizable exchange matrix. n Given a = (a1;:::; an) 2 R , let Be be B, extended with one coefficient row a. B For a sequence k = kq; kq−1;:::; k1, define ηk (a) to be the coefficient row of µk(Be). Concretely, for k = k: B 0 0 ηk (a) = (a1;:::; an), where 8 −a if j = k; > k <> a + a b if j 6= k, a ≥ 0 and b ≥ 0; a0 = j k kj k kj j a − a b if j 6= k, a ≤ 0 and b ≤ 0; > j k kj k kj : aj otherwise. B The mutation maps ηk are piecewise-linear homeomorphisms of n R . Their inverses are also mutation maps. 1. Mutation-linear (\µ-linear") algebra 1 . B-coherent linear relations n Let S be a finite set, let (vi : i 2 S) be vectors in R and let (ci : i 2 S) be real numbers. P The formal expression i2S ci vi is a B-coherent linear relation if X B ci ηk (vi ) = 0; and (1) i2S X B ci min(ηk (vi ); 0) = 0 (2) i2S hold for every finite sequence k = kq;:::; k1. P In particular, i2S ci vi is a linear relation in the usual sense. Example: For B = [0], a B-coherent relation is a linear relation n among vectors in R all agreeing in sign.
    [Show full text]
  • Quotient Seminear-Rings
    ISSN (Print) : 0974-6846 Indian Journal of Science and Technology, Vol 9(38), DOI: 10.17485/ijst/2016/v9i38/89115, October 2016 ISSN (Online) : 0974-5645 Quotient Seminear-Rings Fawad Hussain1, Muhammad Tahir2, Saleem Abdullah2 and Nazia Sadiq2 1Department of Mathematics, Abbottabad University of Science and Technology, Pakistan; [email protected] 2Department of Mathematics, Hazara University Mansehra, Pakistan; [email protected]; [email protected]; [email protected] Abstract The study of a seminear-ring was started in 1967. Seminear-ring is the generalization of semiring and nearing. It is known that in a semiring the quotient structure is constructed by congruence relations through c-ideals and homomorphisms. We apply the said congruence relations to a seminear-ring and get quotient structure of a seminear-ring. The aim of this paper quotientis to discuss seminear-rings. quotient seminear-rings in two different ways. We study congruence relations, homomorphisms and ideals. We show that each homomorphism and c-ideal define a congruence relation on seminear-rings. At the end, we discuss Keywords: Seminear-ring, c-Ideals, Homomorphism, Congruence Relation, Quotient Seminear-Ring. 1. Introduction rings and explored some interesting properties. There is another intersecting paper7 in which the author discussed The study of semirings was started by the German seminear-rings as well as semi-near fields. Further differ- Mathematician Dedekind1. They were later studied by ent people in8-11 worked on seminear-rings and explored different Mathematicians, particularly by the American many interesting and elegant properties. The author of8,9 Mathematician Vandiver. He did work very hard on discussed substructures in seminear-rings.
    [Show full text]