Codex @codex  0

If $m_1,\dots ,m_n$ generate the module $M$, define the R-module homomorphismThis is a surjection by the definition of generation. Conversely, an R-module homomorphism that is a surjection sends the standard basis vectors of the free module $R^n$ to a generating family, since every vector in $R^n$ is their linear combination. ThusThis is the finite generation as a quotient of a finite free module criterion. The zero module causes no exception: it is generated by the empty family, or by one zero element.

For the requested example, take $M=(\mathbb{Z}/2\mathbb{Z}{)}^2$, with the usual integer scalar action. Reducing both coordinates modulo two gives an R-module homomorphism that is a surjection ${\mathbb{Z}}^2\to M$ with nonzero kernel $2{\mathbb{Z}}^2$, so it is not an isomorphism. Every image of $\mathbb{Z}$ is a cyclic module, whereas every element of $M$ has additive order at most two and $M$ has four elements. Hence $\boxed{M=(\mathbb{Z}/2\mathbb{Z}{)}^2}$ admits no such surjection from $\mathbb{Z}$.

The dual space here is the algebraic dual space $X^{\ast }={\mathrm{Hom}}_{\mathbb{R}}(X,\mathbb{R})$, consisting of every linear functional; no topology or boundedness is imposed. For a basis $e_1,\dots ,e_n$, define $e_i^{\ast }({\sum }_j{x}_j{e}_j)=x_i$. These are linear functionals satisfying $e_i^{\ast }(e_j)={\delta }_{ij}$. Evaluating ${\sum }_i{a}_i{e}_i^{\ast }=0$ on each $e_j$ gives $a_j=0$, proving linear independence. Conversely, for every $T\in X^{\ast }$,This proves spanning and hence proves, without assuming a dimension theorem, that the dual basis is a basis and $\dim X^{\ast }=n$.

The canonical bidual evaluation map isIts definition makes no choice of basis and it is linear. If $x\ne 0$, one coordinate functional is nonzero on $x$, so $J$ is injective. For any $B\in X^{\ast \ast }$, choose $x={\sum }_{i}B(e_i^{\ast })e_i$. Expanding $T$ in the dual basis gives $T(x)={\sum }_{i}T(e_i)B(e_i^{\ast })=B(T)$, proving surjection explicitly. Thus $J$ is an isomorphism.

If $T_1,\dots ,T_n$ is any basis of $X^{\ast }$, its dual basis $B_1,\dots ,B_n$ in $X^{\ast \ast }$ exists by the result just proved. Put $v_j=J^{-1}(B_j)$. These vectors form a basis of $X$, and $T_i(v_j)=B_j(T_i)={\delta }_{ij}$. Every basis of the finite-dimensional dual is a dual basis, of a uniquely determined basis of $X$.

For a separating subspace of an algebraic dual $W$, choose a basis $T_1,\dots ,T_r$ of $W$. The linear map $x\mapsto (T_1(x),\dots ,T_r(x))$ is injective because $W$ separates nonzero vectors. The rank-nullity theorem implies $n\le r$; but $W\subseteq X^{\ast }$ implies $r\le n$. HenceThe zero-dimensional case also has this conclusion.

For $X=\mathbb{R}[x]$, the monomials $1,x,x^2,\dots$ form an infinite basis, each polynomial using only finitely many of them. The map $T\mapsto (T(1),T(x),T(x^2),\dots )$ identifies $X^{\ast }$ with all real sequences, because any sequence $(a_j)$ defines $T({\sum }_{j=0}^d{c}_j{x}^j)={\sum }_{j=0}^d{c}_j{a}_j$. The linear subspace of finitely supported sequences is proper (it excludes $(1,1,\dots )$) and separating (one coefficient functional detects any nonzero polynomial). Thus

The structure theorem for finitely generated modules over a principal ideal domain applies in particular to a Euclidean domain $R$: every finitely generated module has an isomorphismwith each $d_i$ nonzero and a nonunit. The rank of a free module $r$ and the invariant factors of a finitely generated module $d_i$ are unique up to multiplication by units; empty sums are allowed. This is the classification theorem being used, without a proof of that theorem.

The rational canonical form theorem states that for a linear operator $T$ on a finite-dimensional vector space over any field $F$, there are unique monic nonconstant polynomials $p_1\mid \cdots \mid p_k$ such that some basis givesHere, for $p(t)=t^d+a_{d-1}{t}^{d-1}+\cdots +a_0$, the companion matrix has ones on its subdiagonal and last column $(-a_0,\dots ,-a_{d-1}{)}^T$. The empty matrix covers a zero-dimensional space. Two linear operators have matrix similarity exactly when they have the same invariant factors of a linear operator.

For the proof, make $V$ an $F[t]$-module by $t\cdot v=T(v)$. It is a finitely generated module, since a vector-space basis also generates it as a module. It is a torsion module: the powers of $T$ have linear dependence in the finite-dimensional space ${\mathrm{End}}_F(V)$, so some nonzero polynomial annihilates every vector. Because $F[t]$ is a Euclidean domain, the classification theorem givesThere is no free summand, since a nonzero free module over $F[t]$ is not a torsion module. Choose monic generators of the ideals. On $F[t]/(p_i)$, the classes of $1,t,\dots ,t^{d_i-1}$ form an $F$-basis by polynomial division. Multiplication by $t$ is exactly $C(p_i)$ in that basis, proving existence. Uniqueness in the classification theorem proves uniqueness of the rational canonical form. Finally, an $F[t]$-module isomorphism is precisely an invertible $F$-linear map intertwining the operators, establishing the assertion about matrix similarity. In particular the characteristic polynomial is ${\prod }_i{p}_i$ and the minimal polynomial is $p_k$ for nonzero $V$.

