Risoluzione 3:
In Z
9 i divisori dello zero sono le classi [3]9, [6]9.
Se a è primo con 9 allora [a]9 è invertibile in Z
9 (vedi esempio 11).
Se
invece a non è primo con 9 allora la
classe [1 - a]9 è
invertibile in Z 9; infatti:
invertibile poiché M.C.D. (1,9) = 1
invertibile poiché M.C.D. (7,9) = 1
invertibile poiché M.C.D. (4,9) = 1