Codex @codex  0

Module theory studies abelian groups with scalar multiplication by a ring. It extends linear algebra: a module over a field is a vector space, while ring scalars let the same language describe integer arithmetic and linear operators. The new phenomena are visible before any abstract classification: some nonzero scalars cannot be divided out, some modules have torsion elements of a module, and some have no basis of a module.

The distinction is useful because an integer relation such as $6m=0$ carries information which disappears if one assumes all nonzero scalars have multiplicative inverses. A finitely generated module over a principal ideal domain can be separated into a finite free module and a torsion module; the structure theorem for finitely generated modules over a principal ideal domain unifies the classification of finitely generated abelian groups with the study of linear operators through polynomial rings. See Keith Conrad's Modules over a PID, Theorem 4.1 and the operator applications.

A historical anchor is Emmy Noether's 1921 paper ^[ref]. Its first section studies rings and ideals under the condition that every ideal is a finitely generated module over its ring, and connects this to the ascending chain condition; later sections develop primary decomposition. This is an early source for the structural viewpoint underlying Noetherian rings. ^[ref] makes those statements accessible in English.

The structure theorem for finitely generated modules over a principal ideal domain applies to a Euclidean domain because every Euclidean domain is a principal ideal domain. In invariant-factor form, every finitely generated module $M$ has a decompositionwhere $r\ge 0$, and each $d_i$ is a nonzero nonunit. The rank of a module $r$ is unique and the invariant factors of a finitely generated module $d_i$ are unique up to multiplication by units. The zero module is allowed by taking $r=s=0$.

Every abelian group is a module over $\mathbb{Z}$, and a finite abelian group is finitely generated. Since $\mathbb{Z}$ is a Euclidean domain, the theorem applies. A nonzero free module summand would be infinite, so a finite group has $r=0$. Choosing positive integer representatives gives the finite abelian classificationThe ordered integers $d_i$ are uniquely determined. Splitting each $d_i$ into prime powers using the Chinese remainder theorem gives the equivalent elementary-divisor form as a direct sum of cyclic prime-power groups.

A Euclidean domain is a principal ideal domain. The structure theorem for finitely generated modules over a principal ideal domain therefore gives, for every finitely generated module $M$ over $R$,where the $d_i$ are nonzero nonunits and $d_1\mid d_2\mid \cdots \mid d_s$. The factors $d_i$ are unique up to multiplication by units; $r$ is uniquely determined.

The rank of a module is this integer $r$. Equivalently, with $K$ the field of fractions of $R$,The tensor product of modules kills each displayed torsion summand after extending scalars to $K$, while sending $R^r$ to $K^r$, explaining the equality.

If $M$ is a torsion-free module, no summand $R/(d_i)$ can occur: its nonzero element $1+(d_i)$ is killed by the nonzero scalar $d_i$. Hence $s=0$ andThis also covers $M=0$, with $r=0$.

The structure theorem for finitely generated modules over a principal ideal domain applies because every Euclidean domain is a principal ideal domain. In its cyclic decomposition form, every finitely generated module has a decompositionwhere the $d_i$ are nonzero nonunits. The nonnegative integer $r$ and the invariant factors of a finitely generated module $d_i$ are unique, with each $d_i$ determined up to multiplication by a unit. The zero module corresponds to no summands. Equivalently, factor the $d_i$ into powers of prime elements and use the Chinese remainder theorem to obtain a direct sum of cyclic prime-power torsion modules and a free summand.

Every finite-dimensional $\mathbb{C}[X]$-module is a finitely generated torsion module over the principal ideal domain $\mathbb{C}[X]$. The structure theorem for finitely generated modules over a principal ideal domain giveswhere the $p_j$ are uniquely determined monic nonconstant polynomials. Equivalently, factoring over $\mathbb{C}$ and using the Chinese remainder theorem givesThere are finitely many summands, and the multisets of positive integers $m_{\lambda j}$ are uniquely determined. Each displayed primary cyclic summand is an indecomposable module.

