環の直接積の定義と演算則