3 Polynomials and Unique Factorisation Flashcards

1
Q

Defintion 3.1:
Fields

A

A field is a set ๐”ฝ with operations of addition and multiplication.
i.e. for every ๐‘ฅ,๐‘ฆโˆˆ๐”ฝ, then ๐‘ฅ+๐‘ฆ โˆˆ ๐”ฝ and ๐‘ฅโ‹…๐‘ฆ = ๐‘ฅ๐‘ฆ โˆˆ ๐”ฝ,
such that the field axioms hold.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
2
Q

Definition 3.1:
Field axioms (F1)-(F4)

Addition behaves well

A

(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: โˆ€๐‘ฅ,๐‘ฆโˆˆ๐”ฝ ๐‘ฅ+๐‘ฆ = ๐‘ฆ+๐‘ฅ.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
3
Q

Definition 3.1:
Field axioms (F5)

Addition and multiplication are compatiable

A

(F5) โ‹… is distributive over +: โˆ€๐‘Ž,๐‘ฅ,๐‘ฆโˆˆ๐”ฝ
๐‘Žโ‹…(๐‘ฅ+๐‘ฆ) = ๐‘Žโ‹…๐‘ฅ + ๐‘Žโ‹…๐‘ฆ
(๐‘ฅ+๐‘ฆ)โ‹…๐‘Ž = ๐‘ฅโ‹…๐‘Ž +๐‘ฆ โ‹…๐‘Ž.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
4
Q

Definition 3.1:
Field axioms (F6)-(F9)

Multiplication behaves well

A

(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).

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
5
Q

Definition 3.1:
Extended field axioms

A

(F3x) โˆ€๐‘ฅโˆˆ๐”ฝ, we have โˆ’(โˆ’๐‘ฅ)=๐‘ฅ
(F5x) โˆ€๐‘Ž,๐‘ฅโˆˆ๐”ฝ
๐‘Žโ‹…0 = 0 = 0โ‹…๐‘Ž
๐‘Žโ‹…(โˆ’๐‘ฅ) = โˆ’(๐‘Žโ‹…๐‘ฅ)
(โˆ’๐‘ฅ)โ‹…๐‘Ž = โˆ’(๐‘ฅโ‹…๐‘Ž)
(F9x) โˆ€๐‘ฅโˆˆ๐”ฝโˆ–{0}, [๐‘ฅ^(โˆ’1)]^(โˆ’1) = ๐‘ฅ.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Remark 3.2:
Additive groups, rings and commutative rings

A

๐”ฝ (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.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
7
Q

Definition 3.4:
Integral domain

A

A commutative ring ๐”ฝ is an integral domain if, โˆ€๐‘ฅ,๐‘ฆโˆˆ๐”ฝ, we have that ๐‘ฅ๐‘ฆ=0 โŸน ๐‘ฅ=0 or ๐‘ฆ=0.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
8
Q

Lemma 3.5:
Cancellation law

A

A commutative ring ๐”ฝ is an integral domain if and only if โˆ€๐‘ฅ,๐‘ฆ,๐‘งโˆˆ๐”ฝ, we have that
( ๐‘ฅ๐‘ฆ=๐‘ฅ๐‘ง and ๐‘ฅโ‰ 0 ) โŸน ๐‘ฅ=๐‘ง.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
9
Q

Definition 3.7:
Polynomials

A

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 ๐”ฝ.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly
10
Q

Definition 3.7:
Addition and multiplication of polynomials

A

๐‘“ = โˆ‘โ‚™โ‚Œโ‚€โˆž ๐‘Žโ‚™๐‘‹โฟ,
๐‘” = โˆ‘โ‚™โ‚Œโ‚€โˆž ๐‘โ‚™๐‘‹โฟ, then

๐‘“+๐‘” = โˆ‘โ‚™โ‚Œโ‚€โˆž (๐‘Žโ‚™+๐‘โ‚™)๐‘‹โฟ
๐‘“โ‹…๐‘” = โˆ‘โ‚™โ‚Œโ‚€โˆž (โˆ‘โฟโ‚–โ‚Œโ‚€ ๐‘Žโ‚–๐‘โ‚™โ‚‹โ‚–)๐‘‹โฟ.

How well did you know this?
1
Not at all
2
3
4
5
Perfectly