SlideShare a Scribd company logo
Integral Domains Andrew Newman December 8, 2009
16.1 – The Field of Fractions The field of fractions of an integral domain D, FD is the set of equivalence classes on S = {(a,b): a,bє D} of ~; where (a, b) ~ (c, d) if and only if ad = bc. Examples Integral Domain: Z  	Field of Fractions:Q Integral Domain: Z5		Field of Fractions: Z5 Integral Domain: Z[i]Field of Fractions: Q[i] Integral Domain: Q[x]	Field of Fractions: Q(x)
Mathematical Results Lemma 16.1 – Definition of the field of fractions, and establishes ~ as an equivalence relation. Lemma 16.2 – The operations of addition and multiplication on FD are well defined. Lemma 16.3 – FD is a field
Theorem 16.4 Let D be an integral domain.  Then D can be embedded in the field of fractions FD, where any element in FD can be expressed as the quotient of two elements in D.  Furthermore, the field of fractions FD is unique in the sense that if E is any field containing D, then there exists a map ψ: FD -> E giving an isomorphism with a subfield of E such that ψ(a) = a for all a є D.
S    E φ' Ψ Ω -isomorphism FD(Q) D(Z) φ-  homomorphism
Corollaries Let F be a field of characteristic zero.  Then F contains a subfield isomorphic to Q. Show that F contains a subring isomorphic to the integers and therefore since the integers can be embedded into Q, F must contain a subfield isomorphic to Q. Let F be a field of characteristic p. Then F contains a subfield isomorphic to Zp.
16.2 – Factorization in Integral Domains Terms Unit – An element in a ring that has an inverse. Associates – Elements a and b are associates if there exists a unit u such that a = ub. Irreducible – A nonzero element pєD that is not a unit such that whenever p = ab, either a or b is a unit. Prime – An irreducible p such that whenever p|ab, either p|a or p|b.
Examples of Irreducibles Integral Domain: ZIrreducibles: primes Integral Domain: Z5Irreducibles: none Integral Domain: Q[x]	Irreducibles: 							irreducible 						polynomials
Not all irreducibles are primes Let R = {x2 * f(x,y) + xy * g(x,y) + y2 * h(x,y)} be a subring of Q[x,y].  Then x2, xy, and y2 are all irreducible however xy divides x2y2, but it doesn’t divide either x2 or y2. So xy is a non-prime irreducible. Corollary 16.9 – Let D be a principal ideal domain, if p is irreducible, then p is prime.
Types of domains Principal ideal domain – An integral domain every ideal is a principal ideal Example: Z Non-example: Z[x] Unique factorization domain – An integral domain such that any nonzero element that is not a unit can be written as the unique product of irreducible elements. Euclidean domain – domains on which a division algorithm is defined.
Principal Ideal Domains Example: Z is a principal ideal domain because every one of its ideals (all of which are nZ, where n is a natural number) are generated by one single element. Non-example: Z[x] is not because I = {5f(x) + xg(x)} is an ideal but it is not a principal ideal because 5 is in it and so is x, however the only element that generates both is 1 and the ideal containing 1 is the whole ring so this ideal must generate 3 which is impossible.
Unique Factorization Domain Example: Q[x] is a unique factorization domain, and in fact if F is a field then F[x] is a unique factorization domain.  (Corollary 16.12 and Corollary 16.21) (proof) Non-Example: Z[i] is not a unique factorization domain, by the counterexample 10 = 5 * 2, where 5 and 2 are irreducible and 10 = (3 + i)(3 - i) .  Also (3 – i) is an example of an irreducible that is not prime as it divides 10 but not 5 or 2.
Theorems about PIDs and UFDs Lemma 16.7 Let D be an integral domain and let a, b єD.  Then Theorem 16.8 – Let D be a PID and <p> be a nonzero ideal in D.  Then <p>is a maximal ideal if and only if p is irreducible.
Theorems about PIDs and UFDs Corollary 16.9 - Let D be a PID.  If p is irreducible, then p is prime. Lemma 16.10 - Let D be a PID.  Let I1, I2, … be a set of ideals such that I1     I2    … Then there exists an integer N such that In = IN for all n ≥ N.  This is called the ascending chain condition (ACC). Theorem 16.11 - Every PID is a UFD.
Euclidean Domain Let ν: D -> N U {0}. This is a Euclidean valuation.  A Euclidean domain has the following properties If a and b are nonzero elements in D, then ν(a) ≤ ν(ab). Let a,b be elements in D with b ≠ 0.  Then there exists elements q and r such that a = bq+ r and either r = 0 or ν(r) < ν(b).
Examples of Euclidean Valuations Absolute value (creates a Euclidean domain for the integers) Absolute value squared for Gaussian integers. The degree of a polynomial.
Theorems Theorem 16.13 - Every Euclidean domain is a PID. (proof) Corollary 16.14 – Every Euclidean domain is a UFD.
Factorization in D[x] Terminology Content – The content of a polynomial D[x] (where D is a unique factorization domain) is the greatest common divisor of a0, …, an. Primitive – A polynomial of D[x] is a primitive if it has a content of one. Theorem 16.15 – If f(x) and g(x) are primitive then f(x)g(x) is primitive. (proof) Lemma 16.16 – Let D be a UFD, and let p(x) and q(x) be in D[x].  Then the content of p(x)q(x)  is equal to the contents of p(x) and q(x).
Theorems Lemma 16.17 – Let D be a UFD and F, its field of fractions.  Suppose that p(x) is in D[x] and p(x) = g(x)f(x) where f(x) and g(x) are in F[x].  Then p(x) = f1(x)g1(x) and f1(x) and g1(x) are in D[x]. Furthermore, deg(f(x)) = deg(f1(x)) and deg(g(x)) = deg(g1(x)).  Theorem 16.20 – If D is a UFD, then D[x] is a UFD. Corollary 16.21 – Let F be a field.  Then F[x] is a UFD. Corollary 16.22 – Z[x] is a UFD. Corollary 16.23 – Let D be a UFD.  Then D[x1, …, xn] is a UFD.

