SlideShare a Scribd company logo
1 of 23
Download to read offline
Ideals and Factor Rings
Diana Mary George
Assistant Professor
Department of Mathematics
St. Mary’s College
Thrissur-680020
Kerala
Ideals and factor rings,Diana Mary George,St.Mary’s College
Ideal
A subring A of a ring R is called a (two-sided) ideal of R if for
every r ∈ R and every a ∈ A both ra and ar are in A.
Theorem 1 (Ideal Test):
A nonempty subset A of a ring R is an ideal of R if
1. a - b ∈ A whenever a, b ∈ A.
2. ra and ar are in A whenever a ∈ A and r ∈ R.
EXAMPLE 1:
For any ring R, {0} and R are ideals of R. The ideal {0}is called the
trivial ideal.
Ideals and factor rings,Diana Mary George,St.Mary’s College
EXAMPLE 2:
For any positive integer n, the set nZ = {0, ±n, ± 2n,…} is an
ideal of Z.
EXAMPLE 3:
Let R be a commutative ring with unity and let a ∈ R.
The set < a > = { ra | r ∈R} is an ideal of R called the principal ideal
generated by a.
EXAMPLE 4:
Let R be a commutative ring with unity and let a1,a2,…, an ∈
R. Then I = < a1,a2,…, an> ={r1a1,r2a2,…, rnan|r ∈ R} is an
ideal of R called the ideal generated by a1,a2,…, an.
Ideals and factor rings,Diana Mary George,St.Mary’s College
Existence of Factor Rings
Let R be a ring and let A be a subring of R.
The set of cosets { r + A |r ∈ R} is a ring under the operations
(s + A) +(t + A) = s + t + A and
(s + A)(t + A) = st + A if and only if A is an ideal of R.
EXAMPLE 5:
Z/4Z = {0 + 4Z, 1 + 4Z, 2 + 4Z, 3 + 4Z}.
To see how to add and multiply, consider 2 + 4Z and 3 + 4Z.
(2 + 4Z) + (3 + 4Z) = 5 + 4Z = 1 + 4 + 4Z = 1 + 4Z,
(2 + 4Z)(3 + 4Z) = 6 + 4Z = 2 + 4 + 4Z = 2 + 4Z.
One can readily see that the two operations are essentially modulo 4
arithmetic.
Ideals and factor rings,Diana Mary George,St.Mary’s College
EXAMPLE 9:
2Z/6Z = {0 + 6Z, 2 + 6Z, 4 + 6Z}. Here the operations are
essentially modulo 6 arithmetic. For example,
(4 + 6Z) +(4 + 6Z) = 2 + 6Z and (4 + 6Z)(4 + 6Z) = 4 + 6Z.
EXAMPLE 10:
Consider the factor ring of the Gaussian integers R = Z[i]/<2 -i>.
The elements of R have the form a + bi + <2 – i>, where a and b
are Similarly, all the elements of R can be written in the form a +
<2 – i> where a is an integer. We can show that every element of
R is equal to one of the following cosets: 0 + <2 – i>,1 + <2 – i>,
2 + <2 – i>, 3 + <2 – i>, 4 + <2 – i>. In fact R is same as 5.
Ideals and factor rings,Diana Mary George,St.Mary’s College
EXAMPLE 11:
Let R[x] denote the ring of polynomials with real coefficients and let
< x2
+1> denote the principal ideal generated by x2
+1
< x2
+1> = { f(x)(x2
+1) | f(x) ∈ R[x]}.
Then R[x]/< x2
+1> = { g(x) + < x2
+1> | g(x) ∈ R[x]}
If g(x) ∈ R[x], then g(x) =q(x)(x2
+1) + r(x), where q(x) is the
quotient and r(x) is the remainder upon dividing g(x) by x2
+1.
In particular, r(x) = 0 or the degree of r(x) is less than 2, so that
r(x) = ax + b for some a and b in R. Thus,
g(x) +< x2
+1> = q(x)(x2
+1) + r(x) + < x2
+1> = r(x) + < x2
+1>
= ax + b +< x2
+1>
∴ R[x]/< x2
+1> ={ax + b + < x2
+1>|a,b ∈ R }
Ideals and factor rings,Diana Mary George,St.Mary’s College
Prime Ideals
A prime ideal A of a commutative ring R is a proper ideal of R such
that a, b ∈ R and ab ∈ A imply a ∈ A or b ∈ A.
Maximal Ideals
A maximal ideal of a commutative ring R is a proper ideal of R such that,
whenever B is an ideal of R and A  B  R, then B = A or B = R.
EXAMPLE 12
Let n be an integer greater than 1.
In the ring of integers, the ideal nZ is prime if and only if n is prime
{0} is also a prime ideal of Z.
Ideals and factor rings,Diana Mary George,St.Mary’s College
EXAMPLE 13
The lattice of ideals of 𝑍36 shows that only < 2 > and <3> are maximal ideals
𝑍36
<2> <3>
<4> <6> <9>
<12> <18>
{0}
Ideals and factor rings,Diana Mary George,St.Mary’s College
EXAMPLE 15:
The ideal < x2+1> is maximal in R[x].
To see this, assume that A is an ideal of R[x] that properly contains
< x2+1>. We will prove that A = R[x] by showing that A contains
some nonzero real number c. (This is the constant polynomial h(x) =
c for all x.) Then 1 =(1/c)c ∈ A and therefore, A = R[x].
To this end, let f(x) ∈ A, but f(x)  < x2+1>.
Then f(x) = q(x)(x2+1) + r(x),where r(x)  0 and the degree of r(x)
is less than 2. It follows that r(x) = ax + b, where a and b are not
both 0, and ax + b = r(x) = f(x) - q(x)(x2+1) ∈ A
Thus, a2x2- b2=(ax + b)(ax - b) ∈ A
So 0 a2+b2 = (a2x2 + a2) − (a2 x2 − b2) ∈ A
Ideals and factor rings,Diana Mary George,St.Mary’s College
Theorem 2
Let R be a commutative ring with unity and let A be an ideal of R.
Then R/A is an integral domain if and only if A is prime.
Theorem 3
Let R be a commutative ring with unity and let A be an ideal of R.
Then R/A is a field if and only if A is maximal.
EXAMPLE 17
The ideal <x > is a prime ideal in Z[x] but not a maximal ideal in
Z[x]. To verify this, we begin with the observation that
< x > = { f(x) ∈ Z[x] | f(0) = 0} .Thus, if g(x)h(x) ∈ < x >
then g(0)h(0) = 0. And since g(0) and h(0) are integers, we have
g(0) = 0 or h(0) = 0.To see that < x > is not maximal, we simply
note that < x > ⊂ < x,2 > ⊂ Z[x]
Ideals and factor rings,Diana Mary George,St.Mary’s College
FACTORISATION OF
POLYNOMIALS OVER A FIELD
 Let R be a ring with unity 1≠ 0. An element u in R is