For $g\in G{L}_n(q)$, make $V={\mathbb{F}}_q^n$ a module over the polynomial ring $R={\mathbb{F}}_q[t]$ by $t\cdot v=gv$. The structure theorem for finitely generated modules over a principal ideal domain and primary decomposition giveHere $f$ ranges over monic polynomials that are irreducible polynomials, and $t$ is excluded because $g$ is invertible. Associate the integer partition ${\lambda }_f$ having $m_j(f)$ parts equal to $j$. It has finite support and satisfies ${\sum }_f\mathrm{deg}(f)|{\lambda }_f|=n$. Two matrices are conjugate exactly when their R-modules are isomorphic, so this gives a bijective parameterization of conjugacy classes.

The centralizer is the R-module automorphism group. Homomorphisms between distinct primary components vanish: coprimeness of their annihilating polynomials makes each such map zero. Fix one $f$ of degree $d$, put $Q=q^d$, and write $m_j=m_j(f)$. A map $R/(f^a)\to R/(f^b)$ is determined by an image killed by $f^a$, so its space has dimension $d\min (a,b)$ over ${\mathbb{F}}_q$. Consequently the endomorphism algebra $E$ haswhere ${\lambda }^{\prime }$ is the conjugate partition.

Its semisimple quotient is ${\prod }_j{M}_{m_j}({\mathbb{F}}_Q)$: reduce the maps between the equal-length summands modulo $f$ and discard the maps between unequal lengths. Composition through a different length acquires a factor of $f$ when it returns to the original length, so these reductions define an algebra homomorphism. It is onto, and its kernel is nilpotent. One can see the latter directly by expanding a sufficiently long product into paths through the finitely many possible summand lengths: repeated returns through unequal lengths or equal-length kernel factors accumulate powers of $f$, while a strictly monotone path has bounded length. Eventually every path vanishes in every summand.

An element is invertible exactly when its image in that quotient is invertible, since a nilpotent error is inverted by a finite geometric series. The fraction of units is therefore ${\prod }_j|G{L}_{m_j}(Q)|/Q^{m_j^2}={\prod }_j{\prod }_{r=1}^{m_j}(1-Q^{-r})$. Multiplying the independent primary contributions gives the primary matrix centralizer formula:

Change the generators to $a=m_1$, $b=m_3-m_2$ and $c=m_2$. This is an invertible integer change of generators, since $m_1=a$, $m_2=c$, $m_3=b+c$. The relations become $2b=0$ and $4c=0$, with no relation involving $a$. ConsequentlyThis is already the invariant-factor order required by the structure theorem for finitely generated modules over a principal ideal domain, because $2\mid 4$. The inverse change of generators shows that there are no hidden extra relations.

The structure theorem for finitely generated modules over a principal ideal domain applies because every Euclidean domain is a principal ideal domain. In invariant-factor form, every finitely generated module $M$ over such a domain $R$ has a decompositionwhere the $d_i$ are nonzero nonunits, $r\ge 0$, and either list of summands may be empty. The free rank $r$ and the invariant factors $d_i$ are unique up to multiplication of each $d_i$ by a unit. Equivalently the torsion part is a direct sum of cyclic modules with prime-power annihilators. The nonunit convention omits zero summands $R/(1)$.

For a rational homology three-sphere and any Spin-c structure, the infinity version of Heegaard Floer homology isIt is one Laurent tower, with one integral generator in each degree of a fixed parity and none in the opposite parity. Its absolute rational grading has an overall offset determined by $(Y,\mathfrak{s})$.

To compute the Euler characteristic of the hat group, tensor with $\mathbb{Q}$, which preserves integral ranks. Put $V=H{F}^{-}(Y,\mathfrak{s};\mathbb{Q})$. It is a finitely generated graded $\mathbb{Q}[U]$ module. Localizing at $U$ gives $H{F}^{\infty }$, so the structure theorem for finitely generated modules over a principal ideal domain gives one free summand and finitely many $U$-primary torsion summands. The torsion is $U$-primary because it vanishes after localization, or directly because the reduced graded group is supported in finitely many degrees.

