Divides Notation

Let be a integral domain

If then

divides or is a factor of if

Notationally written as

Note that

Link to original

Higher Common Factor

Let be an integral domain
Let

is the higher common factor of if

Notationally written as

Property of Common Factor be a common factor of and then

Let

Link to original

Least Common Multiple

Let be an integral domain
Let

is the least common multiple of if

Notationally written as

Link to original

Uniqueness of HCF and LCM lemma

Let be an integral domain
Let then

If exists then it is unique up to units

If exists then is is unique up to units

If is a PID then both and

Link to original


Unique 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 units

Another 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 original

Equivalent Statements for an Unique Factorisation Domain lemma

Let be an integral domain

Equivalent Statements are

  1. is a UFD

  2. Both
    Every irreducible element is prime
    Every nonzero non-unit can be written as a product of irreducible

  3. Every nonzero non-unit can be written as a product of prime elements

Link to original

Ascending Chain Condition on Ideals in a PID

Let be a PID
Suppose is a sequence of ideals such that

Then 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

Link to original


04 - Principal Ideal Domain are Unique Factorisation Domains

Principal Ideal Domain are Unique Factorisation Domains

Let be a PID then

is a UFD

Link to original


Content 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 original

Gauss Property lemma

Let then

Link to original

Uniqueness of Content of Polynomial in lemma

Let be nonzero

Then there exists unique such that

Hence

With property for

Link to original

Property of Prime Elements

  1. Suppose is nonzero and where then
    Exists such that hence

is a factorisation of in

  1. Suppose is irreducible and then
    is a prime element of

  2. Let be a prime number then
    is a prime element in

Link to original


05 - Ring of Polynomials with Integer Coefficients is a UFD

Ring of Polynomials with Integer Coefficients is a UFD

Let then

is a UFD

Link to original

06 - UFD Property of Polynomial Ring

UFD 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

Link to original


6.1 Irreducible Polynomials

Eisenstein'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

Link to original