Simple question. I was reading through a proof of Mordell's Theorem [here](http://www.math.uchicago.edu/~may/VIGRE/VIGRE2008/REUPapers/Ford.pdf), and in the statement of the Descent Theorem (page 4), the notation $A/mA$ is used, where $m \geq 2$ is an integer and $A$ is an abelian group. I have completely forgotten what $mA$ means in this case. I figure it is
$$mA = \{m \cdot x : x \in A\},$$
where $m \cdot x = \underbrace{x + x + \ldots + x}\_{m\text{ times}}.$ Is this correct? (It certainly isn't $mA = \underbrace{A + A + \ldots + A}\_{m\text{ times}}$, because then we would have $mA = A$.)