Smith normal form

normal form for a matrix with values in a principal ideal domain