四元数環から複素行列環への線形写像