Rings and Fields Theorems

Similar documents
RINGS: SUMMARY OF MATERIAL

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

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.

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

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

Math 120 HW 9 Solutions

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

AN INTRODUCTION TO THE THEORY OF FIELD EXTENSIONS

0 Sets and Induction. Sets

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

Math 547, Exam 1 Information.

Algebra Homework, Edition 2 9 September 2010

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

School of Mathematics and Statistics. MT5836 Galois Theory. Handout 0: Course Information

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

Written Homework # 4 Solution

Chapter 5. Modular arithmetic. 5.1 The modular ring

GEOMETRIC CONSTRUCTIONS AND ALGEBRAIC FIELD EXTENSIONS

MATH 581 FIRST MIDTERM EXAM

Lecture 7.3: Ring homomorphisms

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM

(a + b)c = ac + bc and a(b + c) = ab + ac.

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

(Rgs) Rings Math 683L (Summer 2003)

Foundations of Cryptography

Ideals, congruence modulo ideal, factor rings

Math Introduction to Modern Algebra

Algebraic Structures Exam File Fall 2013 Exam #1

Math 4400, Spring 08, Sample problems Final Exam.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

MODEL ANSWERS TO HWK #7. 1. Suppose that F is a field and that a and b are in F. Suppose that. Thus a = 0. It follows that F is an integral domain.

Math 2070BC Term 2 Weeks 1 13 Lecture Notes

CHAPTER 14. Ideals and Factor Rings

Rings. Chapter Definitions and Examples

MODEL ANSWERS TO THE FIRST HOMEWORK

Rings and groups. Ya. Sysak

Review of Linear Algebra

Math 581 Problem Set 3 Solutions

Factorization in Polynomial Rings

TROPICAL SCHEME THEORY

Math 210B: Algebra, Homework 1

Math Introduction to Modern Algebra

INTRODUCTION TO THE GROUP THEORY

B Sc MATHEMATICS ABSTRACT ALGEBRA

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

5 Group theory. 5.1 Binary operations

D-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups

Section 18 Rings and fields

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

Subrings and Ideals 2.1 INTRODUCTION 2.2 SUBRING

2) e = e G G such that if a G 0 =0 G G such that if a G e a = a e = a. 0 +a = a+0 = a.

Module MA3411: Abstract Algebra Galois Theory Michaelmas Term 2013

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

ALGEBRA II: RINGS AND MODULES. LECTURE NOTES, HILARY 2016.

This is an auxiliary note; its goal is to prove a form of the Chinese Remainder Theorem that will be used in [2].

Rohit Garg Roll no Dr. Deepak Gumber

MATH 403 MIDTERM ANSWERS WINTER 2007

NOTES ON FINITE FIELDS

Fields and Galois Theory. Below are some results dealing with fields, up to and including the fundamental theorem of Galois theory.

Chapter 1. Sets and Numbers

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

Lecture 24 Properties of deals

Notes for Math 290 using Introduction to Mathematical Proofs by Charles E. Roberts, Jr.

4.4 Noetherian Rings

Algebraic structures I

Module MA3411: Galois Theory Michaelmas Term 2009

2. Prime and Maximal Ideals

Rings. Chapter Homomorphisms and ideals

ERRATA. Abstract Algebra, Third Edition by D. Dummit and R. Foote (most recently revised on March 4, 2009)

Lecture 6. s S} is a ring.

SUMMARY ALGEBRA I LOUIS-PHILIPPE THIBAULT

MATH 326: RINGS AND MODULES STEFAN GILLE

Abstract Algebra II. Randall R. Holmes Auburn University

Abstract Algebra: Chapters 16 and 17

Math 429/581 (Advanced) Group Theory. Summary of Definitions, Examples, and Theorems by Stefan Gille

Integral Extensions. Chapter Integral Elements Definitions and Comments Lemma

Theorems and Definitions in Group Theory

Course 311: Abstract Algebra Academic year

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

Math 120: Homework 6 Solutions

Name: MAT 444 Test 4 Instructor: Helene Barcelo April 19, 2004

