群の直和