Section 18 Rings and fields

Similar documents
Part IV. Rings and Fields

Section 19 Integral domains

Section 13 Homomorphisms

Ideals, congruence modulo ideal, factor rings

Math 547, Exam 1 Information.

Kevin James. MTHSC 412 Section 3.1 Definition and Examples of Rings

RINGS: SUMMARY OF MATERIAL

Supplement. Dr. Bob s Modern Algebra Glossary Based on Fraleigh s A First Course on Abstract Algebra, 7th Edition, Sections 0 through IV.

Many of the groups with which we are familiar are arithmetical in nature, and they tend to share key structures that combine more than one operation.

Homework 10 M 373K by Mark Lindberg (mal4549)

Foundations of Cryptography

CHAPTER I. Rings. Definition A ring R is a set with two binary operations, addition + and

Section 3 Isomorphic Binary Structures

U + V = (U V ) (V U), UV = U V.

Lecture 4.1: Homomorphisms and isomorphisms

Algebra homework 6 Homomorphisms, isomorphisms

Lecture Notes Math 371: Algebra (Fall 2006) by Nathanael Leedom Ackerman

MATH RING ISOMORPHISM THEOREMS

Rings. 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.

Prime Rational Functions and Integral Polynomials. Jesse Larone, Bachelor of Science. Mathematics and Statistics

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

Section 15 Factor-group computation and simple groups

First Semester Abstract Algebra for Undergraduates

φ(a + b) = φ(a) + φ(b) φ(a b) = φ(a) φ(b),

Ring Theory Problem Set 2 Solutions

Finite Fields. Sophie Huczynska. Semester 2, Academic Year

Groups, Rings, and Finite Fields. Andreas Klappenecker. September 12, 2002

CHAPTER 14. Ideals and Factor Rings

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Algebraic Structures Exam File Fall 2013 Exam #1

ENTRY GROUP THEORY. [ENTRY GROUP THEORY] Authors: started Mark Lezama: October 2003 Literature: Algebra by Michael Artin, Mathworld.

(Rgs) Rings Math 683L (Summer 2003)

Solutions to Some Review Problems for Exam 3. by properties of determinants and exponents. Therefore, ϕ is a group homomorphism.

Math Introduction to Modern Algebra

NOTES ON FINITE FIELDS

Introduction to abstract algebra: definitions, examples, and exercises

Math Introduction to Modern Algebra

Solutions to Assignment 3

Lecture 7.3: Ring homomorphisms

Rings and Fields Theorems

Classical Rings. Josh Carr. Honors Thesis. Appalachian State University

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

Some practice problems for midterm 2

Finite Fields. Sophie Huczynska (with changes by Max Neunhöffer) Semester 2, Academic Year 2012/13

Chapter 1. Wedderburn-Artin Theory

Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 2

Graduate Preliminary Examination

2MA105 Algebraic Structures I

Abstract Algebra II. Randall R. Holmes Auburn University

a b (mod m) : m b a with a,b,c,d real and ad bc 0 forms a group, again under the composition as operation.

Algebra Review. Instructor: Laszlo Babai Notes by Vincent Lucarelli and the instructor. June 15, 2001

Name: Solutions Final Exam

MATH 430 PART 2: GROUPS AND SUBGROUPS

1 Rings 1 RINGS 1. Theorem 1.1 (Substitution Principle). Let ϕ : R R be a ring homomorphism

ABSTRACT ALGEBRA MODULUS SPRING 2006 by Jutta Hausen, University of Houston

Reducibility of Polynomials over Finite Fields

Modern Computer Algebra

12 16 = (12)(16) = 0.

Rings If R is a commutative ring, a zero divisor is a nonzero element x such that xy = 0 for some nonzero element y R.

Written Homework # 4 Solution

MATH 433 Applied Algebra Lecture 22: Semigroups. Rings.

Homework #05, due 2/17/10 = , , , , , Additional problems recommended for study: , , 10.2.

MATH 581 FIRST MIDTERM EXAM

AN INTRODUCTION TO THE THEORY OF FIELD EXTENSIONS

1 Fields and vector spaces

2a 2 4ac), provided there is an element r in our

1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by

INTRODUCTION TO THE GROUP THEORY

MATH 113 FINAL EXAM December 14, 2012

Exercises MAT2200 spring 2014 Ark 5 Rings and fields and factorization of polynomials

Fields and Galois Theory

book 2005/1/23 20:41 page 132 #146

Math 581 Problem Set 6 Solutions

φ(xy) = (xy) n = x n y n = φ(x)φ(y)

Modern Algebra (MA 521) Synopsis of lectures July-Nov 2015 semester, IIT Guwahati