More Related Content

What's hot

Section 11: Normal Subgroups
Section 11: Normal SubgroupsSection 11: Normal Subgroups
Section 11: Normal Subgroups
Kevin Johnson
 
Chapter 4 Cyclic Groups
Chapter 4 Cyclic GroupsChapter 4 Cyclic Groups
Chapter 4 Cyclic Groups
Tony Cervera Jr.
 
systems of linear equations & matrices
systems of linear equations & matricessystems of linear equations & matrices
systems of linear equations & matricesStudent
 
Leaner algebra presentation (ring)
Leaner algebra presentation (ring)Leaner algebra presentation (ring)
Leaner algebra presentation (ring)
Muhammad Umar Farooq
 
Ideals and factor rings
Ideals and factor ringsIdeals and factor rings
Ideals and factor rings
dianageorge27
 
Group Theory and Its Application: Beamer Presentation (PPT)
Group Theory and Its Application:   Beamer Presentation (PPT)Group Theory and Its Application:   Beamer Presentation (PPT)
Group Theory and Its Application: Beamer Presentation (PPT)
SIRAJAHMAD36
 
Numerical analysis ppt
Numerical analysis pptNumerical analysis ppt
Numerical analysis ppt
MalathiNagarajan20
 
GROUP AND SUBGROUP PPT 20By SONU KUMAR.pptx
GROUP AND SUBGROUP PPT 20By SONU KUMAR.pptxGROUP AND SUBGROUP PPT 20By SONU KUMAR.pptx
GROUP AND SUBGROUP PPT 20By SONU KUMAR.pptx
SONU KUMAR
 
Matrices and System of Linear Equations ppt
Matrices and System of Linear Equations pptMatrices and System of Linear Equations ppt
Matrices and System of Linear Equations ppt
Drazzer_Dhruv
 
Vector Spaces
Vector SpacesVector Spaces
Diagonalization of Matrices
Diagonalization of MatricesDiagonalization of Matrices
Diagonalization of Matrices
AmenahGondal1
 
TOPOLOGY and TYPES OF TOPOLOGY PowerPoint
TOPOLOGY and TYPES OF TOPOLOGY PowerPointTOPOLOGY and TYPES OF TOPOLOGY PowerPoint
TOPOLOGY and TYPES OF TOPOLOGY PowerPoint
AqsaAhmed26
 
Function transformations
Function transformationsFunction transformations
Function transformationsTerry Gastauer
 
Introduction to Real Analysis 4th Edition Bartle Solutions Manual
Introduction to Real Analysis 4th Edition Bartle Solutions ManualIntroduction to Real Analysis 4th Edition Bartle Solutions Manual
Introduction to Real Analysis 4th Edition Bartle Solutions Manual
DawsonVeronica
 
Infinite series 8.3
Infinite series 8.3 Infinite series 8.3
Infinite series 8.3
Mohsin Ramay
 
L19 increasing & decreasing functions
L19 increasing & decreasing functionsL19 increasing & decreasing functions
L19 increasing & decreasing functions
James Tagara
 
Ring
RingRing
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
ShaifulIslam56
 
Group homomorphism
Group homomorphismGroup homomorphism
Group homomorphism
NaliniSPatil
 

What's hot (20)

Set Theory Presentation
Set Theory PresentationSet Theory Presentation
Set Theory Presentation
 
