DOCSLIB.ORG

Math 412. Examples and Types of Rings and Their Homomorphisms

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Math 412. Examples and Types of Rings and Their Homomorphisms (c)Karen E. Smith 2018 UM Math Dept licensed under a Creative Commons By-NC-SA 4.0 International License. Math 412. Examples and Types of Rings and their Homomorphisms DEFINITION:A domain is a commutative ring R which has no (non-zero) zero-divisors.1 DEFINITION:A field is a commutative ring R in which 0R 6= 1R in which every non-zero element has a multiplicative inverse. DEFINITION:A subring2 S of a ring R is a subset of R satisfying the following (1) 1R 2 S; (2) S is closed under multiplication (i.e. x; y 2 S implies x × y 2 S) (3) S is closed under addition (x; y 2 S implies x + y 2 S) and taking additive inverses (i.e. x 2 S implies −x 2 S). Equivalently, a subring S of a ring R as a subset which is a also a ring with the same +; ×; 0 and 1. “DEFINITION:” Fix a commutative ring R. The polynomial ring over R is the set n R[x] = fa0 + a1x + ··· + anx j ai 2 R; n 2 Ng; with operations + and × extended from those on the coefficients in R in the natural way. THEOREM 4.3: Fix a ring R. Then the polynomial R[x] is a domain if and only if R is a domain. THEOREM 4.5: For any domain R, the units in R[x] are the units in the subring R of constant polynomials. In particular, if F is a field, then the units in F[x] are the non-zero constant polynomials. A. WARM-UP: For each inclusion S ⊂ R, state whether or not S is a subring of R. (1) Z ⊂ Q; Z ⊂ R; R ⊂ C. (2) N ⊂ Z, (3) The set of even integers S = f2n j n 2 Zg ⊂ Z. f(x) (4) R[x] ⊂ R(x) := f g(x) jf(x); g(x) 2 R[x]; g 6= 0g (the set of rational functions). a 0 (5) The set of diagonal matrices D := f j a; b; 2 g ⊂ M ( ). 0 b R 2 R (6) The set of integer matrices M2(Z) ⊂ M2(R). a b (7) The set of determinant 1 matrices GL ( ) = f j ad − bc = 1; 2 g ⊂ M ( ). 2 R c d R 2 R (8) The set of constant polynomials R ⊂ R[x]. (9) The set of polynomials with integer coefficients Z[x] ⊂ R[x]. (10) Z ⊂ Z[i] (11) The imaginary integers Zi = fni j n 2 Zg ⊂ Z[i]. B. FIND AN EXAMPLE OF: (1) A non-commutative ring, with a commutative subring. (2) An infinite ring with a finite subring. (3) A field which has a subring which is not a field. C. BASIC PROOFS. (1) Prove that if S ⊂ R is a subring, then 0R 2 S and is the additive identity for S. (2) Prove that every field is a domain. (3) Prove that a subring of a field is a domain. Is the converse true? 1“Domain” and “integral domain” are the exact same thing. The book uses “integral domain,” which is an older word. 2Caution! This definition differs from the book’s because they do not assume rings contain a multiplicative identity! 2 (4) Let S be a subset of a ring R. Prove that S is a subring if and only if the inclusion map S,! R sending s 7! s is a ring homomorphism. For this, think carefully about the meaning of the symbols you are using in different contexts. D. POLYNOMIAL RING PRACTICE. Answer the following questions, using Theorem 4.3 and 4.5 above where appropriate. (1) What is the zero and one in Z3[x]? Is Z3[x] commutative? Is it a domain? (2) Use a theorem to investigate if Z72[x] a domain? If not, find a pair of non-zero elements in Z72[x] whose product is zero. 2 3 3 (3) In Z8: for f = (1 + 3x) and g = (2x + 4x ), compute and simplify f + 4g and (3x) + g. Here, we abuse notation by representing congruence classes by any integer representative. (4) How many polynomials of degree less than 3 in the ring Z2[x]? (5) How many units in Z[x]? (6) Suppose that f 2 Q[x] has degree 5. Find the degrees of the following polynomials: f −x, f 2, f + 4x51; f − 2x5, (x2 + 1)f 3. 7 16 15 (7) Find the leading coefficient of h where h = 5x + 3x + 1 2 Z7[x]. 2 (8) Does x + 1 have a multiplicative inverse in Z2[x]? (9) Is there any field F such that F[x] is a field? (10) In Z8[x], compute (1 + 4x)(1 − 4x). Is the hypothesis that R is a domain necessary in Theorem 4.5? E. PROOF OF THEOREM 4.5 Let R be a domain. Consider R as the subring of constant polyno- mials in R[x]. (1) Show that any unit in R is a unit in R[x]. (2) Explain why, for any two polynomials f; g 2 R[x], deg(fg) = deg f + deg g. Is this true even when R is not a domain? (3) Prove that if f 2 R[x] is a unit, then f is a constant polynomial. (4) Prove Theorem 4.5 (5) Find a formula for the number of units in Zp[x] where p is prime. F. HOMOMORPHISMS. Let F be an arbitrary field. Fix any a 2 F. (1) Prove that the map F[x] ! F sending f(x) 7! f(a) is surjective homomorphism. Write the kernel in set-builder notation. (2) Find an injective homomorphism F ! M2(F). Also find an injective map F ! M2(F) which is not a ring homomorphism. (3) Is the map M2(F) ! F × F sending a matrix A to its first row a ring homomorphism? G. THE DIVISION ALGORITHM FOR POLYNOMIALS. In high school, you learned to divide polynomials to find a quotient and remainder. This works for polynomials over any field. Let’s practice. (1) Let f = x3 + 4x2 + x + 1 in R[x]. Find q and r so that f = qx2 + r, where deg r < 2. 5 3 2 2 (2) In the ring F2[x], divide the polynomial x + 3x + x + 1 by x + 1. What is the quotient and remainder? (3) In the ring Q[x], divide x4 + 3x3 − x2 + 5 by x + 1. What are the quotient q and remainder r? BONUS: State and prove the Division algorithm for F[x], where F is a field. It might be helpful to try to remember how you proved it for Z. Hint: you can use the well-ordering axiom on the degrees of polynomials..
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]
  • 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.
    [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]