1 2 3 style total. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

A Little Beyond: Linear Algebra

Groups. Contents of the lecture. Sergei Silvestrov. Spring term 2011, Lecture 8

Definition List Modern Algebra, Fall 2011 Anders O.F. Hendrickson

Algebraic structures I

ECEN 5022 Cryptography

Solutions for Assignment 4 Math 402

Outline. We will now investigate the structure of this important set.

(3) Let Y be a totally bounded subset of a metric space X. Then the closure Y of Y

Exercises MAT2200 spring 2014 Ark 4 Homomorphisms and factor groups

5 Group theory. 5.1 Binary operations

CSIR - Algebra Problems

Chapter 3. Rings. The basic commutative rings in mathematics are the integers Z, the. Examples

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.

3.1 Definition of a Group

Sample algebra qualifying exam

Lecture 3. Theorem 1: D 6

Ph.D. Qualifying Examination in Algebra Department of Mathematics University of Louisville January 2018

M2P4. Rings and Fields. Mathematics Imperial College London

Math 121 Homework 3 Solutions

A connection between number theory and linear algebra

Modern Algebra I. Circle the correct answer; no explanation is required. Each problem in this section counts 5 points.

Extension theorems for homomorphisms

Cosets, factor groups, direct products, homomorphisms, isomorphisms

GROUPS. Chapter-1 EXAMPLES 1.1. INTRODUCTION 1.2. BINARY OPERATION

Transcription:

Section 18 Rings and fields Instructor: Yifan Yang Spring 2007

Motivation Many sets in mathematics have two binary operations (and thus two algebraic structures) For example, the sets Z, Q, R, M n (R) (the set of n n matrices) all have addition and multiplication. Note that the multiplication in Z, Q, and R are commutative, while that of M n (R) is not. Also, every non-zero element of Q and R has an multiplicative inverse, but this is not the case for Z and M n (R). We wish to give an axiomatic study on these subjects, and determine how various properties (such as commutativity of multiplication, the existence of multiplicative inverse and so on) affect the overall algebraic structures of the sets.

Rings and fields Definition A ring R, +, is a set R together with two binary operations + and, called addition and multiplication, such that the following axioms are satisfied: 1. R, + is an abelian group. 2. Multiplication is associative, i.e., a(bc) = (ab)c for all a, b, c R. 3. For all a, b, c R, the left distributive law a (b + c) = (a b) + (a c) and the right distributive law (a + b) c = (a c) + (b c) hold.

Examples The set Z, Q, R, and C are all rings with the usual addition and multiplication. The set Z n of all residue classes modulo n is a ring with ā + n b = a + b and ā n b = ab. The set M n (R) of all n n matrices is a ring. Let R 1 and R 2 be rings. Define + and on R 1 R 2 by (a 1, b 1 ) + (a 2, b 2 ) = (a 1 + a 2, b 1 + b 2 ) and (a 1, b 1 ) (a 2, b 2 ) = (a 1 a 2, b 1 b 2 ). Then R 1 R 2 is a ring, called the direct product of R 1 and R 2.

Examples Let F be the set of all continuous functions f : R R. Define f + g and f g to be f + g : x f (x) + g(x), f g : x f (x)g(x) Then F, +, is ring. Let F be the set of all linear transformations from R n to R n. Let addition and multiplication be defined by f + g : v f (v) + g(v), f g : v f (g(v)) Then F, +, is a ring. (Actually, this is just a different way to say that M n (R) is a ring.)

Notation For simplicity, we write ab in place of a b. The additive identity of a ring R is denoted by 0. In case some confusion may arise, we also write 0 R. For an element a of R, we let a denote the additive inverse of a. For a positive integer n and an element a of R, the notation n a refers to the sum a + + a having n summands. By convention we set 0 a = 0 R. Here the 0 on the left-hand side is the integer 0, while 0 R on the right is the additive identity element of R.

Basic properties Theorem (18.8) Let R be a ring. For any a, b R, we have 1. 0 R a = a0 R = 0 R. 2. a( b) = ( a)b = ab. 3. ( a)( b) = ab. Proof of (1). Since 0 R + 0 R = 0 R, we have (0 R + 0 R )a = 0 R a. Then by the distributive law, we have 0 R a + 0 R a = 0 R a. Then using the cancellation law for groups, we obtain 0 R a = 0 R. The proof of a0 R = 0 R is similar.

Proof of Theorem 18.8, continued Proof of a( b) = ab = ( a)b. We have, by definition of b, b + ( b) = 0 R. By (1), ab + a( b) = a0 R = 0 R. This means that a( b) is the additive inverse of ab. That is, a( b) = ab. The proof of ( a)b = ab is similar.

