imitako irimbishijwe harimo imigani idafite ubuhanzi amakuru aturuka muri polisi kandi the biproduct is a generalization of finite direct sums of modules