その準同型を表す行列が
Q^aからQ^bへの全射準同型になるから。