環の直積