直積ではなく半直積だ