Chapter 5 Flashcards
Lemma V.2.1 irreducibles in the gaussian integers
Suppose that p is an integer, p>0 is irreducible.
(i) if p=2 then p is an associate to (1+i)² and (1+i) is irreducible in the gaussian integers
(ii) if p≡3mod4 then p is irreducible in the gaussian integers
(iii) if p≡1mod4 then p is not irreducible in the gaussian integers and p = aa* for some irreducible a in the gaussian integers. Moreover, N(a)=p.
The list of irreducibles in the gaussian integers (L)
- The associates of 1+i
- The associates of p where p is is a positive irreducible in the integers and p≡3mod4
- The irreducible factors of p where p is a positive irreducible in the integers with p≡1mod4
Theorem V.2.2 L is complete
L is a complete list of the irreducibles in the gaussian integers
Theorem V.3.1 (fermats theorem)
n is a sum of two squares iff each βᵢ is even
We can write n as
n = 2^α₀p₁^α₁ …pᵣ^αᵣq₁^β₁…qₜ^βₜ
where the ps are distinct primes congruent to 1 mod4 and the qs are distinct primes congruent to 3mod4