Section 11: Normal Subgroups
Section 11: Normal SubgroupsSection 11: Normal Subgroups
Section 11: Normal Subgroups
 
Chapter 4 Cyclic Groups
Chapter 4 Cyclic GroupsChapter 4 Cyclic Groups
Chapter 4 Cyclic Groups
 
systems of linear equations & matrices
systems of linear equations & matricessystems of linear equations & matrices
systems of linear equations & matrices
 
Leaner algebra presentation (ring)
Leaner algebra presentation (ring)Leaner algebra presentation (ring)
Leaner algebra presentation (ring)
 
Ideals and factor rings
Ideals and factor ringsIdeals and factor rings
Ideals and factor rings
 
Group Theory and Its Application: Beamer Presentation (PPT)
Group Theory and Its Application:   Beamer Presentation (PPT)Group Theory and Its Application:   Beamer Presentation (PPT)
Group Theory and Its Application: Beamer Presentation (PPT)
 
Numerical analysis ppt
Numerical analysis pptNumerical analysis ppt
Numerical analysis ppt
 
GROUP AND SUBGROUP PPT 20By SONU KUMAR.pptx
GROUP AND SUBGROUP PPT 20By SONU KUMAR.pptxGROUP AND SUBGROUP PPT 20By SONU KUMAR.pptx
GROUP AND SUBGROUP PPT 20By SONU KUMAR.pptx
 
Matrices and System of Linear Equations ppt
Matrices and System of Linear Equations pptMatrices and System of Linear Equations ppt
Matrices and System of Linear Equations ppt
 
Vector Spaces
Vector SpacesVector Spaces
Vector Spaces
 
Diagonalization of Matrices
Diagonalization of MatricesDiagonalization of Matrices
Diagonalization of Matrices
 
TOPOLOGY and TYPES OF TOPOLOGY PowerPoint
TOPOLOGY and TYPES OF TOPOLOGY PowerPointTOPOLOGY and TYPES OF TOPOLOGY PowerPoint
TOPOLOGY and TYPES OF TOPOLOGY PowerPoint
 
Function transformations
Function transformationsFunction transformations
Function transformations
 
Introduction to Real Analysis 4th Edition Bartle Solutions Manual
Introduction to Real Analysis 4th Edition Bartle Solutions ManualIntroduction to Real Analysis 4th Edition Bartle Solutions Manual
Introduction to Real Analysis 4th Edition Bartle Solutions Manual
 
Infinite series 8.3
Infinite series 8.3 Infinite series 8.3
Infinite series 8.3
 
L19 increasing & decreasing functions
L19 increasing & decreasing functionsL19 increasing & decreasing functions
L19 increasing & decreasing functions
 
Ring
RingRing
Ring
 
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
 
Group homomorphism
Group homomorphismGroup homomorphism
Group homomorphism
 

Viewers also liked

Michelle Raye Horton
Michelle Raye HortonMichelle Raye Horton
Michelle Raye Horton
cupcakexo
 
Bab 4.-integral-lipat-dua1 2
Bab 4.-integral-lipat-dua1 2Bab 4.-integral-lipat-dua1 2
Bab 4.-integral-lipat-dua1 2Dayga_Hatsu
 
critical solution temperature of phenol-water system
critical solution temperature of phenol-water systemcritical solution temperature of phenol-water system
critical solution temperature of phenol-water system
Indian Institute of Technology, Bombay
 
Embedded systems career -An outline
Embedded systems career -An outlineEmbedded systems career -An outline
Embedded systems career -An outline
Dr.YNM
 
Bao cao-hanh-vi-nguoi-dung-internet-vietnam-2014
Bao cao-hanh-vi-nguoi-dung-internet-vietnam-2014Bao cao-hanh-vi-nguoi-dung-internet-vietnam-2014
Bao cao-hanh-vi-nguoi-dung-internet-vietnam-2014
Duy Khánh
 
Суперпредложение по украинскому рынку охранных услуг и безопасности
Суперпредложение по украинскому рынку охранных услуг и безопасностиСуперпредложение по украинскому рынку охранных услуг и безопасности
Суперпредложение по украинскому рынку охранных услуг и безопасности
Agency of Industrial Marketing
 
Capitalizing on OTT Breakfast Forum-Heavy Reading for posting
Capitalizing on OTT Breakfast Forum-Heavy Reading for postingCapitalizing on OTT Breakfast Forum-Heavy Reading for posting
Capitalizing on OTT Breakfast Forum-Heavy Reading for postingVerimatrix
 
The age of entrepreneurship
The age of entrepreneurshipThe age of entrepreneurship
The age of entrepreneurshipLeonardo Jimenez
 
