Definition:Ring Direct Sum