In the late 1920s, influenced by the mathematics trend at that time, axiom of linear algebra has been formed. At the same time, German algebraist Emmy Noether was the first to realize the potential of the concept of module. Furthermore, the concept of module builds a bridge between the representation theory of finite groups and the theory of algebraic structures. The module concept communicates these two independent and parallel development theories in algebra, and gradually becomes a powerful and important tool in modern algebra. Module theory plays an important role in many algebraic research fields. The classification in algebra is often a topic, that is, portraying all possible different types of algebraic structures. As one kind of algebraic structure, the classification of finitely generated modules over R is the central issues of module theory or ring theory. Regarding the classification of R-module, the R-module is a linear space when R is a domain. It is know that the necessary and sufficient condition for linear space isomorphism is that the two spaces have the same dimension which has been completely classified. When it comes to a general ring R, the R-module is a linear space defined over the ring R macroscopically. However, the specific classification work is difficult. For the case where R is the principal ideal domain (PID for short), the Main Fundamental Theorem for finitely generated modules has complete the classification of the finitely generated R-module. The proof of the Main Fundamental Theorem can be found with classic methods from   .
This article is based on the concept of “natural generation”, and pays full attention to the replacement of domain to ring. Based on the natural transfer of knowledge, the note will use the language of matrix to prove this basic theorem again. The purpose is to prove this classic theorem with more concise knowledge information. The language description and processing methods in this article are consistent with the linear transformation language in advanced mathematics. As a result, it is more conducive to learners to learn and use the Main Fundamental Theorem over the principal ideal domain D.
This note will provide a brief self-contained proof process. And this paper is mainly completed according to the following ideas. The basic concepts and symbols of the basic module and ring theory will be given for the further work at first. Then use properties of the ideal of D to introduce a special matrix A over D and give an important property of such matrix. Subsequently, combine the tool of D-matrix A with the minimum decomposition of D-modules M. Main Fundamental Theorem will be obtained by using contradiction. As a result of the proof, it is not difficult to conclude that there is a unique minimal one among all decompositions of a finitely generated module M over D.
First of all, some basic definitions will be used in this paper. Throughout this note, let R be an arbitrary ring and denote D as a principal ideal domain (PID) especially. M is a (left) module over a ring R. And there are some foundations of module and ring theory needed.
1) M is said to be a direct sum of sub-R modules A and B if and . Then A and B are called direct summands, and denote that .
In the case , every can be uniquely written as with .
2) For a given element x in M, is the set .
It is well known that is an ideal of R, and then call the annilator of x.
3) For non-negative integers , represent the greatest common divisor of a and b.
As is known, there exist an integer pair such that .
In the next discussion, M is a D-module. Let us recall the main fundamental theorem as mentioned in  .
Theorem 2.1. If M is a finitely generated module over D, the following two results hold:
i) M is a direct sum of cyclic modules: such that satisfy
ii) Let , where
Then and for .
Before giving our proof, we need some preparations.
Lemma 2.2. There exists a unique decomposition for any nonzero , where u is a unit, are different prime elements of D and for .
Compared to the definition of the set of lengths of elements in monoid in , the definition of length of can be given certainly since Lemma 2.2.
Next give the length of .
Definition 2.3. For each element d in D, call the length of d.
In addition, let for convention.
Consequently, the length of d is well-defined for any elements in D. And the following proposition is the key to re-prove the Theorem 2.1.
Proposition 2.4. Suppose that are coprime elements in D, then there exists an -matrix such that .
Proof. Now we use induction on n to verify this proposition.
Let , we have . Consequently, there are two elements such that . Choose the matrix
It is obvious that .
Now suppose that the statement is right for the case . In general case, firstly, let , it is clear that . By inductive hypothesis, there exists a -matrix
such that .
Thanks to , we have , where . We construct
It is easy to see that , which implies the statement is right in the case of n. Thus, this proposition has been verified.
Remark 2.5. More generally, let , such that the m-rank determinant factors of P are 1, then there exists a matrix .
3. Proof of the Main Fundamental Theorem
Now we turn to give the self-contained proof of Theorem 2.1. The work will be achieved by contradiction on the consideration of the minimal decomposition of D-module M.
The proof of Theorem 2.1. Firstly, we check the existence. If is trivial, it is clear. For any nontrivial module
Since D is a PID, there exists such that the ideals for . Without loss of generality, we can assume that each is not a unit. If not, then we have . On the other hand, we also assume that . Using the definition of length, we can assume after reordering.
Using the above notations, corresponding to any decomposition of , there exists an -tuple array . Let be the set of all arrays, corresponding to all decompositions of M.
Clearly, is a totally ordered set under the lexicographical order. There exists a minimal element in with respect to the lexicographical order. We denote by the minimal element of , corresponding to the decomposition of M as follows:
such that and .
Now we try to use the minimality to check the existence and the uniqueness of the fundamental structure theorem of M. In fact, for the above minimal decomposition, we have that
If not, there exist some i such that , namely, for some . Let i be the minimal index, then
It is clear that .
Using Lemma 2.2, there exists a matrix with as follows,
Now we construct two elements and as follows:
thanks to is invertible, hence we have
Here we denote . It is easy to see that , consequently,
which is a contradiction to the minimality.
Next, we want to check that
Otherwise, let us consider the following sequence of submodules:
Without loss of generality, we suppose that is not true for the least m. So we can find a nonzero element , more precisely, there exist nonzero elements and such that
Let , it is clear that . And
It is a consequence of Lemma 2.2 that there exists an -matrix B with ,
Similarly, since B is invertible, we can construct new generators of M, which can replace the original generators as follows,
Note that , suppose that for some . On the other hand, we have for (3.11). Immediately, we have . If , then , which is impossible. Hence , which is a contradiction for the minimality of the decomposition of M.
So far we are left to check the uniqueness. If there exist two decompositions
Let us denote that for some . Since and are both generators sets of M, they can be D-represented by each other, i.e., there exist such that
It can be immediately gotten that
Hence, , which implies that . Similarly, we can get . That is .
Thanks to , we have the following two decompositions of direct sum of modules,
From the above process, the numbers of the direct summand of the two decompositions are the same, which forces for . So far, we have completed the proof of the fundamental structure theorem for a finitely generated module over PID.
It is easy to see that the minimality plays an important role in the above proof, which reveals the following remark.
Remark 3.1. There exists an unique minimal decomposition for all finitely generated modules over PID.
This brief investigated the Main Fundamental Theorem with a new proof method. The present research was based on the classic proofs of  and , and improved readers’ understanding of the Main Fundamental Theorem. Indeed, the property that any finitely generated module over PID has an unique minimal decomposition should be focused. It is hoped that our work can be extended to the study under the Dedeking domain (DD for short) that is similar to PID in some algebraic features, or more general king.
Supported by the National Natural Science Foundation of China (11771129 and 11871325).