Presentacio sedeib gestib
Presentacio sedeib gestibPresentacio sedeib gestib
Presentacio sedeib gestib
Avel·lí
 
Starchart
StarchartStarchart
Starchartjkdavis
 
Recap of 8thDecember2009-Dyuti-Right to Life
Recap of 8thDecember2009-Dyuti-Right to LifeRecap of 8thDecember2009-Dyuti-Right to Life
Recap of 8thDecember2009-Dyuti-Right to LifeDYUTI
 
Рынок промышленных котлов Украины
Рынок промышленных котлов УкраиныРынок промышленных котлов Украины
Рынок промышленных котлов Украины
Agency of Industrial Marketing
 
TV in 2020 - Multi-network Solutions Breakfast Briefing at Connected TV Summi...
TV in 2020 - Multi-network Solutions Breakfast Briefing at Connected TV Summi...TV in 2020 - Multi-network Solutions Breakfast Briefing at Connected TV Summi...
TV in 2020 - Multi-network Solutions Breakfast Briefing at Connected TV Summi...
Verimatrix
 
Презентация Агентства Индустриального Маркетинга
Презентация Агентства Индустриального МаркетингаПрезентация Агентства Индустриального Маркетинга
Презентация Агентства Индустриального Маркетинга
Agency of Industrial Marketing
 
Hi brand ural_2011
Hi brand ural_2011Hi brand ural_2011
Hi brand ural_2011
Agency of Industrial Marketing
 
Исследование украинского рынка охранных услуг (Часть 2)
Исследование украинского рынка охранных услуг (Часть 2)Исследование украинского рынка охранных услуг (Часть 2)
Исследование украинского рынка охранных услуг (Часть 2)
Agency of Industrial Marketing
 

Viewers also liked (20)

Michelle Raye Horton
Michelle Raye HortonMichelle Raye Horton
Michelle Raye Horton
 
Bc0039
Bc0039Bc0039
Bc0039
 
Bab 4.-integral-lipat-dua1 2
Bab 4.-integral-lipat-dua1 2Bab 4.-integral-lipat-dua1 2
Bab 4.-integral-lipat-dua1 2
 
critical solution temperature of phenol-water system
critical solution temperature of phenol-water systemcritical solution temperature of phenol-water system
critical solution temperature of phenol-water system
 
Embedded systems career -An outline
Embedded systems career -An outlineEmbedded systems career -An outline
Embedded systems career -An outline
 
Bao cao-hanh-vi-nguoi-dung-internet-vietnam-2014
Bao cao-hanh-vi-nguoi-dung-internet-vietnam-2014Bao cao-hanh-vi-nguoi-dung-internet-vietnam-2014
Bao cao-hanh-vi-nguoi-dung-internet-vietnam-2014
 
gladunov_prom2009
gladunov_prom2009gladunov_prom2009
gladunov_prom2009
 
Суперпредложение по украинскому рынку охранных услуг и безопасности
Суперпредложение по украинскому рынку охранных услуг и безопасностиСуперпредложение по украинскому рынку охранных услуг и безопасности
Суперпредложение по украинскому рынку охранных услуг и безопасности
 
Capitalizing on OTT Breakfast Forum-Heavy Reading for posting
Capitalizing on OTT Breakfast Forum-Heavy Reading for postingCapitalizing on OTT Breakfast Forum-Heavy Reading for posting
Capitalizing on OTT Breakfast Forum-Heavy Reading for posting
 
The age of entrepreneurship
The age of entrepreneurshipThe age of entrepreneurship
The age of entrepreneurship
 
Presentacio sedeib gestib
Presentacio sedeib gestibPresentacio sedeib gestib
Presentacio sedeib gestib
 
T-Mobile over de samenwerking met SUSA
T-Mobile over de samenwerking met SUSAT-Mobile over de samenwerking met SUSA
T-Mobile over de samenwerking met SUSA
 
Se 2012-06 en
Se 2012-06 enSe 2012-06 en
Se 2012-06 en
 
Starchart
StarchartStarchart
Starchart
 
Recap of 8thDecember2009-Dyuti-Right to Life
Recap of 8thDecember2009-Dyuti-Right to LifeRecap of 8thDecember2009-Dyuti-Right to Life
Recap of 8thDecember2009-Dyuti-Right to Life
 
Рынок промышленных котлов Украины
Рынок промышленных котлов УкраиныРынок промышленных котлов Украины
Рынок промышленных котлов Украины
 
TV in 2020 - Multi-network Solutions Breakfast Briefing at Connected TV Summi...
TV in 2020 - Multi-network Solutions Breakfast Briefing at Connected TV Summi...TV in 2020 - Multi-network Solutions Breakfast Briefing at Connected TV Summi...
TV in 2020 - Multi-network Solutions Breakfast Briefing at Connected TV Summi...
 
