Direct product of rings (source code)

= Direct product of rings
{title2=$\prod_\lambda R_\lambda$}

The direct product of a family of <rings> consists of all tuples of their elements, with coordinatewise addition and multiplication. Unlike a direct sum, tuples may have infinitely many nonzero coordinates.