a unit of R if it has a multiplicative inverse in R.
 If every non zero element of R is a unit then R is a
division ring.
 A field is a commutative division ring.
 Let F be a field. Let F[x] denote set of all polynomials
with indeterminate x of finite degree with coefficients
from field F. F[x] is a ring.
Factorisation of Polynomials over a field, Diana Mary George, St.Mary’s College, Thrissur.
Preliminaries
Factorisation of Polynomials over a field, Diana Mary George, St.Mary’s College, Thrissur.
DIVISION ALGORITHM IN F[x]
Let f(x)= 𝑖=0
𝑛
𝑎𝑖 𝑥 𝑖, g(x)= 𝑖=0
𝑚
𝑏𝑖 𝑥𝑖 ∈ F[x] then
there are unique polynomials q(x) and r(x) in F[x]
such that f(x) =g(x)q(x)+r(x) where either r(x)=0
or the degree of r(x) ≤ degree of g(x)
FACTOR THEOREM
An element a∈ F is a zero of f(x) ∈ F[x] if and
only if x-a is a factor of f(x) in F[x].
Factorisation of Polynomials over a field, Diana Mary George, St.Mary’s College, Thrissur.
COROLLARY 1:
A nonzero polynomial f(x) ∈ F[x] of degree n can
have atmost n zeros in a field F.
COROLLARY 2:
If G is a finite subgroup of the multiplicative group
(F-{0}, ∗) of a field F, Then G is cyclic.
Factorisation of Polynomials over a field, Diana Mary George, St.Mary’s College, Thrissur.
IRREDUCIBLE POLYNOMIALS
A nonconstant polynomial 𝑓(𝑥) ∈ 𝐹[𝑥] is irreducible
over F if 𝑓(𝑥) cannot be expressed as a product
𝑔 𝑥 ℎ(𝑥) of two poynomials 𝑔 𝑥 and ℎ(𝑥) in 𝐹[𝑥]
both of lower degree than the degree of 𝑓 𝑥 .
THEOREM 1:
Let 𝑓(𝑥) ∈ 𝐹[𝑥] be of degree 2 or 3. Then 𝑓 𝑥 is
reducible over F if and only if it has a zero in F.
Factorisation of Polynomials over a field, Diana Mary George, St.Mary’s College, Thrissur.
THEOREM 2:
If 𝑓(𝑥) ∈ ℤ[𝑥] then 𝑓(𝑥) factors into a product of
two polynomials of lower degrees r and s in ℚ[𝑥] if
and only if it has such a factorization with
polynomials of the same degrees r and s in ℤ 𝑥 .
COROLLARY 3:
If 𝑓 𝑥 = 𝑥 𝑛
+ 𝑎 𝑛−1 𝑥 𝑛−1
+ ⋯ + 𝑎0 is in ℤ 𝑥 with
𝑎0 ≠ 0 and if 𝑓(𝑥) has a zero in ℚ then it has a zero
m in ℤ and m must divide 𝑎0.
Factorisation of Polynomials over a field, Diana Mary George, St.Mary’s College, Thrissur.
EISENSTEIN CRITERION
Let 𝑝 ∈ ℤ be a prime. Suppose that 𝑓 𝑥 = 𝑎 𝑛 𝑥 𝑛 +
𝑎 𝑛−1 𝑥 𝑛−1 + ⋯ + 𝑎0 is in ℤ 𝑥 and 𝑎 𝑛 ≠ 0 𝑚𝑜𝑑 𝑝
but 𝑎𝑖=0 mod p for all 𝑖 < 𝑛 with 𝑎0 ≠ 0 𝑚𝑜𝑑 𝑝2 . Then
𝑓 𝑥 is irreducible over ℚ.
COROLLARY 4:
The polynomial
Φ 𝑝(x)=
𝑥 𝑝−1
𝑥−1
= 𝑥 𝑝−1
+ 𝑥 𝑝−2
+ ⋯ + 𝑥 + 1 is
irreducible over ℚ for any prime p.
Factorisation of Polynomials over a field, Diana Mary George, St.Mary’s College, Thrissur.
THEOREM 4:
Let 𝑝(𝑥) be an irreducible polynomial in 𝐹[𝑥]. If
𝑝(𝑥) divides 𝑟 𝑥 𝑠 𝑥 for 𝑟 𝑥 , 𝑠 𝑥 ∈ 𝐹[𝑥] then
either 𝑝(𝑥) divides 𝑟 𝑥 or 𝑝(𝑥) divides 𝑠 𝑥 .
COROLLARY 5:
If 𝑝(𝑥) is irreducible in 𝐹[𝑥] and 𝑝(𝑥) divides the
product 𝑟1 𝑥 𝑟2 𝑥 … 𝑟𝑛 𝑥 for 𝑟𝑖 𝑥 ∈ 𝐹[𝑥] then
𝑝(𝑥) divides 𝑟𝑖 𝑥 atleast one 𝑖.
Factorisation of Polynomials over a field, Diana Mary George, St.Mary’s College, Thrissur.
THEOREM 5:
If F is a field then every non constant polynomial
𝑓(𝑥) ∈ 𝐹[𝑥] can be factored in 𝐹[𝑥] into a product
of irreducible polynomials the irreducible
polynomials being unique except for order and for
unit factors in F.
Dihedral Groups,Diana Mary George,St.Mary’s College
Dihedral Groups,Diana Mary George,St.Mary’s College
Proof Existence :
The set of cosets forms a group under addition. The multiplication is
well-defined if and only if A is an ideal of R. To do this, suppose that A is
an ideal and let s + A = s’ + A and t + A = t’ + A. Then we must show that
st + A = s’t’+A.
s = s’+ a and t = t’ + b, where a ,b ∈ A.
Then st = (s’ + a)(t’ + b) = s’t’ + at’ + s’b + ab and so
st + A = s’t’ + at’ + s’b + ab +A = s’t’ +A .
Thus multiplication is well-defined when A is an ideal.
On the other hand, suppose that A is a subring of R that is not an
ideal of R. Then there exist elements a ∈ A and r ∈ R such that ar  A
or ra  A. For convenience, let ar  A. Consider the elements
a + A = 0 + A and r + A. Clearly, (a + A)(r + A) = ar + A but
(0 +A)(r + A) = 0.r + A = A. Since ar + A  A, the multiplication is not
well-defined and the set of cosets is not a ring
Dihedral Groups,Diana Mary George,St.Mary’s College
Proof Theorem 2:
Suppose that R/A is an integral domain and ab ∈ A.
Then (a + A)(b + A) = ab + A = A, the zero element of the ring R/A.
So,either a + A = A or b + A = A; that is, either a ∈ A or b ∈ A.
Hence A is prime.
To prove the other half, we first observe that R/A is a commutative
ring with unity for any proper ideal A.
We show that when A is prime, R/A has no zero-divisors. So,
suppose that A is prime and (a + A)(b + A) = 0 + A = A.
Then ab ∈ A and, therefore, a ∈ A or b ∈ A.
Thus, one of a + A or b + A is the zero coset in R/A.
Dihedral Groups,Diana Mary George,St.Mary’s College
Proof Theorem 3:
Suppose that R/A is a field and B is an ideal of R that properly
contains A. Let b ∈ B but b  A. Then b + A is a nonzero element
of R/A and, therefore, there exists an element c + A such that
(b + A) (c + A) = 1 + A, the multiplicative identity of R/A. Since
b ∈ B, we have bc ∈ B. Because 1 + A = (b + A)(c + A) = bc + A,
We have 1 - bc ∈ A ⊂ B. So, 1 = (1 - bc) + bc ∈ B. Therefore B = R.
This proves that A is maximal.
Now suppose that A is maximal and let b ∈ R but b  A. It
suffices to show that b + A has a multiplicative inverse. All other
properties
for a field follow trivially. Consider B = { br + a | r ∈ R, a ∈ A}. This
is an ideal of R that properly contains A .Since A is maximal, we must
have B = R. Thus, 1 ∈ B, say, 1 = bc + a’, where a’ ∈ A.
Then 1 + A =bc + a’ + A = bc + A = (b + A)(c + A).
When a commutative ring has a unity, it follows that a maximal ideal
is a prime ideal.

