Ciao Giulialg88
Vediamo come risolvere: per prima cosa ci interessa dare un volto agli elementi del sottoinsieme

, che è l'insieme dei polinomi di
![maathbbZ_3[X]](data:image/gif;base64,R0lGODlhKwATAIQAAP///wAAAMDAwICAgKCgoFBQUEBAQLCwsNDQ0BAQEPDw8DAwMGBgYCAgIHBwcJCQkODg4AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACH5BAEAAAAALAAAAAArABMAAAX0ICCOZFkihkGY7OikozDM9LCycgnVkEjQPYBhVDAcRoQAopUzGZQjReImGlZJiADV1CwdtK4lyXoQjBCJQUvULTUaPvGYHV0w1mw16xEQHORzJQsLeHktCgELRyxWIwwLCoUAbSUMAZGMJAMJgGuUZwMBDy2NSXI3Mw4MmJN6J6MLcJkAWVtqAgkiDKOGOg4+AYslQ2iuAARmtFXClAq8AFIFjAp2WLJ5W20KvySWQWMLATVPdyQKBnJNAgwJDcnH4QXGQoUKQQPSvZJOhQPlqjHm7buCR8GAAwcMsPo0sBEeBO/YMBDwbR9EQgN1zIgo6ceAEAA7)
con derivata identicamente nulla su

.
Chiediamo quindi che
Notiamo che, essendo in
perché è naturalmente divisibile per

. Scriviamo per esteso le possibili valutazioni del polinomio

in
![Z_3[X]](data:image/gif;base64,R0lGODlhLAATAIQAAP///wAAALCwsICAgODg4EBAQDAwMGBgYKCgoMDAwHBwcPDw8BAQEFBQUNDQ0JCQkCAgIAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACH5BAEAAAAALAAAAAAsABMAAAX+ICCOZGk6RYGY7KikgDDMNE20QDKURH0DCJuoACgYDohEQqEQGBY4HasQcIwWjNWIyBBciYoELrczCQJagMJKIjZIB8dyTG5BICIEu11aLgpQY1IsDwEJAnt8XwsDYnSDJgsBBl5TJGEOb3R1LQcBgSZEInOAm5wnAwEPLaJFjJUiNzMKB6CQJA6rBniWAAMCBJoifwkMIgero2UkBAp5AbB8mQANPyIKO2wFsLcAC8neDMJ8gA/gCwoGyTppp97OcAHWWwIQBQwpKQEMEI7eBXsGJTjAzx8CAwEaLBuyacGPAcK6mWJIZ8CBaxeVTQzV8JeAUho3Ktokp8+BBPMNSCYwIJLHDH+mggwIAQA7)
e imponiamo che siano nulle:
Ne ricaviamo

, quindi tutti e soli i polinomi di

sono della forma

con

.
Possiamo elencare tutti i polinomi di

:
Per quanto riguarda gli elementi divisibili per

, o per

o per

è sufficiente fare riferimento al criterio "radice-divisore":
![p∈ K[X]](data:image/gif;base64,R0lGODlhRwATAIQAAP///wAAALCwsKCgoPDw8MDAwBAQEHBwcODg4CAgIICAgGBgYNDQ0FBQUJCQkEBAQDAwMAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACH5BAEAAAAALAAAAABHABMAAAX+ICCOZGmeaCoyzzOo59HCdMooOF4Ad74XihIip0CIBjmj6FFrlggCSAEiMBIai8TACDw9AowRwfAiMZ3oJeAsOiwIo65JECgDDuESGz1o+e16ayMDCyVyJgkJR3mBaAQuTUxnC0GGlSYOAQUCjI0CAwIEoDsnDZ0wkgALe3GXTwFUKUxQBQYCbaQkCIVOkgsOCoAihyYLAXAoTFsDiiI4mLe9a26qucOuJDcBDrIjC7yq2AAKEH7mwiOpSI+dxCMM3BDNXiNa9egD6CqpqgOPyADcAUBw4EiAaCbOIAighME8Eo/Q8ANgikWrJ9xEjGmQzCAyUyiCSWPzTwAvYgRXCpIwpqTRtwEFHJwq4WamIQgGHhiAUCZBOQMc5RRYYCBBrgEQAjQQd8ZeE4Ln0pAQKG1hS6lYL2ZVZiCrV61YHwjIAfBrmqEFrtZgMMWs2yEKrNVAoiAEADs=)
è una radice di
![r(x)∈ K[X]](data:image/gif;base64,R0lGODlhXgATAIQAAP///wAAALCwsKCgoODg4MDAwJCQkNDQ0PDw8BAQEDAwMGBgYCAgIICAgHBwcEBAQFBQUAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACH5BAEAAAAALAAAAABeABMAAAX+ICCOJHmUKHCmbOumx/MML+rINWDkhJDnh4ZQWFANG8VCo0Q4EkSD4VP0qBmKucbq10IIFAWF4ImALBiDpzL1CGwRCRqp6kLQc3ZurXoHOBYII2soAgFyflsjfSkDO1wQUy0DMpSHJXwjAwslgygMDFCJii8Poi8GSyx2li6YAAupJJ0lBgEFAqZUAAIDYwUGWwEoB78IxI4iBYskELksmAvLALMkCAFiLQ9eBXEACpsABAkluNMMtwGRB6ApBOA/fAuorNOxKAsBgc9pA+wH+spKpOoHwFgJYSkM+ODC588rLILsmWgQABkKOgveCZL2SiMJhCgaKKBEkp6uKlHH7CSiJuLADgXs2IhAgyJgCpopQJYYYDIbAIwD7Oirh4KAAygBFl4Mlw6FtXZNd8lSoIrjs58jmsWIWAIBMjgQrhJMMW6EgHEDEJYTFJZFg54y7wgVAG4WgqMk8EWaA6ABXhQQIB5YcEthAYgiGli0scCZIAUJHiRQIIfByARhBxVYkOBcJgUBIEjE6kLA3xwKhrIwWlIPp9EM93Bx57r2a9u6XhSAW8KBatx6WMauIeA3DMfAdRPeCyTMD+btkuNugsR1lAYhAAA7)
se e solo se

.
Per trovare gli elementi divisibili per

, basta prendere i polinomi di

che hanno

come radice:
Per trovare gli elementi divisibili per

, basta prendere i polinomi di

che hanno

come radice:
Per trovare gli elementi divisibili per

, basta prendere i polinomi di

che hanno

come radice:
Gli unici elementi irriducibili di
![Z_3[X]](data:image/gif;base64,R0lGODlhLAATAIQAAP///wAAALCwsICAgODg4EBAQDAwMGBgYKCgoMDAwHBwcPDw8BAQEFBQUNDQ0JCQkCAgIAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACH5BAEAAAAALAAAAAAsABMAAAX+ICCOZGk6RYGY7KikgDDMNE20QDKURH0DCJuoACgYDohEQqEQGBY4HasQcIwWjNWIyBBciYoELrczCQJagMJKIjZIB8dyTG5BICIEu11aLgpQY1IsDwEJAnt8XwsDYnSDJgsBBl5TJGEOb3R1LQcBgSZEInOAm5wnAwEPLaJFjJUiNzMKB6CQJA6rBniWAAMCBJoifwkMIgero2UkBAp5AbB8mQANPyIKO2wFsLcAC8neDMJ8gA/gCwoGyTppp97OcAHWWwIQBQwpKQEMEI7eBXsGJTjAzx8CAwEaLBuyacGPAcK6mWJIZ8CBaxeVTQzV8JeAUho3Ktokp8+BBPMNSCYwIJLHDH+mggwIAQA7)
sono, per esclusione
Per gli elementi invertibili, facciamo riferimento ad un noto teorema: dato un dominio di integrità

e preso
![A[X]](data:image/gif;base64,R0lGODlhJgATAIQAAP///wAAAICAgPDw8MDAwEBAQJCQkGBgYLCwsHBwcDAwMODg4NDQ0BAQEFBQUKCgoCAgIAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACH5BAEAAAAALAAAAAAmABMAAAXNICCOJMkUxVOua4KyojCMhFAuQi4s4qPzogKMECDQbKtCgDEaNFQkIUtpFNVYiAAUkGCWpCUD0XCEQSA973c1IAeQgCvLUESo1yUZIHAoswYBCggwAGBWg4VgciwHATMwhlwjL1ZwJQwCAWSQJAYJOgoBfpdkCmicIm0kmaMjCwk9AYhJI5YAdECLqZsATg6oBLNWRZUkA7AkjUBfDAcNDssPSg4qcgTOEFUAD6EOtoWEJbrhU+St5njm4+iT7NcEy+wMBArsOALa7D4CIQA7)
, tutti e soli gli elementi invertibili di
![A[X]](data:image/gif;base64,R0lGODlhJgATAIQAAP///wAAAICAgPDw8MDAwEBAQJCQkGBgYLCwsHBwcDAwMODg4NDQ0BAQEFBQUKCgoCAgIAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACH5BAEAAAAALAAAAAAmABMAAAXNICCOJMkUxVOua4KyojCMhFAuQi4s4qPzogKMECDQbKtCgDEaNFQkIUtpFNVYiAAUkGCWpCUD0XCEQSA973c1IAeQgCvLUESo1yUZIHAoswYBCggwAGBWg4VgciwHATMwhlwjL1ZwJQwCAWSQJAYJOgoBfpdkCmicIm0kmaMjCwk9AYhJI5YAdECLqZsATg6oBLNWRZUkA7AkjUBfDAcNDssPSg4qcgTOEFUAD6EOtoWEJbrhU+St5njm4+iT7NcEy+wMBArsOALa7D4CIQA7)
sono tutti e soli gli elementi invertibili di

, e se in particolare

è un campo allora tutti e soli gli elementi invertibili di
![A[X]](data:image/gif;base64,R0lGODlhJgATAIQAAP///wAAAICAgPDw8MDAwEBAQJCQkGBgYLCwsHBwcDAwMODg4NDQ0BAQEFBQUKCgoCAgIAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACH5BAEAAAAALAAAAAAmABMAAAXNICCOJMkUxVOua4KyojCMhFAuQi4s4qPzogKMECDQbKtCgDEaNFQkIUtpFNVYiAAUkGCWpCUD0XCEQSA973c1IAeQgCvLUESo1yUZIHAoswYBCggwAGBWg4VgciwHATMwhlwjL1ZwJQwCAWSQJAYJOgoBfpdkCmicIm0kmaMjCwk9AYhJI5YAdECLqZsATg6oBLNWRZUkA7AkjUBfDAcNDssPSg4qcgTOEFUAD6EOtoWEJbrhU+St5njm4+iT7NcEy+wMBArsOALa7D4CIQA7)
sono gli elementi non nulli di

.
Gli unici elementi invertibili di
![B ⊂ Z_3[X]](data:image/gif;base64,R0lGODlhUwATAIQAAP///wAAAPDw8ICAgLCwsFBQUCAgIGBgYDAwMKCgoODg4JCQkBAQENDQ0EBAQMDAwHBwcAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAACH5BAEAAAAALAAAAABTABMAAAX+ICCOZGmeaKqWjeMkawm5ozDc+EDEvPnkONjpV1LkFKIEDglwlAqG2gHRqwIKjl0y0EARTQ5ujSEUOUmGA0kQKFtVZ1GjnfqWCHQRpEuKAxR5ImxuJgkuhy6EJAQPIw0MAyp2JQZRAAl8fSQJAUwiCwwCKAIvb42CCGqSkScLAQ8EmZojB5afBrJPuW8IVCuTawEIWmBoCDhToigKqm+0CMqrKQcB0SVxgG4L0CgLxM4DDLtDrCYNAwELKHGcniKBJQOnzpyZQjcQB9HAcuoIttdoAQQwCEUCRTzmuIn0gIGIA+pE8FMAYcu3EXHSxAs1yk+PR+UuneKTZQQwARF9CTIocOJMtk3iVAxAmEJAKhINAP5wM0lARRLU3JmxUSDAARwFDgg9kW/cCQQBcoRpJshBpi8PDjAwMC8B1AIhmzgzQRFRImcCmAxgKTFsFY9j454YoCqfSbc94MrdK0gHAQf78PLQy5dvg3kSDzxYquKwr8KQUxiRZ0XJgBAAOw==)
sono dati da
Ecco fatto.
