# Euclidean Domains and PIDS

Please help with the following problem.

Show that the ring Z[i] = Z[x] / (x^2 + 1) is a Euclidean Domain, under N(n+mi) = n^2 + m^2. Then, conclude that Z[i] is a Principal Ideal Domain.

© BrainMass Inc. brainmass.com June 4, 2020, 2:40 am ad1c9bdddfhttps://brainmass.com/business/business-math/euclidean-domains-and-pids-473472

#### Solution Preview

Problem: Show that the ring Z[i] = Z[x] / (x^2 + 1) is a Euclidean Domain, under N(n+mi) = n^2 + m^2. Then, conclude that Z[i] is a Principal Ideal Domain.

Solution:

See two attachments for full workings of the solution.

Consider the multiples of a Gaussian integer z=k+mi. We have

(k+mi)(l+ni)=(kl-mn)+(kn+lm)i (1)

Let us consider the following particular cases:

l=1. In that case the right-hand ...

#### Solution Summary

This solution discusses Euclidean domains and principal ideal domains. Step by step calculations are provided.

$2.19