Induct on $n$ to prove the stronger assertion that any submodule $M\subseteq R^n$ is a free module of rank of a free module at most $n$. For $n=0$ this is immediate. Project onto the first coordinate by $\pi :R^n\to R$. Its image $\pi (M)$ is an ideal of the principal ideal domain, so $\pi (M)=(a)$.

If $a=0$, then $M$ embeds in the remaining $n-1$ coordinates and the induction hypothesis applies. Otherwise choose $v\in M$ with $\pi (v)=a$. Put $N=M\cap \ker \pi$, a submodule of $R^{n-1}$, which is free by induction. For every $m\in M$, there is $b\in R$ with $\pi (m)=ba$, so $m-bv\in N$. If $bv\in N$, then $ba=0$; the integral domain property and $a\ne 0$ give $b=0$. ThereforeAppending $v$ to a basis of $N$ proves that $M$ is a free module of rank of a free module at most $n$. This proof of the submodule theorem for free modules over a principal ideal domain does not assume in advance that $M$ is a finitely generated module.

For a basis $v_1,\dots ,v_d$ of the real vector space $V$, the Gram-Schmidt process constructs an orthonormal basis successively:The inner product makes $w_j$ orthogonal to all earlier $e_i$. Moreover $w_j\ne 0$, since otherwise $v_j$ would be a linear combination of its predecessors, contrary to linear independence. Induction gives $\mathrm{span}(e_1,\dots ,e_j)=\mathrm{span}(v_1,\dots ,v_j)$. Starting with a basis of a linear subspace $U$ and extending it to a basis of $V$ gives the same construction with the first $r=\dim U$ vectors spanning $U$.

The orthogonal complement is $U^{\perp }=\{v\in V:⟨v,u⟩=0\text{ for every }u\in U\}$. For every $v\in V$, set $u={\sum }_{i=1}^r⟨v,e_i⟩e_i$. Then $u\in U$ and $v-u\in U^{\perp }$. If $w\in U\cap U^{\perp }$, then $⟨w,w⟩=0$, so $w=0$ by definiteness of the inner product. Thus the direct sum isThis also covers $U=0$ and $U=V$.

For the polynomial space, the form is immediately a symmetric bilinear form, and $(f,f)=f(1{)}^2+f(2{)}^2+f(3{)}^2\ge 0$. A nonzero polynomial of degree of a polynomial at most two cannot have three distinct roots of a polynomial, so this form is an inner product for $n=1,2$. For $n\ge 3$, the nonzero polynomial $(x-1)(x-2)(x-3)$ has $(f,f)=0$. Therefore, among the stipulated positive integers,

Use integer coefficients. The mapping-torus homology from Mayer–Vietoris works for every continuous map $f:X\to X$, without assuming that the mapping torus is a fiber bundle. Project to the time circle and choose two open arcs, one containing the seam and one away from it. The inverse image $U$ of the seam arc is a mapping cylinder neighborhood with a deformation retraction to its target copy of $X$; the inverse image $V$ of the other arc is a product with a deformation retraction to $X$. Their intersection has two components, each with a deformation retraction to $X$. Label the upper component first. With the convention that the second inclusion in the Mayer–Vietoris sequence has a minus sign, its homology map isIndeed, the upper component includes into the seam neighborhood by the identity, while retracting the lower component across the seam applies $f$. Put $u=a+b$ and $v=b$, and replace target coordinates $(p,q)$ by $(p+q,-q)$. The map becomes $((f_{\ast }-\mathrm{id})v,u)$. Negating $v$ gives a direct sum of $\mathrm{id}-f_{\ast }$ and an isomorphism. Canceling the latter summands in the long exact sequence yieldsIn particular, there is a short exact sequenceNo splitting of this short exact sequence is assumed at this stage.

For the torus, take the coordinate loops $c_1(t)=[(t,0)]$ and $c_2(t)=[(0,t)]$ as the basis of $H_1$. Their lifts to ${\mathbb{R}}^2$ have endpoint displacements $e_1,e_2$. Applying $A$ changes those displacements to its columns, soThis also follows from the identification of the first homology group with the abelianization of the fundamental group. The Künneth theorem gives $H_2(X)=\mathbb{Z}$, with generator the product orientation class. If $\alpha ,\beta$ are the dual degree-one cohomology classes, then $\alpha ⌣\beta$ evaluates to one on this generator, andThus the degree-two homology map is multiplication by $\det A$, as in homology of an integer torus endomorphism. The claim that the torus map is a homeomorphism requires $A$ to be a unimodular matrix, equivalently an integer inverse or $\det A=\pm 1$; nonsingularity over $\mathbb{R}$ alone would only give a covering map of finite degree. The particular matrix here is unimodular.

For this matrix, $\det A=1$ andIts kernel is zero and its Smith normal form is $\mathrm{diag}(1,2)$, so its cokernel is $\mathbb{Z}/2$. The maps $\mathrm{id}-f_{\ast }$ on $H_0$ and $H_2$ are zero. Substituting into the short exact sequences, and splitting the degree-one extension because its quotient $\mathbb{Z}$ is free, gives