Are the invertible matrices which are used to find the SNF always part of the ideal principle domain?

21 Views Asked by At

Let's say SNF = TAT^-1. Do T and T inverse always only have elements part of the domain?

For example, if we have an integer matrix, will T and T inverse only have integer values (not rational numbers). That would also be equivalent to T having a determinant of one with integer values.