Tagged: direct product of rings