を満たす "n"×"n" 四元行列の集合である。