Defined Irreducibility Criterion
Defined Eisenstein Irreducibility Criterion
UFDs and Polynomials
Defined Irreducible
Defined Unique Factorization Domain
Remark
(or ) (because ).
Corollary of Remark
. We want , and . Say…
a,b,c,d∈Z (or R) a+bi3=c+di3⟺a=c,b=d (because i3∈R).
2=(a+bi3)(i±i3)=a∓3b)+(±a+b)i3. We want a∓3b=2, and ±a+b=0. Say…