\(\mathbb{Z}\left[i\sqrt{5}\right]\)
Depois de ver a generalização
do algoritmo da divisão e do algoritmo de Euclides a \(\mathbb{Z}\left[i\right]\)
e a \(\mathbb{Z}\left[\sqrt{2}\right]\),
pode-se pensar em generalizar a outros casos. Por exemplo pode-se fazer
o mesmo em \(\mathbb{Z}\left[\sqrt{3}\right]\)?
\(\mathbb{Z}\left[i\sqrt{2}\right]\)?
A resposta é sim:
em \(\mathbb{Z}\left[\sqrt{3}\right]\)
pode-se definir \(v\left(a+b\sqrt{3}\right)=\left|a^{2}-3b^{2}\right|\),
em \(\mathbb{Z}\left[i\sqrt{2}\right]\)
pode-se definir \(v\left(a+bi\sqrt{2}\right)=a^{2}+2b^{2}\)
e as coisas passam-se de maneira muito parecida. Então pode-se
fazer o mesmo em \(\mathbb{Z}\left[\sqrt{n}\right]\)
e \(\mathbb{Z}\left[i\sqrt{n}\right]\),
para qualquer inteiro positivo \(n\)?
Aqui a reposta é
não; é bastante fácil ver por que é que fazendo
as coisas da mesma maneira elas não
funcionam, mas é menos fácil ter a certeza
que não há nenhuma maneira de as fazer funcionar.
Concretamente, é
fácil ver que uma certa função \(v\)
não dá um algoritmo de divisão, mas é mais difícil
justificar por que é que não existe nenhuma função
\(v\)
que dê um algoritmo de divisão.
Aqui vamos só ver
uma ideia dessa justificação no caso de \(\mathbb{Z}\left[i\sqrt{5}\right]\).
Se houvesse um algoritmo
de divisão em \(\mathbb{Z}\left[i\sqrt{5}\right]\)
,
então também haveria o algoritmo de Euclides para esse algoritmo
de divisão. Mas então quaisquer dois elementos de \(\mathbb{Z}\left[i\sqrt{5}\right]\)
teriam máximo divisor comum (no
sentido de um divisor comum que é múltiplo de todos os
outros).
Mas \(6\)
e \(2+2i\sqrt{5}\)
não têm \(m.d.c.\)
Os divisores
de \(6\)
em \(\mathbb{Z}\left[i\sqrt{5}\right]\) são: \[\begin{array}{c}
1,2,3,6,1+i\sqrt{5},1-i\sqrt{5},\\
-1,-2,-3,-6,-1-i\sqrt{5},-1+i\sqrt{5}
\end{array}.\]
Os divisores
de \(2+2i\sqrt{5}\)
em \(\mathbb{Z}\left[i\sqrt{5}\right]\)
são: \[\begin{array}{c}
1,2,1+i\sqrt{5},2+2i\sqrt{5},\\
-1,-2,-1-i\sqrt{5},-2-2i\sqrt{5}
\end{array}.\]
Então os divisores comuns de \(6\) e \(2+2i\sqrt{5}\) são: \[1,2,1+i\sqrt{5},-1,-2,-1-i\sqrt{5}\] e nenhum deles é múltiplo dos outros (todos).