Answer to Question #16897 in Abstract Algebra for Irvin
Let U, V be modules over a commutative ring R. If U or V is semisimple, show that U ⊗R V is also semisimple.
For the first statement, it suffices to handle the case where V is semisimple. Since tensor product distributes over direct sums, we may further assume that V is simple, say V ∼R/m where m is a maximal ideal of R. But then m · (U ⊗R V ) = 0, so U ⊗R V is a vector space over the field R/m. Thus, U ⊗R V is semisimple over R/m, and also over R.