Chapter 1 Flashcards

1
Q

Fundamental Theorem of Arithmetic

A

Let n≥1 be a natural number. Then the following hold.

(1) n can be written as a product of its primes n = p₁p₂…pₙ
(2) This factorisation is unique

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

Gaussian Integer

A

A complex number whose real and imaginary parts are both integers
ℤ[i] = {a+bi | a,b∈ℤ}

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

Theorem I.2.1 (factors of primes)

A

Suppose p is prime and a,b∈ℤ if p|ab then p|a or p|b

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

Corollary of Theorem I.2.1

A

Suppose p is prime and a₁,a₂,…,aₙ∈ℤ if p|a₁a₂…aₙ then there exists i such that p|aᵢ

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

Euclidean Algorithm on a,b

A
  1. divide a by b. a = cb + r
  2. We know hcf(a,b)=hcf(b,r)
  3. repeat with b and r until no remainder
How well did you know this?
1
Not at all
2
3
4
5
Perfectly
6
Q

Bezouts Lemma

A

if h = hcf(a,b) then there exists x,y∈ℤ s.t. h=ax+yb

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

Division Theorem

A

Let a and d be natural numbers. Then there are integers q and r such that

a= qd+r

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

does an analogue of the FTA hold for gaussian integers?

A

yes

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

ring

A

A set R of complex numbers is a ring if

(i) x+y, x-y, xy ∈R for all x,y∈R
(ii) 0,1∈R

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

a is a factor of b in R (definition)

A

Let a,b∈R. We say that a is a factor of b in R, a|b, if there exists z∈R s.t. b=az

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

a|b <=>

A

b/a∈R

b=az

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

does a|0 ?

A

true

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

if 0|a then

A

a=0

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

does 1|a

A

true always

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

Lemma I.4.1 (factors in rings)

A

Suppose that R is a ring and that a,b,c∈R. If a|b and a|c then a|(b+c).

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

unit

A

An element u of a ring R is a unit in R if u|1 in R. That is if 1/u ∈ R.

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

what is always a unit and never a unit?

A

1 is always a unit

0 is never a unit

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

Is it always possible to divide by a unit?

A

yes. x/u = x * 1/u ∈ R

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

units of ℤ

A

1 -1

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

units of the rationals

A

every non-zero element of the rationals is a unit

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

units of ℤ[i]

A

1,-1,i,-i

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

associate

A

Let x be an element of a ring R. The associates of x are the elements ux where u is a unit of R.

23
Q

Associate rules:

A
  1. x is always an associate of itself
  2. if x is an associate of y then y is an associate of x
  3. if x is an associate of y and y is an associate of z then x is an associate of z
    i. e. associate is an equivalence relation
24
Q

equivalence relation

A

a~a (reflexive)
if a~b then b~a (symmetric)
if a~b and b~c then a~c (transitive)

25
Q

Lemma I.6.1 (factors and associates)

A

Suppose that a,b,a’,b’ are members of a ring R with a’ an associate of a and b’ an associate of b. Then a|b => a’|b’

26
Q

Lemma I.7.1 (factors of x)

A

suppose that x is an element of a ring R. Then each unit of R and each associate of x is a factor of x.

27
Q

irreducible

A

A non-zero non-unit element of a ring R is irreducible in R if the only factors of x in R are the associates of x and the units of R

28
Q

irreducibles in ℤ

A

the prime numbers and their negatives

29
Q

if x if irreducible then…

A

all of its associates are irreducible

30
Q

Are 0 and units of R irreducible?

A

no

31
Q

The norm of α

A

N(α)=αα*

32
Q

for ℤ[i] N(α) is given by

A

N(α) = a² + b²

33
Q

N(α)=0 <=> α=0

A

true

34
Q

Lemma I.8.1 (rules for norms)

A

Let α,β∈ℤ[i]. Then the following hold.

(i) α|β in ℤ[i] => N(α)|N(β) in ℤ
(ii) if α is a unit <=> N(α)=1
(iii) N(α) is irreducible in ℤ => α is irreducible in ℤ[i]

35
Q

Lemma I.8.2 (units of ℤ[i])

A

The units of ℤ[i] are 1,-1,i and -i

36
Q

How to determine the factors of n in a ring R=ℤ[i]

