Tensor product
に対して、 とのテンソル積をとった系列