Ideal in Ring

Historical Background:

Ideal (理想) was a by-product by mathematicians in the 350-year proof of the 17CE Fermat’s Last Theorem, wherein they found a violation of the existing “Fundemental Law of Arithmetic” (Unique Prime Factorization) . Since it is a Law, there must be an alternative ideal number to satisfy it, hence the birth of the “Ideal”.

Read here: the raison d’être of Ideal : What is an Ideal ?

Note:

Why Integer (Z) is called “Ring” (Dedekind coined it using the German word “Der Ring”) ? because
{1, 2, … , 11, 12 = 0} is clock number “Z/12Z” like a Ring-shaped Clock 🕜

Application:

The ancient “Chinese Remainder Theorem” (aka 韩信点兵 ) since 200 BCE is explained by 19CE Ideal Theory.

[Solve] : “The Problem of 6 Professors”

Ideal = “Whatever inside multiplies outside, still comes back inside.”

…

Ring Examples:

1. Integers Z
2. Polynomial with coefficients in Real number , or Complex number, or Matrix (yes!)
3. Infinite Ring
4. Finite Ring (Z/nZ )
5. Z/pZ = Field (p is prime)

Reference:

33 short videos on the scariest Math subject in universities (France, USA, China, Singapore,… ) “Abstract Algebra” made simple by this charming lecturer.

Proofs of Isomorphism

Two ways to prove f is Isomorphism:

1) By definition:
f is Homomorphism + f bijective (= surjective + injective)

2) f is homomorphism + f has inverse map

Note: The kernel of a map (homomorphism) is the Ideal of a ring.

Two ways to construct an Ideal:
1) use Kernel of the map
2) by the generators of the map.

Two ways to prove Injective:

1) By definition of Injective Map:
f(x) = f(y)
prove x= y

2) By Kernel of homomorphism:
If f is homomorphism

Prove Ker f = {0}

Note: Lemma:

Proof Isomorphism 4 Steps:
1. Define function f：S -> T
Dom(f) = S
2. Show f is 1 to 1(injective)
3. Show f is onto (surjective)
4. Show f(a*b) = f(a). f(b)

Example:
Let T = even Z
Prove (Z,+) and (T,+) isomorphic
Proof:
1. Define f: Z -> T by
f(a) = 2a
2. f(a)=f(b)
2a=2b
a=b
=> f injective

3. Suppose b is any even Z
then a= b/2 ∈ Z and
f(a)=f(b/2)=2(b/2)=b
=> f onto

4. f(a+b) =2(a+b) =2a+2b =f(a)+f(b)
Hence (Z,+) ≌ (T,+)

Isomorphism (≌)
1. To prove G not isomorphic to H:
=> Prove |G| ≠ |H|

2. Isomorphism class = Equivalence Class
B’cos “≌” is an Equivalence relation.

3. Properties of Isomorphism (≌):
i) match e

ii) match inverse

iii) match power

Artin Field Extension

Emile Artin’s very unique book “Galois Theory” (1971) on “Finite Field Extension” interpreted by Vector Space.

Let H a Field with subfield G
F is G’s subfield:
H ⊃ G ⊃ F

Example:
Let
F = Q = Rational Field
G = Q(√2) = Larger Extended Field Q with irrational root √2
H = Q(√2, √3) = Largest Extended Field Q with irrational roots (√2 & 3)

{1, √2} forms basis of Q(√2) over Q

{1, √3} basis of Q(√2, √3) over Q(√2)
[since √3 ≠ p+ q√2 , ∀p,q ∈ Q]

=> {1,√2, √3, √6} basis of Q(√2, √3) over Q
=> Q(√2, √3) is a 4-dimensional Vector Space over Q.

Isomorphism (≌)

Q(√2) ≌ Q[x] / {x² – 2}

Read as:

Q(√2) isomorphic to the quotient of the Polynomial ring Q[x] modulo the Principal Ideal {x² – 2}

Q[x] the Polynomial Ring

{x² – 2} is the Principal Ideal

Complex Number (C)

C = R[x] / {x² + 1}

R[x] the Polynomial Ring with coefficients in the Field R

{x² + 1} is the Principal Ideal

Questions:

Since R[x] / {x² + 1} is the Field C

Why below are not Fields ?
R[x] / {x³ + 1}
R[x] / {x^4 + 1}
C[x] / {x² + 1}

Hint: they are not irreducible in that particular Field, not a Principal Ideal.

Note: C[x] the Polynomial Ring with coefficients in the Field C

What is Ideal ?

Anything inside x outside still comes back inside