A
  1. suppose α|n then there exists β∈ℤ[i] s.t. n=αβ
  2. N(n) = N(αβ) = N(α)N(β). since the norms are non-negative integers we have the following (however many factors N(n) has) cases
  3. N(α) = 1 => α is a unit
  4. N(α) = (factor of n). Write, α= a+bi a,b∈ℤ. Then, a²+b²=n. Since a,b∈ℤ we can extract the possibilities for (a,b). Check which of these are actually factors. by checking n/(a+bi)∈ℤ[i]. If it is a factor then all of its associates are factors.
  5. N(α) = (partner factor of n). => N(β) = (factor of n) => β = associate of the factors calculated above => α is an associate of n/β
  6. N(α) = N(n). Then N(β) = 1 => β is a unit => α is an associate of n
37
Q

Euclidean Ring

A

A ring R of complex numbers is a Euclidean Ring (ER) if

(i) |a|²∈ℤ for all a∈R
(ii) given any fraction of the form z=a/d with a,d∈R, d not 0. Then there exists a q∈R s.t. |z-q|²<1
i. e. z has distance less than 1 some some member of R

38
Q

Theorem I.9.1 . example of a ER (1)

A

The ring ℤ is a ER

39
Q

Theorem I.9.2 example of a ER (2)

A

The ring ℤ[i] is a ER

40
Q

Lemma I.9.3. units in ER.

A

Let R be a euclidean ring. Let d∈R and suppose |d|²=1. The d is a unit.

41
Q

Theorem I.9.4. Analogue of FTA in ER.

A

Let R be a ER and a∈R. We suppose that a is non-zero non-unit. The a is a product of irreducibles.

42
Q

Highest Common Factor in a Ring

A

Let R be a ring and a,b∈R. A highest common factor is an element h∈R with the properties
(i) h|a, h|b
(ii) for each c∈R if c\a and c\b then c|h
HCF(a,b) denotes the set of all highest common factors

43
Q

Highest Common Factor in a Ring (described)

A

h is a common factor of a and b where every common factor of a and b is a factor of h. The highest common factor is the set of all these h’s.

44
Q

If h is a common factor then what do we know about other common factors

A

any associates of h are also common factors

45
Q

Can HCF(a,b) be empty?

A

yes (except in the integers)

46
Q

How to find HCF(a,b)

A
  1. find all the common factors of a and b
  2. for each number:
    - check if its divisible by all the other values: if its not then don’t add to HCF(a,b), if it is do add to HCF(a,b)
47
Q

Theorem I.10.1. The Euclidean Algorithm in a ER

A

Let R be a Euclidean ring and let a,b be non-zero elements of R. Then:

(i) the numbers a and b have a HCF (i.e. the HCF is non-empty)
(ii) if h is a HCF of a and b then there exists x,y∈R such that h = xa + yb

48
Q

Prime

A

Let R be a ring. A non-zero non-unit element p∈R is prime if for all a,b∈R we have that p|ab => p|a or p|b

49
Q

Lemma I.11.1. induction of definition of p.

A

Let p∈R be a prime. If a₁,a₂,…,aₙ∈R and p|a₁a₂…a then there exists an i s.t. p|aᵢ

50
Q

Lemma I.11.2. prime/irreducible.

A

Let p∈R be prime. Then p is irreducible.

51
Q

Theorem I.11.3

A

Let p be an element of a Euclidean ring R. Then,

p is irreducible <=> p is prime

52
Q

Unique Factorisation Domain (UFD)

A

A UFD is a ring R with the property that for each a∈R with a a non-zero non-unit

(i) There is exists irreducibles p₁, … , pₙ s.t. a=p₁…pₙ
(ii) If q₁,…,qₘ are also irreducibles with a = q₁…qₘ then m=n and there is a 1-1 correspondence between the ps and the qs s.t. corresponding numbers are associate.

53
Q

Theorem I.12.1. ERs and UFDs

A

A Euclidean Ring is a unique factorisation domain

54
Q

Lemma (after ER => UFD)

A

Let R be a ER and n∈ℕ and suppose that p₁,…,pₙ are irreducibles in R, Suppose that q₁,…,qₘ are irreducibles and u is a unit such that p₁…pₙ=uq₁…qₘ. Then n=m and there is a bijection σ: {1,…,n}->{1,…,m} such that for all 1≤i≤n pᵢ is associate to q_σ₍ᵢ₎