More Related Content

What's hot

Lesson 11: Limits and Continuity
Lesson 11: Limits and ContinuityLesson 11: Limits and Continuity
Lesson 11: Limits and ContinuityMatthew Leingang
 
Infinite series 8.3
Infinite series 8.3 Infinite series 8.3
Infinite series 8.3 Mohsin Ramay
 
Limits and continuity powerpoint
Limits and continuity powerpointLimits and continuity powerpoint
Limits and continuity powerpointcanalculus
 
Function of several variables
Function of several variablesFunction of several variables
Function of several variablesKamel Attar
 
Differential equations
Differential equationsDifferential equations
Differential equationsSeyid Kadher
 
Definite Integral and Properties of Definite Integral
Definite Integral and Properties of Definite IntegralDefinite Integral and Properties of Definite Integral
Definite Integral and Properties of Definite IntegralShaifulIslam56
 
limits and continuity
limits and continuity limits and continuity
limits and continuity imran khan
 
Inverse trig functions
Inverse trig functionsInverse trig functions
Inverse trig functionsJessica Garcia
 
Group abstract algebra
Group  abstract algebraGroup  abstract algebra
Group abstract algebraNaliniSPatil
 
Ordinary differential equations
Ordinary differential equationsOrdinary differential equations
Ordinary differential equationsAhmed Haider
 
Partial differential equations
Partial differential equationsPartial differential equations
Partial differential equationsaman1894
 
First order linear differential equation
First order linear differential equationFirst order linear differential equation
First order linear differential equationNofal Umair
 
Lesson 7-8: Derivatives and Rates of Change, The Derivative as a function
Lesson 7-8: Derivatives and Rates of Change, The Derivative as a functionLesson 7-8: Derivatives and Rates of Change, The Derivative as a function
Lesson 7-8: Derivatives and Rates of Change, The Derivative as a functionMatthew Leingang
 
Different types of functions
Different types of functionsDifferent types of functions
Different types of functionsKatrina Young
 
Application of definite integrals
Application of definite integralsApplication of definite integrals
Application of definite integralsVaibhav Tandel
 

What's hot (20)

Lesson 11: Limits and Continuity
Lesson 11: Limits and ContinuityLesson 11: Limits and Continuity
Lesson 11: Limits and Continuity
 
Infinite series 8.3
Infinite series 8.3 Infinite series 8.3
Infinite series 8.3
 
Limits and continuity powerpoint
Limits and continuity powerpointLimits and continuity powerpoint
Limits and continuity powerpoint
 
Function of several variables
Function of several variablesFunction of several variables
Function of several variables
 
Differential equations
Differential equationsDifferential equations
Differential equations
 
Limits and continuity
Limits and continuityLimits and continuity
Limits and continuity
 
Definite Integral and Properties of Definite Integral
Definite Integral and Properties of Definite IntegralDefinite Integral and Properties of Definite Integral
Definite Integral and Properties of Definite Integral
 
Metric space
Metric spaceMetric space
Metric space
 
limits and continuity
limits and continuity limits and continuity
limits and continuity
 
Metric space
Metric spaceMetric space
Metric space
 
Inverse trig functions
Inverse trig functionsInverse trig functions
Inverse trig functions
 
Group abstract algebra
Group  abstract algebraGroup  abstract algebra
Group abstract algebra
 
Number theory
Number theoryNumber theory
Number theory
 
Ordinary differential equations
Ordinary differential equationsOrdinary differential equations
Ordinary differential equations
 
Partial differential equations
Partial differential equationsPartial differential equations
Partial differential equations
 
First order linear differential equation
First order linear differential equationFirst order linear differential equation
First order linear differential equation
 
The integral
The integralThe integral
The integral
 
Lesson 7-8: Derivatives and Rates of Change, The Derivative as a function
Lesson 7-8: Derivatives and Rates of Change, The Derivative as a functionLesson 7-8: Derivatives and Rates of Change, The Derivative as a function
Lesson 7-8: Derivatives and Rates of Change, The Derivative as a function
 
Different types of functions
Different types of functionsDifferent types of functions
Different types of functions
 
Application of definite integrals
Application of definite integralsApplication of definite integrals
Application of definite integrals
 

Similar to Ideals and factor rings

Relations & functions
Relations & functionsRelations & functions
Relations & functionsindu thakur
 
Relations & functions.pps
Relations  &  functions.ppsRelations  &  functions.pps
Relations & functions.ppsindu psthakur
 
Prerequisite for metric space
Prerequisite for metric spacePrerequisite for metric space
Prerequisite for metric spaceROHAN GAIKWAD
 
Relations between two sets
Relations between two setsRelations between two sets
Relations between two setsYassirdino
 
Relations and functions assignment (2019 20)
Relations and functions assignment (2019 20)Relations and functions assignment (2019 20)
Relations and functions assignment (2019 20)Swati Seth
 
Four basic concepts.pptx
Four basic concepts.pptxFour basic concepts.pptx
Four basic concepts.pptxJanicaMae2
 
