3
$\begingroup$

Suppose $M$ is a $\mathbb{Q}$-module. Why is the given action of $\mathbb{Q}$ on $M$ (whatever it may be) the only way to make $M$ a $\mathbb{Q}$-module?

I know that an abelian group can only be made into a $\mathbb{Z}$-module in a unique way, since $1\cdot m=m$ for any $m\in M$. So for $p/q\in\mathbb{Q}$, $(p/q)\cdot m=\frac{1}{q}(pm)$. But $p\cdot m$ is necessarily the sum of $m$ a total of $p$ times. Also, $\frac{1}{q}(qm)=(\frac{1}{q}q)\cdot m=1\cdot m=m$. With this, does it somehow follow that there is only a unique way to make an abelian group $M$ a $\mathbb{Q}$-module when it is possible?

  • 1
    The short answer is "yes."2011-10-24

3 Answers 3

6

Let $M$ be a $\mathbb{Q}$-module. Then the additive group $(M,+)$ is torsion-free, because $nm=0$ for some $n\in\mathbb{N}$ implies $m=\frac{1}{n}nm=0$.

In a torsion-free abelian group $G$ an equation of the form $nx=g$, $n\in\mathbb{N}$, $g\in G$ has at most one solution.

In the $\mathbb{Q}$-module $M$ the element $\frac{1}{n}m$ thus is the unique solution of the equation $nx=m$, $m\in M$. Note that this holds whatever the operation of $\mathbb{Q}$ on $M$ is like, while the equation $nx=m$ does only depend on the operation of $\mathbb{Z}$ on $M$, which is unique as we already know.

Hence in your case the equation $ qx=pm $ has at most one solution $ \frac{1}{q}(pm) $ -- and it has one.

0

Let $M$ be an abelian group, then

$M$ is a $\mathbb{Q}-$module iff $M$ is torsion-free and divisible.

The $\mathbb{Q}-$module structure is $(p/q).m=y$ where $p.m = q.(y)$. Such a $y$ exists by divisibility requirement and can be checked to be unique by torsion-freeness.