MATH 215 Sets (S) Definition 1 A set is a collection of objects. The objects in a set X are called elements of X.

Chapter 1 : The language of mathematics.

Abstract Algebra II. Randall R. Holmes Auburn University. Copyright c 2008 by Randall R. Holmes Last revision: November 7, 2017

BASIC GROUP THEORY : G G G,

Mathematics Review for Business PhD Students Lecture Notes

A Little Beyond: Linear Algebra

Algebra Ph.D. Entrance Exam Fall 2009 September 3, 2009

Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems

MT5836 Galois Theory MRQ

Mathematics for Cryptography

Formal power series rings, inverse limits, and I-adic completions of rings

Abstract Algebra II Groups ( )

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

CS 468: Computational Topology Group Theory Fall b c b a b a c b a c b c c b a

MTH Abstract Algebra I and Number Theory S17. Homework 6/Solutions

Part IA Numbers and Sets

Chapter-2 Relations and Functions. Miscellaneous

MATH RING ISOMORPHISM THEOREMS

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

Transcription:

Rings and Fields Theorems Rajesh Kumar PMATH 334 Intro to Rings and Fields Fall 2009 October 25, 2009 12 Rings and Fields 12.1 Definition Groups and Abelian Groups Let R be a non-empty set. Let + and (multiplication) be two binary (must be closed ) operations satisfying: 1. a + b = b + a ( a, b R) 2. (a + b) + c = a + (b + c) ( a, b, c R) 3. There exists 0 R such that a + 0 = a ( a R) 4. To each a R, there exists a R so that a + ( a) = 0 Just rules 2, 3, 4 make R a group. (R, +) is an Abelian group. 12.2 Definition Rings 5. (ab)c = a(bc) ( a, b, c R) 6. a (b + c) = ab + ac ( a, b, c R) 7. (a + b)c = ac + bc ( a, b, c R) 12.3 Definition Commutative Rings If ab = ba for all a, b R, we call R a commutative ring. 12.4 Definition Unity A non-zero element of a ring R, 1, is called a unity if it is an identity element in multiplication. Unity, if exists, is unique. 12.4 Theorem 1. In a ring (R, +, ), to each a R, a is unique, and 0 R is also unique. 2. a 0 = 0 a = 0 for all a R 3. a( b) = ( a)b = (ab) 4. ( a)( b) = ab 1

5. a(b c) = ab ac (a b)c = ac bc 12.5 Definition Direct Sum Construction of new rings from known ones. Let R 1, R 2,, R n be rings. Their direct sum R 1 R 2 R n is the set {(r 1, r 2,..., r n ) r i R i } with the operations: (r 1,..., r n ) + (s 1,..., s n ) = (r 1 + s 1,..., r n + s n ) (r 1,..., r n )(s 1,..., s n ) = (r 1 s 1,..., r n s n ) The Cartesian product with the above 2 operation is indeed a ring. It is called the direct sum of R 1,..., R n 12.6 Definition Ring Isomorphisms Let R and S be 2 rings. An isomorphism φ from R to S is a bijective mapping (also known as a oneto-one correspondence) which preserves the algebraic (ring operations). Long form: if r 1 + r 2 = r 3 in R, then φ(r 1 ) + φ(r 2 ) = φ(r 3 ) in S and if r 1 r 2 = r 3 in R, then φ(r 1 )φ(r 2 ) = φ(r 3 ) in S. In shorter form, φ(r 1 + r 2 ) = φ(r 1 ) + φ(r 2 ) and φ(r 1 r 2 ) = φ(r 1 )φ(r 2 ) for all r 1, r 2 R. We say that R and S are isomorphic if an isomorphism exists from R to S, i.e. R S. 12.7 Theorem Chinese Remainder Theorem If m, n are coprime (positive integers), then Z m Z n Z mn 12.8 Proposition For rings R 1, R 2, R 3 : 1. R 1 R 2 R 2 R 1 2. (R 1 R 2 ) R 3 R 1 (R 2 R 3 ) That is is commutative and associative. 12.9 Theorem R S is a ring with unity if and only if both R and S are rings with unity. In fact, if 1 R and 1 S are the unities of R and S respectively, then (1, 1) is the unity of R S, and vice versa. 12.10 Definition Unit Let R be a ring with unity 1. An element a R is called a unit if it has a multiplicative inverse, i.e. there exists a b in R so that ab = ba = 1. All units of R is denoted by U(R). 12.11 Definition Subrings Let R be a ring, a subset S of R is a subring if it is by itself a ring under the operations of R. 12.12 Theorem Subring Test A non-empty subset S of a ring R is a subring iff it is closed under subtraction and multiplication. 12.13 Theorem 2

