3 Polynomials and Unique Factorisation Flashcards
Defintion 3.1:
Fields
A field is a set ๐ฝ with operations of addition and multiplication.
i.e. for every ๐ฅ,๐ฆโ๐ฝ, then ๐ฅ+๐ฆ โ ๐ฝ and ๐ฅโ
๐ฆ = ๐ฅ๐ฆ โ ๐ฝ,
such that the field axioms hold.
Definition 3.1:
Field axioms (F1)-(F4)
Addition behaves well
(F1) + is associative: โ๐ฅ,๐ฆ,๐งโ๐ฝ, (๐ฅ+๐ฆ)+๐ง=๐ฅ+(๐ฆ+๐ง)
(F2) There is an additive identity 0โ๐ฝ s.t. 0+๐ฅ = ๐ฅ = ๐ฅ+0 โ๐ฅโ๐ฝ
(F3) Every ๐ฅโ๐ฝ has an additive inverse โ๐ฅโ๐ฝ such that ๐ฅ+(โ๐ฅ) = 0 = โ๐ฅ+๐ฅ
(F4) + is commutative: โ๐ฅ,๐ฆโ๐ฝ ๐ฅ+๐ฆ = ๐ฆ+๐ฅ.
Definition 3.1:
Field axioms (F5)
Addition and multiplication are compatiable
(F5) โ
is distributive over +: โ๐,๐ฅ,๐ฆโ๐ฝ
๐โ
(๐ฅ+๐ฆ) = ๐โ
๐ฅ + ๐โ
๐ฆ
(๐ฅ+๐ฆ)โ
๐ = ๐ฅโ
๐ +๐ฆ โ
๐.
Definition 3.1:
Field axioms (F6)-(F9)
Multiplication behaves well
(F6) โ
is associative: โ๐ฅ,๐ฆ,๐งโ๐ฝ (๐ฅโ
๐ฆ)โ
๐ง = ๐ฅโ
(๐ฆโ
๐ง)
(F7) There is a multiplicative identity 1โ๐ฝ s.t. 1โ
๐ฅ = ๐ฅ = ๐ฅโ
1 โ๐ฅโ๐ฝ
(F8) โ
is commutative: โ๐ฅ,๐ฆโ๐ฝ ๐ฅโ
๐ฆ = ๐ฆโ
๐ฅ
(F9) 1โ 0 and โ๐ฅโ๐ฝโ{0} there is a multiplicative inverse ๐ฅ^(โ1) s.t. ๐ฅ^(โ1)โ
๐ฅ = 1 = ๐ฅโ
๐ฅ^(โ1).
Definition 3.1:
Extended field axioms
(F3x) โ๐ฅโ๐ฝ, we have โ(โ๐ฅ)=๐ฅ
(F5x) โ๐,๐ฅโ๐ฝ
๐โ
0 = 0 = 0โ
๐
๐โ
(โ๐ฅ) = โ(๐โ
๐ฅ)
(โ๐ฅ)โ
๐ = โ(๐ฅโ
๐)
(F9x) โ๐ฅโ๐ฝโ{0}, [๐ฅ^(โ1)]^(โ1) = ๐ฅ.
Remark 3.2:
Additive groups, rings and commutative rings
๐ฝ (with +,0) is an additive group if (F1)-(f4) holds.
๐ฝ is a ring if (F1)-(F7) holds.
๐ฝ is a commutative ring if (F1)-(F8) holds.
Definition 3.4:
Integral domain
A commutative ring ๐ฝ is an integral domain if, โ๐ฅ,๐ฆโ๐ฝ, we have that ๐ฅ๐ฆ=0 โน ๐ฅ=0 or ๐ฆ=0.
Lemma 3.5:
Cancellation law
A commutative ring ๐ฝ is an integral domain if and only if โ๐ฅ,๐ฆ,๐งโ๐ฝ, we have that
( ๐ฅ๐ฆ=๐ฅ๐ง and ๐ฅโ 0 ) โน ๐ฅ=๐ง.
Definition 3.7:
Polynomials
A polynomial in ๐ with coefficients in ๐ฝ is an expression ๐ = ๐(๐) = โโโโโ ๐โ๐โฟ, where the coefficients ๐โโ๐ฝ, and where all but finitely many of the ๐โ are zero.
Two polynomials are equal if and only if all of their coefficients are equal.
We write ๐ฝ[๐] for the resulting polynomial ring with coefficients in ๐ฝ.
Definition 3.7:
Addition and multiplication of polynomials
๐ = โโโโโ ๐โ๐โฟ,
๐ = โโโโโ ๐โ๐โฟ, then
๐+๐ = โโโโโ (๐โ+๐โ)๐โฟ
๐โ
๐ = โโโโโ (โโฟโโโ ๐โ๐โโโ)๐โฟ.