Презентация Агентства Индустриального Маркетинга
Презентация Агентства Индустриального МаркетингаПрезентация Агентства Индустриального Маркетинга
Презентация Агентства Индустриального Маркетинга
 
Hi brand ural_2011
Hi brand ural_2011Hi brand ural_2011
Hi brand ural_2011
 
Исследование украинского рынка охранных услуг (Часть 2)
Исследование украинского рынка охранных услуг (Часть 2)Исследование украинского рынка охранных услуг (Часть 2)
Исследование украинского рынка охранных услуг (Часть 2)
 

Similar to Integral Domains

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
NaeemAhmad289736
 
Amirim Project - Threshold Functions in Random Simplicial Complexes - Avichai...
Amirim Project - Threshold Functions in Random Simplicial Complexes - Avichai...Amirim Project - Threshold Functions in Random Simplicial Complexes - Avichai...
Amirim Project - Threshold Functions in Random Simplicial Complexes - Avichai...Avichai Cohen
 
Chapter 22 Finite Field
Chapter 22 Finite FieldChapter 22 Finite Field
Chapter 22 Finite Field
Tony Cervera Jr.
 
Kundoc.com optimization and-differentiation-in-banach-spaces
Kundoc.com optimization and-differentiation-in-banach-spacesKundoc.com optimization and-differentiation-in-banach-spaces
Kundoc.com optimization and-differentiation-in-banach-spaces
juanpablo1382
 
Practical computation of Hecke operators
Practical computation of Hecke operatorsPractical computation of Hecke operators
Practical computation of Hecke operators
Mathieu Dutour Sikiric
 
Functions and its Applications in Mathematics
Functions and its Applications in MathematicsFunctions and its Applications in Mathematics
Functions and its Applications in Mathematics
Amit Amola
 
Hecke Curves and Moduli spcaes of Vector Bundles
Hecke Curves and Moduli spcaes of Vector BundlesHecke Curves and Moduli spcaes of Vector Bundles
Hecke Curves and Moduli spcaes of Vector Bundles
Heinrich Hartmann
 
SPLITTING FIELD.ppt
SPLITTING FIELD.pptSPLITTING FIELD.ppt
SPLITTING FIELD.ppt
Triveni Prabaakar
 
Maximizing Submodular Function over the Integer Lattice
Maximizing Submodular Function over the Integer LatticeMaximizing Submodular Function over the Integer Lattice
Maximizing Submodular Function over the Integer Lattice
Tasuku Soma
 
5.6 Function inverse. A handout.
5.6 Function inverse. A handout.5.6 Function inverse. A handout.
5.6 Function inverse. A handout.
Jan Plaza
 
function on mathematics
function on mathematicsfunction on mathematics
function on mathematics
AkashDas124
 
Postdoctoral research statement
Postdoctoral research statementPostdoctoral research statement
Postdoctoral research statementSusovan Pal
 
Raices primitivas
Raices primitivasRaices primitivas
Raices primitivas
Rolando Vega
 
Lecture 20 fundamental theorem of calc - section 5.3
Lecture 20   fundamental theorem of calc - section 5.3Lecture 20   fundamental theorem of calc - section 5.3
Lecture 20 fundamental theorem of calc - section 5.3
njit-ronbrown
 
math camp
math campmath camp
math camp
ssuser8cde591
 
5.6 Function inverse. Dynamic slides.
5.6 Function inverse. Dynamic slides.5.6 Function inverse. Dynamic slides.
5.6 Function inverse. Dynamic slides.
Jan Plaza
 
Enumeration of 2-level polytopes
Enumeration of 2-level polytopesEnumeration of 2-level polytopes
Enumeration of 2-level polytopes
Vissarion Fisikopoulos
 
8.pdf
8.pdf8.pdf

Similar to Integral Domains (20)

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
 
Amirim Project - Threshold Functions in Random Simplicial Complexes - Avichai...
Amirim Project - Threshold Functions in Random Simplicial Complexes - Avichai...Amirim Project - Threshold Functions in Random Simplicial Complexes - Avichai...
Amirim Project - Threshold Functions in Random Simplicial Complexes - Avichai...
 
Chapter 22 Finite Field
Chapter 22 Finite FieldChapter 22 Finite Field
Chapter 22 Finite Field
 
Kundoc.com optimization and-differentiation-in-banach-spaces
Kundoc.com optimization and-differentiation-in-banach-spacesKundoc.com optimization and-differentiation-in-banach-spaces
Kundoc.com optimization and-differentiation-in-banach-spaces
 
