We can clearly see that
First let's prove that they are irreducible.
We can view elements of as complex numbers (obviously) and thus we know that if we have and as the last expression is an equation in we can easily conclude that either or and thus we have and is irreducible.
Now let's prove that are irreducible. By the same argument of absolute values in we find that and same for . Therefore they are also irreducible.
In addition, while proving this we have studied all unit elements : and so and are not associated. Thus we conclude that is not a unique factorization domain.
Comments