Link to originalDivides Notation
Let be a integral domain
If then
divides or is a factor of if
Notationally written as
Note that
Link to originalHigher Common Factor
Let be an integral domain
Letis the higher common factor of if
Notationally written as
Property of Common Factor be a common factor of and then
Let
Link to originalLeast Common Multiple
Let be an integral domain
Letis the least common multiple of if
Notationally written as
Link to originalUniqueness of HCF and LCM lemma
Let be an integral domain
Let thenIf exists then it is unique up to units
If exists then is is unique up to units
If is a PID then both and
Proof
If are two highest common factors then
Hence
As is an integral domain then are associates (differ by unit)
Very similar proof for least common multiplies
If is a PID then is principal
As is the minimal principal ideal containing then
Any generator of is a higher common factorSimilarily
is principal so any generator of it is a least common multiple
Link to originalUnique Factorisation Domain
Let be a integral domain then
is a Unique Factorisation Domain (UFD) if
Every element of is either a unit or can be written as a product of irreducible elements
where the factorisation into irreducible is unique up to reordering and unitsAnother property is if is non-zero and not a unit then
Exists irreducible elements such that
Whenever is another factorisation for then if
There exists reordering of s such that
Link to originalEquivalent Statements for an Unique Factorisation Domain lemma
Let be an integral domain
Equivalent Statements are
is a UFD
Both
Every irreducible element is prime
Every nonzero non-unit can be written as a product of irreducibleEvery nonzero non-unit can be written as a product of prime elements
Proof
Suppose is an UFD
Let be an irreducible
If divides where then
If or is zero or a unit then doneOtherwise by assumption assume it may be written as a product of irreducible so
where
As for some then letas a product of irreducibles by uniqueness of factorisation of into irreducibles then
must be one of s or s up to units thus divides or as requiredFor converse, use induction on minimal number of irreducibles on factorisation of into irreducibles
If then is irreducible and unique (by definition)
Suppose andHence
As is prime then exists such that
As is irreducible then exists unit such thatBy reordering s assume hence
Hence hence
Hence irreducibles occurring are equal up to reordering and units as requiredCondition is equivalent to condition as
Prime elements are always irreducible need to check irreducibles are prime
Consider is irreducible soas a product of primes
So by definition of irreducibility then hence is prime
Link to originalAscending Chain Condition on Ideals in a PID
Let be a PID
Suppose is a sequence of ideals such thatThen union
is an ideal and there exists such that
Note that a ring satisfying any nested ascending chain of Ideals that stabilises is called a Noetherian Ring
Proof
Let
For any two elements then
Exists such thatFor any then
Let so
Hence is an ideal
As is a PID then
Hence exists such that hence
Thus for all
04 - Principal Ideal Domain are Unique Factorisation Domains
Link to originalPrincipal Ideal Domain are Unique Factorisation Domains
Let be a PID then
is a UFD
Proof
As irreducibles are prime in a PID then by
Suppose for contradiction and is not a product of irreducible elements
As is not irreducible thenIf both and can be written as a product of prime elements then so is
Hence one of or cannot be written as a product of prime elementWLOG suppose it is and define
LetThen
As cannot be irreducible then exists such that
Continuing to get nested sequence of ideals with each strictly bigger than previous
By Ascending chain condition on ideals in a PID, then it cannot happen if is a pid
Thus does not existBy Equivalent statements for an unique factorisation domain then is a UFD
Link to originalContent of a Polynomial in
Let so then
Content of is defined as
so it is the highest common factor of the coefficients of
With property holding for non-zero then
where has content
Note that we define so it is unique (as units in are )
Link to originalGauss Property lemma
Let then
Proof
Suppose
Let is primeFor each prime homomorphism defined by
Hence
Thus
As is a field and is an integral domain then as is a homomorphism then
Hence if
Let
Let and where such that thenAs then
Link to originalUniqueness of Content of Polynomial in lemma
Let be nonzero
Then there exists unique such that
Hence
With property for
Proof
Let
with for all where
Let such that so
For exampleLet then
Let for positive integers then
Hence
So
Hence implies where and have contentChecking multiplicity so if then
If such that then
Link to originalProperty of Prime Elements
- Suppose is nonzero and where then
Exists such that henceis a factorisation of in
Suppose is irreducible and then
is a prime element ofLet be a prime number then
is a prime element inProof
By Uniqueness of content of polynomial in then
where with content
Then so as then
Let so
If has then
So is provedFor then
If in then inAs is a PID then irreducibles are prime so
WLOG suppose then
By Uniqueness of content of polynomial in then
Hence
However so
Hence
Thus divides in
Hence is provedAs homomorphism has kernel
Then as is an integral domain then ideal is prime
Hence is a prime element of
05 - Ring of Polynomials with Integer Coefficients is a UFD
Link to originalRing of Polynomials with Integer Coefficients is a UFD
Let then
is a UFD
Proof
Since is a integral domain as is also an integral domain
Let thenSince is a UFD then
is factorisable into a product of prime elements of (prime in )
Hence assumeAs is an element of then it is a product of prime elements in then
By Uniqueness of content of polynomial in then
By Property of prime elements (3) as is prime in and
By comparing contents then
So then by Equivalent statements for an unique factorisation domain so is UFD
06 - UFD Property of Polynomial Ring
Link to originalUFD Property of Polynomial Ring
Let be a UFD then
Polynomial Ring is also a UFD
Generally if is a UFD then
which is the ring of polynomials in variables with coefficients in is also a UFD
6.1 Irreducible Polynomials
Link to originalEisenstein's Criterion lemma
Let with with
If there exists prime such that
and does not divide and does not divide then
is irreducible in and
Proof
Since then irreducibility in and are equivalent
Let be a quotient map
Suppose is a factorisation for in where then
By assumption then (for then for so the image of in )
As is UFD then
is irreducible and is a unit
Hence up to units thenBut then constant terms of and must be divisible by hence is divisible by
Hence contradicting assumption