次直积

subdirect product