Presentation of Polynomial
Presentation of PolynomialPresentation of Polynomial
Presentation of PolynomialRajatUpadhyay20
 
Functions And Relations
Functions And RelationsFunctions And Relations
Functions And Relationsandrewhickson
 
Module of algelbra analyses 2
Module of algelbra analyses 2Module of algelbra analyses 2
Module of algelbra analyses 2Bui Loi
 
Lecture 1.2 quadratic functions
Lecture 1.2 quadratic functionsLecture 1.2 quadratic functions
Lecture 1.2 quadratic functionsnarayana dash
 
Ring and Field Theory Cheat Sheet and booklet short notes
Ring and Field Theory Cheat Sheet and booklet short notesRing and Field Theory Cheat Sheet and booklet short notes
Ring and Field Theory Cheat Sheet and booklet short notesNaeemAhmad289736
 
Delos-Santos-Analyn-M.-_Repoter-No.-1-Multiplication-and-Division-of-Polynomi...
Delos-Santos-Analyn-M.-_Repoter-No.-1-Multiplication-and-Division-of-Polynomi...Delos-Santos-Analyn-M.-_Repoter-No.-1-Multiplication-and-Division-of-Polynomi...
Delos-Santos-Analyn-M.-_Repoter-No.-1-Multiplication-and-Division-of-Polynomi...polanesgumiran
 

Similar to Ideals and factor rings (20)

Relations & functions
Relations & functionsRelations & functions
Relations & functions
 
Relations & functions.pps
Relations  &  functions.ppsRelations  &  functions.pps
Relations & functions.pps
 
Relation and function_xii
Relation and function_xiiRelation and function_xii
Relation and function_xii
 
Prerequisite for metric space
Prerequisite for metric spacePrerequisite for metric space
Prerequisite for metric space
 
Relations between two sets
Relations between two setsRelations between two sets
Relations between two sets
 
Introductions to Relations
Introductions to RelationsIntroductions to Relations
Introductions to Relations
 
Relations and functions assignment (2019 20)
Relations and functions assignment (2019 20)Relations and functions assignment (2019 20)
Relations and functions assignment (2019 20)
 
Four basic concepts.pptx
Four basic concepts.pptxFour basic concepts.pptx
Four basic concepts.pptx
 
Presentation of Polynomial
Presentation of PolynomialPresentation of Polynomial
Presentation of Polynomial
 
Functions And Relations
Functions And RelationsFunctions And Relations
Functions And Relations
 
Per6 basis2_NUMBER SYSTEMS
Per6 basis2_NUMBER SYSTEMSPer6 basis2_NUMBER SYSTEMS
Per6 basis2_NUMBER SYSTEMS
 
Module of algelbra analyses 2
Module of algelbra analyses 2Module of algelbra analyses 2
Module of algelbra analyses 2
 
Algebra
AlgebraAlgebra
Algebra
 
L08a
L08aL08a
L08a
 
Lecture 1.2 quadratic functions
Lecture 1.2 quadratic functionsLecture 1.2 quadratic functions
Lecture 1.2 quadratic functions
 
relations (1).pdf
relations (1).pdfrelations (1).pdf
relations (1).pdf
 
Pmath 351 note
Pmath 351 notePmath 351 note
Pmath 351 note
 
Ring and Field Theory Cheat Sheet and booklet short notes
Ring and Field Theory Cheat Sheet and booklet short notesRing and Field Theory Cheat Sheet and booklet short notes
Ring and Field Theory Cheat Sheet and booklet short notes
 
Delos-Santos-Analyn-M.-_Repoter-No.-1-Multiplication-and-Division-of-Polynomi...
Delos-Santos-Analyn-M.-_Repoter-No.-1-Multiplication-and-Division-of-Polynomi...Delos-Santos-Analyn-M.-_Repoter-No.-1-Multiplication-and-Division-of-Polynomi...
Delos-Santos-Analyn-M.-_Repoter-No.-1-Multiplication-and-Division-of-Polynomi...
 
Question bank xi
Question bank xiQuestion bank xi
Question bank xi
 

More from dianageorge27

Section 31-The point at infinity
Section 31-The point at infinitySection 31-The point at infinity
Section 31-The point at infinitydianageorge27
 
section 30-Gauss hypergeometric equation
section 30-Gauss hypergeometric equationsection 30-Gauss hypergeometric equation
section 30-Gauss hypergeometric equationdianageorge27
 
section29-regular singular points continued
section29-regular singular points continuedsection29-regular singular points continued
section29-regular singular points continueddianageorge27
 
Section 28- Regular singular points solution
Section 28- Regular singular points solutionSection 28- Regular singular points solution
Section 28- Regular singular points solutiondianageorge27
 
Section 27 -Second order linear equations ordinary points
Section 27 -Second order linear equations ordinary pointsSection 27 -Second order linear equations ordinary points
Section 27 -Second order linear equations ordinary pointsdianageorge27
 
section 26 -Series solutions of first order equations
section 26 -Series solutions of first order equationssection 26 -Series solutions of first order equations
section 26 -Series solutions of first order equationsdianageorge27
 
Dihedral groups & abeliangroups
Dihedral groups & abeliangroupsDihedral groups & abeliangroups
Dihedral groups & abeliangroupsdianageorge27
 

More from dianageorge27 (7)

Section 31-The point at infinity
Section 31-The point at infinitySection 31-The point at infinity
Section 31-The point at infinity
 
section 30-Gauss hypergeometric equation
section 30-Gauss hypergeometric equationsection 30-Gauss hypergeometric equation
section 30-Gauss hypergeometric equation
 
section29-regular singular points continued
section29-regular singular points continuedsection29-regular singular points continued
section29-regular singular points continued
 
Section 28- Regular singular points solution
Section 28- Regular singular points solutionSection 28- Regular singular points solution
Section 28- Regular singular points solution
 
Section 27 -Second order linear equations ordinary points
Section 27 -Second order linear equations ordinary pointsSection 27 -Second order linear equations ordinary points
Section 27 -Second order linear equations ordinary points
 
section 26 -Series solutions of first order equations
section 26 -Series solutions of first order equationssection 26 -Series solutions of first order equations
section 26 -Series solutions of first order equations
 
Dihedral groups & abeliangroups
Dihedral groups & abeliangroupsDihedral groups & abeliangroups
Dihedral groups & abeliangroups
 

Recently uploaded

RESPIRATORY ADAPTATIONS TO HYPOXIA IN HUMNAS.pptx
RESPIRATORY ADAPTATIONS TO HYPOXIA IN HUMNAS.pptxRESPIRATORY ADAPTATIONS TO HYPOXIA IN HUMNAS.pptx
RESPIRATORY ADAPTATIONS TO HYPOXIA IN HUMNAS.pptxFarihaAbdulRasheed
 