Practical computation of Hecke operators
Practical computation of Hecke operatorsPractical computation of Hecke operators
Practical computation of Hecke operators
 
Functions and its Applications in Mathematics
Functions and its Applications in MathematicsFunctions and its Applications in Mathematics
Functions and its Applications in Mathematics
 
04
0404
04
 
Hecke Curves and Moduli spcaes of Vector Bundles
Hecke Curves and Moduli spcaes of Vector BundlesHecke Curves and Moduli spcaes of Vector Bundles
Hecke Curves and Moduli spcaes of Vector Bundles
 
SPLITTING FIELD.ppt
SPLITTING FIELD.pptSPLITTING FIELD.ppt
SPLITTING FIELD.ppt
 
Maximizing Submodular Function over the Integer Lattice
Maximizing Submodular Function over the Integer LatticeMaximizing Submodular Function over the Integer Lattice
Maximizing Submodular Function over the Integer Lattice
 
5.6 Function inverse. A handout.
5.6 Function inverse. A handout.5.6 Function inverse. A handout.
5.6 Function inverse. A handout.
 
function on mathematics
function on mathematicsfunction on mathematics
function on mathematics
 
Postdoctoral research statement
Postdoctoral research statementPostdoctoral research statement
Postdoctoral research statement
 
Raices primitivas
Raices primitivasRaices primitivas
Raices primitivas
 
Cs501 fd nf
Cs501 fd nfCs501 fd nf
Cs501 fd nf
 
Lecture 20 fundamental theorem of calc - section 5.3
Lecture 20   fundamental theorem of calc - section 5.3Lecture 20   fundamental theorem of calc - section 5.3
Lecture 20 fundamental theorem of calc - section 5.3
 
math camp
math campmath camp
math camp
 
5.6 Function inverse. Dynamic slides.
5.6 Function inverse. Dynamic slides.5.6 Function inverse. Dynamic slides.
5.6 Function inverse. Dynamic slides.
 
Enumeration of 2-level polytopes
Enumeration of 2-level polytopesEnumeration of 2-level polytopes
Enumeration of 2-level polytopes
 
8.pdf
8.pdf8.pdf
8.pdf
 

Recently uploaded

special B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdfspecial B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdf
Special education needs
 
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXXPhrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
MIRIAMSALINAS13
 
Lapbook sobre os Regimes Totalitários.pdf
Lapbook sobre os Regimes Totalitários.pdfLapbook sobre os Regimes Totalitários.pdf
Lapbook sobre os Regimes Totalitários.pdf
Jean Carlos Nunes Paixão
 
CACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdfCACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdf
camakaiclarkmusic
 
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
Levi Shapiro
 
Introduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp NetworkIntroduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp Network
TechSoup
 
1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx
JosvitaDsouza2
 
Palestine last event orientationfvgnh .pptx
Palestine last event orientationfvgnh .pptxPalestine last event orientationfvgnh .pptx
Palestine last event orientationfvgnh .pptx
RaedMohamed3
 
The Roman Empire A Historical Colossus.pdf
The Roman Empire A Historical Colossus.pdfThe Roman Empire A Historical Colossus.pdf
The Roman Empire A Historical Colossus.pdf
kaushalkr1407
 
Supporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptxSupporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptx
Jisc
 
How libraries can support authors with open access requirements for UKRI fund...
How libraries can support authors with open access requirements for UKRI fund...How libraries can support authors with open access requirements for UKRI fund...
How libraries can support authors with open access requirements for UKRI fund...
Jisc
 
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
siemaillard
 
Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345
beazzy04
 
Thesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.pptThesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.ppt
EverAndrsGuerraGuerr
 
Guidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th SemesterGuidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th Semester
Atul Kumar Singh
 
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCECLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
BhavyaRajput3
 
The geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideasThe geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideas
GeoBlogs
 
Language Across the Curriculm LAC B.Ed.
Language Across the  Curriculm LAC B.Ed.Language Across the  Curriculm LAC B.Ed.
Language Across the Curriculm LAC B.Ed.
Atul Kumar Singh
 
Overview on Edible Vaccine: Pros & Cons with Mechanism
Overview on Edible Vaccine: Pros & Cons with MechanismOverview on Edible Vaccine: Pros & Cons with Mechanism
Overview on Edible Vaccine: Pros & Cons with Mechanism
DeeptiGupta154
 
Home assignment II on Spectroscopy 2024 Answers.pdf
Home assignment II on Spectroscopy 2024 Answers.pdfHome assignment II on Spectroscopy 2024 Answers.pdf
Home assignment II on Spectroscopy 2024 Answers.pdf
Tamralipta Mahavidyalaya
 

Recently uploaded (20)

