Algebra through Examples Lesson 1 General Details E-mail: Josie.Shamash@weizmann.ac.il Recommended reading: - Basic Algebra 1/2 by Jacobs - TODO: Fill from others Administrative Details: - There will be 5 assignments. Each around 5% - 1 home exam – usually around 80% (best 4 assignments out of the 5 are chosen) The Axiums of a Field A field F has two binary operations: +, โ such that ∀๐, ๐, ๐, ๐ ∈ ๐น: ๐น is closed under them Addition (1a) Commutativity: ๐ + ๐ = ๐ + ๐ (1b) Associativity: (๐ + ๐) + ๐ = ๐ + (๐ + ๐) (1c) Neutral element: ๐ + 0๐น = ๐ (1d) Inverses ∀๐∃-๐, ๐ + (-๐) = 0๐น Multiplication (1m) Commutativity: ๐ โ ๐ = ๐ โ ๐ (2m) Associativity: (๐ โ ๐) โ ๐ = ๐ โ (๐ โ ๐) (3m) Identity: ๐ โ 1๐น = ๐ (4m) Inverses: ∀๐ ≠ 0๐น ∃๐-1 . ๐ โ (๐-1 ) = 1๐น We also demand that 0๐น ≠ 1๐น Distributivity To connect the two definitions (as they can be independent according to the current definition) we add distributivity, which states that: ๐ โ (๐ + ๐) = ๐ โ ๐ + ๐ โ ๐ Naming Any set satisfying (∗) is called a group (an additive group) If also commutatibity is satisfied, we denote it as a commutative (abelian) group. If the operation is denoted by multiplication, we call it a multiplication group. (2m, 3m, 4m is satisfied). Usually denote operation by + only for abelian groups. A Ring A ring is any structure that satisfies (1-4a), (2m), (3m) & Distribution. If the multiplication is commutative, it is called a commutative ring. If (4m) holds (not necessarily with(1m)), then it is called a division ring. A ring without (3m) is sometimes referred to as a rng. (a ring without the i). Examples Fields - โ โ โ โคp = {0,1, … , p − 1} with respect to addition and multiplication ๐๐๐ ๐. For instance, in โค5 – 2 โ 3 = 1(๐๐๐ ๐) Rings Since fields support additional properties than ring, any field is a ring. For instance - โค And in addition, here are a few "pure" rings: - โ[๐ฅ] = Ring of polynomials with real coefficients - ๐๐ (โ) = Ring of ๐ × ๐ matrices over โ - Not commutative! - ๐๐ (๐ฝ) = Ring of ๐ × ๐ matrices over some field ๐ฝ - Not commutative! - ๐ฝ[๐ฅ] = Ring of polynomials over some field ๐ฝ - โค[๐ฅ] = Ring of polynomials over โค - โค × โค = {(๐, ๐)|๐, ๐ ∈ โค} with coordinate-wise addition and multiplication: (๐1 , ๐1 ) + (๐1 + ๐1 ) = (๐1 + ๐2 , ๐1 + ๐2 ) - If ๐ , ๐ are Rings → ๐ × ๐ is a Ring. - โค[๐ฅ, ๐ฆ] = polynomials in ๐ฅ & ๐ฆ with coefficients in โค. Commutative Rings - A sub-Ring if ๐ is a Ring. ๐ is a sub-Ring if 1๐น , 0๐น ∈ ๐ and ๐ is a Ring in respect of operations in R for instance, ๐๐ (โ) is a sub-Ring of ๐๐ (โ) Ideals If ๐ is a Ring, ๐ผ ⊆ ๐ is an Ideal if and only if: - ๐ผ is an additive subgroup of ๐ - ∀๐ ∈ ๐ , ๐ ∈ ๐ผ. ๐ โ ๐, ๐ โ ๐ ∈ ๐ผ (๐ โ ๐ผ ⊆ ๐ผ & ๐ผ โ ๐ ⊆ ๐ผ) Note that if 1๐น ∈ ๐ผ → ๐ = ๐ผ Examples In any Ring ๐ : - {0}, ๐ are Ideals (Trivial) In a commutative Ring, if ๐ ∈ ๐ → ๐ โ ๐ is an Ideal. Is also called principal Ideal and is denoted by (๐) - ๐1 ๐ + ๐2 ๐ = (๐1 + ๐2 )๐ + ๐ โ ๐ ๐′ (๐ โ ๐) = (๐ โ ๐)๐′ = (๐′ โ ๐)๐ ∈ ๐ โ ๐ In case of a non commutative Ring, a left Ideal is an additive subgroup satisfying multiplication on the left. In the same way, a Right Ideal satisfies multiplications on the right. Ideals in โค - 2โค - 7โค - ๐โค (∀๐ ∈ โค) In fact, every Ideal in โค is a principal Ideal! Proof Let ๐ผ be an Ideal in โค (notation: ๐ผ โฒ ๐ ) If ๐ผ = {0๐น } it is a principal! So assume ๐ผ ≠ {0๐น }. Let ๐ be the smallest positive integer in ๐ผ. (๐ผ is closed under addition inverse so must have one!). Let ๐ ∈ ๐ผ. We can find ๐, ๐ ∈ โค s.t. ๐ = ๐ โ ๐ + ๐ , 0 ≤ ๐ < ๐ ๐ โ − ๐โ โ๐=๐ ∈๐ผ ∈๐ผ ∈๐ผ But we know ๐ < ๐ → Contradiction by minimality in choice of ๐. So ๐ must be 0! Therefore: ๐ = ๐ โ ๐ ∈ ๐โค So we proved that ∀๐ ∈ ๐ผ. ๐ ∈ ๐โค → ๐ผ ⊆ ๐โค But also ๐โค ⊆ ๐ผ since ๐ ∈ ๐ผ! Therefore ๐โค = ๐ผ . More Ideal Examples ๐2 (โ) is a non-commutative Ring ๐ ๐ ๐ = {[ ] |๐, ๐, ๐ ∈ โ} is a subring but not a left or right Ideal. ๐ ๐ e.g. 1 1 ๐ ๐ ๐ ๐+๐ [ ]โ[ ]=[ ] ∈ ๐ ๐๐๐๐ฆ ๐๐ ๐ ≠ 0 1 1 0 ๐ ๐ ๐+๐ ๐ ๐ 1 1 ๐+๐ ๐+๐ [ ]โ[ ]=[ ] ∈ ๐ ๐๐๐๐ฆ ๐๐ ๐ ≠ 0 0 ๐ 1 1 ๐ ๐ However, ๐ผ = {[ ๐ 0 ๐ ] |๐, ๐ฃ ∈ โ} is a right Ideal! 0 e.g. ∗ ∗ ๐ ๐ ๐ฅ ๐ฆ [ ]โ[ ]=[ ]∈๐ผ ๐ข ๐ฃ 0 0 0 0 It is not, however, a left Ideal: ๐ฅ ๐ฆ ๐ ๐ ๐๐ฅ ∗ [ ]โ[ ]=[ ] ๐๐ ๐ข๐ ≠ 0 → ∉ ๐ผ ๐ข ๐ฃ 0 0 ๐ข๐ ∗ Fields have no non-trivial ideals. Quotients of Rings Let ๐ be a Ring and ๐ผ an Ideal. ∀๐ ∈ ๐ define: ๐ผ + ๐ = {๐ฅ + ๐|๐ฅ ∈ ๐ผ} − co-set or ๐ผ determined by ๐. ๐ ⁄ = {๐ผ + ๐|๐ ∈ ๐ } (equality sets) ๐ผ Quotient Ring – we define operations +,โ to get a ring (Note: co-sets are disjoint or equal. Proving it would be an assignment). Define (๐ผ + ๐) + (๐ผ + ๐) = ๐ผ + (๐ + ๐) Define (๐ผ + ๐) โ (๐ผ + ๐) = ๐ผ + (๐ โ ๐) Must show the definition does not depend on co-sets representatives: Suppose ๐ผ + ๐ = ๐ผ + ๐′ and ๐ผ + ๐ = ๐ผ + ๐′ Need to show: ๐ผ + (๐′ + ๐ ′ ) = ๐ผ + (๐ + ๐) and ๐ผ + ๐′ โ ๐ ′ = ๐ผ + ๐ โ ๐ ∃๐ฅ ∈ ๐ผ ๐′ = ๐ฅ + ๐ ∃๐ฆ ∈ ๐ผ ๐ ′ = ๐ฅ + ๐ So - ๐ผ + (๐′ + ๐ ′ ) = ๐ผ + (๐ฅ + ๐ + ๐ฆ + ๐) = ๐ผ + (๐ฅ โ + ๐ฆ) + (๐ + ๐) = ๐ผ + (๐ + ๐) ∈๐ผ Note: ๐ผ + ๐ง = ๐ผ, ∀๐ง ∈ ๐ผ Lets look at ๐ผ + ๐′ โ ๐′ ๐ผ + ๐′ โ ๐ ′ = ๐ผ + (๐ฅ + ๐)(๐ฆ + ๐) = ๐ผ + ๐ฅ๐ฆ โ + ๐๐ = ๐ผ + ๐ โ ๐ โ + ๐๐ฆ โ + ๐ฅ๐ ∈๐ผ ∈๐ผ ∈๐ผ In the ๐ ⁄๐ผ quotient ring, the 0๐น element is ๐ผ. Since ๐ผ + (๐ผ + ๐) = ๐ผ + ๐ The 1๐น element is ๐ผ + 1 etc… Examples 1. โค⁄๐โค For instance, when n=6 (6โค + 2) + (6โค + 3) = 6โค + 5 (6โค + 3) + (6โค + 4) = 6โค + 7 = 6โค + 1 TODO: Had a multiplication I did not have time to copy We can actually think of โค⁄๐โค as {0ฬ , 1ฬ , … , ฬ ฬ ฬ ฬ ฬ ฬ ฬ ๐ − 1} wrt +,โ ๐๐๐ ๐ 2. ๐น[๐ฅ]⁄๐(๐ฅ)๐น[๐] ๐คโ๐๐๐ ๐น ๐๐ ๐ ๐๐๐๐๐ for instance, when ๐(๐ฅ) = ๐ฅ 2 − 3๐ฅ + 2, ๐น = โค So in fact: โ[๐ฅ]⁄ = {๐ผ + ๐๐ฅ + ๐|๐, ๐ ∈ โ} ๐ฅ 2 − 3๐ฅ + 2 Since addition and multiplication are in polynomials mod (๐ฅ 2 − 3๐ฅ + 2) Same as before (with numbers) - ∀๐, ๐ ∈ โ[๐ฅ]. (๐ผ + ๐(๐ฅ)) + (๐ผ + ๐(๐ฅ)) = ๐ผ + ๐(๐ฅ) + ๐(๐ฅ). Any polynomial ๐(๐ฅ) can be written in the form: ๐(๐ฅ) = ๐(๐ฅ)(๐ฅ 2 − 3๐ฅ + 2) + ๐(๐ฅ) where ๐(๐ฅ), ๐(๐ฅ) ∈ โ[๐ฅ] ∧ [๐๐๐๐๐๐(๐(๐ฅ)) < 2 ∨ ๐(๐ฅ) = 0] Also, since ๐ฅ 2 − 3๐ฅ + 2 = (๐ฅ − 1)(๐ฅ − 2) → (๐ผ + (๐ฅ − 1)) โ (๐ผ + (๐ฅ − 2)) = ๐ผ (๐ผ + (2๐ฅ + 1)) + (๐ผ + (3๐ฅ − 5)) = ๐ผ + (5๐ฅ − 4) (๐ผ + (2๐ฅ + 1)) โ (๐ผ + (3๐ฅ − 5)) = ๐ผ + (2๐ฅ + 1)(3๐ฅ − 5) = ๐ผ + 6๐ฅ 2 − 2๐ฅ − 5 = ๐ผ + 6(๐ฅ 2 − 3๐ฅ + 2) + (−16๐ฅ − 17) = ๐ผ − 16๐ฅ − 17 (2๐ฅ + 1)(3๐ฅ − 5) ≡ −16๐ฅ − 17(๐๐๐ ๐ผ) ๐ ≡ ๐(๐๐๐ ๐ผ) ↔ ๐ผ + ๐ = ๐ผ + ๐ ------End of lesson 1 Homo-morphisms of rings If ๐ , ๐ are Rings, then the function ๐: ๐ → ๐ is a ring homomorphism if 1) ∀๐, ๐ ∈ ๐ ๐(๐ + ๐) = ๐(๐) + ๐(๐) 2) ∀๐, ๐ ∈ ๐ ๐(๐ โ ๐) = ๐(๐) โ ๐(๐) 3) ๐(1๐ ) = 1๐ If ๐ satisfies (1) and (2) then: if ๐(1) = ๐ฅ → ๐(1) = ๐(1 โ 1) = ๐(1)2 ๐ฅ = ๐ฅ 2 so (๐ฅ − 1)๐ฅ = 0 If ๐ is a domain (๐๐ = 0 → ๐ = 0 ๐๐ ๐ = 0) then it follows that either ๐ฅ = 0 or ๐ฅ − 1 = 0. If ๐ฅ = 0 then: ๐(๐) = ๐(๐ โ 1) = ๐(๐) โ ๐(1) = ๐ (๐) โ ๐ฅ = 0 Otherwise, get ๐(1) = 1 If ๐ is not a domain, (1)&(2) ๐ ≠ 0 do not in general imply ๐(1) = 1. Claim: If ๐: ๐ → ๐ homomorphism, then ๐๐๐๐{๐ ∈ ๐ |๐(๐) = 0} is an ideal in ๐ . Proof – in assignment 1. ๐ผ๐๐{๐(๐)|๐ ∈ ๐ } Homomorphism theorem for Rings 1) If ๐: ๐ → ๐ is onto ๐ then ๐ ⁄๐๐๐๐ ≅ ๐ (≅ is isomorphic!) & isomorphism (homomorphism which is 1-1 & onto) is given by: ๐๐๐๐ + ๐ → ๐(๐) 2) If ๐ผ โฒ ๐ ideal then the map ๐ → ๐ผ + ๐ is a homomorphism from ๐ to ๐ ⁄๐ผ & its kernel is ๐ผ. Proofs: Verification In (1) you need to check that the map is well-defined i.e. if ๐๐๐๐ + ๐ = ๐๐๐๐ + ๐′ then ๐(๐) = ๐(๐′ ) If this holds, then ๐ − ๐′ ∈ ๐๐๐๐ As ๐′ = ๐′ ∈ ๐๐๐๐ + ๐′ = ๐๐๐๐ + ๐ Proof: ∃๐ฅ ∈ ๐๐๐๐: ๐′ = ๐ฅ + ๐ ๐(๐ = ๐(๐ฅ + ๐) = ๐(๐ฅ) + ๐(๐) = ๐(๐) Note: ๐๐๐๐ = {0} ↔ ๐ ๐๐ 1 − 1. ′) Our note: Lets prove the note! → Suppose we have ๐ 1 ∈ ๐ s.t. ∃๐ฅ1 , ๐ฅ2 ∈ ๐ ๐(๐ฅ1 ) = ๐(๐ฅ2 ) = ๐ 1 . However: ๐(๐ฅ1 − ๐ฅ2 ) = ๐(๐ฅ1 ) − ๐(๐ฅ2 ) = 0 → ๐ฅ1 − ๐ฅ2 ∈ ๐๐๐๐ → ๐ฅ1 − ๐ฅ2 = 0 → ๐ฅ1 = ๐ฅ2 → Contradiction! ← First lets prove that 0 is in the ๐๐๐๐: ๐ = ๐ + 0 → ๐(๐) = ๐(๐ + 0) → ๐(๐) = ๐(๐) + ๐โ๐ (0) → ๐โ๐(0) = 0 Now, since ๐ is 1-1, there can only be one element of R going to 0. And we just found it. So ๐๐๐๐ = {0}. Example โ[๐ฅ]⁄ (๐ฅ 2 + 1) ≅ โ ๐ ∑ ๐๐ ๐ฅ ๐ ๐=0 ๐ Look at homomorphism: ๐(๐ฅ) → ๐(๐พ) from โ[๐ฅ] → โ What is the kernel? ๐๐๐๐ = {๐(๐ฅ) ∈ โ[๐ฅ]|๐(๐พ) = 0} = {๐(๐ฅ) ∈ โ[๐ฅ]|๐(๐ฅ)๐๐ ๐ ๐๐ข๐๐ก๐๐๐๐ ๐๐ ๐ฅ 2 + 1 ๐๐ฆ ๐๐๐๐กโ๐๐ ๐๐๐๐ฆ๐๐๐} (we shall see that later) Example2 ๐: โค → {0ฬ , 1ฬ , … , ฬ ฬ ฬ ฬ ฬ ฬ ฬ ๐ − 1} that sends ๐ฅ ∈ โค to ๐ฅฬ (๐๐๐ ๐)= remainder of ๐ฅ (๐๐๐ ๐). ๐๐๐๐ = ๐โค so โค⁄๐โค = ~โค๐ From now on we’re going to look at commutative Rings! Commutative Rings Definition: ๐ is a domain if ๐๐ = 0 → ๐ = 0 ๐๐ ๐ = 0 for all ๐, ๐ ∈ ๐ . Domain – โซืชืืื ืฉืืืืชโฌ Examples โ[๐], ๐ฝ[๐ฅ] (๐ฝ ๐ ๐๐๐ ๐๐๐๐๐) โค โค[๐ฅ] โค๐โค (not a domain!) โค5 ๐โค5 (not a domain!) − ๐๐๐๐ ๐๐ ๐๐ฅ๐ ๐๐๐ก๐๐๐๐๐ ๐๐ฃ๐๐ ๐ ๐๐๐๐๐ (not a domain!) PID Definition: R is a principal ideal domain (โซ)ืชืืื ืจืืฉืโฌ If it is a domain & every ideal in it is a principal (i.e. of the form (๐) = ๐ ๐, ๐๐๐ ๐ ๐๐๐ ๐ ∈ ๐ ) Examples ๐ฝ[๐] ← ๐ด๐ ๐ ๐๐๐๐๐๐๐ก 1 Counter example? โค[๐ฅ] is not a PID! But it’s a domain… Look at the ideal generated by ๐ฅ and 2 (the set of polynomials over โค with an even constant term) ๐ฅ โ โค[๐ฅ] + 2 โ โค[๐ฅ] For the sake of contradiction, suppose it were a principal ideal. Then there would exist some polynomial ๐(๐ฅ) which generated the ideal. But since 2 is in the ideal, it must be a multiple of ๐(๐ฅ), so ๐(๐ฅ) must be a constant, say ๐. But ๐ฅ is also in the ideal, so it must be the product of ๐ with some ๐(๐ฅ) in โค[๐ฅ]: ๐ฅ = ๐๐(๐ฅ). Since the coefficient of ๐ฅ on the left hand side is 1, the coefficient of ๐ฅ on the right hand side must also be 1. On the other hand, the coefficient of ๐ฅ on the right hand side is a multiple of ๐. So ๐ = ±1. But this means that our ideal is actually generated by 1 or -1, which means it is all of โค[๐ฅ]. But this is not true, since there are elements of โค[๐ฅ] which are not in our ideal – ๐ฅ + 1 for instance. Thus, our ideal must not be a principal ideal! 3 More properties of โค (1) Euclidean property If ๐, ๐ ∈ โค non-zero, then ∃๐, ๐ ∈ โค s.t. 0 ≤ ๐ < |๐| and ๐ = ๐๐ + ๐. (2) Every 2 non-zero elements have a greatest common divisor if ๐, ๐ ∈ โค. gcd(๐, ๐) = ๐, is a number in โค s.t. ๐|๐, ๐|๐ and if ๐′ is also a common divisor then ๐′ |๐. (unique up o a sign). (3) Unique Factorization into primes Proof of (2): In โค. If ๐, ๐ ∈ โค Look at the ideal โค๐ + โค๐ = principal ideal! So ∃๐ ∈ โค. โค๐ + โค๐ = โค๐ ๐ = 1 โ ๐ + 0 โ ๐ ∈ โค๐ so a multiple of d, ๐|๐. Similarily, ๐ ∈ โค๐ + โค๐ so ๐|๐. Now let ๐′ ∈ โค. ๐′ |๐ & ๐′ |๐. ๐′ |๐ → ๐ ∈ โค๐′ so โค๐ ⊆ โค๐′ ๐|๐ → โค๐ ∈ โค๐′ And so also โค๐ + โค๐ ⊆ โค๐′ So ๐ ∈ โค๐′ → ๐′ |๐. Note: Suppose ๐ & ๐′ are both gcd’s of ๐ & ๐ in โค. ๐|๐′ so ∃๐ฅ ∈ โค. ๐๐ฅ = ๐′ ๐′|๐ so ∃๐ฆ ∈ โค. ๐′๐ฆ = ๐ ๐′ ๐ฆ๐ฅ = ๐′ ๐′ (๐ฆ๐ฅ − 1) = 0 ๐′ ≠ 0, ๐ ๐ ๐ฆ๐ฅ − 1 = 0 ๐ฆ๐ฅ = 1 → ๐ฆ, ๐ฅ ∈ {±1} So the GCD in โค is unique up o a sign. In general: in any domain, we get uniqueness of the GCD up o an invertible element. In Rings – invertible elements are referred to as units. Bezout’s Theorem(In โค) Let ๐, ๐ ≠ 0 in โค & let ๐ = gcd(๐, ๐). Then, ∃๐ข, ๐ฃ ∈ โค. ๐๐ข + ๐๐ฃ = ๐ This follows trivially from the fact that โค๐ + โค๐ = โค๐. Theorem: Let R be a PID, then if ๐, ๐ ≠ 0 then ๐, ๐ have a gcd (unique up to multiplication by a unit) And Bezout’s theorem holds in R. Bezout’s theorem holds – if ๐ = gcd(๐, ๐) then ∃๐ข, ๐ฃ ∈ ๐ . ๐๐ข + ๐๐ฃ = ๐. Definition: 1) If ๐ is a Ring and ๐ ≠ 0 ∈ ๐ is a prime element, whenever ๐|๐ โ ๐ (๐, ๐ ∈ ๐ ) then ๐|๐ ๐๐ ๐|๐. 2) If ๐ is a Ring and ๐ฅ ≠ 0 ∈ ๐ is an irreducible element then if ๐ฅ = ๐ โ ๐ for some ๐, ๐ ∈ ๐ then a or b must be a unit. In โค: prime=irreducible. Claim: If ๐ is a domain then ๐ prime→ ๐ irreducible. Proof: Suppose ๐ is prime and that ๐ = ๐ โ ๐ so also ๐|๐ โ ๐ so ๐|๐ or ๐|๐. Wlog, We might as well assume that ๐|๐. So ∃๐ข ∈ ๐ such that ๐๐ข = ๐. So ๐๐๐ข = ๐ → ๐(๐๐ข − 1) = 0 & ๐ ≠ 0. So ๐๐ข − 1 = 0 → ๐๐ข = 1 and ๐ is a unit. However, irreducible ๐๐๐ก → prime in general. Example: โค[√−5] = {๐ + ๐√−5|๐, ๐ ∈ โค} subring of โ This contains irreducible elements that are not prime. It does contain prime elements! First, recall that if ๐ฅ + ๐๐ฆ ∈ โ → โ๐ฅ + ๐๐ฆโ2 = ๐ฅ 2 + ๐ฆ 2 And if ๐ง1 , ๐ง2 ∈ โ, then โ๐ง1 โ2 โ โ๐ง2 โ2 = โ๐ง1 โ ๐ง2 โ2 . Use this to show √−5 is a prime element in the ring. Assume √−5 | ๐ โ ๐ ∈ โค[−5] 2 We then got โ√−5โ |(โ๐โ2 โ โ๐ โ2 ) so 5|โ๐โ2 โ๐ โ2 and โ๐โ2 , โ๐ โ2 are integers And so 5|โ๐โ2 or 5|โ๐ โ2 Wlog, 5|โ๐โ2 And write ๐ = ๐ + ๐√−5, ๐, ๐ ∈ โค 5|๐2 + 5๐ 2 → ๐2 (๐๐๐ โ๐๐๐๐ ๐๐๐ ๐ ๐) are integer multiples of 5. So write ๐ = 5๐′ , ๐′ ∈ โค. And ๐ = 5๐′ + ๐√−5 = √−5 โโ (−√−5๐′ + ๐) ∈๐ ๐๐๐ ∈โค[√−5] So √−5|๐ in the ring. We now show that โค[√−5] contains irreducible elements that are not prime. Look at: 2 โ 3 = 6 = (1 + √−5)(1 − √−5) First note that 2 is irreducible. Suppose 2 = ๐ โ ๐ 4 = โ2โ2 = โ๐โ2 โ โ๐ โ2 Case 1: โ๐โ2 = 2 = โ๐ โ2 But on the other hand, if ๐ = ๐ + ๐√−5 then we get: ๐2 + 5๐ 2 = 2 which has no solutions with ๐, ๐ ∈ โค. Case 2: wlog, โ๐โ = 1 and โ๐ โ2 = 4 then get ๐2 + 5๐ 2 = 1 → ๐2 = 1 ๐๐๐ ๐ = 0 → ๐ = ±1 and ๐ = ±1 and so is a unit. Note: Can show in a similar way that units of โค[√−5] are ±1. We now show that 2 is not prime in โค[√−5]. By (*) we have that 2|(1 + √−5)(1 − √−5) Suppose 2|1 + √−5. Then we have ๐ + ๐√−5, ๐, ๐ ∈ โค: 2(๐ + ๐√−5) = 1 ± √−5 → 2๐ = 1 - impossible. So 2 divides neither of the factors and so is not prime. We shall show that In a PID, all irreducibility implies primeness. Conclusion: โค[√−5] I not a PID! ------- end of lesson 2 ๐ = โค[−5] not a PID. Take ๐ผ = 2๐ + (1 + √−5)๐ 6 = 2 โ 3 = (1 + √−5)(1 − √−5) 2 irreducible but not prime. Also 1+√5 If ๐ผ was principal, then we would have ๐ such that ๐ โ ๐ = 2๐ + (1 + √−5)๐ Giving – ๐|2, ๐|1 + √−5 So ∃๐ . ๐๐ = 2 Case 1: ๐ is a unit→ ๐ โ ๐ = ๐ → ๐ผ = ๐ . We will show this is impossible. Suppose ∃๐, ๐, ๐, ๐ ∈ โค. 1 = 2(๐ + ๐√−5) + (๐ + ๐√−5)(1 + √−5) 1 = 2๐ + ๐ − 5๐ + √−5(2๐ + ๐ + ๐) So that: 2๐ + ๐ − 5๐ = 1, ⇒ ๐ + ๐ = 1(๐๐๐ 2) 2๐ + ๐ + ๐ = 0 ⇒ ๐ + ๐ = 0(๐๐๐ 2) Contradiction! Case 2: ๐ is a unit. ๐๐ −1 = 2 and ๐๐ −1 ๐ |1 + √−5 So 2|1 + √−5 - contradiction! Future Assignments: The grader is Niv Sarig. And he will put the assignments in his web page: http://www.wesdom.weizmann.ac.il/~nivmoss/ate.html There is a mailbox for the course! Claim: In a PID all irreducibles are prime. Proof: Suppose ๐ is irreducible and ๐|๐ โ ๐ in a ring ๐ (Assuming ๐ โ ๐ ≠ 0). Since ๐ is a PID, ๐ & ๐ have a gcd. gcd(๐, ๐) = ๐. Assume ๐ = ๐ โ ๐′ . As ๐ is irreducible & ๐|๐ then either ๐ is invertible or ๐′ is invertible. Case 1: ๐ is a unit. Wlog d=1. By bezout: ∃๐ข, ๐ฃ. ๐๐ข + ๐๐ฃ = 1 ๐|๐ โ ๐ so ∃๐ ∈ ๐ . ๐๐ฅ = ๐๐ ๐๐ข๐ฅ + ๐๐ฅ๐ฃ = ๐ฅ ๐๐ข๐ฅ = ๐๐ข๐ So ๐๐ฅ๐ฃ + ๐๐ข๐ = ๐ฅ ๐(๐ฅ๐ฃ + ๐ข๐) = ๐ฅ ⇒ ๐|๐ฅ So ∃๐ ′ ∈ ๐ . ๐๐; = ๐ฅ ๐๐ฅ = ๐๐ ๐๐๐ ′ = ๐๐ ๐(๐๐ ′ − ๐) = 0 ๐ is a domain and ๐ ≠ 0 so ๐๐ ′ − ๐ = 0 ⇒ ๐๐ ′ = ๐ ๐๐๐ ๐|๐ Case 2: ๐′ is a unit. ๐(๐−1 )−1 = ๐ So, ๐|๐ and ๐|๐ so ๐|๐. Unique Factorization Definition: A domain ๐ (a commutative ring) is a unique factorization domain (๐๐น๐ท) if any non-unit ๐, ๐ ≠ 0 can be written as a product of irreducible elements uniquely (up to order of the factors and units). ๐. ๐. 6 = 2 โ 3 = 3 โ 2 = (−3) โ (−2) Example: โค, ๐ฝ[๐ฅ], ๐๐๐ฆ ๐๐๐๐๐, โค[๐ฅ]- which is not a PID! ๐๐น๐ท does not imply ๐๐ผ๐ท! But ๐๐ผ๐ท ⇒ ๐๐น๐ท. We showed that โค[√−5] is NOT a PID. Euklidian Property Definition: A domain ๐ is Euclidean if we can define a map ๐ฟ: ๐ \{0} → โ (called the Euclidean norm) s.t. for ๐, ๐ ≠ 0 ∈ ๐ , ∃๐, ๐ ∈ ๐ such that: ๐ = ๐๐ + ๐ and ๐ฟ(๐) < ๐ฟ(๐) or ๐ = 0. And ∀๐ฅ, ๐ฆ ∈ ๐ . ๐ฟ(๐ฅ) ≤ ๐ฟ(๐ฅ๐ฆ) (definition – Herstein, Jacobson does not require ๐ฟ(๐ฅ) ≤ ๐ฟ(๐ฅ๐ฆ)) Examples: 1) โค. ๐ฟ = | | 2) ๐ฝ[๐ฅ], ๐ฝ is a field, ๐ฟ = degree of a polynomial 3) ๐ฝ is a field, ๐ฟ(๐) = 0, ∀๐ ≠ 0 Theorem: In a Euclidean domain, every 2 non-zero elements have a gcd. Proof: Uses Euclid’s algorithm. Write: ๐ = ๐๐1 + ๐1 , ๐ฟ(๐1 ) < ๐ฟ(๐) If ๐1 = 0 then ๐ = ๐๐ and ๐๐๐(๐, ๐) = ๐ If not: write ๐ = ๐1 ๐2 + ๐2 , ๐ฟ(๐2 ) < ๐ฟ(๐1 ) or ๐2 = 0 If ๐2 = 0 then ๐๐๐(๐, ๐) = ๐1 Otherwise, I can write ๐1 = ๐2 ๐3 + ๐3 , ๐ฟ(๐3 ) < ๐ฟ(๐2 ) or ๐3 = 0 If ๐3 = 0 then gcd ๐, ๐ = ๐2 … Since ๐ฟ(๐) > ๐ฟ(๐1 ) > ๐ฟ(๐2 ) > โฏ Is a proper decreasing sequence of units we get For ๐, ๐ฟ(๐๐ ) = 0, the last non-zero ๐ง๐ is the GCD. Note: โค[√−5] is not Euclidean! And in assignment 2 you show 6 + 2(1 + √−5) have no GCD. Theorem: If ๐ is Euclidean then ๐ is a PID. Proof: If ๐ผ is an ideal in ๐ , ๐ผ ≠ 0 Pick ๐ ∈ ๐ผ and minimal Euclidean norm. And then ๐ผ = ๐ ๐. Theorem(use for PID→UFD!) In a PID any increasing chain of Ideals stabilizes. I.e. Given ๐ผ1 ⊆ ๐ผ2 ⊆ โฏ ⊆ ๐ผ๐ ⊆ ๐ผ๐+1 ⊆ โฏ ⊆ ๐ ๐ผ๐ Ideals ∃๐ ๐ . ๐ก. ๐ผ๐ = ๐ผ๐+1 … etc… Proof: Look at the union of all the Ideals: โ∞ ๐=1 ๐ผ๐ = ๐ฝ. ๐ฝ is an ideal and so principal. So ∃๐ ∈ ๐ . ๐ฝ = ๐ ๐. ๐ ∈ ๐ฝ so ∃๐. ๐ ∈ ๐ผ๐ ๐ผ๐ ⊇ ๐ ๐ = ๐ฝ So ∀๐ก ≥ 0. ๐ผ๐+๐ก ⊂ ๐ผ๐ etc. But given ๐ผ๐+๐ก ⊇ ๐ผ๐ ∀๐ก ≥ 0 So we get equality… Example: โค[๐] =ring of Gaussian integers = {๐ + ๐๐|๐, ๐ ∈ โค} Turns out – this ring is Euclidean. Proof: Define ๐ฟ(๐ฅ + ๐๐ฆ) = ๐ฅ 2 + ๐ฆ 2 = โ๐ฅ + ๐๐ฆโ2 . ๐ฟ is multiplicative. Need to show Euclidean property holds. Take ๐, ๐ ∈ โค[๐] ๐, ๐ ≠ 0 โค[๐] ⊆ โ[๐] = {๐ + ๐ ๐|๐, ๐ ∈ โ} - which is a field! ๐ − ๐๐ (๐ + ๐ ๐)−1 , , = 2 ๐ + ๐ ๐ ≠ 0 ๐ + ๐ 2 So ๐ โ ๐ −1 ∈ โ[๐]. 1 1 So write: ๐ โ ๐ −1 = ๐ผ + ๐ฝ๐, ๐ผ, ๐ฝ ∈ โ. ∃๐ข, ๐ฃ ∈ โค: |๐ข − ๐ผ| ≤ 2 , |๐ข − ๐ฝ| ≤ 2 Let ๐ = ๐ข + ๐๐ฃ ∈ โค[๐] ๐๐ −1 = ๐ข + ๐๐ฃ + (๐ผ − ๐ข) + ๐(๐ฝ − ๐ฃ) ∈ โ ๐๐ −1 = ๐ + (๐ผ − ๐ข) + (๐ฝ − ๐ฃ) So ๐ผ = ๐๐ + [(๐ผ − ๐ข) + (๐ฝ − ๐ฃ)]b ๐ = ๐ − ๐๐ ∈ โค[๐] Remains to show that ๐ฟ(๐) < ๐ฟ(๐). ๐ฟ(๐) = โ(๐ผ − ๐ข) + ๐(๐ฝ − ๐ฃ)โ2 โ โ๐โ2 1 1 1 โ(๐ผ − ๐ข) + ๐(๐ฝ − ๐ฃ)โ2 = (๐ผ − ๐ข)2 + (๐ฝ − ๐ฃ)2 ≤ + = 4 4 2 1 So that ๐ฟ(๐) ≤ 2 ๐ฟ(๐) < ๐ฟ(๐) Euclidean ⇒ PID. But PID does not imply Euclidean! Counter Example: 1 2 โค[ + √−19 ] 2 a PID but not Euclidean. Check… In 2004 it was shown that โค[√14] is Euclidean. It is easy to show that: โค[√−๐] (0 > ๐ ∈ โ) is Euclidean ⇔ ๐ = 1 ๐๐ 2 In Euclidean domains: we used the Euclidean property to construct the GCDs. In UFD: Use factorization to construct GCD’s. ๐ = ๐1 , … , ๐๐ ๐ = ๐1 , … , ๐๐ Where they are irreducible. GCD=product of common factors. It turns out: Irreducible implies prime in a UFD. Sum up Euclidean⇒PID⇒UFD But the arrows don’t go the other way! Example: ๐ฅ ๐ฅ 2 3 4 ๐ฅ ๐ ๐ = โค [๐ฅ, , , … , , … ] = ๐ฅ โ โ[๐ฅ] + โค 5 5 ๐ฅ 6 2 ๐ฅ ๐ฅ + 3 ๐ฅ + 3 = 5๐ฅ 4 โ 6 + 2 โ 3 โ ๐ฅ 3 + 3 ๐ is a subring of โ[๐ฅ]. 1 ๐ ≠ โ[๐ฅ] as 2 ∉ ๐ . There are very interesting properties: 1) ๐ is a bezout Ring (and in particular, every 2 elements ≠ 0 have a GCD) 2) Any finitely generated is principal 3) But ๐ is not a PID! ๐ฅ 4) Ideals generated by {๐ฅ, 2 , … , … } is not principal! 5) ๐ not a UFD. ๐ฅ is divisable in this ring, by every integer ≠ 0. So ๐ฅ cannot be factored as products of individuals. --End of lesson 3 Commutative Rings Chinese Remainder Theorem ๐ฅ ≡ 2(๐๐๐3) ๐ฅ ≡ 3(๐๐๐5) ๐ฅ ≡ (๐๐๐7) ๐. ๐. ๐ฅ = 23 This is 4th century china Lady with the eggs ๐ฅ ≡ (๐๐๐2) ๐ฅ ≡ 1(๐๐๐3) ๐ฅ≡1(๐๐๐4) โฎ ๐ฅ≡0(๐๐๐7) ๐ฅ = 301 CRT in โค Let ๐1 , … , ๐๐ be pair-wise mutually prime integers. (gcd(๐๐ , ๐๐ ) = 1∀๐, ๐) And let ๐1 , … , ๐๐ be arbitrary integers. Then there exists an integer ๐ฅ ๐ . ๐ก. ๐ฅ ≡ ๐๐ (๐๐๐ ๐๐ ) Note: There will be no solution ๐ฅ ๐ . ๐ก. ๐ฅ ≡ 1(๐๐๐2) and ๐ฅ ≡ 0(๐๐๐6) CRT in a commutative ring ๐น Let ๐ผ1 , … , ๐๐ be pair-wise co-prime ideals in ๐ . (The ideal generated by a sum of any two ideals is ๐ : ๐ผ๐ + ๐ผ๐ = ๐ ∀๐ ≠ ๐) And ๐1 , … , ๐๐ ∈ ๐ arbitrary elements. Then, there exists ๐ฅ ∈ ๐ such that ๐ฅ ≡ ๐๐ (๐๐๐๐ผ๐ ) Or in other words ๐ฅ + ๐ผ๐ = ๐๐ + ๐ผ๐ ∀๐ Derive ๐ถ๐ ๐ for โค from the general theorem: If gcd(๐๐ , ๐๐ ) = 1 then ๐๐ โค + ๐๐ โค = โค so conditions on ideals ๐๐ โค hold etc… Prove for ๐ = ๐ We have ๐ผ1 + ๐ผ2 = ๐ So we have ๐๐ ∈ ๐ผ๐ ๐ . ๐ก. ๐1 + ๐2 = 1 Let ๐ฅ = ๐2 ๐1 + ๐1 ๐2 ๐ฅ + ๐ผ1 = ๐โ ๐1 ๐1 + ๐ผ1 = ๐1 + ๐ผ1 2 ๐1 + ๐1 ๐2 + ๐ผ1 = ๐1 ๐2 + ๐ผ1 = ๐1 (1 − ๐1 ) + ๐ผ1 = ๐1 − โ ∈๐ผ1 ∈๐ผ1 ๐ฅ ≡ ๐1 (๐๐๐๐ผ1 ) Similarly ๐ฅ ≡ ๐2 (๐๐๐๐ผ2 ) If ๐ผ, ๐ฝ ideals in ๐ Denote ๐ผ โ ๐ฝ =the additive subgroup generated by the products {๐๐|๐ ∈ ๐ผ, ๐ ∈ ๐ฝ} {๐1 ๐1 + โฏ + ๐๐ ๐๐ |๐๐ ∈ ๐ผ, ๐๐ ∈ ๐ฝ ๐ ≥ 0} Note: {๐๐|๐ ∈ ๐ผ, ๐ ∈ ๐ฝ} is closed under multiplication by elements of ๐ . Not necessarily closed under addition. And then ๐ผ โ ๐ฝ will be an ideal. ๐ผ โ ๐ฝ ⊆ ๐ผ, ๐ฝ and in fact ๐ผ โ ๐ฝ ⊆ ๐ผ ∩ ๐ฝ ideal Examples: In โค 3โค โ 3โค = 9โค But 3โค ∩ 3โค = 3โค Note: If ๐, ๐ mutually prime then: ๐โค โ ๐โค = ๐๐โค = ๐โค ∩ ๐โค In general: ๐ผ1 โ ๐ผ2 โ … โ ๐ผ๐ - smallest ideal containing set of products. We start by writing ๐ผ1 + ๐ผ2 = ๐ ⇒ ∃๐2 ∈ ๐ผ1 , ๐2 ∈ ๐ผ2 : ๐2 + ๐2 = 1 โฎ ๐ผ1 + ๐ผ๐ = ๐ ⇒ ∃๐๐ ∈ ๐ผ1 , ๐๐ ∈ ๐ผ2 : ๐๐ + ๐๐ = 1 ๐ Look at the product: ∏๐=2 ๐๐ + ๐๐ = 1 Let ๐ฝ1 = ๐ผ2 โ … โ ๐ผ๐ The product has elements that has a multiplication of some ๐, except for the ๐’s. ๐๐ข๐๐ก๐๐๐๐๐ ๐๐ ๐ ๐๐๐ ๐ + ๐ โ1 โ … โ ๐๐ = 1 โ ∈๐ผ1 ∈๐ฝ1 So that ๐ผ1 + ๐ฝ1 = ๐ By the CRT for case ๐ = 2 have ๐ฆ1 ∈ ๐ ๐ . ๐ก. ๐ฆ ≡ 1(๐๐๐๐ผ1 ) { 1 ๐ฆ1 ≡ 0(๐๐๐๐ฝ1 ) Since ๐ฝ1 ⊆ ๐ผ2 ∩ ๐ผ3 ∩ … ∩ ๐ผ๐ we also get ๐ฆ1 ≡ 0(๐๐๐๐ผ๐ ) ๐ > 1 Repeat for each ๐: ๐ฝ๐ = ∏๐≠๐ ๐ผ๐ Form ๐ผ๐ + ๐ฝ๐ = ๐ And get ๐ฆ๐ ∈ ๐ ๐ . ๐ก. ๐ฆ๐ ≡ 1(๐๐๐๐ผ๐ ) ๐ฆ๐ ≡ 0(๐๐๐๐ฝ๐ ) And so also ๐ฆ๐ ≡ 0(๐๐๐๐ผ๐ ) ๐ ≠ ๐ Let ๐ฅ = ๐1 ๐ฆ1 + ๐2 ๐ฆ2 +. . +๐๐ ๐ฆ๐ ๐๐๐๐ผ1 : ๐ฅ ≡ ๐1 + 0 + similarly for all ๐ ๐ฅ ≡ ๐๐ (๐๐๐๐ผ๐ ) In โค Note that ๐ฅ ≡ ๐๐ (๐๐๐๐๐ ) ∀๐ not unique. ๐ฅ + ∏ ๐๐ will solve all the congruences. Corollaries: Let ๐ be a commutative ring. ๐ผ1 , … , ๐ผ๐ mutually coprime ideals in ๐ . Then ๐ ⁄ ๐ ๐ ๐ (๐ผ1 ∩ … ∩ ๐ผ๐ ) ≅ ( ⁄๐ผ1 ) × ( ⁄๐ผ2 ) × … × ( ⁄๐ผ๐ ) (actually equivalent to CRT) Proof: Define a homomorphism ๐: ๐ → (๐ ⁄๐ผ ) × … × (๐ ⁄๐ผ ) 1 ๐ By ๐(๐) = (๐ + ๐ผ1 , … , ๐๐ผ๐ ) = (๐(๐๐๐๐ผ1 ), … , ๐(๐๐๐๐ผ๐ )) Clearly this is a homomorphism. (not so clear. TODO go over it) Clearly ๐ is additive and multiplicative. ๐(1) = (1(๐๐๐1 ), … ,1(๐๐๐๐ผ๐ )) We calculate ker ๐: ๐ ∈ ker ๐ ⇔ ๐ ≡ (๐๐๐๐ผ๐ ) for all ๐ ⇔ ๐ ∈ ๐ผ1 ∩ … ∩ ๐ผ๐ ker ๐ = ๐ผ1 ∩ … ∩ ๐ผ๐ We need to show ๐ is onto (๐ ⁄๐ผ ) × (๐ ⁄๐ผ ) × … × (๐ ⁄๐ผ ) to get isomorphism 1 2 ๐ (by homomorphism theorem) Let (๐1 + ๐ผ1 , … , ๐๐ + ๐ผ๐ ) ∈ (๐ ⁄๐ผ ) × (๐ ⁄๐ผ ) × … × (๐ ⁄๐ผ ) 1 2 ๐ We want ๐ฅ ๐ . ๐ก. ๐(๐ฅ) = (๐1 + ๐ผ1 , … , ๐๐ + ๐ผ๐ ) Or ๐ฅ ≡ ๐๐ (๐๐๐๐ผ๐ ) for all ๐. Existence of such an ๐ฅ is guaranteed by the CRT. Special case of corollary 1<๐∈โค ๐= ∏๐๐=1 ๐๐๐๐ ๐๐ distinct primes. ๐ผ๐ = ๐ ๐๐ ๐ โค (โค⁄๐โค) ≅ (โค⁄ ๐1 ) × … × (โค⁄ ๐๐ ) ๐1 โค ๐๐ โค Isomorphism of rings For a commutative ring ๐ , denote by ๐ ∗ = set of units (invertible elements) of ๐ Then ๐ ∗ =multiplicative abelian group. ∗ e.g. (โค⁄6โค) = {1ฬ , 5ฬ } =group of two elements Looking at the group of units on both sides we get: ∗ ∗ (โค⁄6โค) ≅ (โค⁄ ๐1 ) × … × (โค⁄ ๐๐ ) ๐๐ ๐๐๐๐๐โ๐๐ ๐ ๐๐ ๐ข๐๐๐ก ๐๐๐๐ข๐๐ ๐1 โค ๐๐ โค Denote by ๐(๐) = #{๐|0 < ๐ < ๐ ๐ . ๐ก. gcd(๐, ๐) = 1} (euler phi function) E.g. ๐(6) = 2 ∗ Clearly (โค⁄๐โค) has ๐(๐) elements. ๐ ๐ From (*) we get the formula: ๐(๐) = ๐(๐11 ) โ … โ ๐(๐๐๐ ) Application to public key encoding RSA (1975) Encoding – public Decoding – secret Let ๐1 , ๐2 “very large” prime numbers. Let ๐ = ๐1 โ ๐2 Let ๐ = ๐(๐) = ๐(๐1 ) โ ๐(๐2 ) = (๐1 − 1)(๐2 − 1) Let ๐ be any large number co-prime to ๐. By Bezout, we have ๐ , ๐ก ๐ . ๐ก. ๐ ๐ + ๐ก๐ = 1 ๐ ๐ ≡ 1(๐๐๐๐) We publish only ๐ and ๐ (and not ๐ , ๐, ๐1 , ๐2 ). Let ๐ be a positive integer smaller than ๐. We encode ๐ as ๐๐ (๐๐๐ ๐) = ๐ Claim: ๐ ๐ ≡ ๐(๐๐๐ ๐) ! Note: This determines ๐ uniquely as ๐ was chosen to be less than ๐. Proof: First case: gcd(๐, ๐) = 1 ∗ ∗ ∗ (โค⁄๐โค) ≅ (โค⁄๐ โค) โ (โค⁄๐ โค) has ๐(๐) = ๐ elements. 1 2 Recall in a group ๐บ of order ๐ ๐ฅ ๐ = 1 for all ๐ฅ ∈ ๐บ. Follows from Lagraunge’s theorem – shall prove later. ∗ So that ๐๐ ≡ 1(๐๐๐ ๐) ๐ฬ = ๐ + ๐โค elements of (โค⁄๐โค) ๐๐ ≡ 1(๐๐๐ ๐) ๐ ๐ ≡ (๐๐๐ )(๐๐๐ ๐) ≡ ๐๐๐+1 ≡ (๐๐ )๐ โ ๐ ≡ ๐(๐๐๐ ๐) - as required. Second case: gcd(๐, ๐) ≠ 1 Then wlog can assume ๐1 |๐ and gcd(๐, ๐2 ) = 1 โค ⁄ ≅ (โค ⁄ ) × (โค ⁄ ๐1 โค ๐2 โค) ๐โค ๐ ๐(๐ + ๐โค) = (๐(๐๐๐ ๐1 ), ๐(๐๐๐ ๐2 )) = (0(๐๐๐ ๐1 ), ๐(๐๐๐ ๐2 )) ∗ Another corollary from Cauchy’s theorem Ferma’s little theorem: For a prime ๐, ๐ฅ ≠ 0 ๐ฅ ๐−1 ≡ 1(๐๐๐ ๐) So we have ๐๐2 −1 ≡ 1(๐๐๐ ๐2 ) ๐๐ = ๐(๐2 −1)(๐1 −1) ≡ 1(๐๐๐ ๐2 ) ๐ is an isomorphism so we have: ๐ ๐(๐๐ + ๐โค) = (๐(+๐โค)) = (0(๐๐๐ ๐1 ), 1(๐๐๐ ๐2 )) Again, writing: ๐๐ = ๐๐ + 1 we get ๐(๐ ๐ + ๐โค) = ๐(๐๐๐ + ๐โค) = ๐(๐๐๐+1 + ๐โค) = ๐(๐๐๐ + ๐โค) โ ๐(๐ + ๐โค) = ๐(๐๐ + ๐โค) โ (0(๐๐๐ ๐1 ), ๐(๐๐๐ ๐2 )) = (0(๐๐๐ ๐1 ), 1(๐๐๐ ๐2 )) โ (0(๐๐๐ ๐1 ), ๐(๐๐๐ ๐2 )) = (0(๐๐๐ ๐1 ), ๐(๐๐๐ ๐2 )) = ๐(๐ + ๐โค) ๐ (๐๐๐ Since ๐ is an isomorphism we get ๐ ≡ ๐ ๐) Short introduction to Group Theory ๐ป subgroup of ๐บ if ∀๐, ๐ ∈ ๐ป ๐, ๐ −1 ∈ ๐ป (& ๐ป ≠ 0) Cosets of subgroup in ๐บ ๐ป๐ right coset = {โ๐|โ ∈ ๐ป} ๐๐ป left coset = {๐โ|โ ∈ ๐ป} Properties: Cosets are disjoint or equal. Suppose ๐ป๐ ∩ ๐ป๐ ≠ ∅ So have โ, โ′ ∈ ๐ป ๐ . ๐ก. โ๐ = โ′ ๐ (โ′ )−1 โ๐ = ๐ and ๐ ∈ ๐ป๐ ๐ป๐ ⊆ ๐ป๐ And similarly ๐ป๐ ⊆ ๐ป๐. Definition: ๐ is a normal subgroup of ๐บ if ∀๐ ∈ ๐บ โถ ๐๐ = ๐๐. (does not imply ๐๐ = ๐๐ ∀๐!!!) If ๐บ is Abelian, all subgroups are normal! Example: ๐บ = ๐3 : group of permutations on {1,2,3} 1 2 3 ๐=( ) 2 1 3 {๐ผ๐, ๐} is a subgroup of G. Which is not normal! 1 2 3 1 2 3 1 2 3 1 ๐ปโ( ) = {( ),( )โ( 3 2 1 3 2 1 2 1 3 3 1 2 3 1 2 3 1 2 3 1 ( ) โ ๐ป = {( ),( )โ( 3 2 1 3 2 1 3 2 1 2 2 2 2 1 3 1 )=( 1 2 3 1 )=( 3 3 2 3 2 2 3 )} 1 3 )} 1 So this is not the same group! ๐ด3 = set of even permutations = normal subgroup of order 3 1 2 3 1 2 3 ๐ = {๐ผ๐, ( ),( )} 2 3 1 3 1 2 1 2 3 1 ๐ด3 ๐ = ๐๐ด3 = ๐3 \๐ด3 = {( ),( โ2 1 3 3 ๐ ----- End of lesson 4 2 3 1 ),( 2 1 1 2 3 )} 3 2 TODO: Write it ----- end of lesson 5 Theorem: Let ๐(๐ฅ) ∈ ๐น[๐ฅ] be irreducible. Proof Note: ๐(๐ข) maximal so ๐น[๐ข]⁄๐(๐ข) has to be a field! Consider ๐น ⊆ ๐พ by identifying ๐ ∈ ๐น with ๐ + (๐(๐ข)) It remains to show that ๐(๐ฅ) has a root in ๐พ Suppose ๐(๐ฅ) = ∑๐=0 ๐๐ ๐ฅ ๐ , ๐๐ ∈ ๐น Look at the coset ๐ข + (๐(๐ข)) = ๐ผ ∈ ๐พ ๐(๐ผ) ⊂ ∑ ๐๐ ๐ข๐ = ∑ ๐๐ (๐ข + (๐(๐ข))) = ∑ ๐๐ ๐ข๐ + (๐(๐ข)) = Want to show ๐พ unique up to isomorphism minimal such that ๐ has a root. Suppose ๐ฟ ⊇ ๐น, ๐ฝ is a root of ๐ in ๐ฟ. Want to show ๐พ ≅ subfield of ๐ฟ. Map: ๐(๐ข) + (๐(๐ข)) in ๐พ to ๐(๐ฝ) ∈ ๐ฟ. H is independent of choice of coset representative, as if ๐(๐ข) ≡ โ(๐ข) (๐๐๐ (๐(๐ข))) Then ๐(๐ข) = โ)๐ข ----- end of lesson 6 Claim: If ๐(๐ฅ) ∈ ๐น[๐ฅ] and ๐น ⊆ ๐พ field containing a root of ๐(๐ฅ): ๐ผ Then if ๐ ∈ ๐บ๐๐(๐พ⁄๐น ) then ๐(๐ผ) is a root of ๐(๐ฅ) In other words, elements of the Galois group permute the roots of ๐(๐ฅ) Proof: Let ๐(๐ฅ) = ∑๐๐=0 ๐๐ ๐ฅ ๐ , ๐๐ ∈ ๐น ๐(๐(๐ผ)) = ๐(0๐พ ) = 0, ๐๐ ∈ ๐น ๐ ๐ ๐ ๐๐ ∈๐น 0 = ๐(๐(๐ผ)) = ๐ (∑ ๐๐ ๐ผ ๐ ) = ∑ ๐(๐๐ )๐(๐ผ)๐ = ∑ ๐๐ ๐(๐ผ)๐ ๐=0 ๐=0 ๐=0 Special case: ๐พ splitting field for ๐(๐ฅ) ∈ ๐น[๐ฅ] then ๐พ = ๐น (๐ผ โ1 , … , ๐ผ๐ ) ๐๐๐๐ก๐ ๐๐ ๐น So any ๐ ∈ ๐บ๐๐(๐พ⁄๐น ) is determined by images of ๐ผ1 , … , ๐ผ๐ under ๐ We now know that these are permuted by ๐ ๐ฝ ∈ ๐พ so can be written as a polynomial in ๐ผ11 , … , ๐ผ๐ over ๐น ๐ ๐ ๐ ๐ฝ = ∑ ๐๐1 …๐๐ โ ๐ผ11 ๐ผ22 … ๐ผ๐๐ Examples: 1) Galois group of the smallest field of ๐ฅ 4 − 2 over โ Roots of ๐ฅ 4 − 2: 4 4 ± √2, ±๐พ √2 4 4 4 4 ๐ฅ 4 − 2 = (๐ฅ − √2)(๐ฅ + √2)(๐ฅ − ๐พ √2)(๐ฅ + ๐พ √2) 4 and over k: โ(√2, ๐พ) ๐ ∈ ๐บ๐๐ (๐พ⁄โ) = ๐บ will permute 4 roots So can think of ๐บ of being a subgroup of ๐4 | 4 4 | 4 4 We know that |โ(√2, ๐พ): โ| = |(โ(√2, ๐พ): โ(√2)| โ | โ โ(√2) 4=๐๐๐๐๐๐ ๐๐ |๐๐๐๐๐๐๐ ๐๐๐๐ฆ 4 ๐๐ √2 ๐๐ฃ๐๐ โ(๐ 4 −2) [๐: ๐น] = dimension of ๐พ over ๐น. |๐บ๐๐ (๐พ⁄โ) = ๐บ| = 8 So ๐บ is isomorphic to an 8-element subgroup of ๐4 Possibilities (up to isomorphism) are: ๐ถ8 , ๐ถ4 × ๐ถ2 , ๐ถ2 × ๐ถ2 × ๐ถ2 , ๐ท8 , ๐8 |๐4 | = 24 (a side note) ๐ถ8 – is impossible since ๐4 contains no elements of order 8 Let ๐ be complex conjugation. obviously ๐ is an element of order 2. ๐ ∈ ๐บ : โ| | 4 4 ๐(√2) = √2 4 4 ๐(− √2) = − √2 4 4 ๐(๐พ √2) = −๐พ √2 4 4 ๐(−๐พ √2) = −๐พ √2 Let ๐ be the automorphism that permutes roots cyclically: 4 4 ๐(√2) = ๐พ √2 and fixes ๐พ ๐ is of order 4 4 4 ๐(− √2) = −๐พ √2 4 4 4 4 ๐(๐พ √2) = ๐(๐พ)๐(√2) = ๐พ๐พ √2 = − √2 < ๐, ๐ > is a group permuted by ๐ and ๐ ≅ ๐ท8 Cycle notation in ๐๐ (any permutation can be written as a product of disjoint cycles) Example ๐ ∈ ๐4 1 2 3 4 5 6 ๐=( ) = (13462)(5) 3 1 4 6 5 2 1 2 3 4 5 6 ( ) = (13)(254)(6) 3 5 1 2 4 6 Can have ๐ ∈ ๐5 , ๐ = (123)(45) Elements of ๐4 can have orders 1,2,3,4 (again, a side note). The order of the elements is always the least common multiple of the cycles. Another example: Galois group of ๐(๐ฅ) = ๐ฅ 3 + 2๐ฅ + 1 over โ Need to find the splitting field of the polynomial over โ. We first of all show that ๐(๐ฅ) has no roots in โ and so is irreducible. Claim: If ๐(๐ฅ) is a monic polynomial over โค, then any rational root will be an integer Proof: ๐(๐ฅ) = ๐ฅ ๐ + ๐๐−1 ๐ฅ ๐−1 + โฏ + ๐1 ๐ฅ + ๐0 , ๐๐ ∈ โค ๐, ๐ ∈ โค ๐ ๐ ๐ ๐ If is a root then: 0 = ๐ ( ) = ๐๐ ๐ ๐ + ∑๐−1 ๐=0 ๐๐ ๐๐ ๐ ๐ Assume (๐, ๐ ) = 1 ๐−1 ๐ ๐ + ∑ ๐๐ ๐ ๐ ๐ ๐−๐ = 0 ๐=0 ๐ ๐ = −๐0 ๐ ๐ − ๐1 ๐ ๐−1 + โฏ − ๐๐−1 ๐ ๐ ๐−1 If ๐ is a prime divisor of ๐ , then ๐|๐ ๐ so ๐|๐. But then, ๐|๐ and ๐|๐ which contradicts the fact that ๐ and ๐ are mutually prime. ๐ ๐ So ๐ has no prime divisors. So ๐ = ±1. Therefore, ∈ โค We now show that ๐(๐ฅ) have no integer roots. ๐(0) = 1 ๐(−1) = −2 So there exists ๐ผ ∈ โ −1 < ๐ผ < 0 and ๐(๐ผ) = 0 by continuity of ๐(๐ฅ) as a real function. But it’s the only real root, since the derivative is always positive, therefore it’s constantly increasing etc etc… So ๐(๐ฅ) has no rational roots, and remaining 2 roots are non-real. Over โ(๐ผ) ๐ฅ 3 + 2๐ฅ + 1 = (๐ฅ − ๐ผ)(๐ฅ 2 + (2 + ๐ผ)๐ฅ + (2 + ๐ผ)๐ผ) Where ๐ฝ and ๐ฝฬ are nonreal roots. ๐๐ฃ๐๐ ๐.๐น. = (๐ฅ − ๐ผ)(๐ฅ − ๐ฝ)(๐ฅ − ๐ฝฬ ) So the splitting field will be โ(๐ผ, ๐ฝ) |โ(๐ผ, ๐ฝ): โ| = โ |โ(๐ผ, ๐ฝ): โ(๐ผ)| โ โ |โ(๐ผ): โ| =2 (๐๐ฆ ๐กโ๐ ๐๐ฅ๐ก๐๐ ๐๐๐๐ก) =3 Extra fact: If ๐ผ is a root of some polynomial ๐(๐ฅ) over a field ๐น. And ๐(๐ฅ) is the minimal polynomial of ๐ผ over ๐น, then ๐(๐ฅ)|๐(๐ฅ) in ๐น[๐ฅ] Proof: Divide ๐(๐ฅ ) by ๐(๐ฅ) with remainder in ๐น[๐ฅ] ๐(๐ฅ) = ๐(๐ฅ)๐(๐ฅ) + ๐(๐ฅ) deg ๐ < deg ๐ or ๐ = 0 Substitute ๐ฅ = ๐ผ: 0 = ๐(๐ผ) = ๐(๐ผ)๐(๐ผ) + ๐(๐ผ) So ๐ผ root of ๐(๐ฅ) of smaller degree than ๐(๐ฅ) - contradiction! So |๐บ๐๐(โ(๐ผ, ๐ฝ)/โ)| = 6. Elements of Galois group permute the set {๐ผ, ๐๐๐ก๐ ๐ฝฬ } and so is isomorphic to a subtgroup of ๐3 of order 6 ⇒ Galois group ≅ ๐3 TOPIC: Cyclotomic fields and their Galois groups over โ ๐ Definition Cyclotomic field is one of the form โ( √1) ๐ 2๐๐พ √1 = ๐ ๐ positive with root of 1 ๐ Note that โ( √1) is a splitting field of the polynomial ๐ฅ ๐ − 1 over โ As: ๐−1 ๐ฅ ๐ − 1 = Π (๐ฅ − ๐ k=0 2๐๐พ ๐ ) We also want to factor ๐ฅ ๐ − 1 into irreducible factors over โ. (๐ฅ 2 + ๐ฅ + 1) E.g. ๐ฅ 3 − 1 = (๐ฅ − 1) โ ๐๐๐๐๐๐ข๐๐๐๐๐ ๐๐ฃ๐๐ โ=๐๐๐๐๐๐๐ ๐๐๐๐ฆ ๐ Definition: Denote by ๐๐ (๐ฅ) = minimal polynomial of √1 over โ So ๐3 (๐ฅ) = ๐ฅ 2 + ๐ฅ + 1 ๐๐ (๐ฅ) = n’th cyclotomic polynomial ๐1 (๐ฅ) = ๐ฅ − 1 ๐2 (๐ฅ) = ๐ฅ + 1 ๐3 (๐ฅ) = ๐ฅ 2 + 1 4 √1 = ๐พ ๐ฅ 4 − 1 = (๐ฅ 2 − 1)(๐ฅ 2 + 1) = (๐ฅ โ+ 1) (๐ฅ โ− 1) (๐ฅโ2 + 1) =๐2 =๐1 =๐3 Fact: If ๐(๐ฅ) โ ๐(๐ฅ) = ๐ฅ ๐ − 1 over โ, then ๐(๐ฅ), ๐(๐ฅ) ∈ โค[๐ฅ] (Follows from Gauss’ lemma – Basic algebra 1) Interesting fact: If we factor ๐ฅ ๐ − 1 over โ(i.e. over โค!) Turns out up to ๐ = 105 all coefficients are ∈ {0, ±1}! For ๐ = 105 get coefficients = 2 105 = 3 โ 5 โ 7 ๐ |โ( √1): โ| = deg ๐๐ =? Examples: 1) 4 โ(๐) = โ(√1) Can be thought of a 2 dimensional vector space over โ ๐ + ๐พ๐ (๐ + ๐พ๐)(๐ + ๐พ๐) = ๐๐ − ๐๐ + ๐พ(๐๐ + ๐๐) We can think of them as vectors with regular dot multiplication. 3 2) โ(๐) = โ(√1) |โ(๐): โ| = 2 irreducible polynomial ๐3 of ๐ is ๐ฅ 2 + ๐ฅ + 1 2 dimensional vector space over โ - addition – as usual (๐ + ๐๐)(๐ + ๐๐) = ๐๐ + ๐2 (๐๐) + ๐(๐๐ + ๐๐) = ๐๐ − ๐๐ + ๐(๐๐ + ๐๐ − ๐๐) Since: ๐2 + ๐ + 1 = 0 ๐2 = −1 − ๐ 5 3) โ(√1) ๐5 (๐ฅ) = ๐ฅ 4 + ๐ฅ 3 + ๐ฅ 2 + ๐ฅ + 1 5 |โ(√1): โ| = 4 5 1, ๐, ๐2 , ๐3 basis for โ( √1) over โ In general ๐ 4) ๐ is prime โ( √1) ๐ฅ ๐ − 1 = (๐ฅ − 1)(๐ฅ ๐−1 + ๐ฅ ๐−2 + โฏ + ๐ฅ + 1) The second part is irreducible using einsensteins criterion (lang algebra) = ๐๐ (๐ฅ) ๐ |โ( √1): โ| = ๐ − 1 5) N=6 Let’s factor it over โ: ๐ฅ 6 − 1 = (๐ฅ 3 − 1)(๐ฅ 3 + 1) = (๐ฅ − 1)(๐ฅ 2 + ๐ฅ + 1)(๐ฅ + 1 )(๐ฅ 2 − ๐ฅ + 1) 6 √1 = ๐ ๐ = ๐2 ๐2 = ๐4 df Roots areL Roots (Accoringly) 1, ๐, ๐2 −1 ๐, ๐5 = ๐ฬ What is โ(๐)?? 2 dimensions over โ. What is the multiplication rule? Notice: −๐ is a 6th root of (−๐)2 = ๐ So can take ๐ = −๐ โ(๐) = โ(๐)!!!! It’s actually the same field! Not isomorphic – same field! --- end of lesson ๐ Theorem: [โ( √1): โ] = ๐(๐) =Eular ๐-function Recheck: ๐(6) = |{1,5}| = 2 ๐(5) = 4 ๐(4) = |{1,3}| = 2 ๐(3) = 2 ๐(๐) = ๐ − 1 ๐ is prime ๐ Denote ๐ = √1 Proof: [โ(๐): โ] =degree of the minimal polynomial of ๐ over โ = deg ๐๐ (๐ฅ) Note: ๐ ๐ is a primitive n’th root of 1 ⇔ gcd(๐, ๐) = 1 |{๐ ๐ |๐ ๐ ๐๐๐๐๐ ๐′ ๐กโ๐๐๐๐ก ๐๐ 1}| = ๐(๐) So in fact, ๐๐ (๐ฅ) = ∏gcd(๐,๐)=1(๐ฅ − ๐ ๐ ) 1≤๐<๐ This is a key fact! By gauss’ Lemma, ๐ฅ ๐ − 1 factors over โ into polynomials in โค[๐ฅ] So in fact, as ๐๐ (๐ฅ)|๐ฅ ๐ − 1 over โ (since ๐ is a root of ๐ฅ ๐ − 1 and ๐๐ (๐ฅ) is its root polynomnial) We in fact have that ๐๐ (๐ฅ) ∈ โค[๐ฅ] Suppose ๐|๐: Then, any d’th root of 1 is also an n’th root of 1. So the roots of ๐๐ (๐ฅ) satisfy ๐ฅ ๐ − 1 = 0 So ๐๐ (๐ฅ)|๐ฅ ๐ − 1 over โ Conclusion: ๐๐ (๐ฅ)|๐ฅ ๐ − 1 for all ๐|๐. Conversely: Suppose ๐(๐ฅ) is an irreducible monic factor of ๐ฅ ๐ − 1 (in โ[๐ฅ]) Any root ๐ผ of ๐(๐ฅ) is a root of ๐ฅ ๐ − 1 and so ๐ผ ๐ = 1 If ๐ minimal such that ๐ผ ๐ = 1 then ๐|๐. So ๐ผ is a primitive d’th root of 1. Its minimal polynomial is ๐๐ (๐ฅ) And so ๐๐ (๐ฅ)|๐(๐ฅ) but ๐(๐ฅ) is irreducible and monic and so ๐๐ (๐ฅ) = ๐(๐ฅ). So every irreducible factor of ๐ฅ ๐ − 1 over โค is of the form ๐๐ (๐ฅ) for some ๐|๐. Conclusion: ๐ฅ ๐ − 1 = ∏๐|๐ ๐๐ (๐ฅ) over โ. And ๐๐ (๐ฅ) ∈ โค[๐ฅ] (๐ฅ − 1) โ (๐ฅ + 1 ) โ (๐ฅ 2 + ๐ฅ + 1) โ (๐ฅ 2 − ๐ฅ + 1) Example: ๐ฅ 6 − 1 = โ =๐1 (๐ฅ) ๐2 (๐ฅ) ๐3 (๐ฅ) ๐6 (๐ฅ) Corollary from conclusion: From degree of polynomials we get: ๐ = ∑ deg ๐๐ (๐ฅ) = ∑ ๐(๐) ๐|๐ ๐|๐ Example: ๐ฅ 12 − 1 = (๐ฅ 6 + 1 )(๐ฅ 6 − 1) = (๐ฅ 2 + 1) โ (๐ฅ 4 − ๐ฅ 2 + 1) โ (๐ฅ − 1) โ (๐ฅ + 1 ) โ (๐ฅ 2 + ๐ฅ + 1) โ (๐ฅ 2 − ๐ฅ + 1) โ ๐4 ๐2 (๐ฅ) ๐,๐ 11 ,๐ 5 ,๐ 7 =๐1 (๐ฅ) 1 ๐2 (๐ฅ) −1 ๐3 (๐ฅ) ๐,๐2 ๐6 (๐ฅ) −๐,−๐2 12 ๐ = √1 ๐ Galois grups of โ(๐๐ ) over โ, ๐ = √๐ โ(๐) ⁄โ) = ๐บ Let ๐บ๐๐ ( Elements of ๐บ permute primitive roots of unity and are determine by the image of ๐. So ๐บ subroup of group of permutations {๐ ๐ | gcd (๐, ๐) = 1} i.e. of ๐๐(๐) 1≤k<๐ Let gcd(๐, ๐) = 1: ๐๐ ๐ → ๐ ๐ determines an automorphism of โ(๐) Conversely, every automorphism must be of this form. |๐บ| = [โ(๐): โ] = ๐(๐) Suppose gcd(๐, ๐) = 1 = gcd(๐, ๐) ๐๐ โ ๐๐ (๐) = ๐๐ (๐ ๐ ) = ๐ ๐๐ = ๐๐๐ (๐) ๐๐ ๐๐ (๐) = ๐๐ (๐ ๐ ) = ๐ ๐๐ So the group is abelian! More precisely: ๐๐ = ๐๐ = ๐๐ where ๐ ≡ ๐๐(๐๐๐ ๐) In fact: The map ๐ → ๐๐ ∗ Is group homomorphism between (โค⁄๐โค) and ๐บ ∗ So ๐บ ≅ (โค⁄๐โค) E.g. ๐ = 12 ∗ (โค⁄12โค) = {1,5,7,11} multiplication mod 12. 12 ๐ = √1 Note: ๐ → ๐11 is complex conjugation Finite Fields If ๐น is finite then its characteristics must be some prime ๐ And its prime field ≅ โค⁄๐โค. So every finite field can be considered to be an extension of โค⁄๐โค. In fact, it is an algebraic extension. (if ๐ผ transcendental then 1, ๐ผ, ๐ผ 2 , ๐ผ 3 , … infinitely linearly independent set so any field containing ๐ผ will be infinite). First difference between characteristic 0 case and the characteristic ๐ case We had quadratic extensions of โ e.g. โ(√2), โ(๐), โ(๐) which are isomorphic as fields! By contrast, โค⁄๐โค has a unique quadratic extension up to isomorphism. Example: โค⁄2โค clearly unique up to isomorphism. Call it ๐ฝ2 or ๐บ๐น(2) Now look at ๐ฅ 2 + ๐ฅ + 1 which is irreducible over โค⁄2โค Extend ๐ฝ2 to get a field in which ๐ฅ 2 + ๐ฅ + 1 has a root. ๐ฝ [๐ฅ] ๐= 2 ⁄ 2 ๐ฅ +๐ฅ+1 {๐พ: ๐ฝ} = dim๐ฝ ๐พ = 2 ⇒ ๐พ 2 dimensional vector space over ๐ฝ2 and so has 4 elements. Elements of ๐พ can be considered to be remainders of polynomials in ๐ฅ over ๐ฝ2 After division by ๐ฅ 2 + ๐ฅ + 1 i.e. linear polynomials. 0,1, ๐ฅ, ๐ฅ + 1 + 0 0 0 1 1 ๐ฅ ๐ฅ ๐ฅ+1 ๐ฅ+1 โ 0 1 ๐ฅ ๐ฅ+1 1 1 0 ๐ฅ+1 ๐ฅ ๐ฅ ๐ฅ+1 ๐ฅ ๐ฅ+1 ๐ฅ+1 ๐ฅ 0 1 1 0 0 1 ๐ฅ 0 0 0 0 1 ๐ฅ 0 ๐ฅ ๐ฅ+1 0 ๐ฅ+1 1 ๐ฅ+1 0 ๐ฅ+1 1 ๐ฅ Very easy to show directly that every field of order 4 is isomorphic to ๐พ. Note: ๐ฅ 2 + ๐ฅ + 1 is actually the only irreducible quadratic polynomial over ๐ฝ Theorem: Let ๐น be a finite field then |๐น| = ๐๐ elements for some prime ๐, 1 ≤ ๐ ∈ โ. Conclusion: there is no field of order 6,10,15, etc! Proof: Let โค⁄๐โค = ๐ฝ๐ to be the prime field of ๐น then ๐น is a vector space over ๐ฝ๐ . And as ๐น is finite, it is finite dimensional over ๐ฝ๐ . Say dim ๐น = ๐. (๐) So ๐น ≅ ๐ฝ๐ as a vector space and so |๐น| = ๐๐ Example: Look at ๐ฅ 4 + ๐ฅ 3 + 1 over ๐บ๐น(2) Claim: ๐ฅ 4 + ๐ฅ 3 + 1 is irreducible over ๐บ๐น(2) Clearly it has no roots. If it factored as 2 irreducible quadratics then we would have ๐ฅ 4 + ๐ฅ 3 + 1 = (๐ฅ 2 + ๐ฅ + 1)2 But (๐ฅ 2 + ๐ฅ + 1)2 = ๐ฅ 4 + ๐ฅ 2 + 1 So ๐บ๐น(2)[๐ฅ]⁄(๐ฅ 4 gives an extension of degree 4 and so a field of order 16! + ๐ฅ 3 + 1) Its elements can be considered as polynomials of degree less or equal to 3. Or, vectors of length 4 over ๐ฝ2 . Addition is very easy with both notations (mod 2) (๐ฅ 3 + ๐ฅ) + (๐ฅ 2 + ๐ฅ + 1) = ๐ฅ 3 + ๐ฅ 2 + 1 ๐ ๐ ๐๐ฅ 3 + ๐๐ฅ 2 + ๐๐ฅ + ๐ ↔ ( ) ๐ ๐ Multiplication on the other hand, is harder (๐ฅ 3 + ๐ฅ) โ (๐ฅ 2 + ๐ฅ + 1) = ๐ฅ 5 + ๐ฅ 3 + ๐ฅ 4 + ๐ฅ 2 + ๐ฅ 3 + 1 = ๐ฅ 5 + ๐ฅ 4 + ๐ฅ 2 + ๐ฅ ≡ ๐ฅ 2 (๐๐๐ ๐ฅ 4 + ๐ฅ3 + 1 1 0 0 0 1 1 ( )( ) = ( ) 1 1 0 0 1 0 Another Notation Let ๐ผ = ๐ฅ + (๐ฅ 4 + ๐ฅ 3 + 1) in ๐น So ๐ผ root of ๐ฅ 4 + ๐ฅ 3 + 1 in ๐น. ๐ผ 4 + ๐ผ 3 + 1 = 0 1, ๐ผ, ๐ผ 2 , ๐ผ 3 are linearly independent over โค⁄2โค and so distinct. Note that ๐น ∗ is a group of order 15. So ๐ผ has order dividing 15⇒ ๐ผ has order 1,3,5,15 ๐ผ4 = ๐ผ3 + 1 ๐ผ 5 = ๐ผ(๐ผ 3 + 1) = ๐ผ 4 + ๐ผ = ๐ผ 3 + 1 + ๐ผ = ๐ผ 3 + ๐ผ + 1 ≠ 1. Otherwise, ๐ผ 3 + ๐ผ = 0 and ๐ผ satisfies polynomials of degree 3 – contradiction. Conclude: ๐ผ has order 15! So ๐น ∗ is cyclic and generated by ๐ผ. So ๐น = {0,1, ๐ผ, … , ๐ผ 14 } This notation is convenient for multiplication: ๐ผ ๐ โ ๐ผ ๐ = ๐ผ ๐+๐(๐๐๐ 15) (Addition - problematic!) Note: Over ๐น ๐ฅ 4 + ๐ฅ 3 + 1 factors into linear factors and so is a splitting field for this polynomial over ๐ฝ2 Notice that: ๐ผ 4 + ๐ผ 3 + 1 = 0 (Over โค⁄๐โค: (๐ฅ + ๐ฆ)๐ = ๐ฅ ๐ + ๐ฆ ๐ ) So 0 = (๐ผ 4 + ๐ผ 3 + 1)2 = ๐ผ 8 + ๐ผ 6 + 1 ⇒ ๐ผ 2 is a root of ๐ฅ 4 + ๐ฅ 3 + 1 (๐ผ 8 + ๐ผ 6 + 1)2 = ๐ผ 16 + ๐ผ 12 + 1 ⇒ ๐ผ 4 is a root of ๐ฅ 4 + ๐ฅ 3 + 1 Same for (๐ผ 16 + ๐ผ 12 + 1)2 which leads to ๐ผ 8 is a root as well So ๐ฅ 4 + ๐ฅ 3 + 1 = (๐ฅ − ๐ผ)(๐ฅ − ๐ผ 2 )(๐ฅ − ๐ผ 4 )(๐ฅ − ๐ผ 8 ) Theorem: The multiplicative group of a finite field is cyclic. Proof: next lesson! Note: If |๐น| = ๐ then all its nonzero elements will satisfy ๐ฅ ๐−1 = 1 As |๐น ∗ | = ๐ − 1 Over a field, the polynomial has at most ๐ − 1 different roots. So in this case the set of elements in ๐น ∗ is precisely the set of roots of ๐ฅ ๐−1 If we take ๐ฅ ๐ − ๐ฅ then every element of ๐น (including 0!) is a root and ๐น is the splitting field of ๐ฅ ๐ − ๐ฅ. --- end of lesson 8 Fundemental theorem of Abelian groups: Every Abelian group is a direct product of cyclic groups. (If the group is finite – get a direct product of a finite number of finite cyclic groups). Proof: Jacobson Basic Algebra 1. For the finite case, you can always write: ๐บ = ๐ป1 × … × ๐ป๐ ๐ป๐ = direct product of cyclic groups of orders that are powers of a fixed prime ๐๐ ๐1 , … , ๐๐ direct primes. Theorem: If ๐น is a finite field, then ๐น ∗ is cyclic. Proof: Assume ๐น ∗ = ๐ป1 × … × ๐ป๐ as above. Each ๐ป๐ can be written as a direct product: ๐๐ = ๐- ๐ป๐ = ๐ถ๐๐๐1 × ๐ถ๐๐๐2 × … × ๐ถ๐๐๐๐ Can assume ๐1 ≥ โฏ ≥ ๐๐ ๐ถ๐ = cyclic of order ๐ So every element ๐ of ๐ป๐ satisfies ๐ด๐ ๐1 =1 So every element of ๐ป๐ is a root of the polynomial ๐ฅ ๐ ๐1 −1=0 ๐ป๐ ⊂ ๐น and in ๐น there are at most ๐๐1 roots of this polynomial. So |๐ป๐ | = ๐๐1 . Meaning, ๐ = 1. So ๐ป๐ = ๐ถ๐๐1 and in general we get: So ๐น ∗ = ๐ถ๐๐1 × … × ๐ถ๐๐๐ 1 ๐ ๐1 , … , ๐๐ are distinct primes! So ๐น ∗ is cyclic generated by the product of the generators of ๐ถ๐๐1 , … , ๐ถ๐๐๐ . 1 ๐ Corollary: If ๐น is a finite field of order ๐. Then it is the splitting field of ๐ฅ ๐ − ๐ฅ (where ๐ = ๐๐ , ๐ is prime) over โค⁄๐โค. And so unique up to isomorphism. Proof: All the elements of ๐น ∗ are roots of ๐ฅ ๐−1 − 1 and so together with 0 all the elements of ๐น are roots of ๐ฅ ๐−๐ฅ − ๐ฅ. So every element is a root and the set of roots = ๐น. We shall show that if ๐น and ๐น ′ are both fields of order ๐ = ๐๐ then they are isomorphic: Let ๐ผ ∈ ๐น ∗ generator. So ๐ is algebraic over โค⁄๐โค so is a root of an irreducible monic polynomial ๐(๐ฅ) ∈ โค⁄๐โค [๐ฅ] So ๐(๐ฅ)|๐ฅ ๐ − ๐ฅ ๐น ′ is also a splitting field of ๐ฅ ๐ − ๐ฅ over โค⁄๐โค. So ๐(๐ฅ) has a root ๐ฝ in ๐น ′ . We map ๐ผ ๐ to ๐ฝ ๐ ∀๐ and 0 to 0. We need to show that the map is onto ๐น ′ (and so 1-1) And that it is additive! (it is multiplicative by definition). Suppose ๐ฝ ๐ = 1 for ๐ < ๐ − 1. Then ๐ฝ is a root of ๐ฅ ๐ − 1 in ๐น ′ . ๐(๐ฅ) is the minimal polynomial of ๐ฝ so that ๐(๐ฅ)|๐ฅ ๐ − 1 over โค⁄๐โค So that ๐ผ ๐ = 1 in ๐น. But ๐ผ is of order ๐ − 1 so ๐ − 1|๐ and ๐ ≥ ๐ − 1 - contradiction! We now show the map is additive: a) If ๐ผ ๐ + ๐ผ ๐ = ๐ผ ๐ then need to show ๐ฝ ๐ + ๐ฝ ๐ = ๐ฝ ๐ก b) If ๐ผ ๐ + ๐ผ ๐ = 0 then need to show ๐ฝ ๐ + ๐ฝ ๐ = 0 We shall show (a): ๐ผ ๐ + ๐ผ ๐ = ๐ผ ๐ implies ๐ผ is a root of ๐ฅ ๐ + ๐ฅ ๐ − ๐ฅ ๐ก so ๐(๐ฅ)|๐ฅ ๐ + ๐ฅ ๐ − ๐ฅ ๐ก So then ๐ฝ root of ๐ฅ ๐ + ๐ฅ ๐ − ๐ฅ ๐ก and so ๐ฝ ๐ + ๐ฝ ๐ = ๐ฝ ๐ก . Note: It also follows that the roots of ๐ฅ ๐ − ๐ฅ over โค⁄๐โค are distinct. Theorem: For any prime ๐ and 1 ≤ ๐ ≤ โ there exists a field of order ๐๐ . ๐ Proof: Take โค⁄๐โค and extend to a splitting field for ๐ฅ ๐ − ๐ฅ. This will be a field of order ๐๐ (and will be unique!). Corollary: For any ๐ ≥ 1 integer and prime ๐, there exists an irreducible polynomial of degree ๐ over โค⁄๐โค. Proof: Take ๐ผ a generator of ๐น ∗ where ๐น field of order ๐๐ = ๐. (๐น = ๐บ๐น(๐)) โค⁄ [๐ผ] = ๐น and โค⁄ [๐ผ] is a vector space of dimension ๐ over โค⁄ where ๐ is the degree ๐โค ๐โค ๐โค of the minimal polynomial of ๐ผ. So โค⁄๐โค [๐ผ] is of order ๐๐ so ๐ = ๐ and minimal polynomial is irreducible of degree ๐. Factorization of ๐ฟ๐ − ๐ over finite fields Example: ๐บ๐น(16) = ๐บ๐น(2)[๐ผ] ๐ผ root of ๐ฅ 4 + ๐ฅ 3 + 1 over ๐บ๐น(2). Every element in this field is a root of ๐ฅ 16 − ๐ฅ. So ๐ฅ 4 + ๐ฅ 3 + 1|๐ฅ 16 − ๐ฅ over ๐บ๐น(2). Roots of ๐ฅ 4 + ๐ฅ 3 + 1 in ๐บ๐น(16) were: ๐ผ, ๐ผ 2 , ๐ผ 4 , ๐ผ 16 0 root of ๐ฅ. (so ๐ฅ|๐ฅ 16 − ๐ฅ) 1 root of ๐ฅ + 1 (so ๐ฅ + 1|๐ฅ 16 − ๐ฅ) ๐ฅ 16 − ๐ฅ = ๐ฅ(๐ฅ + 1)(๐ฅ 4 + ๐ฅ 3 + 1) โ โ(๐ฅ), โ(๐ฅ) ∈ ๐บ๐น(2)[๐ฅ] of degree 10.We want to factor โ(๐ฅ) Definition: Let ๐(๐ฅ) = polynomial of degree ๐. The reciprocal of ๐(๐ฅ) is ๐(๐ฅ) = ๐ฅ ๐ ๐(๐ฅ −1 ) Example: 5 ๐ฅ ๐(๐ฅ −1 ) =๐ฅ 5 (๐ฅ −5 ๐(๐ฅ) = ๐ฅ 5 − 2๐ฅ 4 + 3๐ฅ 2 − 7๐ฅ + 19 − 2๐ฅ −4 + 3๐ฅ −2 − 7๐ฅ −1 + 19) = 1 − 2๐ฅ + 3๐ฅ 2 − 7๐ฅ 4 + 19๐ฅ 5 Use question 4 in assignment 4 to get the reciprocal of ๐ฅ 4 + ๐ฅ 3 + 1: ๐ฅ4 + ๐ฅ + 1 −1 So ๐ฅ 4 + ๐ฅ + 1 is irreducible and ๐ผ โ is a root and also ๐ผ −2 = ๐ผ 13 , ๐ผ −4 = ๐ผ 11 , ๐ผ −8 = ๐ผ 7 . =๐ผ14 We conclude that ๐ฅ 4 + ๐ฅ + 1|๐ฅ 16 − ๐ฅ So โ(๐ฅ) has ๐ฅ 4 + ๐ฅ + 1 as an irreducible factor over ๐บ๐น(2) Note also: ๐ฅ 5 − 1|๐ฅ 15 − 1. Since (๐ฅ 5 − 1)(๐ฅ 10 + ๐ฅ 5 + 1) = ๐ฅ 15 − 1. Over ๐น๐บ(2) we have ๐ฅ 5 − 1 = (๐ฅ + 1)(๐ฅ 4 + ๐ฅ 3 + ๐ฅ 2 + ๐ฅ + 1) So ๐ฅ 4 + ๐ฅ 3 + ๐ฅ 2 + ๐ฅ + 1|๐ฅ 16 − ๐ฅ and is irreducible (question 1 in assignment 4). Note also: 1, ๐ผ 5 , ๐ผ 10 are roots of ๐ฅ 3 − 1 in ๐บ๐น(16): ๐ผ 3 , ๐ผ 6 , ๐ผ 12 , ๐ผ 24 = ๐ผ 9 ๐ฅ 3 − 1 factors to: (๐ฅ − 1)(๐ฅ 2 + ๐ฅ + 1) So ๐ฅ 2 + ๐ฅ + 1 is the minimal polynomial of ๐ผ 5 , ๐ผ 10 . So over ๐บ๐น(2): ๐ฅ 16 − ๐ฅ = ๐ฅ(๐ฅ − 1)(๐ฅ 2 + ๐ฅ + 1)(๐ฅ 4 + ๐ฅ 3 + 1)(๐ฅ 4 + ๐ฅ + 1)(๐ฅ 4 + ๐ฅ 3 + ๐ฅ 2 + ๐ฅ + 1) Roots (in the appropriate order of the factors): 0, 1, ๐ผ 5 , ๐ผ 10 , ๐ผ , ๐ผ 2 , ๐ผ 4 , ๐ผ 8 , ๐ผ 14 , ๐ผ 13 , ๐ผ 11 , ๐ผ 7 , ๐ผ 3 , ๐ผ 6 , ๐ผ 9 , ๐ผ 12 Note: ๐ผ, ๐ผ −1 = ๐ผ 14 are primitives elements (i.e. generators of ๐บ๐น(16)∗ but the roots of ๐ฅ 4 + ๐ฅ 3 + ๐ฅ 2 + ๐ฅ + 1 are not generators for ๐บ๐น(16)∗ Though we can use this polynomial to construct ๐บ๐น(16) over ๐บ๐น(2). And every element of ๐บ๐น(16) is a polynomial in ๐ผ 3 (but not a power of ๐ผ 3 !) Every element of ๐บ๐น(๐๐ ) satisfies ๐ฅ ๐ ๐ ๐ −1 = 1. ๐ If ๐ฅ − 1 has a root in ๐บ๐น(๐ ). Must have ๐|๐๐ − 1 Can see which are the subfields of ๐บ๐น(16) by looking at the factorization of ๐ฅ 16 − ๐ฅ. Possible subfields (are of order 2๐ , ๐ ≤ 4): ๐บ๐น(2) - prime field and so a subfield! ๐บ๐น(4) – {0,1, ๐ผ 5 , ๐ผ 10 } as ๐บ๐น(4) splitting field of ๐ฅ 2 + ๐ฅ + 1 ๐บ๐น(8) - Don’t have any irreducible polynomials of degree 3 dividing ๐ฅ 16 − ๐ฅ! ๐บ๐น(8) is the splitting field of an irreducible cubic over ๐บ๐น(2)! So this is not a subfield of ๐ฎ๐ญ(๐๐). ๐บ๐น(16) (clearly). Also: ๐บ๐น(16) could not be a vector space over ๐บ๐น(8) otherwise 16 would equal an integral power of 8. --- end of lesson ๐ฅ ๐ − ๐ฅ over ๐บ๐น(2) - What are the subfields of a given finite field ๐บ๐น(๐), ๐ = ๐ ๐ฅ , ๐ ๐๐๐๐๐. Lemma: ๐ฅ ๐ − 1|๐ฅ ๐ − 1 ⇔ ๐|๐ Proof: Divide = ๐ฅ ๐ − 1 by ๐ฅ ๐ − 1 with remainder (over โค): ๐ฅ ๐ − 1 = (๐ฅ ๐ − 1)(๐ฅ ๐−๐ + ๐ฅ ๐−2๐ + ๐ฅ ๐−3๐ + โฏ + ๐ฅ ๐−๐๐ ) + โ ๐ฅ ๐−๐๐ − 1 ๐๐๐๐๐๐๐๐๐ ๐ is such that ๐๐ ≤ ๐ but (๐ + 1)๐ > ๐. So remainder is 0 ⇔ ๐ = ๐๐ ⇔ ๐|๐ Theorem: ๐บ๐น(๐๐ ) ⊆ ๐บ๐น(๐๐ ) ⇔ ๐|๐ Proof: If ๐|๐ then by the lemma ๐ฅ ๐ − 1|๐ฅ ๐ − 1 So in particular setting ๐ฅ = ๐ we get ๐๐ − 1|๐๐ − 1 Using the lemma again, we get that ๐ฅ ๐ ๐ −1 − 1|๐ฅ ๐ ๐๐ −1 ๐ −1 −1 So all the roots of ๐ฅ − 1 are contained in ๐บ๐น(๐ (which is the set of roots of ๐ฅ ๐ 1) Meaning ๐บ๐น(๐๐ )∗ ⊆ ๐บ๐น(๐๐ )∗ so ๐บ๐น(๐๐ ) ⊆ ๐บ๐น(๐๐ ) Now assume ๐บ๐น(๐ โ ๐ ) ⊆ ๐บ๐น(๐ โ ๐) ๐ฟ ๐ )∗ ๐ −1 − ๐พ So ๐พ is a vector space over ๐ฟ, finite. So of finite dimension, say ๐ over ๐ฟ. |๐ฟ|๐ = |๐พ| So ๐๐๐ = ๐๐ so ๐|๐. Example: ๐ฅ 16 − ๐ฅ ๐ = 4 subfields are of order 2๐ for ๐|4 ๐ = 1, ๐ = 2, ๐ = 4: ๐บ๐น(2), ๐บ๐น(4), ๐บ๐น(16) Note: If ๐บ๐น(๐๐ ) ⊆ ๐บ๐น(๐๐ ), then ๐: ๐บ๐น(๐๐ ) → ๐บ๐น(๐๐ ) is frobenius automorphism ๐ → ๐๐ ๐ Then ๐๐ (๐) = ๐๐ So set if fixed points under ๐ ๐๐ = {๐|๐๐ (๐) = ๐, ๐ ∈ ๐บ๐น(๐๐ )} = {๐ ∈ ๐บ๐น(๐๐ )|๐๐ = ๐} = {๐ ∈ ๐บ๐น(๐๐ )∗ |๐๐ ๐ −1 ๐ 1 = 0} ∪ {0} = set of roots of ๐ฅ ๐ − ๐ฅ in ๐บ๐น(๐๐ ) Note: If ๐น finite field |๐น| = ๐๐ and we look at roots of ๐ฅ ๐ − 1 in ๐น. Then ๐ is a root ⇔ ๐๐ = 1 in ๐น meaning either: ๐ = 0 and ๐ = 1 or ๐|๐๐ − 1. The nontrivial factorizations of polynomials of type ๐ฅ ๐ − 1 are only for ๐|๐๐ − 1 (as if gcd(๐, ๐๐ − 1) = 1 only roots will be 1: (๐ฅ ๐ − 1) = (๐ฅ − 1)(๐ฅ ๐−1 + โฏ )) ๐ In general, we want to factor ๐ฅ ๐ − ๐ฅ or ๐ฅ ๐ ๐ −1 − 1 over ๐บ๐น(๐). ๐ Theorem: over โค⁄๐โค = ๐บ๐น(๐) ๐ฅ ๐ − ๐ฅ is a product of all monic irreducible polynomials over ๐บ๐น(๐) where degree divides ๐ (each one exactly once as roots are distinct!) Example: (๐ฅ 4 + ๐ฅ 3 + 1)(๐ฅ 4 + ๐ฅ + 1)(๐ฅ 4 + ๐ฅ 3 + ๐ฅ 2 + ๐ฅ + 1) ๐ฅ 16 − ๐ฅ = โ ๐ฅ(๐ฅ + 1) (๐ฅ โ 2 + ๐ฅ + 1) โ ๐๐๐๐๐๐ข๐๐๐๐๐ ๐๐ ๐๐๐๐๐๐ 1 ๐๐๐๐๐๐ข๐๐๐๐๐ ๐๐ ๐๐๐๐๐๐ 2 ๐๐๐ ๐๐๐๐๐๐ข๐๐๐๐๐๐ ๐๐ ๐๐๐๐๐ 4 Proof: Suppose ๐(๐ฅ) ∈ โค⁄๐โค [๐ฅ] monic, irreducible of degree ๐ and ๐|๐. Extend ๐บ๐น(๐) to a field containing a root of ๐ denoted ๐ผ. This field will have ๐๐ elements. We know by the last theorem, since ๐|๐ this field is contained in a field of ๐บ๐น(๐๐ ). ๐ ๐ And so satisfies ๐ผ ๐ = ๐ผ. If ๐ผ = 0, ๐(๐ฅ) = ๐ฅ and ๐ฅ|๐ฅ ๐ − ๐ฅ! Otherwise ๐ผ ≠ 0, ๐ผ ๐ ๐ −1 − 1 = 0 so ๐ผ root of ๐ฅ ๐ And so its minimal polynomial ๐(๐ฅ) divides ๐ฅ ๐ −1 ๐๐ −1 −1 ๐ and so ๐ฅ ๐ − ๐ฅ. ๐ Conversely: Suppose now ๐(๐ฅ)|๐ฅ ๐ − ๐ฅ ,monic irreducible and its degree is ๐. If ๐ผ is a root of ๐(๐ฅ), then extending ๐บ๐น(๐) to a field containing ๐ผ we get an extension of dimension ๐ over ๐บ๐น(๐) i.e. a field of order ๐๐ . ๐ So ๐ผ is also a root of ๐ฅ ๐ − ๐ฅ. And so ๐บ๐น(๐๐ ) = ๐บ๐น(๐)(๐ผ) In other words, every element of ๐บ๐น(๐๐ ) is a polynomial in ๐ผ. ๐ ๐ ๐ผ is also a root of ๐ ๐ − ๐ฅ as ๐(๐ฅ)|๐ฅ ๐ − ๐ฅ So ๐ผ ∈ ๐บ๐น(๐๐ ). Giving that ๐บ๐น(๐๐ ) = ๐บ๐น(๐)(๐ผ) ⊆ ๐บ๐น(๐๐ ) But then by the lemma – ๐|๐. Error-Correcting Codes e.g. spellcheck: eleqhant bed bod With binary information – location of an error means we can correct it! (0 ↔ 1) Naïve way: Transmit the same message 3 times and take a majority check. The probability of having an error in exactly the same position twice is very low. Very waistul! We might have a more sophisticated way of doing it… Parity-Check Digit Transmit an extra digit at the end of the message. Send 1 if the message has an odd number of ones. Send 0 if the message has an even number of ones. e.g. message = 10101 โ 0 ๐๐๐๐๐ก๐ฆ If we get a message with an odd number of ones we know there’s an error, but we don’t know where it is. If we get an even number we could have had a double error. But this happens with a relatively low probability. Example: ID with a Sifrat Bikoret 03569657 12121212 0+6+5+3+9+3+5+5=26 10-last digit = 4! Hamming Code (7,4) Locates (and so corrects) single errors. Code words will be of length 7. There will be 4 “information digits” + 3 “redundancy digits”. We call them also parity check digits even though they do not check parity. Assumption: very low probability of double errors. ๐ = probability of error in transmitting a digit. Probability of a correctly transmitted message is (1 − ๐)7 Probability of transmitting exactly one error: 7๐(1 − ๐)6 So if you add them together you get: (1 − ๐)7 + 7๐(1 − ๐)6 If ๐ = 0.1 get 0.853 of a message with ≤ 1 errors. Sending 4 digits (with no redundancy) correctly has probability (1 − ๐)4 If ๐ = 0.1 get 0.6561. So 0.853 is a big improvement of sending only 4 digits and no errors! This is a linear code, ๐. ๐. our code words are elements of a vector space over ๐บ๐น(2): elements of ๐บ๐น(2)7 Subspace of dimension 4. i.e. there are going to be 16 possible code words. (same number of code words in ๐บ๐น(2)4 ) We define our code by giving a basis: 4 vectors of length 7. (in a 4 × 7 matrix). ๐ฃ1 1 0 ๐ฃ2 0 1 ๐ฃ3 0 0 ๐ฃ4 0 0 Suppose we want to transmit 1101? Send instead ๐ฃ1 + ๐ฃ2 + ๐ฃ4 = 1101001 0 0 1 0 0 0 0 1 0 1 1 1 1 0 1 1 1 1 0 1 Big advantage: Efficient decoding and locates ≤ 1 errors. Use an analog to inner product/scalar multiplication. Induced by matrix multiplication over ๐บ๐น(2). [๐ฅ1 7 ๐ฆ1 … ๐ฅ๐ ] [ โฎ ] = ∑ ๐ฅ๐ ๐ฆ๐ (๐๐๐ 2) ๐ฆ๐ ๐=1 It is a bilinear form on ๐บ๐น(2)4 . Decoding: Suppose we receive ๐ฆ ∗ = [1 1 0 1 1 1 ๐ฃ1 + ๐ฃ2 = ๐ฆ = [1 1 0 0 1 1 0] 0] We compute: ๐ฆ∗ โ ๐ = 1 + 1 + 1 = 1 ๐ฆ∗ โ ๐ = 1 + 1 = 0 ๐ฆ∗ โ ๐ = 1 + 1 = 0 The result is sequence 100 Which happens to be the binary representation of 4. And the error is in the fourth digit! If there’s no error, we get 0 ๐ = [0001111] ๐ = [0110011] ๐ = [1010101] Hamming matrix: 1 0 [ 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 1 1 1 1 0 1 1 1 1 ] 0 1 The trick is in fact - Orthogonal complements: Recall: ๐ is a vector space over๐น. ๐ต: ๐ × ๐ → ๐น Is a bilinear form if it is linear in both variables: ๐ต(๐1 ๐ฃ1 + ๐2 ๐ฃ2 , ๐ค) = ๐1 ๐ต(๐ฃ1 , ๐ค) + ๐2 + ๐ต(๐ฃ2 , ๐ค) ๐ต(๐ฃ, ๐1 ๐ค2 + ๐2 ๐ค2 ) = ๐1 ๐ต(๐ฃ, ๐ค) + ๐2 (๐ฃ, ๐ค2 ) And for any subspace ๐ of ๐ we can define ๐ โ⊥ = {๐ค ∈ ๐|๐ต(๐ข, ๐ค) = 0 ๐๐๐ ๐๐๐ ๐ค ∈ ๐} ๐๐๐กโ๐๐๐๐๐๐ ๐ถ๐๐๐๐๐๐๐๐๐ก ๐๐ ๐ ๐ค๐๐ก ๐ต ๐ ⊥ is a subspace of ๐. If ๐น has charactaristics 0 and ๐ต is non-degenerate bilinear form. e.g. If ๐น = โ and ๐ต is dot product. If ๐น = โ and ๐ต is inner product (๐ฃ, ๐ค) = ๐ฃ ๐ โ ๐ค ฬ Then we have that: ๐ ⊕ ๐⊥ = ๐ For ๐ finite dimension. Proof: uses fact that ๐ ∩ ๐ ⊥ = {0} so that the union of base for ๐ and a base for ๐ ⊥ is a base for ๐. In general, for ๐น or characteristic ๐ and arbitrary bilinear form this is not true! e.g. Taking product defined in ๐บ๐น(27 ) can see that [1 to itself! E.g. If ๐ = ๐ ๐๐๐{[1 e.g. 1 0 0 0 0 [0 1 0 0 0 0 0]} then ๐ โ ๐ ⊥ 0 1 1 0 0 0] ∈ ๐ ⊥ \๐ And ๐ ⊥ ≠ ๐บ๐น(2)7 But: dim ๐ + dim ๐ ⊥ = dim ๐ ← proof in Basic Algebra 1 (Jacobson) E.g. dim ๐ ⊥ above will be 6! Take as a basis for ๐ ⊥ : 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 0 0 [1 1 0 0 0 0 0] --- end of lesson 0] is orthogonal The parity check matrix is defined to be a matrix whose columns are a basis for the orthogonal complement of the code. Correcting Errors in linear codes over GF(2) Given a vector which contains errors, we want to correct it to the code word that differs from it in the fewest digits. Define -Hamming distance: ๐(๐ฃ, ๐ค) = # of digits which ๐ฃ and ๐ค differ. e.g. ๐ฃ = (1 0 1 1 0 0 1 1), ๐ค = (0 1 1 1 1 0 1 0) ๐(๐ฃ, ๐ค) = 4 Turns out, that in the hamming code, every 2 words/vectors are at distance ≥ 3. TODO: Draw words in the code in a schematic way Circle of radius 1 around ๐ค = all vectors ๐ฃ such that ๐(๐ค, ๐ฃ) = 1. So any vector with one error can only be corrected in one way o a codeword. General: We can correct ๐ errors if the minimal distance between two code words ≥ 2๐ + 1 Note: In the hamming code we have 16 elements. In the whole space, we have 27 = 128 elements. The elements at distance exactly 1 from a codeword = 7 โ 16. So in fact, every element in the space is either in the code or at distance 1 from a codeword as 7 โ 16 + 16 = 128. BCH Code Bose-Chandhuri-Hocquenghem Double error correcting code that uses ๐บ๐น(16) and has a nice decoding algorithm similar to that of the hamming code. Construct by starting with the parity check matrix ๐ป (and then the code will be orthogonal complement of its rows). The elements will be vectors in ๐บ๐น(2)15 (need minimal hamming distance to be at least 5!) ๐บ๐น(16)∗ = {1, ๐ผ, … , ๐ผ 14 } where ๐ผ is the root of ๐ฅ 4 + ๐ฅ 3 + 1 over ๐บ๐น(2). Use: representation of ๐บ๐น(16) as vectors over ๐บ๐น(2) of length 4. Form of ๐ป is going to be as follows: 8 × 15 matrix over ๐บ๐น(2) ๐ ๐ป=[ 1 ๐1 4 Where ๐๐ , ๐๐ ∈ ๐บ๐น(2) row vectors. We think of also as elements of ๐บ๐น(16). ๐2 ๐2 … ๐15 ] … ๐15 Take ๐๐ = vector of length 4 corresponding to ๐ผ ๐−1 in the table. So we have 1, ๐ผ, … , ๐ผ 14 in the top half of the matrix. ๐๐ ’s will be defined later… We want: If ๐ฅ = (๐ฅ1 … ๐ฅ 15 ) codeword, we want: (1) ๐ป โ ๐ฅ ๐ = 0 ⇔ ๐ฅ in code (2) If ๐ฅ has at most 2 errors, want it to detect by multiplication by ๐ป. Suppose ๐ฅ has exactly 2 errors in positions ๐ and ๐. Then we can write: ๐ฅ = ๐ฅ๐ + ๐๐ + ๐๐ And then: ๐๐ + ๐๐ ๐ป โ ๐ฅ = ๐ป๐ฅ + ๐ป๐๐ + ๐ป๐๐ = ๐ป๐๐ + ๐ป๐๐ = ( ) ๐๐ + ๐๐ So we want to choose the ๐๐ ’s so we can recover from this vector. ๐ Bad choice: ๐๐ = ๐๐ . Get ๐ป๐ฅ = ( ) - in this case we cannot recover ๐ and ๐. ๐ 1 1 1 0 0 0 0 0 1 1 If ๐ = ( ). We could have had: ( ) + ( ) But also: ( ) + ( ) And a lot of other 0 0 0 1 1 โ โ โ โ 1 1 0 1 0 ๐1 ๐4 ๐8 ๐0 possibilities. Another bad choice: define ๐๐ = (๐๐ )2 (thinking of ๐๐ as an element of ๐บ๐น(16) so that ๐๐ corresponding to ๐ผ 2๐−2 So we should then get: ๐๐ + ๐๐ ๐๐ + ๐๐ ๐ ๐ป๐ฅ = ( 2 = ) ( 2) = ( 2) ๐๐ + ๐๐2 ๐ (๐๐ + ๐๐ ) If you square you get the same thing…. Definition: Take ๐๐ = ๐๐3. ( ๐๐ + ๐๐ ๐๐3 + ๐๐3 ๐ ) = ( ) want to show ๐ and ๐ determined uniquely and how to find them. ๐ ๐ = ๐๐3 + ๐๐3 = (๐๐ + ๐๐ )(๐๐2 + ๐๐ ๐๐ + ๐๐2 ) = ๐(๐๐2 + ๐๐ ๐๐ + ๐๐2 ) = ๐(๐ 2 + ๐๐ ๐๐ ) (regarding the elements of ๐บ๐น(16)) We first assume we have exactly 2 errors. So ๐ ≠ ๐ and ๐ ≠ 0. Get ๐๐ −1 + ๐ 2 = ๐๐ ๐๐ So ๐๐ and ๐๐ are roots in ๐บ๐น(16) of the quadratic equation: (๐ฅ − ๐๐ )(๐ฅ − ๐๐ ) = ๐ฅ 2 − (๐๐ + ๐๐ )๐ฅ + ๐๐ ๐๐ = ๐ฅ 2 − ๐๐ฅ + ๐๐ −1 + ๐ 2 So given ๐ and ๐, construct this polynomial. ๐๐ and ๐๐ are its unique solutions (in the field ๐บ๐น(16)). For convenience write: ๐ป ′ = ๐ป with ๐ผ notation. 2 14 ๐ป ′ = [1 ๐ผ3 ๐ผ 6 … ๐ผ 12 ] 1 ๐ผ ๐ผ … ๐ผ Suppose ๐ฆ is a received message with errors in positions ๐ and ๐. ๐−1 ๐−1 5 And suppose ๐ป ′ ๐ฆ = ( ๐ผ3๐−3 + ๐ผ 3๐−3 ) = (๐ผ 7 ) ๐ผ ๐ผ +๐ผ 1 0 1 1 Equivalently: ๐ป โ ๐ฆ = polynomial will be: ๐ฅ 2 + ๐ผ 5 ๐ฅ + ๐ผ 8 0 1 1 (1) Since: ๐๐ −1 + ๐ 2 = ๐ผ 7 โ ๐ผ −5 + ๐ผ 10 = ๐ผ 2 + ๐ผ 10 = ๐ผ 3 Need ๐ and ๐ such that: ๐ผ ๐−1 + ๐ผ ๐−1 = ๐ผ 5 and ๐ผ ๐−1 โ ๐ผ ๐−1 = ๐ผ 8 ๐ + ๐ − 2 ≡ 8(๐๐๐ 15) ๐ + ๐ ≡ 10 (๐๐๐ 15) Checking possibilities: Get only ๐ = 3, ๐ = 7 satisfies ๐ผ ๐−1 + ๐ผ ๐−1 = ๐ผ 5 as well. Note: If the quadratic polynomial has no roots, then it cannot result from a double error. Meaning in fact that some triple errors are detectable but not correctable. Single errors are also correctable using ๐ป: ๐ It is the only case where we get a vector of the form: ( 3 ) and then determine ๐๐ = ๐ by ๐ checking. So the polynomial will be ๐ฅ(๐ฅ − ๐). We want to determine the dimension of the code and how to calculate a matrix for the code. Claim: ๐๐๐๐๐ป = 8 Conclusion: dim ๐๐๐๐ = 7 We shall show, that the first eight columns are linearly independent. ๐๐ 0 Suppose ∑8๐=1 ๐๐ ( 3 ) = ( ) and ๐๐ ∈ ๐บ๐น(2) ๐๐ 0 ๐−1 ๐ Then we also get ∑8๐=1 ๐๐ ( ๐ผ3๐−3 ) = 0 ⇒ ∑7๐=0 ๐๐+1 ( ๐ผ3๐ ) = 0 ⇔ ๐ผ ๐ผ 7 7 ๐ 3๐ ∑๐=0 ๐๐+1 ๐ผ = 0 and ∑๐=0 ๐๐+1 ๐ผ = 0 Look at the polynomial ∑7๐=0 ๐๐+1 ๐ฅ ๐ = 0 over ๐บ๐น(2) And ๐ผ and ๐ผ 3 are both roots. So their minimal polynomials both divide ∑7๐=0 ๐๐+1 ๐ฅ ๐ 7 4 3 ๐ฅ + ๐ฅ + 1, 4 3 2 ๐ฅ + ๐ฅ + ๐ฅ + ๐ฅ + 1| ∑ ๐๐+1 ๐ฅ ๐ ๐=0 The product (๐ฅ 4 + ๐ฅ 3 + 1)(๐ฅ 4 + ๐ฅ 3 + ๐ฅ 2 + ๐ฅ + 1) which is a polynomial of degree 8 divides ∑7๐=0 ๐๐+1 ๐ฅ ๐ which is of degree less or equal to 7! So ∑7๐=0 ๐๐+1 ๐ฅ ๐ is the zero polynomial! Therefore all coefficients are zero and therefore linearly independent. Thus are also a basis for our vector space. We construct ๐ถ = matrix for the code. ๐ป will be of the form: 7 × 15 Where the first 8 columns are are the redundancy digits and the last 7 columns are the information digits. 7 ๐ผ 1 Take ( ) , ( 3 ) , … , ( ๐ผ21 ) first 8 columns of ๐ป ′ . ๐ผ 1 ๐ผ 8 ๐ ๐ผ The 9’th column ( 24 ) is a linear combination of the first 8 columns: ∑7๐=0 ๐ ๐ ( ๐ผ3๐ ) ๐ผ ๐ผ So the row vector (๐ 0 ๐ 1 … ๐ 7 1 0 … 0) orthogonal to all rows of ๐ป ′ and ๐ป! Take as the first row of ๐. 9 Similarly, column 10: ( ๐ผ27 ) = linear combination of 8 columns of ๐ป ′ . ๐ผ 7 9 1 ๐ผ ๐ก0 ( ) + โฏ + ๐ก7 ( 21 ) = ( ๐ผ27 ) 1 ๐ผ ๐ผ So 7 9 1 0 ๐ก0 ( ) + โฏ + ๐ก7 ( ๐ผ21 ) + ( ๐ผ27 ) = ( ) 1 0 ๐ผ ๐ผ So take the vector (๐ก0 … ๐ก7 0 1 0 … 0) orthogonal to rows of ๐ป ′ take to be row 2 of ๐ถ etc.