Why does one need an extra operation for performing smith normal form over a PID? One might suspect and say that it is because of the lack of Euclidean algorithm or just say that we need the additional operation to get what we need.
But I cannot exactly see what property of Euclidean domain makes the fourth operation unnecessary. I would also like to know how this is justified theoretically? Thanks