Grafana in space: Monitoring Japan's SLIM moon lander in real time
Grafana in space: Monitoring Japan's SLIM moon lander  in real timeGrafana in space: Monitoring Japan's SLIM moon lander  in real time
Grafana in space: Monitoring Japan's SLIM moon lander in real timeSatoshi NAKAHIRA
 
Harmful and Useful Microorganisms Presentation
Harmful and Useful Microorganisms PresentationHarmful and Useful Microorganisms Presentation
Harmful and Useful Microorganisms Presentationtahreemzahra82
 
(9818099198) Call Girls In Noida Sector 14 (NOIDA ESCORTS)
(9818099198) Call Girls In Noida Sector 14 (NOIDA ESCORTS)(9818099198) Call Girls In Noida Sector 14 (NOIDA ESCORTS)
(9818099198) Call Girls In Noida Sector 14 (NOIDA ESCORTS)riyaescorts54
 
Call Girls In Nihal Vihar Delhi ❤️8860477959 Looking Escorts In 24/7 Delhi NCR
Call Girls In Nihal Vihar Delhi ❤️8860477959 Looking Escorts In 24/7 Delhi NCRCall Girls In Nihal Vihar Delhi ❤️8860477959 Looking Escorts In 24/7 Delhi NCR
Call Girls In Nihal Vihar Delhi ❤️8860477959 Looking Escorts In 24/7 Delhi NCRlizamodels9
 
Twin's paradox experiment is a meassurement of the extra dimensions.pptx
Twin's paradox experiment is a meassurement of the extra dimensions.pptxTwin's paradox experiment is a meassurement of the extra dimensions.pptx
Twin's paradox experiment is a meassurement of the extra dimensions.pptxEran Akiva Sinbar
 
Recombinant DNA technology( Transgenic plant and animal)
Recombinant DNA technology( Transgenic plant and animal)Recombinant DNA technology( Transgenic plant and animal)
Recombinant DNA technology( Transgenic plant and animal)DHURKADEVIBASKAR
 
Neurodevelopmental disorders according to the dsm 5 tr
Neurodevelopmental disorders according to the dsm 5 trNeurodevelopmental disorders according to the dsm 5 tr
Neurodevelopmental disorders according to the dsm 5 trssuser06f238
 
BUMI DAN ANTARIKSA PROJEK IPAS SMK KELAS X.pdf
BUMI DAN ANTARIKSA PROJEK IPAS SMK KELAS X.pdfBUMI DAN ANTARIKSA PROJEK IPAS SMK KELAS X.pdf
BUMI DAN ANTARIKSA PROJEK IPAS SMK KELAS X.pdfWildaNurAmalia2
 
Pests of soyabean_Binomics_IdentificationDr.UPR.pdf
Pests of soyabean_Binomics_IdentificationDr.UPR.pdfPests of soyabean_Binomics_IdentificationDr.UPR.pdf
Pests of soyabean_Binomics_IdentificationDr.UPR.pdfPirithiRaju
 
Environmental Biotechnology Topic:- Microbial Biosensor
Environmental Biotechnology Topic:- Microbial BiosensorEnvironmental Biotechnology Topic:- Microbial Biosensor
Environmental Biotechnology Topic:- Microbial Biosensorsonawaneprad
 
TOPIC 8 Temperature and Heat.pdf physics
TOPIC 8 Temperature and Heat.pdf physicsTOPIC 8 Temperature and Heat.pdf physics
TOPIC 8 Temperature and Heat.pdf physicsssuserddc89b
 
Call Girls in Mayapuri Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
Call Girls in Mayapuri Delhi 💯Call Us 🔝9953322196🔝 💯Escort.Call Girls in Mayapuri Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
Call Girls in Mayapuri Delhi 💯Call Us 🔝9953322196🔝 💯Escort.aasikanpl
 
Scheme-of-Work-Science-Stage-4 cambridge science.docx
Scheme-of-Work-Science-Stage-4 cambridge science.docxScheme-of-Work-Science-Stage-4 cambridge science.docx
Scheme-of-Work-Science-Stage-4 cambridge science.docxyaramohamed343013
 
zoogeography of pakistan.pptx fauna of Pakistan
zoogeography of pakistan.pptx fauna of Pakistanzoogeography of pakistan.pptx fauna of Pakistan
zoogeography of pakistan.pptx fauna of Pakistanzohaibmir069
 
The dark energy paradox leads to a new structure of spacetime.pptx
The dark energy paradox leads to a new structure of spacetime.pptxThe dark energy paradox leads to a new structure of spacetime.pptx
The dark energy paradox leads to a new structure of spacetime.pptxEran Akiva Sinbar
 
BREEDING FOR RESISTANCE TO BIOTIC STRESS.pptx
BREEDING FOR RESISTANCE TO BIOTIC STRESS.pptxBREEDING FOR RESISTANCE TO BIOTIC STRESS.pptx
BREEDING FOR RESISTANCE TO BIOTIC STRESS.pptxPABOLU TEJASREE
 
Call Girls in Munirka Delhi 💯Call Us 🔝8264348440🔝
Call Girls in Munirka Delhi 💯Call Us 🔝8264348440🔝Call Girls in Munirka Delhi 💯Call Us 🔝8264348440🔝
Call Girls in Munirka Delhi 💯Call Us 🔝8264348440🔝soniya singh
 
Bentham & Hooker's Classification. along with the merits and demerits of the ...
Bentham & Hooker's Classification. along with the merits and demerits of the ...Bentham & Hooker's Classification. along with the merits and demerits of the ...
Bentham & Hooker's Classification. along with the merits and demerits of the ...Nistarini College, Purulia (W.B) India
 

Recently uploaded (20)

RESPIRATORY ADAPTATIONS TO HYPOXIA IN HUMNAS.pptx
RESPIRATORY ADAPTATIONS TO HYPOXIA IN HUMNAS.pptxRESPIRATORY ADAPTATIONS TO HYPOXIA IN HUMNAS.pptx
RESPIRATORY ADAPTATIONS TO HYPOXIA IN HUMNAS.pptx
 
Grafana in space: Monitoring Japan's SLIM moon lander in real time
Grafana in space: Monitoring Japan's SLIM moon lander  in real timeGrafana in space: Monitoring Japan's SLIM moon lander  in real time
Grafana in space: Monitoring Japan's SLIM moon lander in real time
 
Harmful and Useful Microorganisms Presentation
Harmful and Useful Microorganisms PresentationHarmful and Useful Microorganisms Presentation
Harmful and Useful Microorganisms Presentation
 