=> Zero x Anything = Zero

=> Even x Anything = Even

Mathematically,

1. nZ is an Ideal, represented by (n)

Eg. Even subring (2Z) x anything big Ring Z = 2Z = Even

2. (football) Field F is ‘sooo BIG’ that

(inside = outside)

=> Field has NO Ideal (except trivial 0 and F)

Why was Ideal invented ? because of ‘failure” of UNIQUE Primes Factorization” for this case (example):

6 = 2 x 3
but also

=> two factorizations !
=> violates the Fundamental Law of Arithmetic which says UNIQUE Prime Factorization

Unique Prime factors exist called Ideal Primes: , ,

Greatest Common Divisor (gcd or H.C.F.):
For n,m in Z
gcd (a,b)= ma+nb
Example: gcd(6,8) = (-1).6+(1).8=2
(m=-1, n=-1)

Dedekind’s Ideals (Ij):
6 =2×3= u.v =I1.I2.I3.I4 ;

Let gcd(2,u) = 2M+N.u
M,N in form of

1. Principal Ideals:
2M = (2) = multiple of 2

2. Ideals (nonPrincipal) = 2M+N.u

3. Ideal prime factors: 6=2 x 3=u.v
Let
I1= gcd(2, u)
I2=gcd(2, v)
I3=gcd(3, u)
I4=gcd(3, v)
Easy to verify (by definition):
I1.I2=(2)
I3.I4=(3)
I1.I3=(u)
I1.I4=(v)
=> Ij are prime & unique factors of 6=I1.I2.I3.I4
=> Fundamental Law of Arithmetic satisfied!

=>Ij “Ideal“-ly exist! hidden behind ‘compound’ (2,3,u,v) !

Verify : gcd(2, 1+√-5).gcd(2, 1-√-5)=(2) ?

Proof by definition:

[2m+n(1+√-5)][2m’+n'(1-√-5)]
=[2m+n+n√-5 ][2m’+n’-n’√-5]
= 4mm’+2mn’+2nm’+6nn’
= 2(2mm’+mn’+m’n+3nn’)
= 2M
= 2 multiples
= (2) = Principal Ideal

Chinese Remainder Theorem 中国剩余定理

中国剩余定理CRT (Chinese Remainder Theorem)
X ≡ 2 (mod 3)
X ≡ 3 (mod 5)
X ≡ 2 (mod 7)
Solve X?
明. 程大位 “算法统宗” (1593)
3人同行70稀
5树梅花21支
7子团圆半个月(15)
除百零五(105)便得知
Let remainders:


r= 2.70 +3.21 +2.15 (mod 105)
r= 140 +63 +30 (mod 105)
r= 233 (mod 105)

or X= 23 +105Z (23 + multiples of 105)

——————————————-
CRT: Why 3:70, 5:21, 7:15
X ≡ 2 (mod 3)
X ≡ 3 (mod 5)
X ≡ 2 (mod 7)

1) Find A such that
A ≡ 1 (mod 3)
A ≡ 0 (mod 5)
A ≡ 0 (mod 7)

=> 5|A, 7|A => 35 |A

A=35, 70 …

70 ≡ 1 (mod 3)

=> 70×2 ≡ 2 (mod 3)

2) Find B s.t.:

B ≡ 0 (mod 3)

B ≡ 1 (mod 5)

B ≡ 0 (mod 7)

3|B, 7|B => 21|B

21 ≡ 1 (mod 5)

=> 21×3 ≡ 3 (mod 5)

3) Find C s.t. :

C ≡ 0 (mod 3)

C ≡ 0 (mod 5)

C ≡ 1 (mod 7)

=> 3|C, 5|C => 15|C

=> C=15≡ 1 (mod 7)

15×2 ≡ 2 (mod 7)

4)

X ≡ 70×2 +21×3+ 15×2 (mod 3x5x7)

X≡ 233 (mod 105)

X≡ 23 (mod 105)

X= 23+105Z

—————-Ring Theory ——————————-
Commutative Ring CRT by Ring/ Ideal Theory:
If R is a commutative ring & A1,…An are pairwise coprime ideals,
Prove that if
belong to R
Then there exists ‘a’ belongs to R with
; j ∈[1,n]
Interpretation:
Let R= Z ring
X ≡ 2 (mod 3)
X ≡ 3 (mod 5)
X ≡ 2 (mod 7)
Or
X ≡ rj (mod mj)

Ideal = (m) = mZ


There exists
a=23

23+(3)= 2+ (3)
23 + 1×3 =2 + 8×3 =26