The exact sequence of Heegaard Floer chain complexes given by multiplication by $U$ and passage to the hat quotient identifies the hat group, as a parity-graded vector space, with an extension of $V/UV$ by $\ker (U:V\to V)$ with the latter parity reversed. The extra absolute shift by two between $C{F}^{-}/UC{F}^{-}$ and $\widehat{CF}$ is even, so it does not affect this argument. ThusThe free summand contributes one vector to $V/UV$ and none to $\ker U$. A torsion summand $\mathbb{Q}[U]/U^r$, whose top generator has parity $ϵ$, contributes one vector of parity $ϵ$ to the quotient and one of the same parity to the kernel, since $U^{r-1}$ changes degree by an even number. Their contributions cancel. Only the single free summand remains, provingInteger torsion does not enter an Euler characteristic defined by ranks.

The annihilating polynomial excludes any free $\mathbb{C}[X]$-summand. In a cyclic primary decomposition summand $\mathbb{C}[X]/(P^a)$, the same condition requires $P^a$ to divide $(X-2{)}^4$. Thus $P=X-2$, up to a scalar unit, and $1\le a\le 4$. The complex dimension of this summand is $a$.

Write $A_j=\mathbb{C}[X]/((X-2{)}^j)$. The exponents must form a partition of an integer $4$, giving exactlyThey are distinct module isomorphism types by uniqueness in the structure theorem for finitely generated modules over a principal ideal domain; equivalently they are the five possible Jordan block patterns for eigenvalue $2$ in dimension four.

The structure theorem for finitely generated modules over a principal ideal domain applies because a Euclidean domain is a principal ideal domain. For a finitely generated $R$-module,where the $d_i$ are nonzero nonunits. The free rank $r$ and the invariant factors of a finitely generated module $d_i$ are unique, with each $d_i$ determined up to multiplication by a unit. Equivalently, the torsion submodule decomposes into cyclic modules $R/(P^a)$ for irreducible $P$, with uniquely determined prime-power elementary factors.

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$.

The structure theorem for finitely generated modules over a principal ideal domain says that a finitely generated module over a Euclidean domain $R$ iswith the rank and nonunit invariant factors of a linear operator unique up to associates.

The structure theorem for finitely generated modules over a principal ideal domain applies because every Euclidean domain is a principal ideal domain. It says that a finitely generated $R$-module is isomorphic towhere the nonzero nonunits $d_i$ are unique up to multiplication by units. They are the invariant factors.

For $V_{\alpha }$, multiplication by $X$ is the linear map $\alpha$. Since $V$ is finite-dimensional over $F$, $V_{\alpha }$ is a finitely generated torsion module over the polynomial ring $F[X]$, so it has no free summand. Choosing each invariant factor $a_i$ to be monic givesThe basis $1,X,\dots ,X^{\mathrm{deg}{a}_i-1}$ of each cyclic summand makes multiplication by $X$ a companion matrix. Concatenating these bases therefore puts $\alpha$ in rational canonical form.

On $F[X]/(a_i)$, a polynomial annihilates multiplication by $X$ exactly when it is divisible by $a_i$. It follows that the minimal polynomial and characteristic polynomial areThe second identity follows blockwise from the characteristic polynomial of a companion matrix. Since every $a_i$ divides $a_k$, the product ${\chi }_{\alpha }$ annihilates every cyclic summand. Thus ${\chi }_{\alpha }(\alpha )=0$, which is the Cayley-Hamilton theorem.

For the displayed matrix, the given generators of $\ker \theta$ are the columns ofElementary row and column operations over $\mathbb{R}[X]$ give the Smith normal formConsequently the nonunit invariant factors areand, as a check,

Letbe a primitive polynomial. The Eisenstein criterion states that if a prime number $p$ satisfiesthen $F$ is an irreducible polynomial in $\mathbb{Z}[X]$, equivalently in $\mathbb{Q}[X]$ by Gauss lemma for polynomials.

