2
$\begingroup$

Let $G$ and $H$ be groups, and $R$ a commutative ring. Then elements of $RG$ look like finite sums $\sum\limits_{g\in G}r_g\,g$, and similarly for $RH$. So $RG$ and $RH$ are $R$-modules with bases $G$ and $H$, respectively.

Does it follow that $RG\otimes_R RH$ has basis given by simple tensors $g\otimes h$?

  • 0
    You're right; sorry, I didn't mean for it read as an implication. I just meant them to be separate declarative statements2012-09-16

1 Answers 1

3

Yes. If $R$ is any commutative ring and $M$ and $N$ are free $R$-modules with bases $\{m_i:i\in I\}$ and $\{n_j:j\in J\}$, then $M\otimes_RN$ is free with basis $\{m_i\otimes n_j:i\in I,j\in J\}$.

  • 0
    Question for you rschwieb: I've noticed that some folks denote group rings/algebras with brackets around the group, as you did in your comment; is there any particular significance to this?2012-09-17