(9818099198) Call Girls In Noida Sector 14 (NOIDA ESCORTS)
(9818099198) Call Girls In Noida Sector 14 (NOIDA ESCORTS)(9818099198) Call Girls In Noida Sector 14 (NOIDA ESCORTS)
(9818099198) Call Girls In Noida Sector 14 (NOIDA ESCORTS)
 
Call Girls In Nihal Vihar Delhi ❤️8860477959 Looking Escorts In 24/7 Delhi NCR
Call Girls In Nihal Vihar Delhi ❤️8860477959 Looking Escorts In 24/7 Delhi NCRCall Girls In Nihal Vihar Delhi ❤️8860477959 Looking Escorts In 24/7 Delhi NCR
Call Girls In Nihal Vihar Delhi ❤️8860477959 Looking Escorts In 24/7 Delhi NCR
 
Twin's paradox experiment is a meassurement of the extra dimensions.pptx
Twin's paradox experiment is a meassurement of the extra dimensions.pptxTwin's paradox experiment is a meassurement of the extra dimensions.pptx
Twin's paradox experiment is a meassurement of the extra dimensions.pptx
 
Recombinant DNA technology( Transgenic plant and animal)
Recombinant DNA technology( Transgenic plant and animal)Recombinant DNA technology( Transgenic plant and animal)
Recombinant DNA technology( Transgenic plant and animal)
 
Hot Sexy call girls in Moti Nagar,🔝 9953056974 🔝 escort Service
Hot Sexy call girls in  Moti Nagar,🔝 9953056974 🔝 escort ServiceHot Sexy call girls in  Moti Nagar,🔝 9953056974 🔝 escort Service
Hot Sexy call girls in Moti Nagar,🔝 9953056974 🔝 escort Service
 
Neurodevelopmental disorders according to the dsm 5 tr
Neurodevelopmental disorders according to the dsm 5 trNeurodevelopmental disorders according to the dsm 5 tr
Neurodevelopmental disorders according to the dsm 5 tr
 
BUMI DAN ANTARIKSA PROJEK IPAS SMK KELAS X.pdf
BUMI DAN ANTARIKSA PROJEK IPAS SMK KELAS X.pdfBUMI DAN ANTARIKSA PROJEK IPAS SMK KELAS X.pdf
BUMI DAN ANTARIKSA PROJEK IPAS SMK KELAS X.pdf
 
Pests of soyabean_Binomics_IdentificationDr.UPR.pdf
Pests of soyabean_Binomics_IdentificationDr.UPR.pdfPests of soyabean_Binomics_IdentificationDr.UPR.pdf
Pests of soyabean_Binomics_IdentificationDr.UPR.pdf
 
Environmental Biotechnology Topic:- Microbial Biosensor
Environmental Biotechnology Topic:- Microbial BiosensorEnvironmental Biotechnology Topic:- Microbial Biosensor
Environmental Biotechnology Topic:- Microbial Biosensor
 
TOPIC 8 Temperature and Heat.pdf physics
TOPIC 8 Temperature and Heat.pdf physicsTOPIC 8 Temperature and Heat.pdf physics
TOPIC 8 Temperature and Heat.pdf physics
 
Call Girls in Mayapuri Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
Call Girls in Mayapuri Delhi 💯Call Us 🔝9953322196🔝 💯Escort.Call Girls in Mayapuri Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
Call Girls in Mayapuri Delhi 💯Call Us 🔝9953322196🔝 💯Escort.
 
Scheme-of-Work-Science-Stage-4 cambridge science.docx
Scheme-of-Work-Science-Stage-4 cambridge science.docxScheme-of-Work-Science-Stage-4 cambridge science.docx
Scheme-of-Work-Science-Stage-4 cambridge science.docx
 
zoogeography of pakistan.pptx fauna of Pakistan
zoogeography of pakistan.pptx fauna of Pakistanzoogeography of pakistan.pptx fauna of Pakistan
zoogeography of pakistan.pptx fauna of Pakistan
 
The dark energy paradox leads to a new structure of spacetime.pptx
The dark energy paradox leads to a new structure of spacetime.pptxThe dark energy paradox leads to a new structure of spacetime.pptx
The dark energy paradox leads to a new structure of spacetime.pptx
 
BREEDING FOR RESISTANCE TO BIOTIC STRESS.pptx
BREEDING FOR RESISTANCE TO BIOTIC STRESS.pptxBREEDING FOR RESISTANCE TO BIOTIC STRESS.pptx
BREEDING FOR RESISTANCE TO BIOTIC STRESS.pptx
 
Call Girls in Munirka Delhi 💯Call Us 🔝8264348440🔝
Call Girls in Munirka Delhi 💯Call Us 🔝8264348440🔝Call Girls in Munirka Delhi 💯Call Us 🔝8264348440🔝
Call Girls in Munirka Delhi 💯Call Us 🔝8264348440🔝
 
Bentham & Hooker's Classification. along with the merits and demerits of the ...
Bentham & Hooker's Classification. along with the merits and demerits of the ...Bentham & Hooker's Classification. along with the merits and demerits of the ...
Bentham & Hooker's Classification. along with the merits and demerits of the ...
 