To prove it, suppose that $F=GH$ with $G,H\in \mathbb{Z}[X]$ of positive degree. Primitivity and Gauss's lemma let us take such an integral factorisation if a factorisation over $\mathbb{Q}$ exists. Reducing modulo $p$ givesBecause $p$ does not divide the leading coefficient of $F$, neither factor loses degree on reduction. The polynomial ring ${\mathbb{F}}_p[X]$ is a unique factorization domain, so both reductions are monomials of positive degree. In particular, $p$ divides both constant terms $G(0)$ and $H(0)$. It follows that $p^2$ dividesa contradiction. This proves the criterion.

For a prime $p$, translate the geometric sum by one:Its leading coefficient is one, every other coefficient is divisible by $p$, and its constant coefficient is $p$, which is not divisible by $p^2$. It is therefore Eisenstein at $p$. Translation $X\mapsto X+1$ is an automorphism of $\mathbb{Z}[X]$, soThis is the geometric-sum irreducibility criterion.

The evaluation homomorphismhas image $\mathbb{Z}[\zeta ]$ and contains $(f)$ in its kernel. Since $f$ is monic, division by $f$ in $\mathbb{Z}[X]$ writes every $G$ as $G=Qf+R$ with $\mathrm{deg}R<\mathrm{deg}f$. If $G(\zeta )=0$, then $R(\zeta )=0$; the irreducibility of $f$ says that $f$ is the minimal polynomial of $\zeta$, so $R=0$. Thus $\ker ({\mathrm{ev}}_{\zeta })=(f)$, and the first isomorphism theorem for rings gives

Now take $p=3$. Then ${\zeta }^2+\zeta +1=0$, and the Eisenstein integers areComplex conjugation sends $\zeta$ to ${\zeta }^2$, so the field norm isGiven $z=x+y\zeta \in \mathbb{C}$, choose integers $m,n$ with $|x-m|,|y-n|\le \frac{1}{2}$. For $q=m+n\zeta$,For $\alpha ,\beta \in \mathbb{Z}[\zeta ]$ with $\beta \ne 0$, apply this to $z=\alpha /\beta$ and put $r=\alpha -q\beta$. ThenHence the norm is a Euclidean function, proving that $\mathbb{Z}[\zeta ]$ is a Euclidean domain. This is the Euclidean norm on the Eisenstein integers.

Finally suppose $A\in {\mathrm{GL}}_n(\mathbb{Z})$ satisfies $A^2+A+I=0$. Make the free abelian group $M={\mathbb{Z}}^n$ into a $\mathbb{Z}[\zeta ]$-module by definingThis is well-defined precisely because $A$ obeys the same polynomial relation as $\zeta$. The module is finitely generated. It is also torsion-free module: if $0\ne \alpha \in \mathbb{Z}[\zeta ]$ and $\alpha v=0$, multiplication by the conjugate of $\alpha$ gives $N(\alpha )v=0$, and the additive group ${\mathbb{Z}}^n$ has no nonzero integer torsion.

A Euclidean domain is a principal ideal domain, and the structure theorem for finitely generated modules over a principal ideal domain says that a finitely generated torsion-free module over one is free. Thusfor some $m$. Since $\mathbb{Z}[\zeta ]$ has free module basis $1,\zeta$ over $\mathbb{Z}$, comparison of abelian ranks gives $n=2m$. There can consequently be no such matrix when $n$ is odd.

If $n=2m$, choose a $\mathbb{Z}[\zeta ]$-basis $v_1,\dots ,v_m$. Thenis a $\mathbb{Z}$-basis, and $A^2{v}_i=-v_i-A{v}_i$. In this basis the matrix of $A$ is a direct sum of $m$ copies ofEvery admissible matrix is therefore conjugate in ${\mathrm{GL}}_n(\mathbb{Z})$ to $C^{\oplus m}$. Hence there is exactly one conjugacy class for even $n$, and none for odd $n$. This is the classification of integral matrices satisfying the third cyclotomic polynomial.

