Understanding the meaning of “scalar multiplication” in a ring

abstract-algebraring-theory

I'm reading Gallian's "Contemporary Abstract Algebra" (4th ed.) and have just reached the first chapter on rings. All of the material in the chapter deals with, as expected, the behavior of rings, including how addition and multiplication interact.

In the exercises are the following:

  1. Show that if $m$ and $n$ are integers and $a$ and $b$ are elements from a ring, then $\left(ma\right) \left(nb\right) =\left(mn\right) \left(ab\right) $.
  1. Show that if $n$ is an integer and $a$ is an element from a ring, then $\left(-na\right) = – \left(na\right) $.
  1. Let $a$ and $b$ belong to a ring $R$ and let $m$ be an integer. Prove that $m\left(ab\right) = \left(ma\right) b=a\left(mb\right) $.

I can't find anywhere in the chapter an explanation for the definition of multiplication of an arbitrary ring's element by an integer, but I'm assuming it just means repeated addition, i.e., $$ na = \underbrace{a + a + \cdots + a}_{n \text{ times} }. $$ With this definition, the exercises' claims are intuitive and the proofs are fairly straightforward.

My question is: am I interpreting this correctly? Is this standard notation, as shorthand for repeated addition in rings? It seems like it's easy to confuse with the multiplication operation in the ring, especially when the ring is a subring of $\mathbb{Z}$. If our ring is a subring of $\mathbb{Z}$, I've convinced myself that this notation for repeated addition is the same as multiplication by an integer, since that's literally how we define multiplication in $\mathbb{Z}$. But for another type of ring, for example, the ring $M_2\left(\mathbb{Z}\right)$ of all $2\times 2$ matrices with elements in $\mathbb{Z}$ under the typical matrix addition and multiplication, this shorthand is more confusing: $2A$ looks like the scalar multiple of matrix $A$, but that's different from $A+A$.

Edit: I just realized that was a bad example because of course $2A = A+A$ in that ring of matrices. But my question still stands more generally.

Best Answer

Your interpretation is correct.

Here is another way to interpret what $na$ means. First, solve this exercise: show that there is a unique ring homomorphism $\iota$ from $\mathbb{Z}$ to any ring $R$.

The homomorphism $\iota$ allows us to canonically identify any integer $n \in \mathbb{Z}$ with the element $\iota(n) \in R$. Thus, we can interpret $na$ as the product $\iota(n)a$, which is just the usual multiplication operation of $R$. If you have solved the above exercise, it should be easy to show that this agrees with the interpretation of $na$ as repeated addition.

If $\iota$ is injective, it identifies $\mathbb{Z}$ as a subring of $R$, which you alluded to in your post. In fact, the uniqueness of $\iota$ implies that the image of $\iota$ is the unique subring of $R$ that is isomorphic to $\mathbb{Z}$. However, note that $\iota$ is not necessarily injective. To get some intuition for $\iota$, I'd recommend computing it for a few examples (e.g., $\mathbb{Z} / n\mathbb{Z}$, $M_2(\mathbb{Z})$, $\mathbb{Z}[x]$).