If R is a ring and F is a family of subrings of R, then the intersection of F = {x R x S for everys F} is a subring of R. 12.14 Theorem Generated Subrings There exists a smallest subring of R which contains A (over all the subrings which contain A). We call it the subring generated by A, denoted by A. 3

13 Integral Domains 13.1 Definition Zero Divisor A zero divisor is a non-zero element of a commutative ring for which there exists a non-zero b R so that ab = 0. When a, b are both non-zero and ab = 0 in a commutative ring, then both a and b are zero divisors. 13.2 Definition Integral Domains An integral domain is a commutative ring, with unity, without zero divisors. Thus, in an integral domain, if ab = 0, then either a = 0 or b = 0. 13.3 Proposition Cancellation Law In an integral domain, we have the cancellation law: if a 0, and ab = ac (where b, c R) as well, then b = c. 13.4 Terminology Injective Maps A map f from set X to set Y is injective if f(b) = f(c) b = c. 13.5 Theorem In an integral domain, left (or right) multiplication by a 0 is an injective function of R to R: f(x) = ax for all x R. 13.6 Corollary If R is a finite integral domain, then (left) multiplication by a 0 is surjective (in addition to being injective). Thus, every non-zero a in R (finite R) is a unit. 13.7 Definition Fields A field is a commutative ring with unity where every non-zero element is a unit. 13.8 Corollary Every finite integral domain is a field. 13.9 Proposition Z m is an integral domain (field) iff m is prime. 13.10 Theorem Every field is an integral domain. 13.11 Definition Embeddings of Rings A ring R is said to be embedded in a ring S is there is an injective map f : R S preserving the operations: 1. f(r 1 + r 2 ) = f(r 1 ) + f(r 2 ) 4

2. f(r 1 r 2 ) = f(r 1 ) + f(r 2 ) for all r 1, r 2 R. In terms of isomorphisms, f is an isomorphism between R and the image of R in S. The image is a subring of S. 13.12 Proposition If R 1 can be embedded in R 2, and that R 2 can be embedded in R 3, then R 1 can be embedded in R 3. 13.13 Question If R 1 can be embedded in R 2 and R 2 can be embedded in R 1, does it imply that R 1 and R 2 are isomorphic? 13.14 Proposition 1. If F is a field, and S F is a subring, then S is commutative. Further, if S has unity, then S is an integral domain. 2. If R can be embedded in a field F, and R has unity, then R is an integral domain. 3. A ring R is an integral domain iff it can be embedded in a field and R has a unity matching the unity of F. 13.15 Definition Ring Characteristics Let R be a ring. The least positive integer n such that a + + a (n fold) = 0 for all a R is called the characteristic of R. If no positive integer n gives such a line, we say that the characteristic of R is 0. 13.16 Proposition If R has a unity, then its characteristic is equal to the first (least) positive n so that 1 + + 1 (n-fold) = 0. If there is no such n, the characteristic will be 0. 13.17 Proposition For an integral domain, the characteristic is either 0 or a prime. 5