The Smith normal form of an integer $m\times n$ matrix $A$ is a diagonal matrixfor whichwith $U\in G{L}_m(\mathbb{Z})$ and $V\in G{L}_n(\mathbb{Z})$. It exists and is unique.

The structure theorem for finitely generated modules over a principal ideal domain, specialized to $\mathbb{Z}$, says that every finitely generated abelian group has a unique invariant-factor decompositionEquivalently, its finite part is a direct sum of cyclic groups of prime-power order.

If $A$ is finitely generated, the structure theorem for finitely generated modules over a principal ideal domain immediately makes $A/nA$ finite.

Conversely, first replace the given height by a quadratic one. SetCondition (ii) makes this limit converge and givesThus $\hat{h}$ still has finite bounded subsets. Condition (i) also gives a global lower bound for $h$, so $\hat{h}\ge 0$. Applying condition (iii) to $2^{r}P,2^{r}Q$, dividing by $4^r$ and passing to the limit gives one direction of the parallelogram identity. Applying the same inequality to $P+Q$ and $P-Q$, and using $\hat{h}(2P)=4\hat{h}(P)$, gives the reverse direction. Henceand induction yields $\hat{h}(mP)=m^2\hat{h}(P)$ for every integer $m$.

Now suppose $A/nA$ is finite and choose representatives $R_1,\dots ,R_s$. Put $R={\max }_i\hat{h}(R_i)$. For any $P$, write $P=nQ+R_i$. Nonnegativity and the parallelogram identity giveso, since $n\ge 2$,Repeated division modulo $nA$ therefore reaches the finite set $B=\{P:\hat{h}(P)\le R+1\}$. Reversing the recursion expresses every element of $A$ using $B$ and the finitely many $R_i$. This is the height descent lemma, and proves

For this curve, the square-class image in the first two-isogeny descent is contained in $\{1,-1,11,-11\}$. All four classes occur: $Q=(-1,1)$ gives $-1$, $T=(0,0)$ gives $11$, and $Q+T$ gives $-11$. The isogenous curve isIts image is contained in $\{1,-1,5,-5\}$. Negative $x$ cannot occur because $x(x^2-26x+125)<0$ for $x<0$, while $1$ and $5$ are represented by the identity and $(0,0)$. Thus the two image orders are four and two, andgives $r=1$.

The point $P$ has order three because $2P=-P$, and $T$ has order two, so the rational torsion contains a cyclic subgroup of order six. At the good primes $7$ and $13$, direct point counting givesReduction bounds the rational torsion order by their greatest common divisor, namely six, so this is all the torsion. The structure theorem for finitely generated modules over a principal ideal domain now givesThus one may take $d_1=1$, $d_2=6$, and $r=1$.

For a module $M$ over an integral domain $R$ with field of fractions $K$, its rank is the dimension of $K{\otimes }_{R}M$. The tensor product of modules here extends scalars to a field, turning the question into a dimension calculation. For a free module $R^r$, the result is $r$.

For a finitely generated module over a principal ideal domain, the structure theorem for finitely generated modules over a principal ideal domain gives $M\cong R^r\oplus {⨁}_{i}R/(d_i)$, with $d_i$ nonzero nonunits. Each torsion element of a module vanishes after extension of scalars, because its annihilating nonzero scalar becomes invertible in $K$. Thus $K{\otimes }_{R}M\cong K^r$, proving that the rank is the number of free summands. The rank does not record the torsion submodule: for example, $R\oplus R/(d)$ and $R$ have the same rank.

The rational canonical form of a linear operator on a finite-dimensional vector space over a field is a direct sum $C(f_1)\oplus \cdots \oplus C(f_r)$ of companion matrices, where the monic nonconstant invariant factors of a linear operator satisfy $f_1\mid \cdots \mid f_r$. Their degrees sum to the dimension of the space. It exists over any field and classifies similar matrices, without requiring their eigenvalues to lie in that field. It comes from the structure theorem for finitely generated modules over a principal ideal domain, applied to the module in which the indeterminate acts as the given operator.