Queria saber como verifica que é ideal: a) {0,2,4} no anel Z6?
o seis é baixo do Z
eu não sei como provar isso {0, 2 , 4} tem barra em cima dos números?
Eu sei para ser um ideal
Seja A um anel comutativo. Dizemos que um subconjunto I C A , I diferente de vazio, é um ideal em A se , e somente se,
1 se (para todo x,y) (x,y pertence I então x-y pertence I)
2 Se (Para todo a, x) (a pertence A e x pertence I somente ax pertence I)

![\frac{\sqrt[]{\sqrt[4]{8}+\sqrt[]{\sqrt[]{2}-1}}-\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}-1}}}{\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}+1}}} \frac{\sqrt[]{\sqrt[4]{8}+\sqrt[]{\sqrt[]{2}-1}}-\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}-1}}}{\sqrt[]{\sqrt[4]{8}-\sqrt[]{\sqrt[]{2}+1}}}](/latexrender/pictures/981987c7bcdf9f8f498ca4605785636a.png)
e elevar ao quadrado os dois lados)