The notation $A\otimes_{\Bbb Z}G$ in Robinson's "A Course in the Theory of Groups (Second Edition)".

There appears to be anachronistic notation in Robinson's book "A Course in the Theory of Groups (Second Edition)", page 105, Exercise 4.2.8.

NB: This is a question.

The Details:

(Dieudonné). Let $$\mu:A\to B$$ be a monomorphism of abelian groups and let $$G$$ be a torsion-free abelian group. Prove that $$\mu_*:A\otimes_{\Bbb Z}G\to B\otimes_{\Bbb Z}G$$ is a monomorphism where $$(a\otimes g)\mu_*=(a\mu)\otimes g.$$ [Hint: Reduce first to the case where $$G$$ is finitely generated and then to the case $$G=\Bbb Z$$.]

The Question:

What does Robinson mean by "$$A\otimes_{\Bbb Z}G$$" here exactly? Is it defined earlier on in the text? (I can't find it anywhere . . . )

Thoughts:

I believe it is the tensor product. The book doesn't say anything about tensor products until page 131 outside the exercises (as far as I can tell), and even then, they're not defined. It's strange because Robinson goes to the trouble of defining, say, semigroups, and builds up basic concepts, but then expects the reader to know what a tensor product is.

Granted, the book is a graduate textbook. It doesn't define what a vector space is, either, for example, but refers to one in Exercise 4.2.6.

• I'm assuming they mean $\mu_*(a \otimes g) = \mu(a) \otimes g$ right? And yes, I do think they're referring to tensor products (which is why it's so important for $G$ to be torsion-free). Jul 23, 2021 at 22:47
• @MarkSaving: There are several group theory books that were originally written in the 60s and 70s that use "functions on the right" notation (e.g., Hanna Neumann's Varieties of Groups); also, a lot of ring theorists use functions on the right: e.g., they make morphisms of modules look like associativity ($(rm)f = r(mf)$) and makes left $R$-modules into $R$-$\mathrm{End}_R(M)$ bimodules. It drifted in group theory, and people who work a lot with group actions seem to like the notation. Jul 23, 2021 at 23:23
• This is the "tensor product over $\mathbb{Z}$": the universal object that codes bilinear maps from $A\times G$.. I don't have the book in front of me (it's in my office), so I can't check if he's defined it, but I can take a look on Monday. Jul 23, 2021 at 23:24