14 Ideals and Factor Rings 14.1 Definition Ideals Let R be a ring. An ideal I is a subring which is closed under left and right multiplications by elements of R, i.e. a I ra I and ar I 14.2 Theorem Consider R[x]. Let I = {p(x) R[x] p( 2) = 0}. Then it is an ideal. 14.3 Theorem Let R be a ring and let a R be a subset. Then there exists a smallest ideal of R which contains A. 14.4 Definition Generated Ideals We call F the ideal generated by the subset A. 14.5 Definition Quotient Rings Let R be a ring and I be an ideal of R. Let R/I denote the partition of the set R by the cosets of I, i.e. by {r + I r R} (needs to be justified). The set is called the quotient set. On the quotient set, we define (r 1 + I) + (r 2 + I) = (r 1 + r 2 ) + I. R/I under the above operation is a ring. It is called the quotient ring. 14.6 Definition Ring Homomorphisms Let R and S be rings, a map f : R S is a ring homomorphism if it satisfies: f(r 1 + r 2 ) = f(r 1 ) + f(r 2 ) f(r 1 r 2 ) = f(r 1 )f(r 2 ) for all r 1, r 2 R. Between any two rings R and S, homomorphisms always exist, eg. f 0 (the trivial homomorphism). 14.7 Theorem Let f : R S be a ring homomorphism. Then 1. If R 1 is a subring of R, then f(r 1 ) = {f(r) r R 1 } is a subring. 2. If I 1 is an ideal of R, then the image f(i 1 ) is not necessarily an ideal of S. 3. Let S 1 be a subring of S. Then the pre-image f 1 (S 1 ) = {r R f(r) S 1 } is a subring of R. 4. If J 1 is an ideal of the co-domain S, then f 1 (J 1 ) = {r R f(r) J 1 } is an ideal of R. 14.8 Proposition If f : R S is a surjective (everything in S is used and tight) ring homomorphism, then the image of an ideal in R is an ideal in S. 6

14.9 Definition Let R be a commutative ring, and I is an ideal of R. 1. I is proper if I R (some books also rule out {0}) 2. I is prime if it is proper and has the property a, b R, ab I a I or b I 3. I is maximal if there are no ideals J or R which is truly in between I and R, i.e. the only ideal I satisfying I J R are J = I or R. 14.10 Theorem Let R be a commutative ring with unity 1. Let I be a proper ideal of R. Then i. I is prime iff R/I is an integral domain. ii. I is maximal iff R/I is a field. 14.11 Corollary Maximal ideals are prime. 14.12 Theorem If φ : R S is a ring homomorphism, if R has a unity and if φ is surjective, then φ(1) is the unity of S, i.e. φ(1) = 1. 14.13 Theorem A ring homomorphism φ : R S is injective if and only if Ker φ = {0}. 14.14 Corollary If F is a filed and φ : F S is a ring homomorphism, then φ is either the zero map or it is an embedding of F into S. 14.15 Theorem The Fundamental Theorem of Ring Homomorphisms or The First Isomorphism Theorem Let φ : R S be a ring homomorphism. Then R/Ker(φ) φ(r). 14.16 Definition Let F 1 and F 2 be two fields. We say that F 1 is an extension of F 2 if F 2 F 1 as a subfield, or more generally, there exists and embedding φ : F 2 F 1. For example, C is a field extension of R. 14.17 Proposition If F 1 is an extension of F 2, and F 2 is a extension of F 3, then F 1 is an extension of F 3 (transitive). 14.18 Proposition Let F be a field. Suppose that char(f )=0. Then F is field extension of the field of rationales Q. 14.19 Proposition Let F be a field, and let the char(f ) = p, a finite strictly positive integer. Then p must be a prime. Moreover, the subfield generated by 1 in F is isomorphic to Z p. Hence F is an extension of Z p. 7

14.20 Theorem Let E be a field extension of F. Then E is a vector space over F. 14.21 Theorem (from linear algebra) Every vector space over a field F has a basis. 14.22 Corollary Let E be a finite field. Let char(e) = p, where p is prime. So, E is a field extension of Z p. Let B be a basis for E over Z p. B must then be finite. If B = n, then E Z n (as vector spaces over Z p ). 14.23 Corollary No field can be of size 10, as 10 is not prime. 14.24 Claim For every prime p, and positive integer n, there exists a field who size is p n. Moreover, any 2 such fields having size p n are isomorphic. 8