12月4日は八元数の第一発見者ジョン・グレイヴスの誕生日です。誕生日を記念して、八元数と密接に関係する7次元の外積について書きます。 グレイヴスとは独立に八元数を発見したアーサー・ケイリー（ケイリー・ハミルトンの定理のケイリー）が先に発表しまし…