670: Smith Normal Form Theorem for Rectangle Matrix over Principal Integral Domain
<The previous article in this series | The table of contents of this series | The next article in this series>
description/proof of that Smith normal form theorem for rectangle matrix over principal integral domain
Topics
About:
ring
The table of contents of this article
Starting Context
-
The reader knows a definition of principal integral domain.
-
The reader admits the proposition that any principal integral domain is a greatest common divisors domain, and for each 2 elements on the principal integral domain, each of the greatest common divisors of the 2 elements is a one by which the sum of the principal ideals by the 2 elements is the principal ideal.
-
The reader admits the proposition that for any rectangle matrix over any principal integral domain, there are some types of rows or columns operations each of which can be expressed as the multiplication by an invertible matrix from left or right.
-
The reader admits the proposition that for any principal integral domain, any rectangle matrix over the domain, and any invertible rectangular-matrix-columns-dimensional or rectangular-matrix-rows-dimensional square matrix over the domain, the sum of the principal ideals by the specified-dimensional subdeterminants of the product is the sum of the principal ideals by the same-dimensional subdeterminants of the rectangle matrix.
-
The reader admits the proposition that for any principal integral domain and any finite subset, the sum of the principal ideals by the elements of the subset is the principal ideal by any of the greatest common divisors of the subset.
-
The reader admits the proposition that for any integral domain, if any principal ideal by any element is also by any another element, the elements are associates with each other, and the principal ideal is by any associate.
Target Context
-
The reader will have a description and a proof of the proposition that the Smith normal form theorem holds for any rectangle matrix over any principal integral domain.
Orientation
There is a list of definitions discussed so far in this site.
There is a list of propositions discussed so far in this site.
Main Body
1: Structured Description
Here is the rules of Structured Description.
Entities:
:
:
//
Statements:
(
(
, with all the other components
)
)
//
2: Natural Language Description
For any principal integral domain, , and any matrix over , , there are an invertible matrix over , , an invertible matrix over , , and a such that and is such that the top left submatrix is diagonal with the nonzero diagonal components, , with all the other components such that , and the form is unique up to multiplication of by a unit.
3: Proof
Let us prove it inductively with respect to .
When , the proposition obviously holds: or is an element of , and its being invertible means that it is a unit.
Let us suppose that the proposition holds through .
Let us suppose that .
Let each component of be denoted as .
is a greatest common divisors domain, by the proposition that any principal integral domain is a greatest common divisors domain, and for each 2 elements on the principal integral domain, each of the greatest common divisors of the 2 elements is a one by which the sum of the principal ideals by the 2 elements is the principal ideal.
Each element of is decomposed with the number of the irreducible elements as factors unique. So, let us think of the map, , which maps the element to the number of the irreducible elements as factors.
Hereafter, we use the proposition that for any rectangle matrix over any principal integral domain, there are some types of rows or columns operations each of which can be expressed as the multiplication by an invertible matrix from left or right, which guarantees that the rows or columns operations we will use are expressed as multiplications by invertible matrices.
When all the components of are , the proposition trivially holds.
Hereafter, let us suppose that at least 1 of the components of is nonzero.
Take any nonzero component of such that its value under is the minimum among all the nonzero components: if there are some multiple such, choose any one of them.
Let us move the component to the position by swapping the rows and the columns, and let the matrix be denoted as .
There are 2 cases: the case 1: all the components are divisible by ; the case 2: otherwise.
Let us suppose the case 1.
For each such that , , and let us add multiple of the 1st row to the -th row. Then, . So, the 1st column is now except the component.
For each such that , , and let us add multiple of the 1st column to the -th column. Then, . So, the 1st row is now except the component. Note that the 1st column has not been disrupted by that.
The remaining matrix can be transformed to a Smith normal form with the diagonal components, , by the induction hypothesis. That can be done by the invertible matrix and the invertible matrix with the 1st rows and the 1st columns except the components .
Now, naming , the result is a Smith normal form with the diagonal components, , because , because is a linear combination of the components of while each component is divisible by .
Let us suppose the case 2.
There is at least component that is not divisible by .
There are 3 sub-cases: case 2-1: the 1st column has a non-divisible component; case 2-2: not the case 2-1, but the 1st row has a non-divisible component; case 2-3: not the case 2-1 or the case 2-2.
Let us suppose the case 2-1.
The 1st column has a non-divisible component, , and there are a and some such that (by the proposition that any principal integral domain is a greatest common divisors domain, and for each 2 elements on the principal integral domain, each of the greatest common divisors of the 2 elements is a one by which the sum of the principal ideals by the 2 elements is the principal ideal), and by replacing the 1st row by the 1st row multiplied by plus the -th row multiplied by and replacing the -th row by the 1st row multiplied by plus the -th row multiplied by , now, the component is and the component is . Note that , because as could not divide , contains less irreducible elements as factors.
Now let us return to the cases check (if it is the case 1, the procedure will end).
Let us suppose the case 2-2.
The 1st row has a non-divisible component, , and there are a and some such that , and by replacing the 1st column by the 1st column multiplied by plus the -th column multiplied by and replacing the -th column by the 1st column multiplied by plus the -th column multiplied by , now, the component is and the component is . Note that , because as could not divide , contains less irreducible elements as factors.
Now let us return to the cases check (if it is the case 1, the procedure will end).
Let us suppose the case 2-3.
Let us do the procedure of the case 1 for the 1st column and the 1st row, which is possible because all the components of the 1st column and the 1st row are divisible.
Then, if that procedure has eliminated all the non-divisible components, now, let us return to the cases check, it is the case 1, and the procedure will end.
Otherwise, there is a non-divisible component on a -th column. Let us add the -th column to the 1st column (the component is not disrupted, because the 1st row is except the component). Now, let us do the case 2-1.
As , eventually, will become 0 if the case 1 is not realized before that, and the case 1 will be inevitably realized, because implies that is a unit.
So, the Smith normal form has been realized as .
Let us see that the form is unique up to multiplication of by a unit.
By the proposition that for any principal integral domain, any rectangle matrix over the domain, and any invertible rectangular-matrix-columns-dimensional or rectangular-matrix-rows-dimensional square matrix over the domain, the sum of the principal ideals by the specified-dimensional subdeterminants of the product is the sum of the principal ideals by the same-dimensional subdeterminants of the rectangle matrix, for each , .
Each nonzero subdeterminant of is by a diagonal submatrix, because the component has to be nonzero, because while the 1st row has to have a nonzero component, if the 1st nonzero component was the component where , the 1st column would be all zero, because no nonzero component could appear on any column more left than the -th column, which would mean that the determinant was zero; likewise, the component has to be nonzero, because otherwise, the right-bottom subdeterminant would be zero, which would make the determinant zero by the Laplace expansion; and so on.
While is the principal ideal by a greatest common divisor of the subdeterminants, by the proposition that for any principal integral domain and any finite subset, the sum of the principal ideals by the elements of the subset is the principal ideal by any of the greatest common divisors of the subset, such a greatest common divisor is when (because ) and when .
Let us suppose that there is another Smith normal form, , with the diagonal components, .
Then, . Especially, , which is the principal ideal by , which is the principal ideal by . Then, for a unit, by the proposition that for any integral domain, if any principal ideal by any element is also by any another element, the elements are associates with each other, and the principal ideal is by any associate. Likewise, , which implies that . And so on. After all, each is an associate of . Inevitably, .
References
<The previous article in this series | The table of contents of this series | The next article in this series>