Past exam of the rings and modules course of the University of Oxford / 2023 / 2

A subset $E\subseteq M$ is a basis of a module if every $m\in M$ has a unique expressionUniqueness concerns the entire family of coefficients, including the zero coefficients. Equivalently, $E$ generates $M$ and is linearly independent in a module: every finite relation ${\sum }_{e\in H}{r}_{e}e=0$, with $H\subseteq E$, has all $r_e=0$.

A module is a free module if it has a basis of a module. An infinite basis of a module still uses only finite sums in each expression; arbitrary infinite sums are not part of the module operations.

Yes. An $\mathbb{F}$-module over a field is a vector space. Start with a finite generating list. If it is linearly dependent, one vector has a nonzero coefficient in a linear relation; dividing by that coefficient expresses the vector using the others, so it can be removed without changing the span. Repeating terminates with a linearly independent generating list, which is a basis and therefore a basis of a module.

Thus every finitely generated module over a field is a free module. For the zero module, the empty list is the required basis of a module.

In the direct sum of modules $M=N\oplus P$, every $m\in M$ has a unique expression $m=n+p$, with $n\in N$ and $p\in P$. DefineThe uniqueness makes this well-defined. For $m=n+p$, $m^{\prime }=n^{\prime }+p^{\prime }$ and $r\in R$,so $\pi$ is a module homomorphism. Finally, $\pi (n+p)=0$ exactly when $p=0$, equivalently $m\in N$. Therefore $\boxed{\ker \pi =N}$. Its image is $P$, and ${\pi }^2=\pi$, so it is the projection onto that direct summand.

Put $N=⟨E^{\prime }⟩$ and $P=⟨E^{\prime \prime }⟩$, the submodules generated by the two parts of the basis of a module. Every finite expression in the basis of a module splits into its $E^{\prime }$ terms and its $E^{\prime \prime }$ terms. Thus $M=N+P$.

If $m\in N\cap P$, there are finite expressionsSubtracting gives a finite relation among distinct members of $E$, because $E^{\prime }\cap E^{\prime \prime }=\varnothing$. Their linear independence in a module forces every coefficient to vanish, so $m=0$. HenceThis proves the basis partition gives a module direct sum lemma, also when one part is empty.

Choose a countable generating family $(n_k)$ for $N$. For each $k$, the expression of $n_k$ in the basis of a module $E$ has a finite set $H_k$ of nonzero coefficients, its coordinate support in a free module. LetBy the countable union of countable sets property, $E^{\prime }$ is a countable set. Every $n_k$ belongs to $⟨E^{\prime }⟩$, so all finite $R$-linear combinations of the $n_k$ do too. ThereforeHere and below, countable includes finite. The same construction applies to a finite or empty generating family. This is the countable basis support lemma.

For $j\in {\mathbb{N}}_0$, let $e_j\in B$ have $e_j(j)=1$ and $e_j(k)=0$ for $k\ne j$. If $f,g\in F$ and $z\in \mathbb{Z}$, then $f+g$ can be nonzero only where $f$ or $g$ is nonzero, and $zf$ can be nonzero only where $f$ is nonzero. These are finite sets. Since $0\in F$, this proves that $F$ is a submodule.

Every $f\in F$ has the finite expressionEvaluating at coordinate $k$ recovers the coefficient of $e_k$, so the expression is unique. Thus $\{e_j:j\in {\mathbb{N}}_0\}$ is a basis of a module for $F$, andis a free module. By contrast, the ambient module of integer sequences $B={\prod }_{j\in {\mathbb{N}}_0}\mathbb{Z}$ allows arbitrary integer sequences.

Under the temporary assumption that $E$ is a basis of a module for $B$, part (a)(v) applied to the countably generated submodule $F$ gives a countable set $E^{\prime }\subseteq E$ such that $F\subseteq C=⟨E^{\prime }⟩$. By part (a)(iv),Use part (a)(iii) to project onto the second direct summand. This gives a module homomorphism $\pi :B\to B$ withIt remains to check the required size of this kernel. Enumerate $E^{\prime }$ as $b_1,b_2,\dots$, with the finite case treated the same way. Every element of $C$ is a finite sum of these elements with integer coefficients. For each $m$, the set $⟨b_1,\dots ,b_m⟩$ is the image of the countable set ${\mathbb{Z}}^m$, so it is countable. Taking their countable union provesThis is the countability of countably generated abelian groups argument; it uses the countability of the scalar ring $\mathbb{Z}$.

ConsiderThe map sending a sequence of signs $({\epsilon }_j)$ to $({\epsilon }_j{2}^j)$ is a bijection from $\{-1,1{\}}^{{\mathbb{N}}_0}$ onto $W$. This is an uncountable set by the Cantor diagonal argument: given a proposed list $w_0,w_1,\dots$ of its elements, define $w(j)=-w_j(j)$. Then $w\in W$ differs from $w_j$ at coordinate $j$ for every $j$.

Since $\ker \pi$ is countable, $W$ cannot be contained in it. Consequently there exists

For every $i\in {\mathbb{N}}_0$, truncate $w$ before coordinate $i$:This $f_i$ lies in $F$. For $j<i$, $(w-f_i)(j)=0$. For $j\ge i$, $(w-f_i)(j)=w(j)=\pm 2^j$, which is divisible by $2^i$. In particular the integer sequencebelongs to $B$ and satisfies $w=f_i+2^i{g}_i$.

Apply the module homomorphism $\pi$. Since $f_i\in F\subseteq \ker \pi$,Fixing any coordinate $j$, the integer $\pi (w)(j)$ is therefore divisible by $2^i$ for every $i$. The only such integer is zero: if $a\ne 0$, choose $i$ with $2^i>|a|$, which rules out $a=2^{i}b$ for any nonzero integer $b$. Thus every coordinate of $\pi (w)$ vanishes, contradicting part (b)(iii).

It follows thatThe decisive property is vanishing of infinitely divisible integer sequences, namely ${\bigcap }_{i\ge 0}{2}^{i}B=\{0\}$.