special B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdfspecial B.ed 2nd year old paper_20240531.pdf
special B.ed 2nd year old paper_20240531.pdf
 
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXXPhrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
Phrasal Verbs.XXXXXXXXXXXXXXXXXXXXXXXXXX
 
Lapbook sobre os Regimes Totalitários.pdf
Lapbook sobre os Regimes Totalitários.pdfLapbook sobre os Regimes Totalitários.pdf
Lapbook sobre os Regimes Totalitários.pdf
 
CACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdfCACJapan - GROUP Presentation 1- Wk 4.pdf
CACJapan - GROUP Presentation 1- Wk 4.pdf
 
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
June 3, 2024 Anti-Semitism Letter Sent to MIT President Kornbluth and MIT Cor...
 
Introduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp NetworkIntroduction to AI for Nonprofits with Tapp Network
Introduction to AI for Nonprofits with Tapp Network
 
1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx1.4 modern child centered education - mahatma gandhi-2.pptx
1.4 modern child centered education - mahatma gandhi-2.pptx
 
Palestine last event orientationfvgnh .pptx
Palestine last event orientationfvgnh .pptxPalestine last event orientationfvgnh .pptx
Palestine last event orientationfvgnh .pptx
 
The Roman Empire A Historical Colossus.pdf
The Roman Empire A Historical Colossus.pdfThe Roman Empire A Historical Colossus.pdf
The Roman Empire A Historical Colossus.pdf
 
Supporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptxSupporting (UKRI) OA monographs at Salford.pptx
Supporting (UKRI) OA monographs at Salford.pptx
 
How libraries can support authors with open access requirements for UKRI fund...
How libraries can support authors with open access requirements for UKRI fund...How libraries can support authors with open access requirements for UKRI fund...
How libraries can support authors with open access requirements for UKRI fund...
 
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
 
Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345Sha'Carri Richardson Presentation 202345
Sha'Carri Richardson Presentation 202345
 
Thesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.pptThesis Statement for students diagnonsed withADHD.ppt
Thesis Statement for students diagnonsed withADHD.ppt
 
Guidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th SemesterGuidance_and_Counselling.pdf B.Ed. 4th Semester
Guidance_and_Counselling.pdf B.Ed. 4th Semester
 
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCECLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
CLASS 11 CBSE B.St Project AIDS TO TRADE - INSURANCE
 
The geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideasThe geography of Taylor Swift - some ideas
The geography of Taylor Swift - some ideas
 
Language Across the Curriculm LAC B.Ed.
Language Across the  Curriculm LAC B.Ed.Language Across the  Curriculm LAC B.Ed.
Language Across the Curriculm LAC B.Ed.
 
Overview on Edible Vaccine: Pros & Cons with Mechanism
Overview on Edible Vaccine: Pros & Cons with MechanismOverview on Edible Vaccine: Pros & Cons with Mechanism
Overview on Edible Vaccine: Pros & Cons with Mechanism
 
Home assignment II on Spectroscopy 2024 Answers.pdf
Home assignment II on Spectroscopy 2024 Answers.pdfHome assignment II on Spectroscopy 2024 Answers.pdf
Home assignment II on Spectroscopy 2024 Answers.pdf
 

