Direct product of rings