Proof of Theorem 18.8, continued Proof of ( a)( b) = ab. By (2) ( a)( b) = (a( b)). By (2) again, (a( b)) = ( ab). This means that ( a)( b) is the additive inverse of ab. But we know that the additive inverse of ab is ab. Thus, by the uniqueness of additive inverse, we conclude( a)( b) = ab.

In-class exercises Determine whether the following algebraic structures are rings. 1. The set Z[x] of all polynomials over Z. 2. The set GL n (R) of all n n invertible matrices under the usual matrix addition and multiplication. {( ) } a b 3. The set : a, b R under the usual matrix b a addition and multiplication. 4. The set 1 2Z = {n/2 : n Z} under the usual addition and multiplication. 5. The set Z[1/2] = { a 0 + a 1 2 + + a } n 2 n : a i Z under the usual addition and multiplication.

Homomorphisms Definition For rings R and R, a function φ : R R is a (ring) homomorphism if 1. φ(a + b) = φ(a) + φ(b), 2. φ(ab) = φ(a)φ(b), for all a, b R. The kernel of φ is the set Ker(φ) = {a R : φ(a) = 0}.

Examples Let n be a positive integer. Let R = Z and R = Z n. Then the function φ : Z Z n defined by φ(a) = a mod n (or φ(a) = a + nz in our notation from the last semester) is a ring homomorphism. The function ψ : Z 2Z defined by ψ(a) = 2a is not a ring homomorphism since ψ(ab) = 2ab, but ψ(a)ψ(b) = 4ab. Note that if we consider Z and 2Z as additive groups, then ψ is a group homomorphism.

Example Let R = R[x] be the set of all polynomials over R. Given a R, define φ a : R[x] R by φ a (f (x)) = f (a). Then φ a is an evaluation homomorphism.

Isomorphisms Definition Let R and R be two rings. A function φ : R R is an isomorphism if 1. φ is a ring homomorphism, 2. φ is one-to-one, or equivalently, Ker(φ) = {0}, 3. φ is onto. We then say R and R are isomorphic.

Example {( ) a b The map φ : C b a } : a, b R defined by ( ) a b φ(a + bi) = b a is a ring isomorphism. The map ( ) a b ψ(a + bi) = b a is another isomorphism.

Multiplicative definitions Definition A ring in which the multiplication is commutative is a commutative ring. If an element a of R satisfies ra = ar = r for all r R, then a is the multiplicative identity or the unity, and is denoted by 1 or 1 R. A ring with a multiplicative identity is a ring with unity. A multiplicative inverse of an element a in a ring with unity is an element a 1 of R such that a 1 a = aa 1 = 1.

Multiplicative definitions Definition Let R be a ring with unity 1 0. An element u of R is a unit if it has a multiplicative inverse. If every nonzero element of R is a unit, then R is a division ring (or skew field). A commutative division ring is a field. A noncommutative division ring is a strictly skew field.

Remarks If a ring R has a multiplicative identity element, it is unique. (See the proof of Theorem 3.13.) If an element a of a ring with unity has a multiplicative inverse, the inverse is unique. The assumption 1 0 in the definition of a field is to avoid the trivial case where the ring consists of just one single element 0. (In this case 0 is both the additive identity and the multiplicative identity.) Conversely, if 1 = 0, then for all a R, a = 1a = 0a = 0, and R = {0} is the trivial ring.

Examples The sets Z, Q, R, and C are all commutative rings with unity under usual addition and multiplication. The rings Q, R, and C are fields, while Z is not since only ±1 are units in Z. The set M n (R) of all n n matrices is a noncommutative ring. The set of units in M n (R) is GL n (R). The set M n (R) is not a division ring since there exist nonzero matrices that are not invertible. The set Z 2, Z 3, and Z 5 are fields. (Take Z 5 for example, the multiplicative inverses of 1, 2, 3, 4 are 1, 3, 2, 4, respectively.) If gcd(a, n) > 1, then ā never has a multiplicative inverse in Z n, since ā b will be a multiple of gcd(a, n) for any b. This shows that if n is composite, then Z n is never a field.

In-class exercises 1. Find the units in Z 12. 2. Find the units in Z 15. 3. Let F be the ring of all continuous functions f : R R with addition and multiplication given by f + g : x f (x) + g(x), f g : x f (x)g(x). What are the units in F?

Subrings and subfields Definition A subset S of a ring R is a subring of R if S is a ring under the induced addition and multiplication from R. We denote this relation by S < R. A subfield is similarly defined.

Homework Problems 8, 10, 12, 18, 19, 24, 25, 37, 40, 48, 50 of Section 18.