Integral Domains

  • 1. Integral Domains Andrew Newman December 8, 2009
  • 2. 16.1 – The Field of Fractions The field of fractions of an integral domain D, FD is the set of equivalence classes on S = {(a,b): a,bє D} of ~; where (a, b) ~ (c, d) if and only if ad = bc. Examples Integral Domain: Z Field of Fractions:Q Integral Domain: Z5 Field of Fractions: Z5 Integral Domain: Z[i]Field of Fractions: Q[i] Integral Domain: Q[x] Field of Fractions: Q(x)
  • 3. Mathematical Results Lemma 16.1 – Definition of the field of fractions, and establishes ~ as an equivalence relation. Lemma 16.2 – The operations of addition and multiplication on FD are well defined. Lemma 16.3 – FD is a field
  • 4. Theorem 16.4 Let D be an integral domain. Then D can be embedded in the field of fractions FD, where any element in FD can be expressed as the quotient of two elements in D. Furthermore, the field of fractions FD is unique in the sense that if E is any field containing D, then there exists a map ψ: FD -> E giving an isomorphism with a subfield of E such that ψ(a) = a for all a є D.
  • 5. S E φ' Ψ Ω -isomorphism FD(Q) D(Z) φ- homomorphism
  • 6. Corollaries Let F be a field of characteristic zero. Then F contains a subfield isomorphic to Q. Show that F contains a subring isomorphic to the integers and therefore since the integers can be embedded into Q, F must contain a subfield isomorphic to Q. Let F be a field of characteristic p. Then F contains a subfield isomorphic to Zp.
  • 7. 16.2 – Factorization in Integral Domains Terms Unit – An element in a ring that has an inverse. Associates – Elements a and b are associates if there exists a unit u such that a = ub. Irreducible – A nonzero element pєD that is not a unit such that whenever p = ab, either a or b is a unit. Prime – An irreducible p such that whenever p|ab, either p|a or p|b.
  • 8. Examples of Irreducibles Integral Domain: ZIrreducibles: primes Integral Domain: Z5Irreducibles: none Integral Domain: Q[x] Irreducibles: irreducible polynomials
  • 9. Not all irreducibles are primes Let R = {x2 * f(x,y) + xy * g(x,y) + y2 * h(x,y)} be a subring of Q[x,y]. Then x2, xy, and y2 are all irreducible however xy divides x2y2, but it doesn’t divide either x2 or y2. So xy is a non-prime irreducible. Corollary 16.9 – Let D be a principal ideal domain, if p is irreducible, then p is prime.
  • 10. Types of domains Principal ideal domain – An integral domain every ideal is a principal ideal Example: Z Non-example: Z[x] Unique factorization domain – An integral domain such that any nonzero element that is not a unit can be written as the unique product of irreducible elements. Euclidean domain – domains on which a division algorithm is defined.
  • 11. Principal Ideal Domains Example: Z is a principal ideal domain because every one of its ideals (all of which are nZ, where n is a natural number) are generated by one single element. Non-example: Z[x] is not because I = {5f(x) + xg(x)} is an ideal but it is not a principal ideal because 5 is in it and so is x, however the only element that generates both is 1 and the ideal containing 1 is the whole ring so this ideal must generate 3 which is impossible.
  • 12. Unique Factorization Domain Example: Q[x] is a unique factorization domain, and in fact if F is a field then F[x] is a unique factorization domain. (Corollary 16.12 and Corollary 16.21) (proof) Non-Example: Z[i] is not a unique factorization domain, by the counterexample 10 = 5 * 2, where 5 and 2 are irreducible and 10 = (3 + i)(3 - i) . Also (3 – i) is an example of an irreducible that is not prime as it divides 10 but not 5 or 2.
  • 13. Theorems about PIDs and UFDs Lemma 16.7 Let D be an integral domain and let a, b єD. Then Theorem 16.8 – Let D be a PID and <p> be a nonzero ideal in D. Then <p>is a maximal ideal if and only if p is irreducible.
  • 14. Theorems about PIDs and UFDs Corollary 16.9 - Let D be a PID. If p is irreducible, then p is prime. Lemma 16.10 - Let D be a PID. Let I1, I2, … be a set of ideals such that I1 I2 … Then there exists an integer N such that In = IN for all n ≥ N. This is called the ascending chain condition (ACC). Theorem 16.11 - Every PID is a UFD.
  • 15. Euclidean Domain Let ν: D -> N U {0}. This is a Euclidean valuation. A Euclidean domain has the following properties If a and b are nonzero elements in D, then ν(a) ≤ ν(ab). Let a,b be elements in D with b ≠ 0. Then there exists elements q and r such that a = bq+ r and either r = 0 or ν(r) < ν(b).
  • 16. Examples of Euclidean Valuations Absolute value (creates a Euclidean domain for the integers) Absolute value squared for Gaussian integers. The degree of a polynomial.
  • 17. Theorems Theorem 16.13 - Every Euclidean domain is a PID. (proof) Corollary 16.14 – Every Euclidean domain is a UFD.
  • 18. Factorization in D[x] Terminology Content – The content of a polynomial D[x] (where D is a unique factorization domain) is the greatest common divisor of a0, …, an. Primitive – A polynomial of D[x] is a primitive if it has a content of one. Theorem 16.15 – If f(x) and g(x) are primitive then f(x)g(x) is primitive. (proof) Lemma 16.16 – Let D be a UFD, and let p(x) and q(x) be in D[x]. Then the content of p(x)q(x) is equal to the contents of p(x) and q(x).
  • 19. Theorems Lemma 16.17 – Let D be a UFD and F, its field of fractions. Suppose that p(x) is in D[x] and p(x) = g(x)f(x) where f(x) and g(x) are in F[x]. Then p(x) = f1(x)g1(x) and f1(x) and g1(x) are in D[x]. Furthermore, deg(f(x)) = deg(f1(x)) and deg(g(x)) = deg(g1(x)). Theorem 16.20 – If D is a UFD, then D[x] is a UFD. Corollary 16.21 – Let F be a field. Then F[x] is a UFD. Corollary 16.22 – Z[x] is a UFD. Corollary 16.23 – Let D be a UFD. Then D[x1, …, xn] is a UFD.