Ideals and factor rings

  • 1. Ideals and Factor Rings Diana Mary George Assistant Professor Department of Mathematics St. Mary’s College Thrissur-680020 Kerala
  • 2. Ideals and factor rings,Diana Mary George,St.Mary’s College Ideal A subring A of a ring R is called a (two-sided) ideal of R if for every r ∈ R and every a ∈ A both ra and ar are in A. Theorem 1 (Ideal Test): A nonempty subset A of a ring R is an ideal of R if 1. a - b ∈ A whenever a, b ∈ A. 2. ra and ar are in A whenever a ∈ A and r ∈ R. EXAMPLE 1: For any ring R, {0} and R are ideals of R. The ideal {0}is called the trivial ideal.
  • 3. Ideals and factor rings,Diana Mary George,St.Mary’s College EXAMPLE 2: For any positive integer n, the set nZ = {0, ±n, ± 2n,…} is an ideal of Z. EXAMPLE 3: Let R be a commutative ring with unity and let a ∈ R. The set < a > = { ra | r ∈R} is an ideal of R called the principal ideal generated by a. EXAMPLE 4: Let R be a commutative ring with unity and let a1,a2,…, an ∈ R. Then I = < a1,a2,…, an> ={r1a1,r2a2,…, rnan|r ∈ R} is an ideal of R called the ideal generated by a1,a2,…, an.
  • 4. Ideals and factor rings,Diana Mary George,St.Mary’s College Existence of Factor Rings Let R be a ring and let A be a subring of R. The set of cosets { r + A |r ∈ R} is a ring under the operations (s + A) +(t + A) = s + t + A and (s + A)(t + A) = st + A if and only if A is an ideal of R. EXAMPLE 5: Z/4Z = {0 + 4Z, 1 + 4Z, 2 + 4Z, 3 + 4Z}. To see how to add and multiply, consider 2 + 4Z and 3 + 4Z. (2 + 4Z) + (3 + 4Z) = 5 + 4Z = 1 + 4 + 4Z = 1 + 4Z, (2 + 4Z)(3 + 4Z) = 6 + 4Z = 2 + 4 + 4Z = 2 + 4Z. One can readily see that the two operations are essentially modulo 4 arithmetic.
  • 5. Ideals and factor rings,Diana Mary George,St.Mary’s College EXAMPLE 9: 2Z/6Z = {0 + 6Z, 2 + 6Z, 4 + 6Z}. Here the operations are essentially modulo 6 arithmetic. For example, (4 + 6Z) +(4 + 6Z) = 2 + 6Z and (4 + 6Z)(4 + 6Z) = 4 + 6Z. EXAMPLE 10: Consider the factor ring of the Gaussian integers R = Z[i]/<2 -i>. The elements of R have the form a + bi + <2 – i>, where a and b are Similarly, all the elements of R can be written in the form a + <2 – i> where a is an integer. We can show that every element of R is equal to one of the following cosets: 0 + <2 – i>,1 + <2 – i>, 2 + <2 – i>, 3 + <2 – i>, 4 + <2 – i>. In fact R is same as 5.
  • 6. Ideals and factor rings,Diana Mary George,St.Mary’s College EXAMPLE 11: Let R[x] denote the ring of polynomials with real coefficients and let < x2 +1> denote the principal ideal generated by x2 +1 < x2 +1> = { f(x)(x2 +1) | f(x) ∈ R[x]}. Then R[x]/< x2 +1> = { g(x) + < x2 +1> | g(x) ∈ R[x]} If g(x) ∈ R[x], then g(x) =q(x)(x2 +1) + r(x), where q(x) is the quotient and r(x) is the remainder upon dividing g(x) by x2 +1. In particular, r(x) = 0 or the degree of r(x) is less than 2, so that r(x) = ax + b for some a and b in R. Thus, g(x) +< x2 +1> = q(x)(x2 +1) + r(x) + < x2 +1> = r(x) + < x2 +1> = ax + b +< x2 +1> ∴ R[x]/< x2 +1> ={ax + b + < x2 +1>|a,b ∈ R }
  • 7. Ideals and factor rings,Diana Mary George,St.Mary’s College Prime Ideals A prime ideal A of a commutative ring R is a proper ideal of R such that a, b ∈ R and ab ∈ A imply a ∈ A or b ∈ A. Maximal Ideals A maximal ideal of a commutative ring R is a proper ideal of R such that, whenever B is an ideal of R and A  B  R, then B = A or B = R. EXAMPLE 12 Let n be an integer greater than 1. In the ring of integers, the ideal nZ is prime if and only if n is prime {0} is also a prime ideal of Z.
  • 8. Ideals and factor rings,Diana Mary George,St.Mary’s College EXAMPLE 13 The lattice of ideals of 𝑍36 shows that only < 2 > and <3> are maximal ideals 𝑍36 <2> <3> <4> <6> <9> <12> <18> {0}
  • 9. Ideals and factor rings,Diana Mary George,St.Mary’s College EXAMPLE 15: The ideal < x2+1> is maximal in R[x]. To see this, assume that A is an ideal of R[x] that properly contains < x2+1>. We will prove that A = R[x] by showing that A contains some nonzero real number c. (This is the constant polynomial h(x) = c for all x.) Then 1 =(1/c)c ∈ A and therefore, A = R[x]. To this end, let f(x) ∈ A, but f(x)  < x2+1>. Then f(x) = q(x)(x2+1) + r(x),where r(x)  0 and the degree of r(x) is less than 2. It follows that r(x) = ax + b, where a and b are not both 0, and ax + b = r(x) = f(x) - q(x)(x2+1) ∈ A Thus, a2x2- b2=(ax + b)(ax - b) ∈ A So 0 a2+b2 = (a2x2 + a2) − (a2 x2 − b2) ∈ A
  • 10. Ideals and factor rings,Diana Mary George,St.Mary’s College Theorem 2 Let R be a commutative ring with unity and let A be an ideal of R. Then R/A is an integral domain if and only if A is prime. Theorem 3 Let R be a commutative ring with unity and let A be an ideal of R. Then R/A is a field if and only if A is maximal. EXAMPLE 17 The ideal <x > is a prime ideal in Z[x] but not a maximal ideal in Z[x]. To verify this, we begin with the observation that < x > = { f(x) ∈ Z[x] | f(0) = 0} .Thus, if g(x)h(x) ∈ < x > then g(0)h(0) = 0. And since g(0) and h(0) are integers, we have g(0) = 0 or h(0) = 0.To see that < x > is not maximal, we simply note that < x > ⊂ < x,2 > ⊂ Z[x]
  • 11. Ideals and factor rings,Diana Mary George,St.Mary’s College FACTORISATION OF POLYNOMIALS OVER A FIELD
  • 12.  Let R be a ring with unity 1≠ 0. An element u in R is a unit of R if it has a multiplicative inverse in R.  If every non zero element of R is a unit then R is a division ring.  A field is a commutative division ring.  Let F be a field. Let F[x] denote set of all polynomials with indeterminate x of finite degree with coefficients from field F. F[x] is a ring. Factorisation of Polynomials over a field, Diana Mary George, St.Mary’s College, Thrissur. Preliminaries
  • 13. Factorisation of Polynomials over a field, Diana Mary George, St.Mary’s College, Thrissur. DIVISION ALGORITHM IN F[x] Let f(x)= 𝑖=0 𝑛 𝑎𝑖 𝑥 𝑖, g(x)= 𝑖=0 𝑚 𝑏𝑖 𝑥𝑖 ∈ F[x] then there are unique polynomials q(x) and r(x) in F[x] such that f(x) =g(x)q(x)+r(x) where either r(x)=0 or the degree of r(x) ≤ degree of g(x) FACTOR THEOREM An element a∈ F is a zero of f(x) ∈ F[x] if and only if x-a is a factor of f(x) in F[x].
  • 14. Factorisation of Polynomials over a field, Diana Mary George, St.Mary’s College, Thrissur. COROLLARY 1: A nonzero polynomial f(x) ∈ F[x] of degree n can have atmost n zeros in a field F. COROLLARY 2: If G is a finite subgroup of the multiplicative group (F-{0}, ∗) of a field F, Then G is cyclic.
  • 15. Factorisation of Polynomials over a field, Diana Mary George, St.Mary’s College, Thrissur. IRREDUCIBLE POLYNOMIALS A nonconstant polynomial 𝑓(𝑥) ∈ 𝐹[𝑥] is irreducible over F if 𝑓(𝑥) cannot be expressed as a product 𝑔 𝑥 ℎ(𝑥) of two poynomials 𝑔 𝑥 and ℎ(𝑥) in 𝐹[𝑥] both of lower degree than the degree of 𝑓 𝑥 . THEOREM 1: Let 𝑓(𝑥) ∈ 𝐹[𝑥] be of degree 2 or 3. Then 𝑓 𝑥 is reducible over F if and only if it has a zero in F.
  • 16. Factorisation of Polynomials over a field, Diana Mary George, St.Mary’s College, Thrissur. THEOREM 2: If 𝑓(𝑥) ∈ ℤ[𝑥] then 𝑓(𝑥) factors into a product of two polynomials of lower degrees r and s in ℚ[𝑥] if and only if it has such a factorization with polynomials of the same degrees r and s in ℤ 𝑥 . COROLLARY 3: If 𝑓 𝑥 = 𝑥 𝑛 + 𝑎 𝑛−1 𝑥 𝑛−1 + ⋯ + 𝑎0 is in ℤ 𝑥 with 𝑎0 ≠ 0 and if 𝑓(𝑥) has a zero in ℚ then it has a zero m in ℤ and m must divide 𝑎0.
  • 17. Factorisation of Polynomials over a field, Diana Mary George, St.Mary’s College, Thrissur. EISENSTEIN CRITERION Let 𝑝 ∈ ℤ be a prime. Suppose that 𝑓 𝑥 = 𝑎 𝑛 𝑥 𝑛 + 𝑎 𝑛−1 𝑥 𝑛−1 + ⋯ + 𝑎0 is in ℤ 𝑥 and 𝑎 𝑛 ≠ 0 𝑚𝑜𝑑 𝑝 but 𝑎𝑖=0 mod p for all 𝑖 < 𝑛 with 𝑎0 ≠ 0 𝑚𝑜𝑑 𝑝2 . Then 𝑓 𝑥 is irreducible over ℚ. COROLLARY 4: The polynomial Φ 𝑝(x)= 𝑥 𝑝−1 𝑥−1 = 𝑥 𝑝−1 + 𝑥 𝑝−2 + ⋯ + 𝑥 + 1 is irreducible over ℚ for any prime p.
  • 18. Factorisation of Polynomials over a field, Diana Mary George, St.Mary’s College, Thrissur. THEOREM 4: Let 𝑝(𝑥) be an irreducible polynomial in 𝐹[𝑥]. If 𝑝(𝑥) divides 𝑟 𝑥 𝑠 𝑥 for 𝑟 𝑥 , 𝑠 𝑥 ∈ 𝐹[𝑥] then either 𝑝(𝑥) divides 𝑟 𝑥 or 𝑝(𝑥) divides 𝑠 𝑥 . COROLLARY 5: If 𝑝(𝑥) is irreducible in 𝐹[𝑥] and 𝑝(𝑥) divides the product 𝑟1 𝑥 𝑟2 𝑥 … 𝑟𝑛 𝑥 for 𝑟𝑖 𝑥 ∈ 𝐹[𝑥] then 𝑝(𝑥) divides 𝑟𝑖 𝑥 atleast one 𝑖.
  • 19. Factorisation of Polynomials over a field, Diana Mary George, St.Mary’s College, Thrissur. THEOREM 5: If F is a field then every non constant polynomial 𝑓(𝑥) ∈ 𝐹[𝑥] can be factored in 𝐹[𝑥] into a product of irreducible polynomials the irreducible polynomials being unique except for order and for unit factors in F.
  • 20. Dihedral Groups,Diana Mary George,St.Mary’s College
  • 21. Dihedral Groups,Diana Mary George,St.Mary’s College Proof Existence : The set of cosets forms a group under addition. The multiplication is well-defined if and only if A is an ideal of R. To do this, suppose that A is an ideal and let s + A = s’ + A and t + A = t’ + A. Then we must show that st + A = s’t’+A. s = s’+ a and t = t’ + b, where a ,b ∈ A. Then st = (s’ + a)(t’ + b) = s’t’ + at’ + s’b + ab and so st + A = s’t’ + at’ + s’b + ab +A = s’t’ +A . Thus multiplication is well-defined when A is an ideal. On the other hand, suppose that A is a subring of R that is not an ideal of R. Then there exist elements a ∈ A and r ∈ R such that ar  A or ra  A. For convenience, let ar  A. Consider the elements a + A = 0 + A and r + A. Clearly, (a + A)(r + A) = ar + A but (0 +A)(r + A) = 0.r + A = A. Since ar + A  A, the multiplication is not well-defined and the set of cosets is not a ring
  • 22. Dihedral Groups,Diana Mary George,St.Mary’s College Proof Theorem 2: Suppose that R/A is an integral domain and ab ∈ A. Then (a + A)(b + A) = ab + A = A, the zero element of the ring R/A. So,either a + A = A or b + A = A; that is, either a ∈ A or b ∈ A. Hence A is prime. To prove the other half, we first observe that R/A is a commutative ring with unity for any proper ideal A. We show that when A is prime, R/A has no zero-divisors. So, suppose that A is prime and (a + A)(b + A) = 0 + A = A. Then ab ∈ A and, therefore, a ∈ A or b ∈ A. Thus, one of a + A or b + A is the zero coset in R/A.
  • 23. Dihedral Groups,Diana Mary George,St.Mary’s College Proof Theorem 3: Suppose that R/A is a field and B is an ideal of R that properly contains A. Let b ∈ B but b  A. Then b + A is a nonzero element of R/A and, therefore, there exists an element c + A such that (b + A) (c + A) = 1 + A, the multiplicative identity of R/A. Since b ∈ B, we have bc ∈ B. Because 1 + A = (b + A)(c + A) = bc + A, We have 1 - bc ∈ A ⊂ B. So, 1 = (1 - bc) + bc ∈ B. Therefore B = R. This proves that A is maximal. Now suppose that A is maximal and let b ∈ R but b  A. It suffices to show that b + A has a multiplicative inverse. All other properties for a field follow trivially. Consider B = { br + a | r ∈ R, a ∈ A}. This is an ideal of R that properly contains A .Since A is maximal, we must have B = R. Thus, 1 ∈ B, say, 1 = bc + a’, where a’ ∈ A. Then 1 + A =bc + a’ + A = bc + A = (b + A)(c + A). When a commutative ring has a unity, it follows that a maximal ideal is a prime ideal.