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

Choose a finite-dimensional generating vector subspace $V\subseteq A$ containing $1$, and write $V^n$ for the linear span of products of $n$ elements of $V$. The Gelfand–Kirillov dimension isFor a nonzero finitely generated module $M$ considered as a right module, choose a finite-dimensional generating vector subspace $W\subseteq M$ and define the Gelfand–Kirillov dimension of a module byFor left modules, replace $W{V}^n$ by $V^{n}W$. These values are independent of the choices: two algebra-generating vector subspaces satisfy $V\subseteq (V^{\prime }{)}^c$ and $V^{\prime }\subseteq V^d$ for some positive integers $c,d$, and two module-generating vector subspaces are contained in bounded-degree translates of one another. The corresponding growth bounds differ only by a constant rescaling and shift of $n$, which do not change the limit superior.

Let $S$ be a nonzero standard graded algebra, generated by $r$ elements of degree one. It is a homogeneous quotient ring of the polynomial ring $k[z_1,\dots ,z_r]$. By the Hilbert-Serre theorem, its Hilbert series is a rational function whose only possible pole is at $t=1$. After canceling, write it as $P(t)/(1-t{)}^d$ with $P(1)\ne 0$, where $0\le d\le r$. The cumulative dimensions are the coefficients of $P(t)/(1-t{)}^{d+1}$ and are eventually a polynomial in $n$ of degree $d$, with positive leading coefficient. With $V=S_0\oplus S_1$, these cumulative dimensions equal $\dim V^n$. ConsequentlyFor $d=0$ the algebra is finite-dimensional and nonzero, so the cumulative dimension is eventually a positive constant. If the zero algebra is allowed, the common convention $\mathrm{GKdim}0=-\infty$ is an exception to the printed assertion; the integer conclusion concerns nonzero unital algebras.

For the Weyl algebra $A=A_1(k)=k⟨X,D⟩/(DX-XD-1)$, the total-degree filtered algebra structure has associated graded ring $\mathrm{gr}A=k[x,\xi ]$. Its ordered monomials $X^i{D}^j$ form a basis. Every finitely generated module has a good filtration of a module, and its associated graded module is finitely generated over $k[x,\xi ]$. The Hilbert-Serre theorem therefore shows that its Gelfand–Kirillov dimension is an integer in $\{0,1,2\}$.

A nonzero module of Gelfand–Kirillov dimension zero here would have eventually constant cumulative dimension, hence be finite-dimensional. This is impossible in characteristic zero: taking the trace of the endomorphisms representing $DX-XD=1$ gives $0={\dim }_{k}M$. For right modules the right-action operators reverse composition and give the negative identity instead, with the same contradiction. ThusBoth occur. The regular module $A$ has $\dim V^n=\left(\genfrac{}{}{0ex}{}{n+2}{2}\right)$, hence Gelfand–Kirillov dimension two. For a right module of Gelfand–Kirillov dimension one, take $M=k[x]$ with $f\cdot X=xf$ and $f\cdot D=-f^{\prime }$. These actions satisfy the defining relation because $(f\cdot D)\cdot X-(f\cdot X)\cdot D=f$. The module is a cyclic module generated by $1$, and $\dim (1\cdot V^n)=n+1$. This also gives the lower bound for this particular Weyl algebra without invoking a general inequality for higher Weyl algebras.

Fix a Young tableau $t$ of shape $\lambda$, let $C(t)$ be its column stabilizer, and putThese are the Column antisymmetrizer of a Young tableau and its polytabloid. The Specht module is generated by $e_t$ as a cyclic module, so the nonzero R-module homomorphism $\varphi$ has $\varphi (e_t)\ne 0$. Because its extension $\Phi$ commutes with the group algebra action,Expand $\Phi (\{t\})$ in the tabloid basis of the Young permutation module $M^{\mu }$. At least one tabloid $\{u\}$ therefore satisfies $b_t\{u\}\ne 0$.

If a row of $u$ contains two entries from the same column of $t$, their transposition $\tau \in C(t)$ fixes $\{u\}$. Pairing the terms indexed by $g$ and $g\tau$ in $b_t\{u\}$ makes them cancel. This remains valid in characteristic two, since the paired coefficients sum to zero there as well. Thus each row of $u$ meets each column of $t$ in at most one entry.

The first $r$ rows of $u$ consequently contain at most $\min (r,{\lambda }_j^{\prime })$ entries from column $j$ of $t$, where ${\lambda }^{\prime }$ is the conjugate partition. HenceBy the dominance order on partitions, this provesThis is dominance from a nonzero column antisymmetrizer. The extension is what allows us to apply $b_t$ to an element of $M^{\mu }$ without dividing by the column stabilizer's order, which might vanish in the given field.

Put $q=p^n$. A finitely generated module over $A=k[X]/(X^q)$ is finite-dimensional over $k$, and multiplication by $X$ is a nilpotent linear map $T$ with $T^q=0$. Its Jordan normal form exists over $k$ because its minimal polynomial is a power of $X$. Each Jordan block has size $r\le q$ and is the cyclic module $M_r=k[X]/(X^r)$. HenceA submodule of $M_r$ is an ideal of $k[X]/(X^r)$, and its inverse image is an ideal of the principal ideal domain $k[X]$ containing $(X^r)$. The only possibilities are $(X^j)$ with $0\le j\le r$. Thus all submodules form the chainEvery successive quotient is the one-dimensional simple module on which $X$ acts as zero. This is its unique composition series, so $M_r$ is a uniserial module and is an indecomposable representation: two nonzero direct summands would be incomparable submodules. Only $M_1$ is simple.

For $G=⟨g⟩$ of order $q$, the group algebra satisfiessince $(T-1{)}^q=T^q-1$ in characteristic $p$. Consequently, up to isomorphism, $\boxed{M_1,\dots ,M_{p^n}}$ are precisely the finite-dimensional indecomposable modules, and $\boxed{M_1\text{ is the unique simple module}}$. The finite-dimensional convention follows from the finite-generation hypothesis; “exactly” counts isomorphism classes.

The symmetric group acts transitively on the Young tableaux of a fixed shape. Moreover, $ge(t)=e(gt)$ for every permutation $g$, so every polytabloid is a translate of any fixed one. Hence the Specht module is a cyclic module generated by $e(t)$.

It remains to see that $e(t)\ne 0$. In its expansion, the coefficient of the tabloid $\{t\}$ is one: if $\pi \in C(t)$ and $\{\pi t\}=\{t\}$, then $\pi \in R(t)\cap C(t)=\{1\}$. Thus the generator, and therefore the module, is nonzero.